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. :)

(All is of course public at spectrum-os.org/git/crosvm/log, but I don’t think it’s interesting to actually write up at this stage)

Show thread
Follow

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.

@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?

@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

Sign in to participate in the conversation
Mastodon

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!