Nov 30 2024 * programming, type-theory, notes
I've recently taken to reading Types and Programming Languages by Benjamin C. Pierce in an attempt to introduce myself to the basics of type theory and the like. The book in question is, from what I've found, considered an apt introduction to the aforementioned concepts, and seems to read well from my brief skimming of it thus far. I'll be using this document to consolidate my notes on the content as I read.
Nov 29 2024 * programming, nix, nixos
Up until recently, I daily drove Fedora on the main machine I use for development. However, I recently decided to wipe my system and make the jump to NixOS.
Dec 8 2024 * programming, adventofcode
Work over the past week kept me busy, so I wasn't able to tackle any of the puzzles until this weekend. School and college applications have taken up a lot of my time, giving me less time to spend programming. I had some time free up this winter, though, so AoC will serve as a nice way to get back into things.
Dec 9 2024 * programming, adventofcode
Day 2 was pretty straightforward, and there isn't all that much I want to say about it, so I'll get straight to the problem.
The puzzle gives us an input that consists of rows of reports, each of which is made up of a list of levels, which are just numbers.