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. Confetti Framework – A Lean, Idiomatic Go Web Framework (confetti-framework.github.io)
   7 points by reindert-vetter 14 days ago | 1 comments
2. Ask HN: How is Elon Musk's right-leaning attitude perceived around the world?
   7 points by ArtTimeInvestor 11 days ago | discuss
3. Lean 4, Release v4.17.0 (github.com)
   5 points by todsacerdoti 4 days ago | discuss
4. Lean AI Native Companies Leaderboard (github.com)
   2 points by simonpure 2 days ago | discuss
5. u-config: a new, lean pkg-config clone (2023) (nullprogram.com)
   2 points by pabs3 28 days ago | discuss
6. Lean AI Native Companies Leaderboard (leanaileaderboard.com)
   1 points by mellosouls about 23 hours ago | discuss
7. A hostile $7B chip deal leans on electric faith (www.reuters.com)
   1 points by c420 2 days ago | discuss
8. Lean into Your Agentic Coder's Mistakes (benhouston3d.com)
   1 points by bhouston 2 days ago | discuss
9. Deep Learning's Memory Crisis Solved? Introducing the 'Lean Model' Revolution
   1 points by Haeuserschlucht 8 days ago | discuss
10. Learning Lean: Part 1 (rkirov.github.io)
    1 points by todsacerdoti 19 days ago | discuss
11. Ask HN: A retrofitted C dialect?
    55 points by anqurvanillapy 15 days ago | 77 comments
12. Tell HN: Five random IndieWeb blog links on your terminal
    54 points by susam 14 days ago | 12 comments
13. Show HN: BookWatch – Animated book summaries for visual learners (bookwatch.com)
    37 points by miranantamian 16 days ago | 26 comments
14. Show HN: I built a Macrodata Refinement game inspired by Severance (macrodata-refinement.arjit.me)
    5 points by arjitjaiswal 12 days ago | 1 comments
15. Show HN: C++ AWS MSK IAM Auth Implementation – Goodbye Kafka Passwords (github.com)
    5 points by jovezhong 2 days ago | discuss
16. Show HN: UeCalc – Build an investor-ready financial model without spreadsheets
    4 points by daniilkhanin 11 days ago | 7 comments
17. Show HN: We made cloud security cost less than your team's pizza run ($30/scan)
    4 points by akash-kloudle 24 days ago | 2 comments
18. Ask HN: Modern Tech Stack for Manufacturing?
    3 points by elbasti 12 days ago | 1 comments
19. Ask HN: How do early-stage founders manage product?
    2 points by sushantchhetry 18 days ago | 1 comments
20. Ask HN: iCloud or Google Photos? What do you use and why?
    2 points by throwaway_32u10 12 days ago | discuss
21. Would a points-based system improve content quality, or just kill engagement?
    1 points by duxtontoh 19 days ago | 6 comments
22. Ask HN: Is it possible to create a viable business from "Personal Development?"
    1 points by LeoDTO 20 days ago | 4 comments
23. Show HN: DeployHQ Is Going Unlimited (www.deployhq.com)
    1 points by deployhq 2 days ago | discuss
24. The Most Underrated Data Cleaning Solution and Why It Deserves Your Attention
    1 points by ogora 3 days ago | discuss
25. Show HN: Zsh Command Completion for Simon Wilson's LLM CLI (github.com)
    1 points by prettyblocks 9 days ago | discuss
26. Show HN: Exponent AI – pay as you go social media posts (useexponent.com)
    1 points by kreddy716 20 days ago | discuss
27. Are SMEs risking strategic lock-in by over-relying on AI predictions?
    1 points by daveac 22 days ago | discuss
28. Show HN: Exponent AI – An AI Marketing Teammate for Your Business (useexponent.com)
    1 points by kreddy716 24 days ago | discuss
29. A Scientific American bolt puzzle (leancrew.com)
    61 points by zdw 5 days ago | 30 comments
30. Exploring Polymorphism in C: Lessons from Linux and FFmpeg's Code Design (2019) (leandromoreira.com)
    4 points by dreampeppers99 3 days ago | discuss