<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> jesse what the fuck are you talking about</p>

<p><span class="h-card" translate="no"><a href="https://social.noyu.me/@hikari" class="u-url mention">@<span>hikari</span></a></span> two things can be true at once:<br />- exoticizing via stereotypes (such as orientalism) can be harmful and unpleasant<br />- people subject to said exoticizing can and will happily lean into it sometimes</p>

<p>just noticed this amazing footnote in the HOPL paper on Verilog</p>

<p><span class="h-card" translate="no"><a href="https://social.noyu.me/@hikari" class="u-url mention">@<span>hikari</span></a></span> this but unironically</p>

<p>💭 the law of excluded middle requires there to not actually be a middle</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> Oh noes. self-snipe with bayesian optimisation for empirical HW cost model.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> yeah, using the thing your actual target is made of seems like the only obviously correct answer to me</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> nice.</p><p>back when working on Souper I had a longstanding hilarious interaction with some LLVM folks where I&#39;d ask them for an IR-level cost model and they&#39;d tell me one and it wouldn&#39;t work at all. we never really arrived at a very good answer.</p><p>Minotaur lowers IR to assembly and uses llvm-mca to predict cost in cycles or uOps, this works fine</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> TBF, the HW synthesis problem is easier to formulate than software compilation.</p>