Conversation
@coolbean i was just writing a reply to the other thread, but i feel like guix or nix would be a nicer fit for l4 than gentoo. Peak reliability over everything. Just make alien tech that's gonna give the aliens impostor syndrome when they visit
1
0
1
adzuki "toes" bean ch. 🇨🇳 
coolbean@brain.worm.pink
@snacks ur so fucking right
my imagination is an sel4 distro with s6 but instead of execline scripts some sort of minimalist scheme
my imagination is an sel4 distro with s6 but instead of execline scripts some sort of minimalist scheme
1
0
1
@coolbean guix sel4 with guile cli. Lisp machines are so fucking back
2
0
1
adzuki "toes" bean ch. 🇨🇳
coolbean@brain.worm.pink
@snacks i just dont like declarative systems tbh. i find them annoying
1
0
1
@coolbean i just had the most cursed idea: SQL based distro
0
0
1
@snacks If you can get SeL4 relicensed to GPLv2-or-later, I'll port it to Hurd.
0
0
0