I’ve been pretty quiet on work stuff recently, because it’s all kind of low-level and boring. But I’m actually getting more done than I have in a while. :)
Follow
(All is of course public at https://spectrum-os.org/git/crosvm/log/?h=interguest, but I don’t think it’s interesting to actually write up at this stage)
@qyliss
Just out of curiosity, do you see utility in using TLA+ or similar model checking to "validate an idea" at some level of granularity?
Just out of curiosity, do you see utility in using TLA+ or similar model checking to "validate an idea" at some level of granularity?
@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
Server run by the main developers of the project 
It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!
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.