New comment by femto2151 in "The current state of TLA⁺ development"

femto2151 — Thu, 15 May 2025 19:55:43 +0000

I think the major contribution that can be made to TLA is in the field of divulgation. Sofware engineers don't know modern formal methods because for years they were pidgeonholed into safety critical systems. Universities are not teaching them anymore despite having being successfully applied since the 2010s to the development of so many cloud systems that other companies can rely on.

Hacker News: femto2151

New comment by femto2151 in "The current state of TLA⁺ development"