| 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 |
