pera's blog

Building for and debugging an ARM Cortex-M

Programming an FPGA with a FOSS toolchain

The Lawless Guide to Monads

Cryptographic protocol analysis with Verifpal

A couple of Readline incantations

Avoid pushing in-progress changes

Short Introduction to SJCL

Congratulations Adventurer