Jencel Panic
Jencel Panic
@abuseofnotation.mathstodon.xyz.ap.brid.gy
‘here for a ${reason}!’ Sex, drugs, and obscure thoughts about capitalism, and technology. Also #art, functional programming, logic, formal systems etc […] 🌉 bridged from ⁂ https://mathstodon.xyz/@abuseofnotation, follow @ap.brid.gy to interact
63 followers2 following540 posts
Jencel Panic reposted
Random #categorytheory fact (not so random this time). The Yoneda lemma: Given a category C, for any object A, from C and аny functor F: C -> Set, the natural transformations of the homomorphism functor Hom (-, A): C -> Set, correspond to the elements of the set F(A) (the set you get when […]
My talk at #zurihac 2026 https://www.youtube.com/watch?v=Xr1gcdb_IvA&t=6s Bottomline: I like talking on conferences (and also podcasts and other media). Don't hesitate to invite me (;
Jencel Panic reposted
But what’s even more impressive, at least for me, is to look at production bicycles that came some time later, like the 1911 [6]La Francaise diamant (ridden by the winner of the first Tour de France) - this bike is not merely similar to the bike I own when it comes to design. It is (with a few […]
He is smart, but rude, skilful, but stubborn, and unable to see his shortcomings. His stuff that isn't pretty, but it "works". "At least we have something", we say. But with time, the shortcomings cumulate, and we end up with an ever growing pile of trash. And then, we are told that this is […]
Jencel Panic reposted
fact that I could only be at one place at one time, to be one person, leading one, and only one, life. -- https://abuseofnotation.github.io/mind-against-the-machine/confusion-breeds-clarity/11-irony/index.html
Jencel Panic reposted
It may not look like this, but its actually “the crazy ones”, the rebels, the weirdoes, the people who are not afraid to show their different views and openly exhibit their quirks who care most about others. People who disrupt the status quo do so not because they don’t care about other people […]
Jencel Panic reposted
The connection between #zen #buddhism and #anarchy is obvious for me...
Jencel Panic reposted
Picking a type theory (or a type system let’s call it), also involves picking a language that this theory is described in terms of. When hearing about language, programmers would probably think of the popular feature-rich programming languages like TypeScript or Java. Type theorists, on the […]
Jencel Panic reposted
https://abuseofnotation.github.io/time/ - Philosophy with peculiar black and white illustrations, somewhat inspired by #wittgenstein
https://abuseofnotation.github.io/category-theory-illustrated/ - My most famous book, if you are interested in category theory you probably already know that one.
https://abuseofnotation.github.io/mind-against-the-machine/ - Writing an autobiographical novel (WIP)