Counting Is Hard
Formerly @counting_hard on twitter. YT coming eventually. Pedant & Co-Pedant.
I don't check here every day
Dodecahedron Fan
Combinatorics / Category Theory / Type Theory
Non-Maths stuff: @shift_reset@mastodon.scot
Used the law of excluded middle today, FML
Too pretentious?
TIL that the Snake Lemma was proved in an 1980 romcom
Jill Clayburgh does some math -- It's My Turn, 1980
@vc@mathstodon.xyz 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
I was reading https://existentialcomics.com/comic/653 today and it got me thinking, has anyone tried to apply Leinster's Magnitude / Diversity concepts to utilitarianism?
I assume the answer is no, but it'd be an interesting sigbovik article I think
