Viewing profile — andreweggleston

And now instead of being confused for a bad word, it gets confused with https://www.roc-lang.org/

Reminds me of IBM’s (successful) attempt to skirt US regulations regarding trade with Nazi Germany: https://en.m.wikipedia.org/wiki/Dehomag

I’ve been using Nix for the past year and it really feels like the holy grail for stable development environments. Like you said—it takes serious time to set up, but it seems like …

Woah, that sounds really cool! I did some research this summer on running programs in kernel space and tactics used to verify safety. This sounds right up my alley—-if I had any of…