GoKawiil - Tech News

Topics: Today This Week This Month This Year

Why don't people use formal methods? (2019) (news.ycombinator.com)

2026-07-30 | tags: formal methods, formal verification, software engineering

Why Don't People Use Formal Methods? (2019) (news.ycombinator.com)

2026-07-30 | tags: formal methods, formal verification, software engineering

Why Don't People Use Formal Methods? (news.ycombinator.com)

2026-07-30 | tags: formal methods, formal verification, software engineering

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (news.ycombinator.com)

2026-07-28 | tags: lean 4, csg, mesh intersection

Introduction to Formal Verification with Lean Part 1 (news.ycombinator.com)

2026-07-19 | tags: lean, formal verification, cryptography

You Don't Know Jack About Formal Verification (news.ycombinator.com)

2026-06-29 | get Formal Verification Software Kit → | tags: formal verification, jack, unknown

2026-06-17 | by Russell Brandom | get Formal Verification AI Toolkit → | tags: pramaana labs, formal verification, large language models

Formal Verification Gates for AI Coding Loops (news.ycombinator.com)

2026-05-20 | by Authorization Without The Hand-Written Check | get Formal Verification Software Tool → | tags: ai coding, formal verification, openai

Nobody Reviews Compiler Output (news.ycombinator.com)

2026-05-05 | by Hugo Venturini | tags: compiler, rust, reproducible builds

10.

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

11.

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

12.

Test, don't just verify (news.ycombinator.com)

2025-12-23 | get Blockchain → | tags: bugs, formal, formal verification

13.

Test, don't (just) verify (news.ycombinator.com)

2025-12-23 | get Smartwatch → | tags: bugs, formal, formal verification

14.

Test, Don't (Just) Verify (news.ycombinator.com)

2025-12-23 | get Blockchain → | tags: bugs, formal, formal verification

15.

AI will make formal verification go mainstream (news.ycombinator.com)

2025-12-16 | get Artificial Intelligence → | tags: code, formal, formal verification

16.

Prediction: AI will make formal verification go mainstream (news.ycombinator.com)

2025-12-16 | get Predictive Analytics → | tags: code, formal, formal verification

17.

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: apple google openai android anthropic spacex amazon microsoft meta samsung