| 1. | | From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io) |
| 145 points by rwosync 67 days ago | 21 comments |
|
| 2. | | Native Secure Enclave backed SSH keys on macOS (gist.github.com) |
| 459 points by arianvanp 87 days ago | 192 comments |
|
| 3. | | How to avoid leaking your customer's source code with GitHub apps (roadie.io) |
| 50 points by grinnick on Nov 3, 2021 | 7 comments |
|
| 4. | | Strudel REPL – a music live coding environment living in the browser (strudel.cc) |
| 244 points by birdculture 4 months ago | 53 comments |
|
| 5. | | macOS dotfiles should not go in –/Library/Application Support (becca.ooo) |
| 273 points by zdw 5 months ago | 214 comments |
|
| 6. | | A small change to improve browsers for keyboard navigation (43z.one) |
| 207 points by h43z 5 months ago | 68 comments |
|
| 7. | | The Math Is Haunted (overreacted.io) |
| 409 points by danabramov 6 months ago | 194 comments |
|
| 8. | | Thoughts on thinking (dcurt.is) |
| 721 points by bradgessler 9 months ago | 438 comments |
|
| 9. | | The exceptional Jordan algebra (2020) (hatsya.com) |
| 108 points by gone35 11 months ago | 15 comments |
|
| 10. | | On Running systemd-nspawn Containers (2022) (benjamintoll.com) |
| 116 points by cautious-fly 12 months ago | 58 comments |
|
| 11. | | Show HN: Live-updating version of the 'What a week, huh?' meme (dlazaro.ca) |
| 834 points by dnlzro on Feb 18, 2025 | 154 comments |
|
| 12. | | The hardest working font in Manhattan (aresluna.org) |
| 857 points by robinhouston on Feb 14, 2025 | 118 comments |
|
| 13. | | Programming SDF animations of Rick and Morty (danielchasehooper.com) |
| 505 points by LordNibbler on Feb 6, 2025 | 39 comments |
|
| 14. | | The Cantonese Scrolls – A Cantonese language learning mental RPG (cantoscrolls.com) |
| 126 points by fearedbliss on Feb 3, 2025 | 54 comments |
|
| 15. | | Vim Racer (vim-racer.com) |
| 351 points by udev4096 on Aug 25, 2024 | 86 comments |
|
| 16. | | Tracing Military Command Chains Through Time and Location (dot.studio) |
| 103 points by Gigamouse on Jan 16, 2025 | 30 comments |
|
| 17. | | The Deceptively Asymmetric Unit Sphere (tangramvision.com) |
| 139 points by ThatGeoGuy on Nov 22, 2024 | 30 comments |
|
| 18. | | The Copenhagen Book: general guideline on implementing auth in web applications (thecopenhagenbook.com) |
| 750 points by sebnun on Oct 10, 2024 | 184 comments |
|
| 19. | | OAuth from First Principles (stack-auth.com) |
| 490 points by n2d4 on Sept 1, 2024 | 104 comments |
|
| 20. | | Calling All Hackers (phrack.org) |
| 674 points by picture on Aug 21, 2024 | 253 comments |
|
| 21. | | Fifty Things you can do with a Software Defined Radio (blinry.org) |
| 341 points by Timothee on March 16, 2024 | 40 comments |
|
| 22. | | Ask HN: Are there any websites for SQL puzzle games? |
| 157 points by novoreorx on Feb 29, 2024 | 46 comments |
|
| 23. | | Useful Uses of cat (two-wrongs.com) |
| 274 points by todsacerdoti on Feb 21, 2024 | 180 comments |
|
| 24. | | Figure out who's leaving the company: dump, diff, repeat (rachelbythebay.com) |
| 688 points by l0b0 on Feb 9, 2024 | 378 comments |
|
| 25. | | How Open ID Connect Works (digger.dev) |
| 107 points by iacguy on Jan 4, 2024 | 92 comments |
|
| 26. | | Interactive intro to shaders (mayerowitz.io) |
| 555 points by superMayo on Oct 26, 2023 | 71 comments |
|
| 27. | | Learn Physics with Functional Programming (nostarch.com) |
| 291 points by privong on Sept 5, 2023 | 100 comments |
|
| 28. | | Defer for Shell (2020) (cedwards.xyz) |
| 91 points by harporoeder on June 20, 2023 | 49 comments |
|
| 29. | | Show HN: Rarbg on IPFS (ipfs.io) |
| 704 points by rarbgipfs on June 4, 2023 | 128 comments |
|
| 30. | | Microcorruption Writeup (msinilo.pl) |
| 31 points by luu on March 25, 2023 | 6 comments |
|
|
| More |
