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