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. Amazon CEO Vows Leaner Teams Amid Bloat, Ends Work from Home (www.bloomberg.com)
   4 points by htrp 3 days ago | 2 comments
2. Towards Large Language Models as Copilots for Theorem Proving in Lean (arxiv.org)
   3 points by yeesian 8 days ago | discuss
3. Law enforcement leans on 3D-printer industry to thwart machine gun conversion (apnews.com)
   2 points by isaacfrond 11 days ago | 2 comments
4. China leans into using AI − even as the US leads in developing it (theconversation.com)
   2 points by rntn 29 days ago | 1 comments
5. Law enforcement leans on 3D-printer industry to thwart machine gun conversion (www.rocketcitynow.com)
   2 points by linsomniac 12 days ago | discuss
6. Leaning into complexity by reducing code entropy (benoitessiambre.com)
   2 points by BenoitEssiambre 18 days ago | discuss
7. Orchestrators for ML pipelines need to get leaner (www.run.house)
   2 points by py_py 21 days ago | discuss
8. Lean Architecture (medium.com)
   1 points by kiyanwang 19 days ago | discuss
9. Show HN: YourNextStore – an open-source Shopify with Stripe as the back end (github.com)
   284 points by zaiste 9 days ago | 87 comments
10. Ask HN: What currently is the best, nerd-friendly, rootable Android phone?
    70 points by azalemeth about 13 hours ago | 47 comments
11. Ask HN: How do Indie makers and solopreneurs get back into 9 to 5 again?
    15 points by sarvpriy 18 days ago | 8 comments
12. Ask HN: Recommendations for Eye Tracking Hardware?
    9 points by FloatArtifact 3 days ago | 5 comments
13. Show HN: Bridge-ds – Dataset handling for any modality a la Pandas (github.com)
    7 points by guyuz 16 days ago | discuss
14. Show HN: Insta2000 – Re-render Instagram locally, retro, and ad free (github.com)
    6 points by benrules2 5 days ago | 2 comments
15. Show HN: Design architecture using code and visually simulate it in browser (github.com)
    5 points by _iostreamer_ 22 days ago | 2 comments
16. Ask HN: Seeking Advice on Choosing the Right Stream for My Son
    3 points by yogrish 25 days ago | 1 comments
17. Show HN: Friendly Assistant for Organizing YouTube Bookmarks and More (leanhtu.com)
    2 points by tuleanhofficial 22 days ago | 3 comments
18. Ask HN: Want a project management tool integrated with GitHub/GitLab/Jira?
    2 points by neilv 28 days ago | 2 comments
19. Ask HN: Show featuring a company turning internal MVPs into profitable companies
    1 points by thedangler 1 day ago | discuss
20. Show HN: C9 GUI – SDL2 GUI framework for C99 subset (github.com)
    1 points by 1jss 9 days ago | discuss
21. Show HN: AnalyticsWP (analyticswp.com)
    1 points by mholubowski 16 days ago | discuss
22. Show HN: Lizard Optimization
    1 points by adzicg 26 days ago | discuss
23. Show HN: I published a book to save you from my software architecture mistakes (leanpub.com)
    100 points by meaboutsoftware 25 days ago | 33 comments
24. Am I Blue? (leancrew.com)
    2 points by surprisetalk about 22 hours ago | discuss
25. The ∞-Cosmos Project (leanprover-community.github.io)
    2 points by mauricioc 1 day ago | discuss
26. Discover Inner Mastery and Well-Being: This Is It (medium.com)
    2 points by sinapticas 3 days ago | discuss
27. Breaking the Illusion: The Case Against Anthropomorphizing AI Systems (www.leancompliance.ca)
    2 points by rbanffy 5 days ago | discuss
28. Unlocking the Depths of Human Existence:Engage with Propositions (medium.com)
    1 points by sinapticas 3 days ago | discuss
29. Developer Hegemony (leanpub.com)
    1 points by mooreds 5 days ago | discuss
30. 2M users but no money in the bank (exercism.org)
    699 points by leandot 14 days ago | 352 comments