| 1. | | Just Ask for Generalization (2021) (evjang.com) |
| 38 points by jxmorris12 4 days ago | 4 comments |
|
| 2. | | Datalog in Rust (github.com/frankmcsherry) |
| 326 points by brson 22 days ago | 42 comments |
|
| 3. | | Radxa Orion O6 brings Arm to the midrange PC (with caveats) (jeffgeerling.com) |
| 91 points by goranmoomin 58 days ago | 66 comments |
|
| 4. | | The 12-bit rainbow palette (iamkate.com) |
| 325 points by rguiscard 70 days ago | 81 comments |
|
| 5. | | An intro to DeepSeek's distributed file system (maknee.github.io) |
| 623 points by sebg 81 days ago | 108 comments |
|
| 6. | | Lemma for the Fundamental Theorem of Galois Theory (susam.net) |
| 134 points by susam 3 months ago | 37 comments |
|
| 7. | | computronium – differentiable learning of stateful binary circuits (google-research.github.io) |
| 32 points by eyvindn 4 months ago |
|
| 8. | | Differentiable Logic Cellular Automata (google-research.github.io) |
| 469 points by eyvindn 4 months ago | 90 comments |
|
| 9. | | Destroying x86_64 instruction decoders with differential fuzzing (trailofbits.com) |
| 180 points by woodruffw on Oct 31, 2019 | 111 comments |
|
| 10. | | Discovering algorithms by enumerating terms in Haskell (twitter.com/victortaelin) |
| 143 points by agomez314 11 months ago | 48 comments |
|
| 11. | | Byte Latent Transformer: Patches Scale Better Than Tokens (meta.com) |
| 378 points by zxexz 6 months ago | 84 comments |
|
| 12. | | LibLISA – Instruction Discovery and Analysis on x86-64 (liblisa.nl) |
| 85 points by Luc 8 months ago | 17 comments |
|
| 13. | | Things I've learned building a modern TUI Framework (2022) (textualize.io) |
| 331 points by willm 11 months ago | 120 comments |
|
| 14. | | Boosting Compiler Testing by Injecting Real-World Code (acm.org) |
| 16 points by matt_d 12 months ago | 2 comments |
|
| 15. | | Interactive Theorem Proving, Guest Lecture – Introduction to HOL [video] (youtube.com) |
| 52 points by matt_d on June 8, 2024 | 10 comments |
|
| 16. | | LLaMA now goes faster on CPUs (justine.lol) |
| 1372 points by lawrencechen on April 1, 2024 | 451 comments |
|
| 17. | | Compiling with Constraints (philipzucker.com) |
| 126 points by philzook on March 18, 2024 | 36 comments |
|
| 18. | | I'm Betting on Call-by-Push-Value (thunderseethe.dev) |
| 174 points by todsacerdoti on March 9, 2024 | 64 comments |
|
| 19. | | Dorf Fort (2020) (androidarts.com) |
| 166 points by Fraterkes on Jan 28, 2024 | 49 comments |
|
| 20. | | Origins of J (github.com/kelas) |
| 143 points by tosh on Jan 4, 2024 | 72 comments |
|
| 21. | | Gefs: A good enough filesystem for Plan 9 (orib.dev) |
| 6 points by fanf2 on April 29, 2023 | 2 comments |
|
| 22. | | Jujutsu: A Git-compatible DVCS that is both simple and powerful (github.com/martinvonz) |
| 673 points by lemper on Aug 1, 2023 | 261 comments |
|
| 23. | | Rayhatching a UFO Scene (fxhash.xyz) |
| 26 points by caseyf on May 29, 2023 | 4 comments |
|
| 24. | | Implementing Value Speculation in OCaml (lortex.org) |
| 114 points by Smaug123 on May 6, 2023 | 12 comments |
|
| 25. | | Deconstructing Datalog [pdf] (rntz.net) |
| 93 points by luu on March 2, 2023 | 7 comments |
|
| 26. | | TCG TPM2.0 implementations vulnerable to memory corruption (cert.org) |
| 106 points by todsacerdoti on Feb 28, 2023 | 24 comments |
|
| 27. | | Löb and möb: strange loops in Haskell (2015) (github.com/quchen) |
| 153 points by hjnkk on Jan 30, 2023 | 60 comments |
|
| 28. | | Show HN: Kandria, an action RPG made in Common Lisp, is now out (steampowered.com) |
| 487 points by Shinmera on Jan 11, 2023 | 127 comments |
|
| 29. | | NuttX RTOS for PinePhone: Display Engine (lupyuen.github.io) |
| 79 points by lupyuen on Dec 22, 2022 | 11 comments |
|
| 30. | | Implementing a Toy Optimizer (pypy.org) |
| 58 points by tekknolagi on Dec 21, 2022 | 1 comment |
|
|
| More |
