EEz.-@harlequinetcie·2d07749b0Dude, TLA+ is +2% of our repo. If you think AI is not crazy cool, you are def not nerding enough. Sino, LTA ;)commitd276a716:18 AM · Oct 18, 2026 · commit 07749b01QuoteReplyHide repliesYYounes@younes-io·1dwhat's the TLA+ code for? do you have some concurrency/distributed system? or some state machine?1Reply1 reply
YYounes@younes-io·1dwhat's the TLA+ code for? do you have some concurrency/distributed system? or some state machine?1Reply1 reply