Whole-known-network
<p>Eine Woche noch: Quartett kommt nach Berlin am 28. & 29. März! "Provokant, aber sehr sehenswert!" sagt die Kritik.<br />Wir freuen uns aufs ACUD-Theater - der Vorverkauf läuft.<br /><a href="https://www.theater-u34.de/quartett/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="">theater-u34.de/quartett/</span><span class="invisible"></span></a></p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@film_girl" class="u-url mention">@<span>film_girl</span></a></span> I post this link every single time I change cases <a href="https://theonion.com/man-taking-phone-out-of-case-for-first-time-in-years-st-1819592785/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">theonion.com/man-taking-phone-</span><span class="invisible">out-of-case-for-first-time-in-years-st-1819592785/</span></a></p>
<p>Nifty 8051 reversing tool by <span class="h-card" translate="no"><a href="https://mastodon.social/@8051enthusiast" class="u-url mention">@<span>8051enthusiast</span></a></span>, including a base address finder and recovery of symbol names for library functions. Proper comments, which are worth more than gold when you're trying to learn to do this stuff yourself.</p><p><a href="https://github.com/8051Enthusiast/at51" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/8051Enthusiast/at51</span><span class="invisible"></span></a></p>
<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> the difference is that in Lean the tactic works</p>
<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@neeldhara" class="u-url mention">@<span>neeldhara</span></a></span> Maybe we can get our quasi-namesakes together, seems like they should be able to write a joint paper.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> oh yea that will depend on how your editor renders it and how far zoomed in you are. Zoomed out it looks like this.<br />But like the way audio data works it always interprets it as curves so it will do this ringing at an edge.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention">@<span>mcc</span></a></span> Curiosity</p>
<p>cxx? buddy where've you been, we're on cxxiii now</p>
