🦀 🎱📡⌨️🏌️♂️⛩️ Tokyo, 日本 🇯🇵
I like agents of truth.
(?:distributed )?systems, security, performance, semantics, compilers.
Then I started adding safety comments. The act of needing to convincingly argue that something is true made me find and fix 3 bugs I had missed before.
Safety comments exist for a reason!
Then I started adding safety comments. The act of needing to convincingly argue that something is true made me find and fix 3 bugs I had missed before.
Safety comments exist for a reason!