3 ms·
What’s been disappointing to me is how easily formal methods are dismissed in industry. TLA takes some time to learn to wield effectively but it pays off on sp
by agentultra 1y ago
What’s been disappointing to me is how easily formal methods are dismissed in industry.
TLA takes some time to learn to wield effectively but it pays off on spades.
- deleted 1y ago[deleted]