Rob Pike's Rules of Programming (1989)
679 by vismit2000 | 359 comments on Hacker News.
Wednesday, March 18, 2026
Tuesday, March 17, 2026
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
588 by Poudlardo | 127 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/PUcv1yi
588 by Poudlardo | 127 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/PUcv1yi
Subscribe to:
Comments (Atom)