GoKawiil - Tech News

Topics: Today This Week This Month This Year

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 | tags: zkgolf, zero-knowledge circuits, lean 4

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

2026-07-02 | 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

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

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

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

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

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

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

10.

Mistral Releases Leanstral (news.ycombinator.com)

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

Today's top topics: openai anthropic cybersecurity apple android authority android google spider-man hugging face spacex