Whole-known-network
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> Thanks for this, Shriram. In your "you can" section, you point out that you probably already have 6pp of lecture notes per (hour of?) class. I think you missed an opportunity to return to this point in the "you should" section: no need for more than that.</p><p>I personally have been inspired by Dexter Kozen's books (<a href="https://link.springer.com/book/10.1007/978-3-642-85706-5" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/book/10.1007</span><span class="invisible">/978-3-642-85706-5</span></a>, <a href="https://link.springer.com/book/10.1007/978-1-4612-4400-4" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/book/10.1007</span><span class="invisible">/978-1-4612-4400-4</span></a>, <a href="https://link.springer.com/book/10.1007/1-84628-477-5" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/book/10.1007</span><span class="invisible">/1-84628-477-5</span></a>). Specifically, each chapter is about 6pp, and covers just one lecture's worth of material.</p>
<p><span class="h-card" translate="no"><a href="https://kolektiva.social/@niarbeht" class="u-url mention">@<span>niarbeht</span></a></span> no plans to do so, you can just change the date picked from on the page if you want to see</p>
<p>Check out Proton-Sarek if you have an older GPU for Windows games on Linux <a href="https://www.gamingonlinux.com/2024/11/check-out-proton-sarek-if-you-have-an-older-gpu-for-windows-games-on-linux/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/11/chec</span><span class="invisible">k-out-proton-sarek-if-you-have-an-older-gpu-for-windows-games-on-linux/</span></a></p><p><a href="https://mastodon.social/tags/Proton" class="mention hashtag" rel="tag">#<span>Proton</span></a> <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</span></a></p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> That explains the existence of a hot minute.</p>
<p><span class="h-card" translate="no"><a href="https://social.treehouse.systems/@dysfun" class="u-url mention">@<span>dysfun</span></a></span> how so</p>
<p>the existence of space heaters implies the existence of time heaters</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> How's Cinnamon and Wayland progressing? Last I recall Muffin was still primarily dependent on X11.</p>
<p>Linux Mint partners up with Framework, also working on Night Light for Cinnamon desktop <a href="https://www.gamingonlinux.com/2024/11/linux-mint-partners-up-with-framework-also-working-on-night-light-for-cinnamon-desktop/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/11/linu</span><span class="invisible">x-mint-partners-up-with-framework-also-working-on-night-light-for-cinnamon-desktop/</span></a></p><p><a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</span></a> <a href="https://mastodon.social/tags/LinuxMint" class="mention hashtag" rel="tag">#<span>LinuxMint</span></a></p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> oh HELL yeah</p>
