Nov 16, 2023
Experimental Solidity
Daniel Kirchner
37:15
How we built MUD: An On-chain Kernel for Complex Applications on Ethereum
Alvarius
14:14
Slang: Building Solidity Compiler APIs from a Declarative Language Specification
Omar Tawfik
20:26
The State of EVM Languages
Grant Wuerker, Harikrishnan Mulackal, Maddiaa
42:35
Branching Tree Technique: Writing structured Solidity tests
Paul Razvan Berg
09:48
Beyond Fuzzing: Symbolic Testing in Practice
Daniel "karmacoma" Reynaud
20:26
Show all 18
Differential Testing with Foundry
Anna Carroll
25:59
Namespace storage (for now and for a verkle EVM)
Hadrien Croubois
16:56
Documenting Solidity with diagrams
Nick Addison
13:18
Deep dive into L2 deployed contracts
Ren Crypto Fish
15:41
Solidity's most common security pitfalls (and its best safeguards)
gmhacker
20:17
The Art of Huff
jtriley
18:46
Test your tests: The dos and don'ts of testing
Kurt Willis
23:53
How Good Is Your Formal Specification? Mutation Testing To The Rescue!
Chandrakana Nandi
29:24
`via-IR` speedrun
Nikola Matić
16:19
Decoding the EVM: A New Debugging Format for Smart Contracts
gnidan
17:16
Solidity in 2023
Daniel Kirchner
10:43
Welcome Note
Franziska Heintel
09:54