| user: | hmijail |
| created: | July 24, 2016 |
| karma: | 39 |
| about: | From system software to formal verification and still going |
| 1. | The failure modes of Claude Code in a guided 60h project(hmijail.substack.com) |
| 2. | |
| 3. | Fred Brooks vs. Dijkstra? (2015)(hmijailblog.blogspot.com) |
| 4. | You could have invented the LMAX Disruptor, if only you were limited enough(hmijailblog.blogspot.com) |