I’m using Tinderbox for this site because I like the idea of incremental formalization. I’m a fairly messy thinker. I have all kinds of hobbies. I don’t always have a clear direction for where I’m going with something. I try stuff and figure out what it means later. Tinderbox seems uniquely suited for working in this way.