GoKawiil - Tech News

Topics: Today This Week This Month This Year

OpenAI’s Navier-Stokes release included a Lean 4 formal proof (news.ycombinator.com)

2026-09-10 | get Certified Programming with Dependent Types Chlipala → | tags: openai, navier-stokes equations, lean 4

The part of Navier-Stokes no one is talking about (news.ycombinator.com)

2026-09-10 | get Hitchhiker's Guide to Logical Verification Lean → | tags: openai, navier-stokes, lean 4

How well do agents use test/verification techniques? (news.ycombinator.com)

2026-09-08 | get Programming Rust Blandy Orendorff book → | tags: coding agents, zstd, rust

Fermat's Last Theorem in Lean 4 (news.ycombinator.com)

2026-09-04 | get Fermat's Enigma Simon Singh book → | tags: lean 4, fermat's last theorem, mathlib

Prime Gaps at Most 186 (news.ycombinator.com)

2026-09-03 | get Prime Obsession John Derbyshire book → | tags: prime gaps, prime numbers, lean 4

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

Show HN: zkGolf – Competitive optimization of formally verified circuits (news.ycombinator.com)

2026-07-02 | get ZkGolf Circuit Optimization Kit → | tags: zkgolf, zero-knowledge circuits, lean 4

Show HN: zkGolf, competitive optimization of formally verified circuits. (news.ycombinator.com)

2026-07-02 | get ZkGolf Circuit Design Kit → | tags: zkgolf, zero-knowledge circuits, lean 4

Leanstral 1.5 (news.ycombinator.com)

2026-06-30 | get Leanstral 1.5 Keyboard → | tags: lean 4, formal proof, theorem proving

10.

ATLAS: Autoformalized Textbook Library At Scale (news.ycombinator.com)

2026-05-28 | get Automated Formal Logic Textbook → | tags: lean 4, atlas, autoformalization

11.

All Lean Books and Where to Find Them (news.ycombinator.com)

2026-05-24 | get Lean Book Collection Set → | tags: lean, microsoft, david thrane christiansen

12.

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (news.ycombinator.com)

2026-03-25 | tags: posix, lean 4, socket api

13.

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

14.

Leanstral: Open-Source foundation for trustworthy vibe-coding (news.ycombinator.com)

2026-03-16 | get Open-Source Coding Toolkit → | tags: leanstral, lean 4, mistral vibe

15.

Mistral Releases Leanstral (news.ycombinator.com)

2026-03-16 | get Mistral Leanstral AI Model → | tags: leanstral, mistral, lean 4

Today's top topics: anthropic apple openai google ai safety iphone duo ios 27 iphone 18 pro dario amodei android