| 1. | | “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz) |
| 619 points by cod1r 56 days ago | 363 comments |
|
| 2. | | What an unprocessed photo looks like (maurycyz.com) |
| 2510 points by zdw 68 days ago | 409 comments |
|
| 3. | | Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com) |
| 30 points by litexlang 77 days ago | 11 comments |
|
| 4. | | There is No Quintic Formula [video] (youtube.com) |
| 97 points by DamnInteresting 3 months ago | 43 comments |
|
| 5. | | Nano Banana Pro (blog.google) |
| 1275 points by meetpateltech 3 months ago | 685 comments |
|
| 6. | | Quantum Computation Lecture Notes (2022) (math.mit.edu) |
| 166 points by ibobev 9 months ago | 48 comments |
|
| 7. | | A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com) |
| 69 points by jjgreen 10 months ago | 3 comments |
|
| 8. | | AnimeJs v4 Is Here (animejs.com) |
| 973 points by adrianvoica 11 months ago | 155 comments |
|
| 9. | | Learn How to Break AES (davidwong.fr) |
| 179 points by baby on March 4, 2025 | 54 comments |
|
| 10. | | Practical Foundations of Mathematics (paultaylor.eu) |
| 145 points by nill0 on Feb 24, 2025 | 23 comments |
|
| 11. | | Cuttle – a MTG like game using a standard 52 card deck (pagat.com) |
| 384 points by 7thaccount on Jan 10, 2025 | 94 comments |
|
| 12. | | Operating System in 1,000 Lines – Intro (operating-system-in-1000-lines.vercel.ap...) |
| 1060 points by ingve on Jan 8, 2025 | 121 comments |
|
| 13. | | Nonlinear Circuits Handbook (1976) (analog.com) |
| 31 points by segfaultbuserr on Dec 26, 2024 | 3 comments |
|
| 14. | | Emit-C: A time travelling programming language (github.com/nimrag-b) |
| 107 points by doppp on Nov 12, 2024 | 59 comments |
|
| 15. | | Category Theory Illustrated: Logic (2021) (abuseofnotation.github.io) |
| 252 points by boris_m on Oct 25, 2024 | 83 comments |
|
| 16. | | Galois Theory (utexas.edu) |
| 467 points by mathgenius on Aug 15, 2024 | 234 comments |
|
| 17. | | What Is Entropy? (johncarlosbaez.wordpress.com) |
| 345 points by ainoobler on July 22, 2024 | 200 comments |
|
| 18. | | Ask HN: Any fun ways to learn Emacs? |
| 93 points by yawpitch on April 25, 2024 | 52 comments |
|
| 19. | | Formally modeled Dreidel for no good reason (buttondown.email/hillelwayne) |
| 243 points by JNRowe on Dec 28, 2023 | 70 comments |
|
| 20. | | Mechanical Watch (2022) (ciechanow.ski) |
| 954 points by Akcium on Dec 10, 2023 | 163 comments |
|
| 21. | | Where do non-primitive recursive functions come up naturally? (computationalcomplexity.org) |
| 53 points by furcyd on Dec 4, 2023 | 42 comments |
|
| 22. | | Planes, Spheres and Pseudospheres (gregegan.net) |
| 109 points by sohkamyung on Nov 4, 2023 | 34 comments |
|
| 23. | | Improving deep sleep may prevent dementia, study finds (monash.edu) |
| 478 points by clouddrover on Nov 1, 2023 | 441 comments |
|
| 24. | | Applied Category Theory Course (ucr.edu) |
| 161 points by Schiphol on Sept 27, 2023 | 93 comments |
|
| 25. | | Snake-fury – a challenge for Haskell beginners (github.com/lsmor) |
| 139 points by bmacho on Sept 7, 2023 | 49 comments |
|
| 26. | | If you can use open source, you can build hardware (redeem-tomorrow.com) |
| 335 points by gustavo_f on Sept 5, 2023 | 134 comments |
|
| 27. | | Learn Physics with Functional Programming (nostarch.com) |
| 291 points by privong on Sept 5, 2023 | 100 comments |
|
| 28. | | Electronics Course (45 episodes, YouTube) (youtube.com) |
| 161 points by childintime on Aug 31, 2023 | 45 comments |
|
| 29. | | The Sad Bastard Cookbook (traumbooks.itch.io) |
| 654 points by throwaway154 on Aug 6, 2023 | 433 comments |
|
| 30. | | Web Dev Without Tools (2021) (danthedev.com) |
| 66 points by _xivi on July 28, 2023 | 18 comments |
|
|
| More |
