| 1. | | Wrangling Monotonic Systems in TLA+ (ahelwer.ca) |
| 67 points by ahelwer on Nov 1, 2023 | 7 comments |
|
| 2. | | My Presidential Platform (astralcodexten.com) |
| 15 points by feross on Sept 5, 2023 |
|
| 3. | | GPT Unicorn has drawn a unicorn (adamkdean.co.uk) |
| 294 points by imdsm on Aug 10, 2023 | 203 comments |
|
| 4. | | Mum’s microbes might boost brain development of C-section babies (nature.com) |
| 56 points by gmays on June 19, 2023 | 13 comments |
|
| 5. | | Atuin replaces your existing shell history with a SQLite database (github.com/ellie) |
| 551 points by thunderbong on May 6, 2023 | 194 comments |
|
| 6. | | SQLite performance tuning: concurrent reads, multiple GBs and 100k SELECTs/s (phiresky.github.io) |
| 219 points by Maksadbek on April 12, 2023 | 69 comments |
|
| 7. | | The Quest for Netflix on Asahi Linux (da.vidbuchanan.co.uk) |
| 662 points by _Microft on March 9, 2023 | 280 comments |
|
| 8. | | Reliability: It’s not great (fly.io) |
| 1226 points by bishopsmother on March 6, 2023 | 455 comments |
|
| 9. | | Show HN: PodText.ai – Search anything said on a podcast, highlight text to play (podtext.ai) |
| 219 points by anonbuilder on Feb 9, 2023 | 84 comments |
|
| 10. | | Path to a free, self-taught education in Computer Science (github.com/ossu) |
| 691 points by netfortius on Feb 6, 2023 | 199 comments |
|
| 11. | | Let's build GPT: from scratch, in code, spelled out by Andrej Karpathy [video] (youtube.com) |
| 1110 points by georgehill on Jan 17, 2023 | 104 comments |
|
| 12. | | Whipper: Accurate Audio CD Ripping (github.com/whipper-team) |
| 266 points by catseyechandra on Jan 14, 2023 | 209 comments |
|
| 13. | | Tomu – A family of devices which fit inside your USB port (tomu.im) |
| 353 points by tildef on Jan 9, 2023 | 74 comments |
|
| 14. | | Safari's date-picker is the cause of 1/3 of our customer support issues (gist.github.com) |
| 565 points by robertakarobin on Dec 27, 2022 | 346 comments |
|
| 15. | | Hyperview: Native mobile apps, as easy as creating a website (hyperview.org) |
| 252 points by ksec on Dec 26, 2022 | 74 comments |
|
| 16. | | D2 language, open source alternative to PlantUML (d2lang.com) |
| 214 points by dcu on Dec 20, 2022 | 70 comments |
|
| 17. | | A list of advanced math tricks by Terence Tao (mathstodon.xyz) |
| 374 points by signa11 on Dec 12, 2022 | 55 comments |
|
| 18. | | Is Dark Mode Good for Your Eyes? (2020) (kevquirk.com) |
| 382 points by eBombzor on Dec 11, 2022 | 366 comments |
|
| 19. | | Ask HN: What are some of the best podcasts for developers? |
| 241 points by SlickStef11 on Dec 11, 2022 | 203 comments |
|
| 20. | | The GPT Architecture, on a Napkin (dugas.ch) |
| 470 points by decremental on Dec 11, 2022 | 56 comments |
|
| 21. | | Framer's Magic Motion (nan.fyi) |
| 243 points by bpierre on Dec 6, 2022 | 28 comments |
|
| 22. | | Coaching for “Normals”? |
| 73 points by wanderingCoder on Oct 12, 2022 | 61 comments |
|
| 23. | | Watchman: Execute a command when something changes (github.com/crodjer) |
| 248 points by ColinWright on Oct 5, 2022 | 88 comments |
|
| 24. | | Homemade Heat Pump Manifesto (2009) (ecorenovator.org) |
| 481 points by walterbell on Sept 24, 2022 | 247 comments |
|
| 25. | | Lockfree Algorithms (2010) (1024cores.net) |
| 131 points by luu on Sept 20, 2022 | 42 comments |
|
| 26. | | Show HN: Pi-hole deployed at the edge on Fly.io and accessed via TailScale (github.com/mtremsal) |
| 58 points by mtremsal on Aug 18, 2022 | 18 comments |
|
| 27. | | Why React Re-Renders (joshwcomeau.com) |
| 319 points by clessg on Aug 16, 2022 | 162 comments |
|
| 28. | | A little exercise each day improves muscles more than one big weekly workout (studyfinds.org) |
| 634 points by rajnathani on Aug 16, 2022 | 459 comments |
|
| 29. | | Ask HN: In 2022, what is the proper way to get into machine/deep learning? |
| 539 points by newsoul on Aug 16, 2022 | 203 comments |
|
| 30. | | Spaced repetition can allow for infinite recall (efavdb.com) |
| 281 points by efavdb on Aug 8, 2022 | 169 comments |
|
|
| More |
