Recent conversation w/ a dev: Him: "What's your release cycle like?" Me: "I release code when it's ready." Him: "Oh wow, you're so lucky..."
-
-
-
@newshtwit@cperciva found a company that espouses formal methods as a core value? At least, that’s my goal -
-
@newshtwit@bascule@cperciva we at@galois are doing more outside of govt lately. Many pieces of exciting news soon to come. (cc@kiniry) -
@acfoltzer@bascule@cperciva@galois@kiniry very cool. ps: when is your ghc-on-sel4 coming out?! cant wait! -
@newshtwit@bascule@cperciva@galois@kiniry lately our focus has been more on avoiding kernels entirely ;) https://galois.com/project/halvm/ -
@newshtwit@bascule@cperciva@galois@kiniry ah, right! I forgot we had that going now as well. Many irons in the fire at the moment
End of conversation
New conversation -
-
-
@bascule@newshtwit@cperciva and funding from those who rely on these systems so that such efforts aren't limited to what academia can fund
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.