Diary 2019-11-09
There is almost no light in here, it's the middle of the night, and I'm wearing sunglasses. I'm probably fine.
All articles
Algebraic Data Types 2019-11-08
Hopefully all of the annotations I've added actually make things clearer.
Algebraic Data Types 2019-11-07
Some of this stuff was "eh, good enough".
Algebraic Data Types 2019-11-06
I ended up going down quite a rabbit hole tonight.
Weekly Roundup 2019-11-05
The theme of this week was thinking really hard about Structured Data, then really hard about anything but Structured Data.
Diary 2019-11-04
Guess I was closer to burnout than I realized. I'm really throwing myself into Minecraft.
Diary 2019-11-03
Taking it extremely easy and also I can't take long to write this or I won't get a good amount of sleep.
Algebraic Data Types 2019-11-02
Looking at some of my runtime semantics like "How on Earth can I express this in the type system?"
Algebraic Data Types 2019-11-01
I think today's cumulative commit messages might be longer than this post.
Algebraic Data Types 2019-10-31
I've been designing this for so long that I don't know how anyone else would react to it...