<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> A friend who is working for one of the At-Scales told me he uses the AI to write TLA+ models (simulations) <br />I don't know that I like TLA any better than AI.</p>
