I think Slava Pestov bowed out and ended up at Apple, or vice versa. His GitHub traffic looks like he’s working on the Swift compiler? But others have taken over.
I used to use JEdit, and Factor was new during the era when people still had blog rolls so I ended up hearing a lot about Factor.
A lot to admire in this post about passion and long-term thinking but this is too egregious.
> Back in 1979, for example, I’d invented the idea of transformations for symbolic expressions as a foundation for computational language.
I hope at 65 to have the energy to work this hard, but I also hope at 65 I'm surrounded by people who will kindly correct me when I take credit for ideas that aren't mine, and that I will listen to them.
I can't seem to figure out what you mean by inverse. Is the inversion of addition subtraction? Neither post seems to explain what it is (or maybe it assumes knowledge of ⊥ and ⊤?)
Surprised how much I enjoyed this. Great work! If you made a mobile app with, say, 40 puzzles I could easily see myself throwing 5 bucks your way. Perfect subway game.