andreweggleston

4 ms·

1. 1.▲
   by andreweggleston 6mo ago

   And now instead of being confused for a bad word, it gets confused with https://www.roc-lang.org/
2. 2.▲
   by andreweggleston 2y ago

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

   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 that’s an unavoidable reality of easily sharable dev envs.
4. 4.▲
   by andreweggleston 2y ago

   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 the qualifications!