Whole-known-network
<p>hey, compiler folks, check this out</p><p>in Project Unnamed we have a way to automatically verify transformations using an SMT solver. we do this by collecting calls to replace-all-uses-with in a staging area, checking it while using the before-after correspondence to make the SMT query more tractable, then applying in bulk</p><p>if the query fails, we print the design with diff markup, which gets highlighted like the below</p><p>the verifier will also tell you which RAUW calls were illegal</p><p>how cool is this?</p>
<p>trying to figure out how to properly decode the fonts in this game is REALLY reminding me why I constantly cheat with The Death Generator. Staring at a decompilation/disassembly and hex editor is no fun</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://chaos.social/@gsuberland" class="u-url mention">@<span>gsuberland</span></a></span> I'm also curious what vim is missing. I'm not a programmer but have used emacs a bit when I've flirted with it (though the one big program I've when was done in notepad++)</p><p>But when I use emacs it seems to be exactly the same as notepad++, visual studio (when I used it in 2009), jEdit, etc, I've just got more keyboard shortcuts Iu can use if needed</p>
<p>I, for one, welcome new debugging tools for linux that are not gdb</p><p><a href="https://github.com/jcalabro/uscope" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">github.com/jcalabro/uscope</span><span class="invisible"></span></a></p>
<p><span class="h-card" translate="no"><a href="https://chaos.social/@gsuberland" class="u-url mention">@<span>gsuberland</span></a></span> <span class="h-card" translate="no"><a href="https://wandering.shop/@Canageek" class="u-url mention">@<span>Canageek</span></a></span> or, rephrasing: if you're not regularly comparing yourself doing a thing with someone much faster at it than you, there's a good chance you think of yourself as "slightly better than average" at it at least, which can be true but usually will be laughably incorrect since nothing external has ever motivated you to improve</p>
<p><span class="h-card" translate="no"><a href="https://chaos.social/@gsuberland" class="u-url mention">@<span>gsuberland</span></a></span> <span class="h-card" translate="no"><a href="https://wandering.shop/@Canageek" class="u-url mention">@<span>Canageek</span></a></span> editors aside this is something i find very interesting</p><p>a lot of people who've been doing something for decades and who you figure ought to know better often just... don't. it never occurred to them that something can be improved. i don't even mean computer shit. this happens with machinists too</p>
<p><span class="h-card" translate="no"><a href="https://wandering.shop/@Canageek" class="u-url mention">@<span>Canageek</span></a></span> this person said they've been using it for decades, so probably not</p>
<p><span class="h-card" translate="no"><a href="https://chaos.social/@gsuberland" class="u-url mention">@<span>gsuberland</span></a></span> it could be there just new to it and that they'll get much much faster over time, so it's a trade off at being slow now for being fast in future?</p>
<p>Ein guter Freund von mir möchte, dass seine Familie in Somalia Gemüse anbauen können. Bitte helft durch Eure kleine Unterstützung diesem tollen Projekt und meinem Freund <a href="https://www.gofundme.com/f/ein-gemusegarten-fur-somalia" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gofundme.com/f/ein-gemusegarte</span><span class="invisible">n-fur-somalia</span></a></p>
