Coding 2024-12-29
Going to try to stop winging things...
Articles in the Impliciula tag
Coding 2024-12-28
Gradually coming to an understanding of this stuff, but it's frustratingly slow.
Coding 2024-12-27
Puzzling things out.
Coding 2024-12-26
Reading these papers is a great way to find random typos. I hope none of them turn out to be significant.
Coding 2024-12-25
Uh, Merry Christmas, I guess?
Weekly Roundup 2024-12-24
It's time to start having fun again.
Coding 2024-12-23
Draw the rest of like five owls.
Weekly Roundup 2024-12-03
This cutting-edge stuff? Hard. This established and documented stuff? Also hard. Hoo boy.
Coding 2024-12-01
Nothing to see here.
Coding 2024-11-30
I think the solution here is to figure out what the various nooks and crannies of OCaml's module system are for