Guy who thinks merkle trees were invented by former German Chancellor Angela Merkel
Latest posts 5
Read all about how the team at @certora and I worked with the fine folks at @aave @bgdlabs and @the_matter_labs on diagnosing an anomaly due to a compiler bug (!!)
You can't trust the compiler.View quoted post on X
How we discovered a bug in LLVM, a tool used by thousands of projects and millions of users. 馃У馃憞
"How do I know which of these Japanese websites is the official one?"
"It's the one that's ugliest and hardest to use."
A real conversation with my sister.
"It's the one that's ugliest and hardest to use."
A real conversation with my sister.
There is strong and convincing evidence that I, John Toman, at least at some point in my past, knew how the fuck to use LaTeX.