Hackernews posts about Lean4

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 14 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. Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
    497 points by gridentio about 1 year ago | 220 comments
30. Lean 4.0 (github.com)
    130 points by quag about 1 year ago | 91 comments
31. Formalizing the proof of PFR in Lean4 using Blueprint: a short tour (terrytao.wordpress.com)
    99 points by georgehill 12 months ago | 37 comments
32. A Beginner's Companion to Theorem Proving in Lean 4 (emallson.net)
    86 points by PaulHoule 11 months ago | 11 comments
33. A slightly longer Lean 4 proof tour (terrytao.wordpress.com)
    78 points by iso8859-1 12 months ago | 27 comments
34. Formalizing the Proof of Polynomial Freiman-Ruzsa in Lean4 (terrytao.wordpress.com)
    5 points by jjgreen about 1 year ago | discuss
35. A proofs class textbook in Lean 4 suitable for coders (hrmacbeth.github.io)
    4 points by dangrigsby 9 months ago | discuss
36. Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete (mathstodon.xyz)
    4 points by navidhg 12 months ago | discuss
37. Formalizing the proof of PFR in Lean4 using Blueprint: a short tour (terrytao.wordpress.com)
    4 points by EvgeniyZh about 1 year ago | discuss
38. Review of Lean 4 in Haskell subreddit (old.reddit.com)
    4 points by wslh about 1 year ago | discuss
39. Theorem Proving in Lean 4 (leanprover.github.io)
    4 points by deterministic over 1 year ago | discuss
40. Natural Number Game for Lean 4 (adam.math.hhu.de)
    3 points by lying4fun about 1 year ago | 1 comments
41. A Beginner's Companion to Theorem Proving in Lean 4 (emallson.net)
    3 points by todsacerdoti 11 months ago | discuss
42. Formalizing the proof of PFR in Lean4 using Blueprint (terrytao.wordpress.com)
    3 points by kachnuv_ocasek about 1 year ago | discuss
43. Theorem Proving in Lean 4 (leanprover.github.io)
    3 points by yeesian over 1 year ago | discuss
44. Theorem Proving in Lean 4 (leanprover.github.io)
    3 points by surprisetalk over 1 year ago | discuss
45. Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper (mathstodon.xyz)
    2 points by gridentio 12 months ago | 2 comments
46. Binary Search Trees in Lean 4 with proofs (leanprover.github.io)
    2 points by ykonstant over 1 year ago | 1 comments
47. SciLean: Scientific Computing in Lean 4 (github.com)
    2 points by todsacerdoti 4 months ago | discuss
48. An Evaluation Benchmark for Autoformalization in Lean4 (arxiv.org)
    2 points by PaulHoule 5 months ago | discuss
49. Tactics and Keyframes: Visualizing Lean 4 Proofs in Blender [video] (www.youtube.com)
    1 points by dkga 5 months ago | 1 comments
50. Lean4Lean: Formalizing the type theory of Lean – Mario Carneiro [video] (www.youtube.com)
    1 points by matt_d 4 months ago | discuss
51. Lean 4.9.0 (lean-lang.org)
    1 points by nequo 5 months ago | discuss
52. Lean 4.7.0 (lean-lang.org)
    1 points by mauricioc 8 months ago | discuss
53. Exploring the Lean4 Language (blog.codeminer42.com)
    1 points by ykonstant 9 months ago | discuss
54. A 2024 plea for lean software (spectrum.ieee.org)
    374 points by pseudolus 10 months ago | 240 comments
55. New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io)
    340 points by namanyayg 7 months ago | 162 comments
56. Leantime: Open-Source Jira Alternative (github.com)
    181 points by intheleantime about 1 year ago | 81 comments
57. LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org)
    170 points by aseg 4 months ago | 53 comments
58. Functional Programming in Lean (leanprover.github.io)
    159 points by d_christiansen over 1 year ago | 37 comments