Diary 2019-10-11
Tired...
All articles
Diary 2019-10-10
I should figure out how to write formal specifications for Structured Data, since the coverage is excellent but there are still bugs.
Diary 2019-10-09
Be nice to your procgen algorithms. They are working very hard.
Weekly Roundup 2019-10-08
Getting closer and closer to a sensible interface. Shame it's probably super slow.
Algebraic Data Types 2019-10-07
Honestly not sure if I want the MatchDict to keep being a thing. It's kind of a painful level of boilerplate next to the new wrappers, but in the case of doing a match within a function...
Algebraic Data Types 2019-10-06
Still raising my eyebrows at crashing with AssertionError: unreachable
Algebraic Data Types 2019-10-05
Genuinely unsure if this library will make sense to anyone else by the time I'm done with it.
Algebraic Data Types 2019-10-04
Somewhat unusual day today, so things got disrupted, and I don't have much to show for it, but oh well.
Algebraic Data Types 2019-10-03
There's probably a tiny typo that renders the whole thing incorrect under excruciatingly specific circumstances.
Algebraic Data Types 2019-10-02
When I think about it, it's kind of impressive how many tools the Structured Data codebase outright breaks.