4 ms·
Where? I see the following > I was excited about this vision. Too often, an engineer tries to write one huge TLA+ spec for the whole system. It's too complex a
by merek 1y ago
Where? I see the following
> I was excited about this vision. Too often, an engineer tries to write one huge TLA+ spec for the whole system. It's too complex and detailed, so it's not much easier to understand ...
- usernamed7 1y agolooks like the article was updated after the version I read.