andreweggleston

Joined 2 years ago

Karma

3

Submissions

4

Member since

Aug 26

View on Hacker News

Recent submissions

Comment · 6 months ago

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

Comment · 2 years ago

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

Comment · 2 years 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.

Comment · 2 years 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!