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