<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> Hah, makes sense. 1111K is the temperature of my brain when I try to read POPL papers with too much GREK.</p>