Hackernews posts about Lean4

1. Unified physics theory machine-verified in Lean 4 (504 K lines, 0 sorry) (ramzesx.github.io)
   2 points by NorbertMarch 18 days ago | discuss
2. A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4 (github.com)
   2 points by michaelpreid1 19 days ago | discuss
3. “Why not just use Lean?” (lawrencecpaulson.github.io)
   304 points by ibobev 25 days ago | 209 comments
4. Thales – TypeScript compiler and JavaScript engine in Lean (github.com)
   10 points by michaelkrem 22 days ago | discuss
5. Why Not Use Lean? (lawrencecpaulson.github.io)
   7 points by sebg 29 days ago | discuss
6. Why Not Use Lean? (lawrencecpaulson.github.io)
   6 points by baruchel 29 days ago | discuss
7. Using algebra and LLMs to verify a flight-plan bug fix in Lean (jameshaydon.github.io)
   5 points by jameshh 4 days ago | discuss
8. A Changing Job Market Leans Against Men (www.wsj.com)
   4 points by littlexsparkee 9 days ago | 2 comments
9. Grokipedia selectively drawing on more right-leaning news sources, new study (www.tcd.ie)
   3 points by giuliomagnifico 2 days ago | 1 comments
10. Show HN: Formal Verification with Lean (www.daniellowengrub.com)
    3 points by lowdanie 10 days ago | discuss
11. Functional Programming in Lean (leanprover.github.io)
    3 points by gurjeet 25 days ago | discuss
12. Show HN: Stay Lean – Calorie Navigation (apps.apple.com)
    2 points by janpmz 20 days ago | 1 comments
13. TorchLean: Verified Neural Networks in Lean (www.robertj1.com)
    2 points by matt_d 10 days ago | discuss
14. Show HN: Formal Verification with Lean (www.daniellowengrub.com)
    1 points by lowdanie 7 days ago | discuss
15. Claude Code's product lead talks usage limits, transparency, and "lean harness" (arstechnica.com)
    1 points by Bender 7 days ago | discuss
16. Lean Game Server (adam.math.hhu.de)
    1 points by alabhyajindal 25 days ago | discuss
17. Learning to Repair Lean Proofs from Compiler Feedback (arxiv.org)
    1 points by matt_d 26 days ago | discuss
18. Show HN: I indexed 8,643 BSides talks across 227 chapters and 6 continents (allbsides.com)
    25 points by Parkado 18 days ago | 8 comments
19. Show HN: Disputron – AI small claims court for petty disputes (disputron.ai)
    9 points by etaheri 15 days ago | 4 comments
20. Show HN: I made Claude Code listen before it codes (MIT) (github.com)
    5 points by nithin_2001 26 days ago | 1 comments
21. Show HN: I made an iOS app to gauge AI over-reliance and AI psychosis (apps.apple.com)
    5 points by grahamannett 11 days ago | discuss
22. Show HN: You can now run Gemini CLI in the browser (browsercode.io)
    5 points by apignotti 22 days ago | discuss
23. Show HN: My independent search engine focused on user control (slicksearchhq.com)
    4 points by nox21125 1 day ago | 6 comments
24. Ask HN: Has anyone here ever rebuilt themselves in their late 30s?
    4 points by buildresiliency 4 days ago | 2 comments
25. Show HN: A navigable map and recommender for 17M music entities (toposonico.com)
    4 points by deppep 20 days ago | 2 comments
26. Show HN: Implementing Patio11's "Dangerous Professional" as a Claude Code Plugin (playground.tetraresearch.io)
    3 points by tawb 24 days ago | 1 comments
27. Show HN: MessyData – turn messy data into clean tables/CSV (www.messydata.app)
    3 points by innovationlab 11 days ago | discuss
28. Show HN: BrowserCode – Run Claude Code in the Browser via WebAssembly (github.com)
    3 points by multimillion 11 days ago | discuss
29. Show HN: Twixt – transform one word into another in four moves (twixt.games)
    2 points by unseen_forms 1 day ago | 2 comments
30. Show HN: Built a verifiable, open-source SoC 2 readiness scanner (loxeai.com)
    2 points by arjavmehta 6 days ago | discuss