Budsofstone<p>Seems like all the push for <a href="https://computerfairi.es/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> / <a href="https://computerfairi.es/tags/LLM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLM</span></a> use in <a href="https://computerfairi.es/tags/servo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>servo</span></a> is coming from a guy named Gregory Terzian. Who is a medium article writer and seems too really love Leslie Lamport and TLA+ and believes "how to future proof your career? Learn TLA+." <br>You can go read his articles and post on reddit under the handle <a href="https://medium.com/@polyglot_factotum" rel="nofollow noopener noreferrer" target="_blank">polyglot_factotum</a></p>