| 1. | | Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz) |
| 497 points by gridentio on Oct 27, 2023 | 220 comments |
|
| 2. | | Ensō: write now, edit later (sonnet.io) |
| 416 points by surprisetalk on Oct 26, 2023 | 153 comments |
|
| 3. | | Shadow: New browser engine made almost entirely in JavaScript (goose.icu) |
| 462 points by awesomekling on Oct 27, 2023 | 295 comments |
|
| 4. | | Lessons Learned from Twenty Years of Site Reliability Engineering (sre.google) |
| 590 points by maheshrijal on Oct 27, 2023 | 124 comments |
|
| 5. | | 'Not of faculty quality': How Penn mistreated Katalin Karikó (thedp.com) |
| 512 points by happy-go-lucky on Oct 27, 2023 | 339 comments |
|
| 6. | | Interactive intro to shaders (mayerowitz.io) |
| 555 points by superMayo on Oct 26, 2023 | 71 comments |
|
| 7. | | WebSDR – Internet-connected Software-Defined Radios (websdr.org) |
| 265 points by nickt on Oct 26, 2023 | 64 comments |
|
| 8. | | Takkyu-bin: Luggage forwarding in Japan (craigmod.com) |
| 342 points by bookofjoe on Oct 26, 2023 | 164 comments |
|
| 9. | | Show HN: ScratchDB – Open-Source Snowflake on ClickHouse (github.com/scratchdata) |
| 261 points by memset on Oct 27, 2023 | 56 comments |
|
| 10. | | Visualizing quaternions (2018) (eater.net) |
| 192 points by squashToffee on Oct 27, 2023 | 42 comments |
|
| 11. | | The convolution empire strikes back (gonzoml.substack.com) |
| 132 points by che_shr_cat on Oct 27, 2023 | 56 comments |
|
| 12. | | Finding that lead emissions from aircraft engines contribute to air pollution (federalregister.gov) |
| 450 points by Metacelsus on Oct 27, 2023 | 340 comments |
|
| 13. | | Making PostgreSQL tick: New features in pg_cron (citusdata.com) |
| 194 points by thunderbong on Oct 26, 2023 | 23 comments |
|
| 14. | | Ceasing print publication of ACM journals and transactions (acm.org) |
| 194 points by talonx on Oct 27, 2023 | 125 comments |
|
| 15. | | Now add a walrus: Prompt engineering in DALL-E 3 (simonwillison.net) |
| 288 points by simonw on Oct 26, 2023 | 72 comments |
|
| 16. | | How to draw software architecture diagrams (2022) (terrastruct.com) |
| 368 points by walterbell on Oct 27, 2023 | 151 comments |
|
| 17. | | After 28 years, SSLv2 is still not gone from the internet (sans.edu) |
| 129 points by 1970-01-01 on Oct 26, 2023 | 35 comments |
|
| 18. | | My Left Kidney (astralcodexten.com) |
| 284 points by impish9208 on Oct 27, 2023 | 314 comments |
|
| 19. | | New devices could change the way we measure blood pressure (knowablemagazine.org) |
| 116 points by PaulHoule on Oct 27, 2023 | 67 comments |
|
| 20. | | Show HN: Pākiki Proxy – An intercepting proxy for penetration testing (pakikiproxy.com) |
| 97 points by pipeline_tux on Oct 27, 2023 | 43 comments |
|
| 21. | | How to catch a wild triangle (securelist.com) |
| 142 points by mmastrac on Oct 27, 2023 | 43 comments |
|
| 22. | | The slow death of authenticity in an attention economy (coryzue.com) |
| 469 points by czue on Oct 27, 2023 | 333 comments |
|
| 23. | | DreamCraft3D: Hierarchical 3D Generation with Bootstrapped Diffusion Prior (mrtornado24.github.io) |
| 134 points by phil9l on Oct 27, 2023 | 29 comments |
|
| 24. | | Show HN: Biblos – Semantic Bible Embedded Vector Search and Claude LLM (github.com/dssjon) |
| 136 points by j-b on Oct 27, 2023 | 84 comments |
|
| 25. | | Show HN: A local Python prototyping tool for Jupyter and Streamlit (github.com/galenmarchetti) |
| 65 points by galenmarchetti on Oct 27, 2023 | 5 comments |
|
| 26. | | Ways to Make Sand (2020) [video] (youtube.com) |
| 51 points by surprisetalk on Oct 27, 2023 | 13 comments |
|
| 27. | | Monsters in the Middle Ages (medievalists.net) |
| 55 points by benbreen on Oct 24, 2023 | 14 comments |
|
| 28. | | Solitary Confinement's Unlikely Origins (publicdomainreview.org) |
| 65 points by tintinnabula on Oct 26, 2023 | 64 comments |
|
| 29. | | Android 14's user-profile data bug (arstechnica.com) |
| 188 points by concernedpix on Oct 27, 2023 | 87 comments |
|
| 30. | | SDRangel: Explore the electromagnetic spectrum with open source SDR software (github.com/f4exb) |
| 84 points by teleforce on Oct 27, 2023 | 9 comments |
|
|
| More |
