| 1. | | Making deep learning go brrrr from first principles (2022) (horace.io) |
| 199 points by tosh 9 days ago | 66 comments |
|
| 2. | | Uv is fantastic, but its package management UX is a mess (loopwerk.io) |
| 336 points by nchagnet 10 days ago | 150 comments |
|
| 3. | | Show HN: Freenet, a peer-to-peer platform for decentralized apps (freenet.org) |
| 389 points by sanity 10 days ago | 271 comments |
|
| 4. | | Formal Verification Gates for AI Coding Loops (reubenbrooks.dev) |
| 144 points by pyrex41 11 days ago | 34 comments |
|
| 5. | | Show HN: Hocuspocus 4 – self-hosted Yjs collaboration backend (github.com/ueberdosis) |
| 38 points by philipisik 11 days ago | 8 comments |
|
| 6. | | Designing an FPGA Calculator from Scratch (baltazarstudios.com) |
| 74 points by zdw 14 days ago | 11 comments |
|
| 7. | | Unknowable Math Can Help Hide Secrets (quantamagazine.org) |
| 88 points by Xcelerate 18 days ago | 18 comments |
|
| 8. | | Show HN: Running the second public ODoH relay (numa.rs) |
| 125 points by rdme 18 days ago | 41 comments |
|
| 9. | | Show HN: Statewright – Visual state machines that make AI agents reliable (github.com/statewright) |
| 126 points by azurewraith 20 days ago | 59 comments |
|
| 10. | | Leaving GitHub for Forgejo (jorijn.com) |
| 634 points by jorijn 19 days ago | 362 comments |
|
| 11. | | Fc, a lossless compressor for floating-point streams (github.com/xtellect) |
| 108 points by enduku 22 days ago | 33 comments |
|
| 12. | | Podman rootless containers and the Copy Fail exploit (garrido.io) |
| 141 points by ggpsv 24 days ago | 25 comments |
|
| 13. | | Diskless Linux boot using ZFS, iSCSI and PXE (aniket.foo) |
| 208 points by stereo-highway 25 days ago | 103 comments |
|
| 14. | | [flagged] The Boring Internet (terrygodier.com) |
| 54 points by crowdhailer 26 days ago | 44 comments |
|
| 15. | | I built my own hair electrolysis machine (scd31.com) |
| 266 points by y1n0 33 days ago | 74 comments |
|
| 16. | | Talking to Transformers (miraos.org) |
| 44 points by taylorsatula 28 days ago | 5 comments |
|
| 17. | | Simple and correct snapshot isolation (remy.wang) |
| 32 points by remywang 31 days ago | 4 comments |
|
| 18. | | Opus 4.7 knows the real Kelsey (theargumentmag.com) |
| 472 points by ilamont 32 days ago | 257 comments |
|
| 19. | | Laws of Software Engineering (lawsofsoftwareengineering.com) |
| 1172 points by milanm081 41 days ago | 530 comments |
|
| 20. | | Free, fast diagnostic tools for DNS, email authentication, and network security (mrdns.com) |
| 73 points by dogsnews 47 days ago | 6 comments |
|
| 21. | | Show HN: ProofShot – Give AI coding agents eyes to verify the UI they build (github.com/amelmo) |
| 161 points by jberthom 69 days ago | 106 comments |
|
| 22. | | My DIY FPGA board can run Quake II (mikhe.ch) |
| 225 points by sznio 70 days ago | 70 comments |
|
| 23. | | A Recipe for Steganogravy (theo.lol) |
| 137 points by tbrockman 64 days ago | 31 comments |
|
| 24. | | Git commands I run before reading any code (piechowski.io) |
| 2338 points by grepsedawk 54 days ago | 509 comments |
|
| 25. | | Show HN: Zerobox – Sandbox any command with file, network, credential controls (github.com/afshinm) |
| 141 points by afshinmeh 62 days ago | 93 comments |
|
| 26. | | Project Nomad – Knowledge That Never Goes Offline (projectnomad.us) |
| 610 points by jensgk 71 days ago | 222 comments |
|
| 27. | | Time, Space, and Life as We Know It (2017) (raganwald.com) |
| 19 points by vismit2000 3 months ago |
|
| 28. | | Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web (github.com/bntre) |
| 49 points by bntr 3 months ago | 9 comments |
|
| 29. | | Breaking Free (forbrukerradet.no) |
| 207 points by Aissen 3 months ago | 47 comments |
|
| 30. | | Can you reverse engineer our neural network? (janestreet.com) |
| 317 points by jsomers 3 months ago | 204 comments |
|
|
| More |