Hackernews posts about Lean

Lean is a proof assistant software that helps mathematicians and computer scientists formalize and verify mathematical proofs using a rigorous and automated process.

1. Lean theorem prover mathlib (github.com)
   73 points by downboots about 17 hours ago | 4 comments
2. Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (www.erdosproblems.com)
   16 points by mathfan 15 days ago | 2 comments
3. Supreme Court leans toward internet service providers in copyright battle (www.cnn.com)
   7 points by SilverElfin 12 days ago | 1 comments
4. Lean4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
   6 points by salkahfi 21 days ago | 1 comments
5. Show HN: Internet Object – a lean, schema-first JSON alternative (internetobject.org)
   4 points by aamironline 27 days ago | 2 comments
6. My experience with Lean 4 for general programming (quamserena.com)
   4 points by quamserena 4 days ago | discuss
7. From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
   2 points by rwosync about 19 hours ago | discuss
8. What does a lean proof prove? (supaiku.com)
   2 points by EvgeniyZh 2 days ago | discuss
9. LeanSpec: High Dev Velocity from Spec Coding (www.marvinzhang.dev)
   2 points by tikazyq 17 days ago | discuss
10. Lean Advent of Code 2025 (github.com)
    1 points by ngrislain 13 days ago | 2 comments
11. Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com)
    1 points by hamiecod 1 day ago | discuss
12. Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com)
    1 points by unprovable 8 days ago | discuss
13. Show HN: LeanOS–10 AI agents that build and run startup operations autonomously (github.com)
    1 points by bellcolor_belka 24 days ago | discuss
14. Show HN: RowboatX – open-source Claude Code for everyday automations (github.com)
    131 points by segmenta 26 days ago | 42 comments
15. Show HN: An AI zettelkasten that extracts ideas from articles, videos, and PDFs (github.com)
    38 points by schoblaska 13 days ago | 9 comments
16. Ask HN: Go all-in on AI Boom vs. enjoy parenthood?
    10 points by pratchett 2 days ago | 23 comments
17. Show HN: Why Current Agentic Frameworks Don't Work Well in Production (github.com)
    4 points by Radeen1 29 days ago | discuss
18. How do you keep up with AI/crypto/markets without drowning in noise?
    3 points by alex-vasper 9 days ago | 14 comments
19. Show HN: Another JSON Alternative
    3 points by mircerlancerous 22 days ago | discuss
20. Ask HN: Why do people trust ChatGPT with their money but not transparent algos?
    2 points by mattglossop 4 days ago | 6 comments
21. Show HN: TypMo – Markdown for Wireframing (typmo.com)
    2 points by aditgupta 10 days ago | discuss
22. Show HN: Supabase Testcontainers for Rust (github.com)
    2 points by tmpsterwfwegw 14 days ago | discuss
23. Show HN: AIDictation – zero data retention dictation app (aidictation.com)
    2 points by vood 14 days ago | discuss
24. Teaching Rust the SQL Language
    2 points by rustic-indian 28 days ago | discuss
25. Show HN: An early-warning system for SaaS churn (not another dashboard) (firstdistro.com)
    1 points by Jide_Lambo 1 day ago | 4 comments
26. Coding is the purest form of art
    1 points by learningstud 14 days ago | 4 comments
27. Ask HN: Why do people trust ChatGPT with their money but not transparent algos?
    1 points by mattglossop 4 days ago | 2 comments
28. Show HN: Guide – to help me get moving and keep the momentum going (github.com)
    1 points by 4mitkumar 14 days ago | 1 comments
29. Better email search/contact management?
    1 points by jll29 6 days ago | discuss
30. Show HN: Gratia – a tiny multilingual ritual engine (oops → portal →)
    1 points by razvan 7 days ago | discuss