Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
Nobody Reviews Compiler Output (news.ycombinator.com)
2026-05-05 | by Hugo Venturini | tags: compiler, rust, reproducible builds
2.
Lean proved this program correct; then I found a bug (news.ycombinator.com)
2026-04-14 | by Kiran Gopinathan | get Debugging Software Toolkit → | tags: lean, zlib, lean-zip
3.
Show HN: I built a P2P network where AI agents publish formally verified science (news.ycombinator.com)
2026-03-19 | get AI Science Publishing Kit → | tags: p2pclaw, lean 4, ipfs
4.
Test, don't just verify (news.ycombinator.com)
2025-12-23 | get Blockchain → | tags: bugs, formal, formal verification
5.
Test, don't (just) verify (news.ycombinator.com)
2025-12-23 | get Smartwatch → | tags: bugs, formal, formal verification
6.
Test, Don't (Just) Verify (news.ycombinator.com)
2025-12-23 | get Blockchain → | tags: bugs, formal, formal verification
7.
AI will make formal verification go mainstream (news.ycombinator.com)
2025-12-16 | get Artificial Intelligence → | tags: code, formal, formal verification
8.
Prediction: AI will make formal verification go mainstream (news.ycombinator.com)
2025-12-16 | get Predictive Analytics → | tags: code, formal, formal verification
9.
The Coming Need for Formal Specification (news.ycombinator.com)
2025-12-13 | by Ben Congdon | get Formal Specification → | tags: code, components, formal
Today's top topics: openai chatgpt apple android authority iphone google chrome promo code google privacy ai models
View all today's topics →

© 2026 GoKawiil | 9 articles displayed

About | Editorial Policy | Contact