Types and Toucans
Welcome to my personal blog! If you're interested in learning more about me, I have a Linktree here.
Posts
- Blog Revamp - March 9, 2025
- Hakyll Migration - August 16, 2020
- Blog Update - July 25, 2020
- Let's build a randomizer! Part 3 - June 20, 2020
- Idris Struggles - May 2, 2020
- Pi Types - March 14, 2020
- Let's build a randomizer! Part 2 - February 9, 2020
- Idris Impressions - January 12, 2020
- Let's build a randomizer! Part 1 - December 2, 2019
- Friendly Phantoms - November 11, 2019
- Ludum Dare 45 Postmortem - October 8, 2019
- Issues with Env-IO - August 31, 2019
- Env-IO: A port of ZIO to Rust - July 28, 2019
- The Concurrency Conundrum - June 23, 2019
- Attending the Rust Essentials Workshop - June 9, 2019
- Summary of my practice game jam - April 22, 2019
- Learning about Phantom Types - April 1, 2019
- AGDQ 2019 Randomizer Panel - March 3, 2019
- Correctness of Randomizer Logic - February 1, 2019
- A Functional Facelift for the Item Filler - January 1, 2019
- Shareable Seed Generation - December 3, 2018
- Item Shuffler Algorithm (Written in Rust) - October 29, 2018
- New Channel - October 7, 2018
- Random Ideas - August 29, 2018
- Introduction to Rando - August 4, 2018