Lobsters @lobsters@mastodon.social · activity timestamp 2 weeks ago TLA+ modeling tips https://lobste.rs/s/2q5g02 #distributed #formalmethodshttp://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html Read more Read less Translate Reply Boost Quote You cannot quote this post Like More actions Copy link Flag this post Block
