| 1. | | Cuttle – a MTG like game using a standard 52 card deck (pagat.com) |
|
384 points by 7thaccount 21 days ago | 94 comments
|
|
| 2. | | Operating System in 1,000 Lines – Intro (operating-system-in-1000-lines.vercel.ap...) |
|
1060 points by ingve 23 days ago | 121 comments
|
|
| 3. | | Nonlinear Circuits Handbook (1976) (analog.com) |
|
31 points by segfaultbuserr 37 days ago | 3 comments
|
|
| 4. | | Emit-C: A time travelling programming language (github.com/nimrag-b) |
|
107 points by doppp 80 days ago | 59 comments
|
|
| 5. | | Category Theory Illustrated: Logic (2021) (abuseofnotation.github.io) |
|
252 points by boris_m 3 months ago | 83 comments
|
|
| 6. | | Galois Theory (utexas.edu) |
|
467 points by mathgenius 5 months ago | 234 comments
|
|
| 7. | | What Is Entropy? (johncarlosbaez.wordpress.com) |
|
345 points by ainoobler 6 months ago | 200 comments
|
|
| 8. | | Ask HN: Any fun ways to learn Emacs? |
|
93 points by yawpitch 9 months ago | 52 comments
|
|
| 9. | | Formally modeled Dreidel for no good reason (buttondown.email/hillelwayne) |
|
243 points by JNRowe on Dec 28, 2023 | 70 comments
|
|
| 10. | | Mechanical Watch (2022) (ciechanow.ski) |
|
954 points by Akcium on Dec 10, 2023 | 163 comments
|
|
| 11. | | Where do non-primitive recursive functions come up naturally? (computationalcomplexity.org) |
|
53 points by furcyd on Dec 4, 2023 | 42 comments
|
|
| 12. | | Planes, Spheres and Pseudospheres (gregegan.net) |
|
109 points by sohkamyung on Nov 4, 2023 | 34 comments
|
|
| 13. | | Improving deep sleep may prevent dementia, study finds (monash.edu) |
|
478 points by clouddrover on Nov 1, 2023 | 441 comments
|
|
| 14. | | Applied Category Theory Course (ucr.edu) |
|
161 points by Schiphol on Sept 27, 2023 | 93 comments
|
|
| 15. | | Snake-fury – a challenge for Haskell beginners (github.com/lsmor) |
|
139 points by bmacho on Sept 7, 2023 | 49 comments
|
|
| 16. | | If you can use open source, you can build hardware (redeem-tomorrow.com) |
|
335 points by gustavo_f on Sept 5, 2023 | 134 comments
|
|
| 17. | | Learn Physics with Functional Programming (nostarch.com) |
|
291 points by privong on Sept 5, 2023 | 100 comments
|
|
| 18. | | Electronics Course (45 episodes, YouTube) (youtube.com) |
|
161 points by childintime on Aug 31, 2023 | 45 comments
|
|
| 19. | | The Sad Bastard Cookbook (traumbooks.itch.io) |
|
654 points by throwaway154 on Aug 6, 2023 | 433 comments
|
|
| 20. | | Web Dev Without Tools (2021) (danthedev.com) |
|
66 points by _xivi on July 28, 2023 | 18 comments
|
|
| 21. | | A tutorial quantum interpreter in 150 lines of Lisp (stylewarning.com) |
|
232 points by varjag on July 16, 2023 | 44 comments
|
|
| 22. | | Haflang – Hardware Acceleration of Functional Languages (haflang.github.io) |
|
22 points by anlunx on July 11, 2023 | 1 comment
|
|
| 23. | | Bottles – Easily run Windows software on Linux (usebottles.com) |
|
307 points by manaskarekar on July 4, 2023 | 188 comments
|
|
| 24. | | Counterexamples in Type Systems: programs that crash, segfault or explode (2021) (counterexamples.org) |
|
234 points by nequo on June 6, 2023 | 95 comments
|
|
| 25. | | What Vale taught me about linear types, borrowing, and memory safety (verdagon.dev) |
|
126 points by generichuman on June 1, 2023 | 12 comments
|
|
| 26. | | Albert Camus (stanford.edu) |
|
196 points by guerrilla on May 30, 2023 | 82 comments
|
|
| 27. | | Electronics Lab Bench Setup Guide (badar.tech) |
|
600 points by stacktrust on May 11, 2023 | 264 comments
|
|
| 28. | | Driving Compilers (fabiensanglard.net) |
|
168 points by fredoralive on May 3, 2023 | 41 comments
|
|
| 29. | | Use Gröbner bases to solve polynomial equations (jingnanshi.com) |
|
145 points by ransac9000 on April 25, 2023 | 49 comments
|
|
| 30. | | Better Together: Unifying Datalog and Equality Saturation (arxiv.org) |
|
101 points by luu on April 16, 2023 | 15 comments
|
|
|
|
More |
