hmijail
- Karma
- 39
- Created
- 10 years ago
About
From system software to formal verification and still goingRecent Submissions
- 1. ▲ The failure modes of Claude Code in a guided 60h project (hmijail.substack.com)
- 2. ▲ Show HN: A semantic fuzzer for Obsidian Sync... in spite of Claude (github.com)
- 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)