<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> now that you've done this, you've taken care of perhaps the hardest part of writing a superoptimizer. what remains is coming up with a good cost function (also hard) and coming up with a way to guess candidate optimizations. we usually use enumeration which is dumb but simple; the modern way to do this would be to ask an LLM</p>