<p><span class="h-card" translate="no"><a href="https://chaos.social/@buzzyrobin" class="u-url mention">@<span>buzzyrobin</span></a></span> goals tbh</p>

<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/@wilbowma" class="u-url mention">@<span>wilbowma</span></a></span> also, my gut feel is that intent or what&#39;s ethical (in the sense given in the paper) on a certain level becomes truth on a higher meta-level (the one in which the programmer, and a sufficiently good dependent type system, exist at), so it is hard for me to accept the distinction to be as hard as it is stated</p>

<p>Cato, a Roman senator, when asked what was the most profitable venture, he replied: “Raising cattle successfully.&quot; </p><p>2nd best? “Raising cattle with fair success.” <br />3rd? “Raising cattle with slight success.” <br />4th? “Crops.” </p><p>“How about banking?”</p><p>Cato replied: “How about murder?”</p>

<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/@wilbowma" class="u-url mention">@<span>wilbowma</span></a></span> I got the same feeling from the read; I think I grasp the underlying proposal, and I like both the framework in which it&#39;s approached, and many of the specifics of how it should be addressed, but the presentation makes it difficult to follow and I would have a really hard time discussing it with my peers</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@countvajhula" class="u-url mention">@<span>countvajhula</span></a></span> makes 0 sense to me 🤷</p>

<p>… hmm. i realise i am noting these out of insecurity. so, uh, fuck that.</p><p>i&#39;m learning! and it&#39;s fun! this is a good way to get my feet wet on this stuff. i look forward to more complicated stuff later. and doing it in tandem with my other interests and projects!</p><p>(joystick, keyboard and controller design! control panels! my LED glowstaff project I have burbling away in the background!)</p>

<p>For better or worse I default to bodging stuff together; I&#39;m only grudgingly reaching for &quot;get a PCB made&quot; because doing a bunch of these LEDs with tiny footprints on a protoboard (particularly the second board in my order with a run of SK6812-SIDEs with their ~0.3mm-pitch connectors) would make me cry</p>

<p>I&#39;m very much playing on easy-mode here; it&#39;s just a string of neopixels, connected to a big off-board decoupling cap and a dev board (likely the Seeed SAMD21 or something else with easy circuitpython support, so I can slap something together to reduce the amount of Learning I need to front load).</p>