Counting Is Hard<p>Thanks to the work of <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@mspstrath" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>mspstrath</span></a></span> all the TYPES 2025 talks are available (including mine)<br>Update: as fred points out the playlist was not supposed to be public yet, so, er watch this space</p><p><a href="https://www.youtube.com/watch?v=W-lYwG3E_x4&" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=W-lYwG3E_x</span><span class="invisible">4&</span></a></p><p>Like comment and subscribe, ring the bell, all that stuff</p><p><a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> <a href="https://mathstodon.xyz/tags/computability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computability</span></a></p>