Three Dollar Quill

All right, let's see what I've been thinking of.

On reflection, pure sealing is probably too big of a risk to mess with, unless it proves to actually somehow be necessary. (This is because I'm planning to have sealing play a bigger role in "bidirectional 1ML", and making it pure would have adverse effects on the semantics of other nodes. I think.)

With that said, I'm trying to figure out what I want to do to have all of these concepts somewhere where people can look at them and discuss. The archives of this blog aren't great for that, for a few reasons. Ideally, I'd have a wiki that supports the same LaTeX packages I'm using for my current notes. That works for getting "definitive" writeups of the concepts involved, but I want to be messaging them out and discussing them somewhere. For messaging them out, my existing social media accounts should work. For discussion, wikis have discussion features, but they're a little weird. I'd at least like the discussion to be more public than "join our discord server", but I'm not up for moderating my own forum. Need to see what kinds of communities are out there that I can join and work with.

Anyway, I'm tired, and in a weird state of mind, so I'm going to go get ready for bed.

Good night.