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. Verified dynamic programming with Σ-types in Lean (tannerduve.github.io)
   86 points by rck 18 days ago | 43 comments
2. McKinsey Leans on AI to Make PowerPoints, Draft Proposals (www.bloomberg.com)
   33 points by JumpCrisscross 20 days ago | 12 comments
3. How to Search for Theorems in Lean 4 (lakesare.brick.do)
   4 points by lakesare about 8 hours ago | discuss
4. A complete formalization of Fermat's Last Theorem for regular primes in Lean (arxiv.org)
   4 points by ColinWright 20 days ago | discuss
5. The New Lean Startup [video] (www.youtube.com)
   2 points by simonpure 4 days ago | discuss
6. Proving completeness of an eventually perfect failure detector in Lean4 (protocols-made-fun.com)
   2 points by Bogdanp 24 days ago | discuss
7. Formalizing a proof in Lean using Github copilot and canonical [video] (www.youtube.com)
   2 points by ot 24 days ago | discuss
8. Jest 30: Faster, Leaner, Better (jestjs.io)
   2 points by amalinovic 26 days ago | discuss
9. Show HN: Mochia, a virtual pet browser game, built with Rust, SolidJS, Postgres (mochia.net)
   22 points by lemphi 2 days ago | 9 comments
10. Control PC games with body movements using webcam andPython+ MediaPipe
    6 points by TSkavinskyy 26 days ago | 2 comments
11. Show HN: Drop – Svelte like compiler for Web components (github.com)
    6 points by GuillaumeDucret 19 days ago | discuss
12. Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes (github.com)
    5 points by pyramation 11 days ago | discuss
13. Show HN: Onri, the Google Map for micro-learning (onri.ai)
    4 points by ru6xul6 15 days ago | 1 comments
14. I'm 17, Building in Public Instead of Waiting – Lessons from Failing Fast
    3 points by sahil423 16 days ago | 2 comments
15. Show HN: AuraCoder – Gen AI Learning Platform (auracoder.com)
    3 points by zsmith99 24 days ago | discuss
16. Show HN: Live software archaeology of FOL (theory of reasoning) (io.livecode.ch)
    3 points by namin 28 days ago | discuss
17. Show HN: I built FoundersWall where builders pin chaos instead of chasing likes (founderswall.com)
    2 points by harvansh 27 days ago | 3 comments
18. Show HN: DevOps eBook Bundle – Learn Terraform, Kubernetes, and Helm (leanpub.com)
    2 points by kirshiyin 12 days ago | discuss
19. Show HN: I built a tool to track ad-hoc SQL before they break schemas (app.tesser.cloud)
    1 points by ANKITkumar77 4 days ago | discuss
20. Show HN: Flow Samurai - Premium Webflow & Framer Templates (www.flowsamurai.com)
    1 points by flowsamurai 5 days ago | discuss
21. Show HN: Intlayer – Lightweight Internationalization for Preact (intlayer.org)
    1 points by aypineau 29 days ago | discuss
22. Math Symbol Frequencies (leancrew.com)
    49 points by tosh 28 days ago | 20 comments
23. Htmz – a minimalist HTML microframework (leanrada.com)
    4 points by vyrotek 16 days ago | discuss
24. From AI-friendly to AI-first: How Zapier is transforming hiring and onboarding (zapier.com)
    3 points by cebert 30 days ago | 1 comments
25. In Defense of Floating Point (leancrew.com)
    3 points by ingve 7 days ago | discuss
26. How to build a handheld game console (leandrolinares.com)
    2 points by davikr 10 days ago | 1 comments
27. Graphing Without Empty Spaces (leancrew.com)
    2 points by surprisetalk 12 days ago | discuss
28. Font Memories of Old Macs (leancrew.com)
    2 points by surprisetalk 24 days ago | discuss
29. Formal Conjectures: Contribute your favorite conjecture (leanprover.zulipchat.com)
    2 points by firsching 25 days ago | discuss
30. The abc conjecture almost always – autoformalized (github.com)
    1 points by artninja1988 23 days ago | discuss