Whole-known-network
<p><span class="h-card" translate="no"><a href="https://types.pl/@lenary" class="u-url mention">@<span>lenary</span></a></span> no... but i might want to have a global "undef mode" knob for optimization passes :D</p>
<p><span class="h-card" translate="no"><a href="https://discuss.systems/@irene" class="u-url mention">@<span>irene</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@gwozniak" class="u-url mention">@<span>gwozniak</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@bremner" class="u-url mention">@<span>bremner</span></a></span> <br />This is too damn brilliant.</p>
<p><span class="h-card" translate="no"><a href="https://discuss.systems/@gwozniak" class="u-url mention">@<span>gwozniak</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@bremner" class="u-url mention">@<span>bremner</span></a></span> <br />I've been recommending the book to everyone I can. Morgan Ames's work is one of my "holy trinity" along with Justin Reich's "Failure to Disrupt" and Audrey Watters's writings.</p>
@untsuki@udongein.xyz I'm almost certain that someone has already written some Touhou fan-fic about how the moon rabbits discovered an old Vostok rocket in orbit. *search the web* I'm close enough. https://old.reddit.com/r/touhou/comments/1ay5ago/revisedvostokthe_space_touhou_project/
<p><span class="h-card" translate="no"><a href="https://types.pl/@lenary" class="u-url mention">@<span>lenary</span></a></span> no types, _but_ we do have undef (and undef-correctness is a fairly big deal), so it's not all rainbows</p>
@niconiconi@mk.absturztau.be I saw a russian cover on bad apple way before I knew about touhou and how they for some reason translated Touhou Project as Проект Восток (Project Vostok or Project East) was a really weird first impression, and even commenters said it sounded like soviet project more than what original name intended.
But now I even codenamed one of my uni-related projects Vostok as both a obvious reference to space program and less obvious to Touhou
<p><span class="h-card" translate="no"><a href="https://types.pl/@lenary" class="u-url mention">@<span>lenary</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://hachyderm.io/@unlambda" class="u-url mention">@<span>unlambda</span></a></span> this is a synthesizer for an FPGA where we're using a really nice representation: a "coarse cells with fine wires" netlist</p><p>it is basically SSA with no flow control where each bit of each instruction gets globally numbered and used by other instructions. input/output (think args/return) are just instructions. wire names are also an instruction. there are no modules, metadata, or types</p><p>it's a pleasure to work on :D</p>
"Mom, can we get Touhou?"
Soviet Russian Mom: "We have Touhou Project at home."
Touhou Project at home...
<p><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://types.pl/@lenary" class="u-url mention">@<span>lenary</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@unlambda" class="u-url mention">@<span>unlambda</span></a></span> actually, since i'm in the early stages of writing a compiler, i want to ask for advice</p><p>i'd like to test it. i can make a filecheck but i feel like in 2025 we should be able to do better. what do i do?</p><p>current plan includes hooking into Z3 and doing extensive automated equivalence checking as it applies transforms, but i've never used z3 as a library befpre</p>