Home
Welcome
Welcome to my blog!
This is a place holder as I figure things out. So this site will have the default Hakyll layout and style for a bit.
Recent Posts:
Posts
- Setting up a Fossil server on FreeBSD - January 7, 2021
- Interesting Exercises 1 - Calculating a Lie Algebra - October 11, 2020
- Verified Programming Based on Univalent Foundations in Agda - Part 2 - July 6, 2020
- Verified Programming Based on Univalent Foundations in Agda - Part 1 - May 2, 2020
- Puzzle Roundup - April 25, 2020
- Verified Programming Based on Univalent Foundations in Agda - Part 0 - April 17, 2020
…or go to the archive archive for a list of all posts. For the moment, they're the same exact list.