Hackernews posts about Lean4

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