<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> <span class="h-card" translate="no"><a href="https://federated.saagarjha.com/users/saagar" class="u-url mention">@<span>saagar</span></a></span> <span class="h-card" translate="no"><a href="https://camp.crates.im/@nemo" class="u-url mention">@<span>nemo</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@dan" class="u-url mention">@<span>dan</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@sbrunthaler" class="u-url mention">@<span>sbrunthaler</span></a></span> <span class="h-card" translate="no"><a href="https://recurse.social/@lindsey" class="u-url mention">@<span>lindsey</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> It&#39;s under a CC no-derivatives license</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.nz/@va2lam" class="u-url mention">@<span>va2lam</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@yforster" class="u-url mention">@<span>yforster</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> Yes, you&#39;re dead on. I wasn&#39;t trying to state that what industry requires is at odds with academia. My intent was to merely highlight that there is a clear need in industry and that academia won&#39;t be able to satisfy that need, if we don&#39;t have (successful) professors in this field anymore. (Probably too complicated formulation for elementary supply vs demand argument).</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> bad news :hurb:</p>

<p><span class="h-card" translate="no"><a href="https://federated.saagarjha.com/users/saagar" class="u-url mention">@<span>saagar</span></a></span> <span class="h-card" translate="no"><a href="https://camp.crates.im/@nemo" class="u-url mention">@<span>nemo</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@dan" class="u-url mention">@<span>dan</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@ricci" class="u-url mention">@<span>ricci</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@sbrunthaler" class="u-url mention">@<span>sbrunthaler</span></a></span> <span class="h-card" translate="no"><a href="https://recurse.social/@lindsey" class="u-url mention">@<span>lindsey</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> <br />That&#39;s a worrisome attitude. Putting your code out for transparency doesn&#39;t mean you should have to give up all rights to it.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@sbrunthaler" class="u-url mention">@<span>sbrunthaler</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.nz/@va2lam" class="u-url mention">@<span>va2lam</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@yforster" class="u-url mention">@<span>yforster</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <br />Stefan, counterpoint: you say there&#39;s a lot of need in industry (I agree). Industry doesn&#39;t care whether you have 3 papers or 20. They&#39;d rather have a person who spent 2 years learning LLVM, then wrote two more papers, than 20 throw-away papers. So tenured compilers faculty should have no trouble filling that industry pipeline, to mutual benefit?</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@sbrunthaler" class="u-url mention">@<span>sbrunthaler</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.nz/@va2lam" class="u-url mention">@<span>va2lam</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <br />But even in security, IEEE will put its name on anything that moves or is at rest (encrypted or not). The presence of conferences like Oakland serves as cover for a…lot of stuff that it should not.</p>

<p><span class="h-card" translate="no"><a href="https://camp.crates.im/@nemo" class="u-url mention">@<span>nemo</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@ricci" class="u-url mention">@<span>ricci</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@dan" class="u-url mention">@<span>dan</span></a></span> <span class="h-card" translate="no"><a href="https://recurse.social/@lindsey" class="u-url mention">@<span>lindsey</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@sbrunthaler" class="u-url mention">@<span>sbrunthaler</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <br />The fork I want is the one where you enter the ranking you want and it gives you the weights to make that come true (or dumps an UNSAT core).</p>

<p><span class="h-card" translate="no"><a href="https://social.sigsoft.org/@qixin" class="u-url mention">@<span>qixin</span></a></span> Hi Qi! So great to hear from you. I think he&#39;ll just write even more code once he retires. (-:</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.nz/@va2lam" class="u-url mention">@<span>va2lam</span></a></span> <span class="h-card" translate="no"><a href="https://recurse.social/@lindsey" class="u-url mention">@<span>lindsey</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@zyang" class="u-url mention">@<span>zyang</span></a></span> <br />Funnily, just earlier this week I emailed one of my AI colleagues on whether AAAI is still considered respectable to publish in because I don&#39;t want to hurt my students by publishing somewhere and then a search committee says &quot;what a loser&quot;.</p>