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. X's algorithm was changed in mid-July 2024 to boost right-leaning accounts (mastodon.social)
   89 points by hn1986 5 days ago | 50 comments
2. Discharging Lean goals into SMT solvers (github.com)
   34 points by ndrwnaguib about 15 hours ago | 2 comments
3. A Plea for Lean Software (www.computer.org)
   6 points by max_ 8 days ago | discuss
4. Product being used for p*orn – lean into it? (usevoicy.com)
   3 points by KouroshGhaffari 16 days ago | 28 comments
5. Leaner LLMs could enable efficient local use on phones and laptops (engineering.princeton.edu)
   2 points by geox 3 days ago | 1 comments
6. Ask HN: Lean for Machine Learning?
   2 points by imaginepandas 26 days ago | discuss
7. Ask HN: Do you vendor Go dependencies or lean on the package proxy?
   1 points by bitbasher 9 days ago | 1 comments
8. LLMs' Political Leaning and Their Influence on Voters (arxiv.org)
   1 points by tristanMatthias 3 days ago | discuss
9. Reservoir: Lean Package Registry (reservoir.lean-lang.org)
   1 points by pera 4 days ago | discuss
10. Ask HN: Junior dev in charge of rewriting 500k line PHP app. Looking for advice
    13 points by poncho_romero 11 days ago | 25 comments
11. Show HN: Phiano is a spaced repetition sheet music practice app for iPad (phiano.com)
    6 points by still_fil 29 days ago | 2 comments
12. Ask HN: Recommendations for language when building API?
    3 points by mr_00ff00 22 days ago | 3 comments
13. Show HN: muGen – Source-available GenAI Microframework (github.com)
    3 points by sandogeorge 15 days ago | discuss
14. Ask HN: Books for Entrepreneurs
    1 points by SMAAART 5 days ago | 1 comments
15. Show HN: Feedback Glow – Canny alternative for indie makers and small teams (feedbackglow.com)
    1 points by xuho 18 days ago | 1 comments
16. Uncomfortable Truths: The Real Needs of Users We Can't Ignore
    1 points by haebom 14 days ago | discuss
17. What Would You Want If We Built a Job and Career Site Only for AI?
    1 points by jennyzhouuu 29 days ago | discuss
18. Webvm: Virtual Machine for the Web (github.com)
    199 points by thunderbong 2 days ago | 54 comments
19. Sinusoidal Sunlight (leancrew.com)
    100 points by surprisetalk 30 days ago | 33 comments
20. WebVM 2.0: A complete Linux Desktop Environment in the browser via WebAssembly (labs.leaningtech.com)
    97 points by thunderbong 8 days ago | 44 comments
21. WebVM 2.0: Linux Desktop Environment in the Browser via WebAssembly (labs.leaningtech.com)
    9 points by bauta-steen 9 days ago | 2 comments
22. M4 Mini vs. M2 Mini (appleinsider.com)
    8 points by ngcc_hk 23 days ago | 3 comments
23. CSS Sprite Sheet Animations (leanrada.com)
    4 points by todsacerdoti 19 days ago | discuss
24. Solving the structured control flow problem when compiling to WebAssembly (medium.com)
    2 points by fanf2 about 22 hours ago | discuss
25. HTML: A Comprehensive Guide (leanpub.com)
    2 points by mooreds 11 days ago | discuss
26. CSS Sprite Sheet Animations (leanrada.com)
    2 points by jakelazaroff 18 days ago | discuss
27. A Guide to Integrating AI with Spring and Google Vertex AI (leanpub.com)
    1 points by muthuishere 13 days ago | discuss
28. Nemawashi (kanbanzone.com)
    1 points by mooreds 24 days ago | discuss
29. Show HN: I built a(nother) house optimized for LAN parties (lanparty.house)
    1086 points by kentonv 6 days ago | 377 comments
30. Leaving and Waving (deannadikeman.com)
    634 points by Duke_Pixie 10 days ago | 93 comments