News for hackers. Stuff that matters.

aksdlf

aksdlf on Hacker News

Re:No More Blue Fridays on Monday July 22, 2024 @09:41AM (#41034264)
I'm glad to hear that Meta and Google code is "rigorous". I'd prefer INRIA, universities that fund theorem provers, industries where correctness matters like aerospace or semiconductors.