Three Dollar Quill

I've got MOTR's code cleaned up in the rewrite branch. Now, I could get back in there trying to continue the updates or tweak the names I came up with. (Those names are overall better than what came before, but not great.) But I think I'd like to step back and find other stuff to focus on, at least until we get a new Mypy release or two.

It's probably best for me to work on getting thoughts written down for music, but I felt like trying to learn a bit about Dafny today, so I did. There are two categories of thing I'm interested in with Dafny: what kind of code does it make sense to write in Dafny, and what does it take to integrate that code with other code bases? Looking at the output from the Python builder, I'm fairly certain this code won't cleanly slot into my usual Python workflows, though there are a few niche applications where there could be potential. But in general, it seems like it'd make more sense to have Dafny target faster code and then FFI into it. I don't know how hard that actually is, though.

As far as what to write, I think I need to learn more than the basics of the data model.

Anyway, I took too long with this post, so I'm going to cut it off abruptly.

Good night.