Here you can find all my previous posts:
-
Recovery Contact Safety with iCloud's Advanced Data Protection - August 2, 2024
-
Connecting to School WiFi With iwd - June 9, 2024
-
No Bug November, WILTW - November 25, 2017
-
What I Learned This Week: Tapir - November 18, 2017
-
What I Learned This Week: Subset types, real numbers, and more Coq - November 12, 2017
-
What I Learned This Week: Real Numbers in Coq - November 5, 2017
-
What I Learned This Week: Progress Sensitive Security, Erasure - October 29, 2017
-
What I Learned This Week: Coinduction, Dependent Pattern Matching, and Langsec - October 22, 2017
-
A Journey Through Types - April 9, 2017
-
Arm on Haskell - December 16, 2015
-
Absolutely Optimal - May 15, 2015
-
First Post! - June 8, 2014