| 1. | | FatNums: An Alternate Representation for School Arithmetic (2020) (parentheticallyspeaking.org) |
| 3 points by todsacerdoti 83 days ago | 1 comment |
|
| 2. | | The Mondrian introduction to functional optics (marcosh.github.io) |
| 85 points by marcosh 58 days ago | 21 comments |
|
| 3. | | Forsp: A Forth+Lisp Hybrid Lambda Calculus Language (xorvoid.com) |
| 228 points by xorvoid on June 10, 2024 | 104 comments |
|
| 4. | | A lowering strategy for control effects in Rust (abubalay.com) |
| 146 points by todsacerdoti on Jan 15, 2024 | 40 comments |
|
| 5. | | Counted B-Trees (2017) (greenend.org.uk) |
| 98 points by zerojames on May 20, 2024 | 49 comments |
|
| 6. | | Tail recursion, but modulo cons (jfmengels.net) |
| 76 points by todsacerdoti on Feb 28, 2022 | 36 comments |
|
| 7. | | Toward a better list iterator for the Linux kernel (lwn.net) |
| 177 points by chmaynard on March 10, 2022 | 101 comments |
|
| 8. | | Functor-Oriented Programming (r6.ca) |
| 179 points by szatkus on Oct 10, 2017 | 67 comments |
|
| 9. | | Foldl traverses with State, foldr traverses with anything (jaguarpaw.co.uk) |
| 1 point by cosmic_quanta on Jan 8, 2024 |
|
| 10. | | Hexagons and Hilbert curves – The headaches of distributed spatial indices (hivekit.io) |
| 89 points by max_sendfeld on March 22, 2024 | 27 comments |
|
| 11. | | Compiling Pattern Matching (compiler.club) |
| 128 points by todsacerdoti on Feb 3, 2024 | 17 comments |
|
| 12. | | A new F# compiler feature: graph-based type-checking (devblogs.microsoft.com/dotnet) |
| 196 points by soheilpro on Nov 3, 2023 | 112 comments |
|
| 13. | | The Fibonacci Matrix (ianthehenry.com) |
| 161 points by ianthehenry on July 31, 2023 | 23 comments |
|
| 14. | | FPGA N64 (ultrafp64.com) |
| 407 points by AndrewDucker on Oct 21, 2023 | 82 comments |
|
| 15. | | Experimenting with Memory Management for Basil (degaz.io) |
| 2 points by verdagon on June 17, 2023 |
|
| 16. | | Memory safety without borrow checking, reference counting, or garbage collection (verdagon.dev) |
| 111 points by modernerd on June 16, 2023 | 93 comments |
|
| 17. | | Merklizing the key/value store for fun and profit (joelgustafson.com) |
| 118 points by joelg on June 9, 2023 | 16 comments |
|
| 18. | | Modular Errors in Rust (sabrinajewson.org) |
| 134 points by mplanchard on April 9, 2023 | 27 comments |
|
| 19. | | Data Structures in the Fleet Editor (jetbrains.com) |
| 139 points by jsnell on Feb 21, 2022 | 48 comments |
|
| 20. | | Ruins of forgotten empires: APL languages (scottlocklin.wordpress.com) |
| 135 points by erehweb on July 28, 2013 | 172 comments |
|
| 21. | | The Stack Monoid (raphlinus.github.io) |
| 195 points by raphlinus on Sept 5, 2020 | 47 comments |
|
| 22. | | Tree traversal without recursion: the tree as a state machine (2007) (plasmasturm.org) |
| 209 points by userbinator on Sept 3, 2019 | 77 comments |
|
| 23. | | Rational rendering and floating bar (iquilezles.org) |
| 76 points by andyonthewings on Jan 1, 2019 | 23 comments |
|
| 24. | | Show HN: Parinfer – a simpler way to write Lisp (shaunlebron.github.io) |
| 674 points by undershirt on Nov 11, 2015 | 134 comments |
|
| 25. | | Nah Lock: A Lock-Free Memory Allocator (cmu.edu) |
| 54 points by luu on Nov 16, 2014 | 19 comments |
|
| 26. | | Skip Lists Done Right (ticki.github.io) |
| 451 points by signa11 on Dec 19, 2016 | 82 comments |
|
| 27. | | Beyond the LRU cache policy (github.com/ben-manes) |
| 21 points by japaget on Nov 10, 2015 | 4 comments |
|
| 28. | | Hitchhiker trees: functional, persistent, off-heap sorted maps (github.com/datacrypt-project) |
| 150 points by hadronzoo on Aug 5, 2016 | 32 comments |
|
| 29. | | Ctrie - A Lock-Free Concurrent Hash Array Mapped Trie (github.com/axel22) |
| 1 point by LiveTheDream on Oct 15, 2012 |
|
| 30. | | Twenty years of free software – part 11 concurrent-output (joeyh.name) |
| 1 point by edward on July 9, 2016 |
|
|
| More |
