| 1. | | GSWT: Gaussian Splatting Wang Tiles (yunfan.zone) |
| 118 points by klaussilveira 9 days ago | 25 comments |
|
| 2. | | There is No Quintic Formula [video] (youtube.com) |
| 97 points by DamnInteresting 12 days ago | 39 comments |
|
| 3. | | Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net) |
| 117 points by SchwKatze 15 days ago | 29 comments |
|
| 4. | | What is algebraic about algebraic effects? (interjectedfuture.com) |
| 96 points by iamwil 81 days ago | 38 comments |
|
| 5. | | Behind the scenes of Bun Install (bun.com) |
| 431 points by Bogdanp 3 months ago | 152 comments |
|
| 6. | | A clickable visual guide to the Rust type system (rustcurious.com) |
| 267 points by stmw 3 months ago | 41 comments |
|
| 7. | | The Art of Multiprocessor Programming 2nd Edition Book Club (eatonphil.com) |
| 289 points by eatonphil 4 months ago | 45 comments |
|
| 8. | | Reflections on OpenAI (calv.info) |
| 771 points by calvinfo 5 months ago | 421 comments |
|
| 9. | | Working through 'Writing A C Compiler' (jollygoodsw.wordpress.com) |
| 180 points by AlexeyBrin 5 months ago | 40 comments |
|
| 10. | | My first verified imperative program (markushimmel.de) |
| 181 points by TwoFx 5 months ago | 93 comments |
|
| 11. | | Snorting the AGI with Claude Code (kadekillary.work) |
| 332 points by beigebrucewayne 5 months ago | 242 comments |
|
| 12. | | How Compiler Explorer Works in 2025 (xania.org) |
| 232 points by vitaut 6 months ago | 46 comments |
|
| 13. | | The curse of knowing how, or; fixing everything (notashelf.dev) |
| 1197 points by Lunar5227 7 months ago | 441 comments |
|
| 14. | | Show HN: I built a hardware processor that runs Python (runpyxl.com) |
| 983 points by hwpythonner 7 months ago | 265 comments |
|
| 15. | | Where do those undergraduate divisibility problems come from? (grossack.site) |
| 161 points by mathgenius 10 months ago | 52 comments |
|
| 16. | | Egui – An immediate mode GUI written in Rust (egui.rs) |
| 286 points by josephcsible 11 months ago | 136 comments |
|
| 17. | | Reflections on Palantir (nabeelqu.substack.com) |
| 482 points by freditup on Oct 16, 2024 | 581 comments |
|
| 18. | | A bunch of programming advice I'd give to myself 15 years ago (mbuffett.com) |
| 544 points by marcusbuffett on June 29, 2024 | 318 comments |
|
| 19. | | Ask HN: What is the best code base you ever worked on? |
| 561 points by pcatach on June 28, 2024 | 454 comments |
|
| 20. | | The Swift compiler is slow due to how types are inferred (danielchasehooper.com) |
| 266 points by paraboul on June 12, 2024 | 221 comments |
|
| 21. | | The borrow checker within (smallcultfollowing.com) |
| 201 points by yurivish on June 12, 2024 | 36 comments |
|
| 22. | | Byte-Sized Swift: Building Tiny Games for the Playdate (swift.org) |
| 211 points by rauhul on March 12, 2024 | 39 comments |
|
| 23. | | Rogue editors started a competing Wikipedia that's only about roads (gizmodo.com) |
| 149 points by cainxinth on March 2, 2024 | 130 comments |
|
| 24. | | Look, ma, no matrices (enkimute.github.io) |
| 528 points by grgrdvrt on Feb 28, 2024 | 94 comments |
|
| 25. | | The Packing Chromatic Number of the Infinite Grid is 15: the story behind it (bsubercaseaux.github.io) |
| 94 points by bsubs on Feb 5, 2023 | 34 comments |
|
| 26. | | Ask HN: Math books that made you significantly better at math? |
| 619 points by optbuild on Jan 19, 2023 | 317 comments |
|
| 27. | | Books for Software Engineers in 2023 (grantisom.com) |
| 303 points by glisom on Jan 2, 2023 | 117 comments |
|
| 28. | | Topology, a Categorical Approach (2020) (mitpress.mit.edu) |
| 123 points by ShoutAtTheDevil on Nov 14, 2022 | 45 comments |
|
| 29. | | Ask HN: What's the best source code you've read? |
| 330 points by KennyFromIT on Sept 10, 2022 | 261 comments |
|
| 30. | | Notes on CPSC 465/565: Theory of Distributed Systems [pdf] (yale.edu) |
| 117 points by losoq on June 15, 2016 | 9 comments |
|
|
| More |
