GoKawiil - Tech News

Topics: Today This Week This Month This Year

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

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (news.ycombinator.com)

2026-04-28 | get Tetris 8-bit Puzzle Game → | tags: sphere packing, dimension 8, formalization

Mathematics Distillation Challenge – Equational Theories (news.ycombinator.com)

2026-03-14 | by Terence Tao | get Mathematics Puzzle Book → | tags: polymath projects, lean formalization, equational theories

130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (news.ycombinator.com)

2026-03-03 | get Autoformalization → | tags: rust, autoformalization, iphone

Today's top topics: openai google apple android anthropic samsung amazon microsoft android authority artificial intelligence