🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

At #SAS2021 last year, Mooly Sagiv @Aspen gave an invited talk on cool work done at Certora in collaboration with John Toman and @wilcoxjay: Pointer Analysis of Bytecode Programs for Effective Formal Verification of Smart Contracts conf.researchr.org/details/sas-20…

Ugh, it looks like the latest TikTok challenge is called "Rocking": you trick someone into saying your spouse's name, and then slap them and shout "KEEP MY WIFE'S/HUSBAND'S NAME OUT OF YOUR FUCKING MOUTH"

Another day, another solidity compiler bug 🙃 Disclosure coming soon!

Dun dun dun, another one bites the dust. Thanks to the Solidity team for the fast acknowledgement of the bug report and their help in clarifying the scope of the issue.

Knuth would be livid

John "John" Toman

Live look at me reading the Ethereum Yellow paper's idea of "formal semantics"

The binary tree actually exists!!

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

good advice

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

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

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.

Meanwhile, on Certora slack:

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

Read all about how the team at Certora and I worked with the fine folks at Aave bgdlabs and Matter Labs (∎, ∆) on diagnosing an anomaly due to a compiler bug (!!)

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