A Decade of Slug
652 by mwkaufma | 64 comments on Hacker News.
https://ift.tt/xkXE19L....
news
Wednesday, 18 March 2026
Tuesday, 17 March 2026
New best story on Hacker News: Leanstral: Open-source agent for trustworthy coding and formal proof engineering
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
601 by Poudlardo | 128 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/wAqpYEe
601 by Poudlardo | 128 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/wAqpYEe
Monday, 16 March 2026
Subscribe to:
Comments (Atom)
-
U.S. Postal Service starts nationwide electric vehicle fleet, buying 9,250 EVs 444 by lxm | 336 comments on Hacker News.
-
Learn Postgres at the Playground – Postgres compiled to WASM running in browser 543 by samwillis | 144 comments on Hacker News.
-
NSA, NIST, and post-quantum crypto: my second lawsuit against the US government 486 by trulyrandom | 143 comments on Hacker News.