Posts

1. Let's Talk, SuccinctlyA brief tutorial on writing programs for the SP1 zkVM
2. On WorkA brief expository essay on how to conduct knowledge work
3. Using Dasy From the Comfort of FoundryA brief tutorial on how to set Foundry up to use the Dasy smart contract programming language
4. State of the New Cairo 1.0 Compiler StackA walkthrough of the Cairo 1 compiler codebase
5. Arithmetic Circuits From the Ground UpAn introduction to arithmetic circuits with accompanying Rust source code
6. Eth to Cairo, Part 1: A Misadventure With TranspilationA sort of failed tutorial on transpilation from Solidity to Cairo
7. Towards a Principled, Intuition-Capturing Model of Economic ClassA brief expository essay on strictly defining economic class in terms of factors of production
8. Viewing EVM Bytecode Unix StyleA tutorial on how to view EVM bytecode using Unix-like tools
9. Rust Iteration with EitherA description of a pattern for programmatic iteration in Rust