|
|
| 1. | | Automated Category Theory Reasoning with Metatheory.jl and Egraphs (philipzucker.com) | | 7 points by 0x0f0f0f on March 12, 2021 | past | |
| 2. | | Installing Void Linux on a Hetzner Cloud VPS (0x0f0f0f.github.io) | | 2 points by 0x0f0f0f on Nov 13, 2020 | past | |
| 3. | | Show HN: Single binary memory usage plotter (github.com/0x0f0f0f) | | 1 point by 0x0f0f0f on June 25, 2020 | past | |
| 4. | | How to Turn DNA into Music (0x0f0f0f.github.io) | | 2 points by 0x0f0f0f on April 4, 2020 | past | 1 comment | |
| 5. | | Show HN: Simulating Infectious Disease in 200 lines of C (0x0f0f0f.github.io) | | 5 points by 0x0f0f0f on March 19, 2020 | past | 1 comment | |
| 6. | | The Cube: A Short Story Co-Generated by AI (0x0f0f0f.github.io) | | 4 points by 0x0f0f0f on Feb 25, 2020 | past | |
| 7. | | On Mind, Language and Machines (0x0f0f0f.github.io) | | 115 points by 0x0f0f0f on Feb 5, 2020 | past | 23 comments | |
| 8. | | Show HN: Minicaml, didactical caml-like language to help understand interpreters (0x0f0f0f.github.io) | | 4 points by 0x0f0f0f on Dec 4, 2019 | past | |
| 9. | | Visualizing 11 years of contributions to Void Linux in 7 minutes (0x0f0f0f.github.io) | | 1 point by 0x0f0f0f on Nov 20, 2019 | past | |
| 10. | | Fast Markov chains in ~20 lines of sh, grep, cut and Awk (0x0f0f0f.github.io) | | 369 points by 0x0f0f0f on Nov 9, 2019 | past | 39 comments | |
| 11. | | Learn Functional Programming by Writing a Scheme in Haskell (0x0f0f0f.github.io) | | 14 points by 0x0f0f0f on Sept 28, 2019 | past | |
| 12. | | Building a Raspberry Pi full keyboard handheld, part 2 (0x0f0f0f.github.io) | | 9 points by 0x0f0f0f on Sept 27, 2019 | past | |
| 13. | | Building a Raspberry Pi 3B+ full keyboard handheld (0x0f0f0f.github.io) | | 303 points by 0x0f0f0f on Aug 29, 2019 | past | 86 comments | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
