d@nny disc@hipsterelectron@circumstances.run
Oct 14, 2026, 7:15 PM@lykso @froztbyte @mhoye i like idris a lot and i have mixed feelings on seL4 but it is definitely cool software
Replies
Lyksolykso@tiny.tilde.websiteOct 14, 2026, 7:22 PM@hipsterelectron @froztbyte @mhoye Yeah, your work sounds awesome and I am only pursuing the route I am because it seems like a good fit for my relatively limited abilities. These are the pieces I can see and use, and things feel like they are on fire right now so I'm doing what's in front of me. seL4 is juuust beyond the already-available, and I can reach that. You're reaching farther than I am; one day maybe I'll be building atop your work, but laying that groundwork is beyond me.
- d@nny disc@hipsterelectron@circumstances.runOct 14, 2026, 7:26 PM
@lykso that is remarkably kind of you