Viewing profile — aksdlf
aksdlf
HN member- Joined
- Mon, Jul 22, 2024, 1:36 PM UTC
- HN karma
- 7
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About aksdlf
No profile information was provided.
Recent public activity
-
comment
Comment #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 semicondu…