3 ms·
I really wish I could justify investing time learning these languages but the RoI is too low. Learning TLA+ seems to have a better RoI because LLMs are good at
by UltraSane 1y ago
I really wish I could justify investing time learning these languages but the RoI is too low. Learning TLA+ seems to have a better RoI because LLMs are good at writing programs using a TLA+ specification.
- 7thaccount 1y agoI'm in a similar boat. It would be cool ...but how would I use it outside of hobbies.