| 1. | | I Turned Frustration into Creative Success [video] (youtube.com) |
| 3 points by cristoperb 6 days ago | past | discuss |
|
| 2. | | Goedel-Prover-V2 (goedel-prover.com) |
| 1 point by cristoperb 8 days ago | past | discuss |
|
| 3. | | What's in a GIF – Bits and Bytes (sourceforge.net) |
| 1 point by cristoperb 18 days ago | past |
|
| 4. | | Creating an autonomous system for fun and profit (2017) (thelifeofkenneth.com) |
| 20 points by cristoperb 39 days ago | past | 1 comment |
|
| 5. | | Build your own Anycast Network in Nine Steps (2016) (ripe.net) |
| 3 points by cristoperb 40 days ago | past |
|
| 6. | | Curious humpback whales approach humans and blow bubble 'smoke' rings (phys.org) |
| 4 points by cristoperb 78 days ago | past | 2 comments |
|
| 7. | | Advent of Code in Zig (kristoff.it) |
| 2 points by cristoperb 8 months ago | past |
|
| 8. | | WebMite: Pico W with BASIC and WiFi support (geoffg.net) |
| 3 points by cristoperb 11 months ago | past |
|
| 9. | | Why aren't we using SSH for everything? (2015) (shazow.net) |
| 40 points by cristoperb on July 18, 2024 | past | 15 comments |
|
| 10. | | Optimizing the Lichess Tablebase Server (lichess.org) |
| 246 points by cristoperb on July 12, 2024 | past | 55 comments |
|
| 11. | | The Ages of Programming Language Creators (pldb.io) |
| 1 point by cristoperb on May 22, 2024 | past |
|
| 12. | | A Brief History of ClarisWorks (csail.mit.edu) |
| 1 point by cristoperb on Jan 8, 2024 | past |
|
| 13. | | The SQLite Query Optimizer Overview (sqlite.org) |
| 2 points by cristoperb on Aug 24, 2023 | past |
|
| 14. | | MacWhisper: Transcribe audio files on your Mac (goodsnooze.gumroad.com) |
| 240 points by cristoperb on Aug 22, 2023 | past | 93 comments |
|
| 15. | | Names of Parts on Electric Pole (waterheatertimer.org) |
| 43 points by cristoperb on July 27, 2023 | past | 14 comments |
|
| 16. | | Rust on the CH32V003 (noxim.xyz) |
| 3 points by cristoperb on June 28, 2023 | past |
|
| 17. | | Wings3D is an advanced sub-division 3D modeller (github.com/dgud) |
| 2 points by cristoperb on June 17, 2023 | past | 1 comment |
|
| 18. | | Flatpak Is Not the Future (ludocode.com) |
| 3 points by cristoperb on May 11, 2023 | past | 1 comment |
|
| 19. | | Specifying Systems by Leslie Lamport (lamport.azurewebsites.net) |
| 3 points by cristoperb on May 10, 2023 | past |
|
| 20. | | Don’t record your social life on an append-only social network (2022) (ctrl.blog) |
| 159 points by cristoperb on April 13, 2023 | past | 136 comments |
|
| 21. | | Summarize Anything with the Universal Summarizer – Kagi Blog (kagi.com) |
| 3 points by cristoperb on March 24, 2023 | past |
|
| 22. | | Building a fast Equation Grapher (2017) (rykap.com) |
| 2 points by cristoperb on Feb 1, 2023 | past |
|
| 23. | | Canary in the Coal Mine: Twitter and the End of Social Media (crimethinc.com) |
| 2 points by cristoperb on Dec 19, 2022 | past | 1 comment |
|
| 24. | | Deranged Sinterklaas: The Math and Algorithms of Secret Santa (catswhisker.xyz) |
| 1 point by cristoperb on Dec 2, 2022 | past |
|
| 25. | | Go 1.19.3 and Go 1.18.8 pre-announcement (groups.google.com) |
| 4 points by cristoperb on Oct 29, 2022 | past |
|
| 26. | | Zack's Notablog – Send a File (schollz.github.io) |
| 19 points by cristoperb on Oct 22, 2022 | past | 2 comments |
|
| 27. | | After 5 years, LocalCryptos is saying goodbye (localcryptos.com) |
| 4 points by cristoperb on Oct 22, 2022 | past |
|
| 28. | | Piping stdout and stderr to Preview (2021) (ericasadun.com) |
| 2 points by cristoperb on Oct 17, 2022 | past |
|
| 29. | | Electric Heaters (electrical-forensics.com) |
| 1 point by cristoperb on Sept 16, 2022 | past |
|
| 30. | | PicoMite – Basic Interpreter for the Raspberry Pi Pico (geoffg.net) |
| 65 points by cristoperb on July 14, 2022 | past | 9 comments |
|
|
| More |
