| 1. | | Linear algebra done right (axler.net) |
| 281 points by the-mitr 27 days ago | 116 comments |
|
| 2. | | How real are real numbers? (2004) (arxiv.org) |
| 96 points by surprisetalk 47 days ago | 103 comments |
|
| 3. | | How Terry Tao became an evangelist for AI in math (quantamagazine.org) |
| 192 points by Tomte 3 months ago | 178 comments |
|
| 4. | | Looking Forward to Postgres 19: It's About Time (pgedge.com) |
| 154 points by xngbuilds 3 months ago | 43 comments |
|
| 5. | | AI Agent Guidelines for CS336 at Stanford (github.com/stanford-cs336) |
| 503 points by prakashqwerty 3 months ago | 153 comments |
|
| 6. | | What Do Gödel's Incompleteness Theorems Mean? (quantamagazine.org) |
| 163 points by baruchel 3 months ago | 65 comments |
|
| 7. | | Why senior developers fail to communicate their expertise (nair.sh) |
| 826 points by nilirl 4 months ago | 333 comments |
|
| 8. | | “Why not just use Lean?” (lawrencecpaulson.github.io) |
| 304 points by ibobev 4 months ago | 209 comments |
|
| 9. | | Early Christian Writings (earlychristianwritings.com) |
| 192 points by dsego 7 months ago | 146 comments |
|
| 10. | | Ask HN: How can we solve the loneliness epidemic? |
| 799 points by publicdebates 8 months ago | 1245 comments |
|
| 11. | | Refactoring – Not on the backlog (2014) (ronjeffries.com) |
| 44 points by dhorthy 8 months ago | 20 comments |
|
| 12. | | Readings in Database Systems (5th Edition) (2015) (redbook.io) |
| 152 points by teleforce 8 months ago | 19 comments |
|
| 13. | | The pitfalls of partitioning Postgres yourself (hatchet.run) |
| 93 points by abelanger 9 months ago | 6 comments |
|
| 14. | | Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name) |
| 167 points by addaon 9 months ago | 74 comments |
|
| 15. | | The Case Against PGVector (alex-jacobs.com) |
| 381 points by tacoooooooo 10 months ago | 137 comments |
|
| 16. | | Pipelining in psql (PostgreSQL 18) (verite.pro) |
| 165 points by tanelpoder 11 months ago | 40 comments |
|
| 17. | | A SQL Heuristic: ORs Are Expensive (ethanseal.com) |
| 170 points by ethanseal 11 months ago | 79 comments |
|
| 18. | | A clickable visual guide to the Rust type system (rustcurious.com) |
| 261 points by ashvardanian on Sept 8, 2025 | 42 comments |
|
| 19. | | The Expression Problem and its solutions (2016) (thegreenplace.net) |
| 106 points by andsoitis on Sept 7, 2025 | 85 comments |
|
| 20. | | SQL needed structure (scattered-thoughts.net) |
| 148 points by todsacerdoti on Sept 5, 2025 | 152 comments |
|
| 21. | | What Is the Fourier Transform? (quantamagazine.org) |
| 475 points by rbanffy on Sept 4, 2025 | 206 comments |
|
| 22. | | LLM Visualization (bbycroft.net) |
| 640 points by gmays on Sept 4, 2025 | 46 comments |
|
| 23. | | A Random Walk in 10 Dimensions (2021) (galileo-unbound.blog) |
| 134 points by just_human on Sept 3, 2025 | 18 comments |
|
| 24. | | The electric fence stopped working years ago (soonly.com) |
| 363 points by stroz on Aug 15, 2025 | 146 comments |
|
| 25. | | Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com/zaneh) |
| 203 points by FinalDestiny on July 4, 2025 | 58 comments |
|
| 26. | | I deleted my second brain (joanwestenberg.com) |
| 598 points by MrVandemar on June 28, 2025 | 348 comments |
|
| 27. | | Mechanical Watch: Exploded View (fellerts.no) |
| 1171 points by fellerts on June 22, 2025 | 134 comments |
|
| 28. | | Horse Browser (gethorse.com) |
| 33 points by gaws on June 21, 2025 | 12 comments |
|
| 29. | | Learn you Galois fields for great good (2023) (xorvoid.com) |
| 154 points by signa11 on June 21, 2025 | 30 comments |
|
| 30. | | A Lean companion to Analysis I (terrytao.wordpress.com) |
| 292 points by jeremyscanvic on May 31, 2025 | 42 comments |
|
|
| More |
