Counting Is Hard
counting_is_hard@mathstodon.xyz
<p>Formerly @counting_hard on twitter. YT coming eventually. Pedant & Co-Pedant.<br />I don't check here every day<br />Dodecahedron Fan<br />Combinatorics / Category Theory / Type Theory</p><p>Non-Maths stuff: <span class="h-card" translate="no"><a href="https://mastodon.scot/@shift_reset" class="u-url mention">@<span>shift_reset</span></a></span></p>
Posts
-
Post #2567979
@vc has a funded PhD position at Strathclyde. Unfortunately, the funding is for *UK Home* students only, but if that applies to you and you are interested in category theory, type theory, semantics, or related topics, get in touch with them
-
Post #2415615
Used the law of excluded middle today, FML
-
Post #2060190
I was reading https://existentialcomics.com/comic/653 today and it got me thinking, has anyone tried to apply Leinster&#39;s Magnitude / Diversity concepts to utilitarianism? I assume the answer is no, but it&#39;d be an interesting sigbovik article I think
-
Post #1868052
Too pretentious? #computability #carlsagan
-
Post #1868050
TIL that the Snake Lemma was proved in an 1980 romcom https://youtu.be/aXBNPjrvx-I #algebraictopology #HomologicalAlgebra