| 1. | | Push Ifs Up and Fors Down (matklad.github.io) |
| 569 points by goranmoomin 3 months ago | 197 comments |
|
| 2. | | How a French computing expert sabotaged the Nazis (weeklygazette.substack.com) |
| 37 points by ssudler on July 12, 2024 | 3 comments |
|
| 3. | | F* – A Proof-Oriented Programming Language (fstar-lang.org) |
| 236 points by montyanderson on May 16, 2024 | 102 comments |
|
| 4. | | I Know the secret to the quiet mind. I wish I'd never learned it (2021) (theatlantic.com) |
| 185 points by ianai on April 18, 2024 | 126 comments |
|
| 5. | | Advice to young people, the lies I tell myself (jxnl.co) |
| 155 points by herbertl on April 4, 2024 | 62 comments |
|
| 6. | | Linear Algebra of Types (2019) (philipzucker.com) |
| 115 points by g0xA52A2A on March 30, 2024 | 8 comments |
|
| 7. | | Anakin – Automatically Kill Orphans (github.com/timmmm) |
| 89 points by timhh on March 30, 2024 | 23 comments |
|
| 8. | | Data Structures for Data-Intensive Applications [pdf] (2023) (bu.edu) |
| 583 points by mfiguiere on Feb 9, 2024 | 26 comments |
|
| 9. | | Applied Category Theory: Textbook (2019) (ocw.mit.edu) |
| 110 points by johnsonjo on Nov 5, 2023 | 15 comments |
|
| 10. | | Purely Functional Data Structures (1996) [pdf] (cmu.edu) |
| 364 points by debanjan16 on May 30, 2023 | 96 comments |
|
| 11. | | Everything you always wanted to know about mathematics (2013) [pdf] (cmu.edu) |
| 941 points by ggr2342 on May 25, 2023 | 147 comments |
|
| 12. | | Banking in uncertain times (bitsaboutmoney.com) |
| 386 points by tiniuclx on March 15, 2023 | 366 comments |
|
| 13. | | Men Without Work (2016) (time.com) |
| 141 points by ianai on Jan 3, 2023 | 447 comments |
|
| 14. | | We’re in a golden age of board games (washingtonpost.com) |
| 128 points by andrewl on Dec 24, 2022 | 70 comments |
|
| 15. | | Typing the technical interview (2017) (aphyr.com) |
| 123 points by weatherlight on Nov 2, 2022 | 32 comments |
|
| 16. | | The Art of Command Line (github.com/jlevy) |
| 426 points by tambourine_man on Nov 24, 2022 | 80 comments |
|
| 17. | | Books to read to understand financial crime (economist.com) |
| 304 points by pseudolus on July 14, 2022 | 99 comments |
|
| 18. | | Lisp in 99 lines of C and how to write one yourself [pdf] (github.com/robert-van-engelen) |
| 289 points by jstanley on July 14, 2022 | 68 comments |
|
| 19. | | Map of Reddit (anvaka.github.io) |
| 729 points by penneyd on May 12, 2022 | 119 comments |
|
| 20. | | Mechanical Watch (ciechanow.ski) |
| 4298 points by todsacerdoti on May 4, 2022 | 413 comments |
|
| 21. | | How to have a billion dollar exit with zero capital gains tax (axiomalpha.com) |
| 287 points by the88doctor on May 9, 2022 | 291 comments |
|
| 22. | | Google, Twitter, and Spotify built a culture of documentation (doctave.com) |
| 31 points by kosasbest on March 13, 2022 | 3 comments |
|
| 23. | | MonoLisa – A font designed for developers (monolisa.dev) |
| 402 points by qubitcoder on Feb 14, 2022 | 284 comments |
|
| 24. | | LCARS – Star Trek Website Templates (thelcars.com) |
| 52 points by ecliptik on Feb 12, 2022 | 7 comments |
|
| 25. | | Ten Thousand Mistakes (thecodelesscode.com) |
| 4 points by zkldi on Nov 28, 2021 | 1 comment |
|
| 26. | | What I wish I knew when learning F# (danielbachler.de) |
| 233 points by DeathArrow on Oct 14, 2021 | 147 comments |
|
| 27. | | Boilerplate to kickstart creating an NPM package using TypeScript (github.com/ryansonshine) |
| 2 points by rytrix on Sept 9, 2021 | 1 comment |
|
| 28. | | A teenager's guide to avoiding actual work (madned.substack.com) |
| 1464 points by mad_ned on May 19, 2021 | 254 comments |
|
| 29. | | A Brief F# Exploration (srid.ca) |
| 109 points by todsacerdoti on April 8, 2021 | 60 comments |
|
| 30. | | Category Theory: Orders (boris-marinov.github.io) |
| 212 points by todsacerdoti on April 1, 2021 | 52 comments |
|
|
| More |
