| 1. | | The CRDT Dictionary: A Field Guide to Conflict-Free Replicated Data Types (iankduncan.com) |
| 220 points by birdculture 17 days ago | 36 comments |
|
| 2. | | C++ to Rust Phrasebook (brown.edu) |
| 221 points by wcrichton 6 months ago | 78 comments |
|
| 3. | | Tree Calculus (treecalcul.us) |
| 493 points by iamwil on Dec 10, 2024 | 194 comments |
|
| 4. | | Ask HN: Recommendation for a SWE looking to get up to speed with latest on AI |
| 275 points by Rizu on Nov 27, 2024 | 94 comments |
|
| 5. | | C99 doesn't need function bodies: VLAs are Turing complete (lemon.rip) |
| 95 points by fanf2 on Nov 24, 2024 | 4 comments |
|
| 6. | | Λ-2D: An Exploration of Drawing as Programming Language (media.mit.edu) |
| 246 points by threeme3 on Nov 8, 2024 | 55 comments |
|
| 7. | | Sets, types and type checking (kaleidawave.github.io) |
| 118 points by kaleidawave on Oct 30, 2024 | 33 comments |
|
| 8. | | Git-PR: patch requests over SSH (pico.sh) |
| 209 points by steventhedev on July 14, 2024 | 103 comments |
|
| 9. | | The Overengineered Resume with Zola, JSON Resume, Weasyprint, and Nix (2023) (ktema.org) |
| 182 points by ahamez on July 11, 2024 | 115 comments |
|
| 10. | | Finally getting two's complement (neugierig.org) |
| 201 points by thepbone on June 23, 2023 | 91 comments |
|
| 11. | | Compile-time JSON deserialization in C++ (medium.com/abdulgh) |
| 108 points by dctwin on July 6, 2024 | 88 comments |
|
| 12. | | Panic at the Job Market (matt.sh) |
| 1717 points by speckx on July 17, 2024 | 1562 comments |
|
| 13. | | A new map of medieval London (londonist.substack.com) |
| 140 points by domh on June 12, 2024 | 40 comments |
|
| 14. | | Cursorless is alien magic from the future (xeiaso.net) |
| 790 points by todsacerdoti on Nov 10, 2023 | 337 comments |
|
| 15. | | An alternative to cursor pagination (medium.com/ramsi.candra) |
| 50 points by ramsicandra on April 29, 2024 | 13 comments |
|
| 16. | | The Essence of Compiling with Continuations (1993) [pdf] (acm.org) |
| 92 points by swatson741 on April 28, 2024 | 10 comments |
|
| 17. | | [dupe] Build Systems à La Carte: Theory and Practice (2020) [pdf] (microsoft.com) |
| 45 points by signa11 on April 8, 2024 | 11 comments |
|
| 18. | | I'm Betting on Call-by-Push-Value (thunderseethe.dev) |
| 174 points by todsacerdoti on March 9, 2024 | 64 comments |
|
| 19. | | Borrow checking without lifetimes (smallcultfollowing.com) |
| 115 points by todsacerdoti on March 4, 2024 | 57 comments |
|
| 20. | | Data structures as topological spaces (2002) [pdf] (spatial-computing.org) |
| 170 points by cpp_frog on Feb 16, 2024 | 46 comments |
|
| 21. | | Church vs. Curry Types (ericnormand.me) |
| 105 points by todsacerdoti on Dec 18, 2023 | 45 comments |
|
| 22. | | Show HN: FlakeHub – Discover and publish Nix flakes (flakehub.com) |
| 154 points by grhmc on Aug 22, 2023 | 107 comments |
|
| 23. | | Flattening ASTs and other compiler data structures (cornell.edu) |
| 285 points by fagnerbrack on July 2, 2023 | 81 comments |
|
| 24. | | FP2: Fully In-Place Functional Programming [pdf] (microsoft.com) |
| 206 points by chriscbr on June 25, 2023 | 24 comments |
|
| 25. | | Csexp: S-Expressions over the Network (racket-lang.org) |
| 109 points by thefilmore on June 11, 2023 | 44 comments |
|
| 26. | | Arwes: Futuristic Sci-Fi UI Web Framework (github.com/arwes) |
| 414 points by klaussilveira on June 23, 2023 | 111 comments |
|
| 27. | | Elixir's “Set Theoretical Type System” prototype/demo/showcase (typex.fly.dev) |
| 167 points by weatherlight on June 12, 2023 | 26 comments |
|
| 28. | | How to implement dependent type theory I (2012) (andrej.com) |
| 58 points by todsacerdoti on June 14, 2023 | 9 comments |
|
| 29. | | Building a new database management system in academia (2017) (cmu.edu) |
| 83 points by greghn on June 16, 2023 | 42 comments |
|
| 30. | | It’s not wrong that "🤦🏼♂️".length == 7 (2019) (hsivonen.fi) |
| 280 points by triyambakam on June 2, 2023 | 303 comments |
|
|
| More |
