https://yestino.com/entities/tla-466663Every event involving TLAenhttps://yestino.com/events/can-we-have-reachability-properties-in-tla-51bf01https://yestino.com/events/can-we-have-reachability-properties-in-tla-51bf01Sat, 26 Sep 2026 15:49:22 GMTI was reading Hillel Wayne’s new post TLA+ Won’t Solve Everything and became fixated on one of the things he says cannot be expressed in TLA⁺: Poss… Sources: Lobsters