Posts

October 20, 2024 Forget expensive hardware simulators, Microsoft Excel is all you need!
September 18, 2024 MOCA CTF finals 2024 - 2+2=5 writeup
September 17, 2021 Intuitionism does not refute excluded middle
February 6, 2020 A simple Hoare triple prover