https://www.simoneorsi.com Blog posts by Simone Orsi en https://www.simoneorsi.com/en/blog/property-based-testing-and-fuzzing https://www.simoneorsi.com/en/blog/property-based-testing-and-fuzzing Eighteen pages on generative testing: what these two techniques actually are, why the oracle matters more than the mutator, and what both look like against a protocol with eleven independent implementations. Mon, 31 Aug 2026 00:00:00 GMT https://www.simoneorsi.com/en/blog/ethereum-protocol-study-notes https://www.simoneorsi.com/en/blog/ethereum-protocol-study-notes Twenty-seven pages on how an Ethereum node actually works, from the EL/CL split to the pipeline that turns a specification into tests. Sat, 22 Aug 2026 00:00:00 GMT https://www.simoneorsi.com/en/blog/ssh-agent-forwarding-fido2-pin-dialog https://www.simoneorsi.com/en/blog/ssh-agent-forwarding-fido2-pin-dialog Why verify-required YubiKeys fail with agent forwarding, and the one-line fix nobody mentions. Wed, 01 Apr 2026 00:00:00 GMT