| 1. | | Becoming a compiler engineer (rona.substack.com) |
| 295 points by lalitkale 29 days ago | 153 comments |
|
| 2. | | From Memorization to Reasoning in the Spectrum of Loss Curvature (arxiv.org) |
| 65 points by andy12_ 30 days ago | 14 comments |
|
| 3. | | Facts about throwing good parties (atvbt.com) |
| 963 points by cjbarber 34 days ago | 412 comments |
|
| 4. | | RLHF Book (rlhfbook.com) |
| 479 points by jxmorris12 10 months ago | 37 comments |
|
| 5. | | The Burrows-Wheeler Transform (sandbox.bio) |
| 157 points by g0xA52A2A 59 days ago | 40 comments |
|
| 6. | | 'Attention is all you need' coauthor says he's 'sick' of transformers (venturebeat.com) |
| 432 points by achow 44 days ago | 224 comments |
|
| 7. | | Bootstrapping a multiplayer server with Elixir (elixir-lang.org) |
| 237 points by thibaut_barrere on July 29, 2021 | 74 comments |
|
| 8. | | To be a better programmer, write little proofs in your head (the-nerve-blog.ghost.io) |
| 463 points by mprast 4 months ago | 167 comments |
|
| 9. | | AI slows down open source developers. Peter Naur can teach us why (johnwhiles.com) |
| 363 points by jwhiles 4 months ago | 211 comments |
|
| 10. | | Introduction to Computer Music (cmtext.com) |
| 280 points by hecanjog 4 months ago | 84 comments |
|
| 11. | | There is no memory safety without thread safety (ralfj.de) |
| 456 points by tavianator 4 months ago | 503 comments |
|
| 12. | | Losing language features: some stories about disjoint unions (graydon2.dreamwidth.org) |
| 119 points by Bogdanp 4 months ago | 74 comments |
|
| 13. | | Graphical Linear Algebra (graphicallinearalgebra.net) |
| 304 points by hyperbrainer 5 months ago | 26 comments |
|
| 14. | | Ask HN: What useful AI tools do you use every day? |
| 42 points by rajkumarsekar 5 months ago | 72 comments |
|
| 15. | | Minimal Boolean Formulas (2011) (swtch.com) |
| 103 points by mcyc 5 months ago | 19 comments |
|
| 16. | | I'd rather read the prompt (claytonwramsey.com) |
| 1444 points by claytonwramsey 7 months ago | 839 comments |
|
| 17. | | DeepSeek-Prover-V2 (github.com/deepseek-ai) |
| 396 points by meetpateltech 7 months ago | 77 comments |
|
| 18. | | Algebraic Semantics for Machine Knitting (uwplse.org) |
| 246 points by PaulHoule 7 months ago | 20 comments |
|
| 19. | | Ghostwriter – use the reMarkable2 as an interface to vision-LLMs (github.com/awwaiid) |
| 211 points by wonger_ 10 months ago | 80 comments |
|
| 20. | | SAT Solver Etudes I (philipzucker.com) |
| 45 points by mathgenius 11 months ago | 30 comments |
|
| 21. | | On the nature of computing science (1984) (utexas.edu) |
| 280 points by ColinWright 11 months ago | 111 comments |
|
| 22. | | Category Theory in Programming (racket-lang.org) |
| 161 points by todsacerdoti on Dec 1, 2024 | 72 comments |
|
| 23. | | Baby’s Second Garbage Collector (jennyjams.net) |
| 156 points by whereistimbo on Nov 23, 2024 | 3 comments |
|
| 24. | | Delta: A syntax-highlighting pager for Git, diff, grep, and blame output (github.com/dandavison) |
| 642 points by nateb2022 on Nov 8, 2024 | 92 comments |
|
| 25. | | Game Programming in Prolog (thingspool.net) |
| 283 points by febin on Oct 10, 2024 | 62 comments |
|
| 26. | | How Clang compiles a function (2018) (regehr.org) |
| 90 points by ibobev on July 26, 2024 | 5 comments |
|
| 27. | | Ask HN: What's Prolog like in 2024? |
| 427 points by overclock351 on July 18, 2024 | 276 comments |
|
| 28. | | Hash-based bisect debugging in compilers and runtimes (swtch.com) |
| 254 points by rsc on July 18, 2024 | 45 comments |
|
| 29. | | AdFlush (acm.org) |
| 276 points by grac3 on May 28, 2024 | 108 comments |
|
| 30. | | TTE: Terminal Text Effects (chrisbuilds.github.io) |
| 1830 points by makapuf on May 28, 2024 | 266 comments |
|
|
| More |
