John Toman

Chief Scientist at @CertoraInc.

[John Toman @johnadtoman]

Guy who thinks merkle trees were invented by former German Chancellor Angela Merkel

[John Toman @johnadtoman]

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 (!!)

[Certora @Certora]

You can't trust the compiler.

How we discovered a bug in LLVM, a tool used by thousands of projects and millions of users. 🧵👇

[John Toman @johnadtoman]

"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.

[John Toman @johnadtoman]

Meanwhile, on Certora slack:

[John Toman @johnadtoman]

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.

[John Toman @johnadtoman]

@AmazonHelp @sprigland Lmao, Amazon out here acting like it's your weird recommendations when it shows this in a private tab. What happened to you Amazon.

[John Toman @johnadtoman]

@grassmannian Your answer must include at least three of:
* Upper case letters
* lower case letters
* special symbols (? ! & etc.)
* Numbers

[John Toman @johnadtoman]

@megrowler I want you to know, that whenever I see someone (particular a pitcher!) in a dicey situation, I play back you saying "get 'em outta there!" on the EW pod

[John Toman @johnadtoman]

My esteemed colleague Alex pointed out this is more accurately called "co-CEGAR"

[John Toman @johnadtoman]

I work at a formal verification company.

[John Toman @johnadtoman]

@megrowler @sporer Did a double take at some Halloween cookies on display at Fred Meyer every day. Gets earlier every year.

Good news: it will eventually wrap back around!

[John Toman @johnadtoman]

"Oh, Patreon? It's like OnlyFans for mediocre YouTubers."

[John Toman @johnadtoman]

Once you take the red pill, you can't go back

[John Toman @johnadtoman]

good advice

[John Toman @johnadtoman]

@grassmannian goddammit Brendan

[John Toman @johnadtoman]

@grassmannian Twitter apparently agrees, and has decided to blur this code for my well-being

[John Toman @johnadtoman]

@grassmannian @Patrisimoose Fuck you twitter, this is a 10/10 tweet

[John Toman @johnadtoman]

New rule for government regulations:
1. If the number of regulations (n) is odd, you can create 2n + 1 regulations
2. If the number of regulations is even, you must abolish half of the regulations

Checkmate liberals

[John Toman @johnadtoman]

@grassmannian Yes, but also, they nailed me