| 1. | | Human Scale Software vs. Open Source (posixcafe.org) |
| 3 points by akiarie 34 days ago | past | 1 comment |
|
| 2. | | Show HN: Hyloblog – minimal, Git-based SSG for writing (not theming) (hyloblog.com) |
| 3 points by akiarie 12 months ago | past |
|
| 3. | | Xr0 Makes C Safer than Rust (xr0.dev) |
| 49 points by akiarie on March 28, 2024 | past | 41 comments |
|
| 4. | | Dennis Ritchie's criticisms of an early draft of C89 (port70.net) |
| 1 point by akiarie on March 21, 2024 | past |
|
| 5. | | On the teaching of programming, i.e. on the teaching of thinking (EWD473) (raboof.github.io) |
| 2 points by akiarie on March 14, 2024 | past |
|
| 6. | | Show HN: Xr0 – Vanilla C Made Safe with Annotations (xr0.dev) |
| 17 points by akiarie on Sept 16, 2023 | past | 13 comments |
|
| 7. | | Ask HN: What buggy software is relied upon by the most people? |
| 6 points by akiarie on July 29, 2023 | past | 6 comments |
|
| 8. | | What I Learned Implementing Lex (rwstream.com) |
| 3 points by akiarie on May 26, 2023 | past | 2 comments |
|
| 9. | | Dijkstra: Two Views of Programming (EWD540) (raboof.github.io) |
| 1 point by akiarie on May 4, 2023 | past |
|
| 10. | | GPT-4 Khan Academy in Depth Demo (youtube.com) |
| 1 point by akiarie on March 20, 2023 | past |
|
| 11. | | Show HN: i2forge – A Platform for Verified Reasoning (i2forge.com) |
| 35 points by akiarie on March 18, 2023 | past | 13 comments |
|
| 12. | | Show HN: A Regex-to-Golang compiler based on Thompson's algorithm (github.com/akiarie) |
| 1 point by akiarie on July 15, 2022 | past | 1 comment |
|
| 13. | | What Hacking Is and Why It Is Wonderful |
| 1 point by akiarie on Feb 13, 2020 | past |
|
| 14. | | Rewriting Earth's Creation Story (theatlantic.com) |
| 1 point by akiarie on Sept 29, 2016 | past |
|
| 15. | | Ask HN: What should I give priority, Lisp, Haskell, or the Dragon Book? |
| 6 points by akiarie on Jan 12, 2016 | past | 12 comments |
|
