<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> that is NOT a compostable abstraction</p>

<p><span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> 💭 polymerizing lambda calculus</p>

<p>if you polarize a polymorphic lambda calculus, are type variables positive or negative?</p>

<p><span class="h-card" translate="no"><a href="https://ohai.social/@TarkabarkaHolgy" class="u-url mention">@<span>TarkabarkaHolgy</span></a></span> speaking from the experience of watching protests in Russia fizzle out after 2011-2012 — this is exactly true.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention">@<span>mcc</span></a></span> wanna discuss that in chat?</p>

<p>I feel I&#39;m getting pretty good at Rust, but a problem I feel I still have is I lack a good sense of how to write &quot;composable&quot; Rust code. I can use structs and traits for abstractions, but my code feels very &quot;C-like&quot; in that behaviors are all kind of procedurally mixed up. If I wanted to, say, cleanly separate the underlying logic of an app from swappable UI implementations, I&#39;m not sure what I&#39;d do.</p><p>Note: I know about traits and impls, I&#39;m asking not about syntax but *patterns*. Best practices.</p>

<p><span class="h-card" translate="no"><a href="https://duckpon.de/@0x47df" class="u-url mention">@<span>0x47df</span></a></span> i think sometimes its both</p><p>my dell def has both (7590 or sth)</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> literally started following you here, on masto, yesterday because of FediFollows promoting and .. &quot;lmao Mastodon&quot; is the take</p><p>I don&#39;t give a crap if you&#39;re on other social networks, genuinely, but this reads like you&#39;re only here for the clout and otherwise you don&#39;t like it. fair enough</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> mastodon is so shitty to use...no better alternative though</p>