| 1. | | NanoChat – The best ChatGPT that $100 can buy (github.com/karpathy) |
| 1523 points by huseyinkeles 25 days ago | 308 comments |
|
| 2. | | Advanced Matrix Multiplication Optimization on Multi-Core Processors (2024) (salykova.github.io) |
| 85 points by skidrow 38 days ago | 3 comments |
|
| 3. | | Kefir: Solo-developed full C17/C23 compiler with extensive validation (protopopov.lv) |
| 64 points by jprotopopov 60 days ago | 21 comments |
|
| 4. | | Show HN: I integrated my from-scratch TCP/IP stack into the xv6-riscv OS (github.com/pandax381) |
| 147 points by pandax381 74 days ago | 12 comments |
|
| 5. | | Optimizing our way through Metroid (antithesis.com) |
| 147 points by eatonphil 78 days ago | 32 comments |
|
| 6. | | Linear scan register allocation on SSA (bernsteinbear.com) |
| 48 points by surprisetalk 83 days ago | 8 comments |
|
| 7. | | Typechecker Zoo (sdiehl.github.io) |
| 193 points by todsacerdoti 84 days ago | 31 comments |
|
| 8. | | Occult books digitized and put online by Amsterdam’s Ritman Library (openculture.com) |
| 504 points by Anon84 84 days ago | 204 comments |
|
| 9. | | Writing a Rust GPU kernel driver: a brief introduction on how GPU drivers work (collabora.com) |
| 297 points by losgehts 3 months ago | 38 comments |
|
| 10. | | Just Ask for Generalization (2021) (evjang.com) |
| 38 points by jxmorris12 4 months ago | 4 comments |
|
| 11. | | Datalog in Rust (github.com/frankmcsherry) |
| 326 points by brson 4 months ago | 42 comments |
|
| 12. | | Radxa Orion O6 brings Arm to the midrange PC (with caveats) (jeffgeerling.com) |
| 91 points by goranmoomin 6 months ago | 66 comments |
|
| 13. | | The 12-bit rainbow palette (iamkate.com) |
| 325 points by rguiscard 6 months ago | 81 comments |
|
| 14. | | An intro to DeepSeek's distributed file system (maknee.github.io) |
| 623 points by sebg 6 months ago | 108 comments |
|
| 15. | | Lemma for the Fundamental Theorem of Galois Theory (susam.net) |
| 134 points by susam 7 months ago | 37 comments |
|
| 16. | | computronium – differentiable learning of stateful binary circuits (google-research.github.io) |
| 32 points by eyvindn 8 months ago |
|
| 17. | | Differentiable Logic Cellular Automata (google-research.github.io) |
| 469 points by eyvindn 8 months ago | 90 comments |
|
| 18. | | Destroying x86_64 instruction decoders with differential fuzzing (trailofbits.com) |
| 180 points by woodruffw on Oct 31, 2019 | 111 comments |
|
| 19. | | Discovering algorithms by enumerating terms in Haskell (twitter.com/victortaelin) |
| 143 points by agomez314 on Aug 2, 2024 | 48 comments |
|
| 20. | | Byte Latent Transformer: Patches Scale Better Than Tokens (meta.com) |
| 378 points by zxexz 10 months ago | 84 comments |
|
| 21. | | LibLISA – Instruction Discovery and Analysis on x86-64 (liblisa.nl) |
| 85 points by Luc on Oct 24, 2024 | 17 comments |
|
| 22. | | Things I've learned building a modern TUI Framework (2022) (textualize.io) |
| 331 points by willm on Aug 11, 2024 | 120 comments |
|
| 23. | | Boosting Compiler Testing by Injecting Real-World Code (acm.org) |
| 16 points by matt_d on July 11, 2024 | 2 comments |
|
| 24. | | Interactive Theorem Proving, Guest Lecture – Introduction to HOL [video] (youtube.com) |
| 52 points by matt_d on June 8, 2024 | 10 comments |
|
| 25. | | LLaMA now goes faster on CPUs (justine.lol) |
| 1372 points by lawrencechen on April 1, 2024 | 451 comments |
|
| 26. | | Compiling with Constraints (philipzucker.com) |
| 126 points by philzook on March 18, 2024 | 36 comments |
|
| 27. | | I'm Betting on Call-by-Push-Value (thunderseethe.dev) |
| 174 points by todsacerdoti on March 9, 2024 | 64 comments |
|
| 28. | | Dorf Fort (2020) (androidarts.com) |
| 166 points by Fraterkes on Jan 28, 2024 | 49 comments |
|
| 29. | | Origins of J (github.com/kelas) |
| 143 points by tosh on Jan 4, 2024 | 72 comments |
|
| 30. | | Gefs: A good enough filesystem for Plan 9 (orib.dev) |
| 6 points by fanf2 on April 29, 2023 | 2 comments |
|
|
| More |
