3 ms·
a TLA+ model combined with a good LLM to generate code from it is the ultimate level of useful abstraction.
by UltraSane 1y ago
a TLA+ model combined with a good LLM to generate code from it is the ultimate level of useful abstraction.
loading thread…