Stay updated with the latest in technology, AI, cybersecurity, and more
This is an implementation of the classic 2048 game in your terminal: Share your game state with friends by just sending them a number! If the $STATE env variable isn't set, it generates a fresh random seed. Otherwise the board state and all future spawned cells will be deterministic.
February 19, 2025 Five Kinds of Nondeterminism Or four kinds, or six kinds, I'm not picky about how you count them No newsletter next week, I'm teaching a TLA+ workshop. Speaking of which: I spend a lot of time thinking about formal methods (and TLA+ specifically) because it's where the source of almost all my revenue. But I don't share most of the details because 90% of my readers don't use FM and never will. I think it's more interesting to talk about ideas from FM that would be useful to