I have been fascinated by formal specification languages for a while, but I haven't delved into the meat of the topic.
Finally picked up a book on TLA+ by @hillelogram, let's see where it goes from here.
Very interesting! I finished the book, I need to try to model of couple of my own systems to actually "get it" now
-
-
Cool! Feel free to bump questions my way
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Writing about stuff to learn how it works, mostly in Rust.
Lead Engineer at