<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@ohad" class="u-url mention">@<span>ohad</span></a></span> Well played!</p>

<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@MartinEscardo" class="u-url mention">@<span>MartinEscardo</span></a></span> Amazes me how much fancy software suffers from last-mile problems. People say there&#39;s no incentive to fix it, but why did you build it if you didn&#39;t want people to run it? Hire a professional, they&#39;ll get it done in a week!</p>

<p><span class="h-card" translate="no"><a href="https://bsky.brid.gy/r/https://bsky.app/profile/mattscie.bsky.social" class="u-url mention">@<span>mattscie.bsky.social</span></a></span> My lord, how do they even.</p>

<p>Registrations are open for the 2025 PL summer school in Bertinoro! See you there if you&#39;re attending!<br /><a href="https://pliss.org/2025/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">pliss.org/2025/</span><span class="invisible"></span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> happy to correctly recognise a category in the wild :p.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> Yeah. It&#39;s useful for some things but my good it&#39;s not for so many more. Stop making your things worse just to be able to add AI.</p>

<p>This is the fourth time I am going to teach Agda to final-year undergrad students. </p><p>The first hurdle is to get the students to install Agda in their own machines. Unfortunately, a lot of students use Windows (but not all: Linux + MacOS form a majority). And more unfortunately, the official Agda installation guide doesn&#39;t cover Windows, and the little it says about Windows is rather outdated and wrong and misleading.</p><p>And I am not a Windows user, and so I can&#39;t really help to update the documentation.</p>

<p><span class="h-card" translate="no"><a href="https://norcal.social/@UweHalfHand" class="u-url mention">@<span>UweHalfHand</span></a></span> Yep, that is very, very similar to my policy. You earn the grade your performance dictates, BUT I will look at relative performance (on a per-assignment basis) to see how to weight things, in case I screwed up something.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.acm.org/@phf" class="u-url mention">@<span>phf</span></a></span> Actually, I think Ohad has nailed it. (See my response to that post as well.)<br /><a href="https://mastodon.social/@ohad@mathstodon.xyz/113850151574514541" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">mastodon.social/@ohad@mathstod</span><span class="invisible">on.xyz/113850151574514541</span></a></p>