Most of my output recently has in fact been handwritten notes. There’s not a huge amount of code to write here, but a hell of a lot to understand to do it right.
@wyatwerp not for what I’m doing at the moment. I’m trying to build a mental model and intuition, and I think that being able to have a partial model is valuable, because building a full one would be too difficult and ultimately not necessary
Just out of curiosity, do you see utility in using TLA+ or similar model checking to "validate an idea" at some level of granularity?