| 1. | | The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com) |
| 108 points by todsacerdoti 4 months ago | 12 comments |
|
| 2. | | Turing Machines (samwho.dev) |
| 115 points by jakelazaroff 10 months ago | 35 comments |
|
| 3. | | I learned Haskell in just 15 years (duckrabbit.tech) |
| 307 points by aranchelk on June 17, 2024 | 237 comments |
|
| 4. | | New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io) |
| 340 points by namanyayg on April 23, 2024 | 162 comments |
|
| 5. | | Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz) |
| 497 points by gridentio on Oct 27, 2023 | 220 comments |
|
| 6. | | Lean, Coq and other proof assistants: Visualising proofs as trees (brick.do) |
| 158 points by lakesare on Sept 20, 2023 | 28 comments |
|
| 7. | | Functional Programming in Lean (leanprover.github.io) |
| 159 points by d_christiansen on May 28, 2023 | 37 comments |
|
| 8. | | A curated list of Emacs Lisp development resources (github.com/p3r7) |
| 122 points by andsoitis on July 2, 2023 | 23 comments |
|
| 9. | | The quest for a simple smartwatch (binarymoon.co.uk) |
| 127 points by ingve on June 27, 2023 | 229 comments |
|
| 10. | | Introduction to Algorithms: A Creative Approach by Udi Manber [pdf] (lagout.org) |
| 273 points by ggr2342 on May 27, 2023 | 37 comments |
|
| 11. | | CS 61B Data Structures, Spring 2023 UC Berkeley (datastructur.es) |
| 321 points by curious16 on May 16, 2023 | 73 comments |
|
| 12. | | Ask HN: What is new in algorithms and data structures these days? |
| 737 points by jvanderbot on May 10, 2023 | 211 comments |
|
| 13. | | Why split lexing and parsing into two separate phases? (tratt.net) |
| 159 points by ltratt on May 3, 2023 | 122 comments |
|
| 14. | | ThinkPad 701C with a Framework brain transplant (frame.work) |
| 296 points by pabs3 on Feb 23, 2023 | 129 comments |
|
| 15. | | Haskell is not category theory (pema.dev) |
| 124 points by Laaas on Feb 3, 2023 | 52 comments |
|
| 16. | | The Joy of Abstraction: An Exploration of Math, Category Theory, and Life (cambridge.org) |
| 114 points by teleforce on Nov 25, 2022 | 15 comments |
|
| 17. | | Ask HN: Best book to learn C in 2022? |
| 283 points by CodeSgt on Oct 8, 2022 | 160 comments |
|
| 18. | | Can I use a system call? (justine.lol) |
| 578 points by signa11 on Sept 21, 2022 | 158 comments |
|
| 19. | | An Infinitely Large Napkin [pdf] (venhance.github.io) |
| 175 points by benstrumental on Feb 11, 2022 | 17 comments |
|
| 20. | | Show HN: Simple Zero-Knowledge Proof Treasure Hunt Game (zk-treasure-hunt.glitch.me) |
| 82 points by mattdesl on Jan 26, 2022 | 45 comments |
|
| 21. | | Web Browser Engineering (browser.engineering) |
| 409 points by djoldman on Oct 17, 2021 | 63 comments |
|
| 22. | | Ask HN: Best way to organize 100-200 emails/day in Outlook? |
| 67 points by cwwc on Oct 16, 2021 | 58 comments |
|
| 23. | | No, we won’t have a video call for that (xahteiwi.eu) |
| 369 points by anotherevan on Sept 23, 2021 | 238 comments |
|
| 24. | | Learn Functional Programming Visually (david-peter.de) |
| 354 points by polyrand on Feb 14, 2021 | 65 comments |
|
| 25. | | A mathematical formalisation challenge by Peter Scholze (xenaproject.wordpress.com) |
| 75 points by alimw on Dec 6, 2020 | 24 comments |
|
| 26. | | Ask HN: Is there a website specialized in mathematics courses? |
| 176 points by dalleh on Oct 26, 2020 | 86 comments |
|
| 27. | | It's not what programming languages do, it's what they shepherd you to (nibblestew.blogspot.com) |
| 493 points by ingve on March 26, 2020 | 339 comments |
|
