Published a new chapter of #categorytheoryillustrated - Types
https://abuseofnotation.github.io/category-theory-illustrated/06_type/
Remote
Jencel Panic
@abuseofnotation@mathstodon.xyz
mastodon 4.7.2‘here for a ${reason}!’
Sex, drugs, and obscure thoughts about capitalism, and technology.
Also #art, functional programming, logic, formal systems etc.
writing “Category Theory Illustrated”… slowly.
they/them
0 Followers
0 Following
23 Posts
Joined January 01, 2023
Replying to
@futurebird@sauropods.win true, unfortunately our whole society works with grades and punishments. Even at work we are asked to grade our colleagues
Replying to
@antopatriarca@mathstodon.xyz @johncarlosbaez@mathstodon.xyz @ojs@c.im I always thought that this is the painter's reflection in the mirror.
"THE YEAR WAS 2081, and everybody was finally equal. They weren't only equal
before God and the law. They were equal every which way. Nobody was smarter
than anybody else. Nobody was better looking than anybody else. Nobody was
stronger or quicker than anybody else. All this equality was due to the
211th, 212th, and 213 th Amendments to the Constitution, and to the unceasing
vigilance of agents of the United States Handicapper General." this is the opening paragraph of Kurt Vonnegut's "Harrison Bergeron" - a story which influenced me a lot when I was a kid.
Replying to
@Daojoan@mastodon.social George Carlin made the same joke: https://www.youtube.com/watch?v=tVlkxrNlp10
Replying to
Everyone is liking, noone is formulating it...
Replying to
"Harrison Bergeron" 1995
Based on a short story by Kurt Vonnegut
In other news, support me on Patreon and see my attempt to do video lectures on #categorytheoryillustrated
Replying to
@manpacket@functional.cafe @subjectsphinx@mathstodon.xyz If you are on Linux, it indeed renders some fonts funny, including mine, but I never found why...
Replying to
@bstacey@icosahedron.website Is it a good place for promoting fiction? I am writing a memoir, it isn't fan fiction.
Replying to
@carnage4life@mas.to haha, TikTok doesn’t have the concept of followers AFAIK, so not sure how the chronological order would work