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 (!!)
"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.
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.
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
Dun dun dun, another one bites the dust.
Thanks to the @solidity_lang team for the fast acknowledgement of the bug report and their help in clarifying the scope of the issue.
@johnadtoman, our VP of R&D, discovered a previously unknown code generation bug in the Solidity compiler that allows maliciously crafted calldata buffers to cause victim contracts to incorrectly introduce extra information into their own external calls.
medium.com/certora/incorrect…
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"
John Toman retweeted
At #SAS2021 last year, @SagivMooly gave an invited talk on cool work done at @certora in collaboration with @johnadtoman and @wilcoxjay: Pointer Analysis of Bytecode Programs for Effective Formal Verification of Smart Contracts conf.researchr.org/details/s…
