blogarithm

hardware peripherals and typestate analysis

24 minute read Published: 2019-01-02

csaw finals write-up: a non-binary LFSR stream cipher

0 minute read Published: 2018-01-01

dynamic memory allocation

9 minute read Published: 2018-01-03

safely exposing unsafe code in Rust

8 minute read Published: 2018-12-23

interpreting the simply typed lambda calculus

1 minute read Published: 2018-12-23