Sign in

Jencel Panic

@abuseofnotation.mathstodon.xyz.ap.brid.gy
58 followers 2 following 497 posts

‘here for a ${reason}!’ Sex, drugs, and obscure thoughts about capitalism, and technology. Also #art, functional programming, logic, formal systems etc […] 🌉 bridged from ⁂ mathstodon.xyz/@abuseofnotation, follow @ap.brid.gy to interact

PostsRepliesMedia
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 28/09/2026
Using the #FediBookFair tag (yeah I know it's another date, but if I wait I'll forget.... So, very quickly:
100
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 28/09/2026
Haven't used the Internet for some time. Today I started listening to some playlist. With time, the songs seemed very mediocre, very unexceptional, and I started to suspect something... Why people? As if there isn't enough REAL Japanese jazz. #ai
101
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 28/09/2026
Today's random #categorytheory / #typetheory fact: The "if... else" function is the "fold" of the Boolean type.
000
Reposted by Jencel Panic
Daily Haiku 📖 @dailyhaiku.mastodon.social.ap.brid.gy · 28/09/2026
turn this way I am also lonely this autumn evening – Matsuo Bashō #Haiku #Basho #MatsuoBasho #autumn
021
Reposted by Jencel Panic
Daily Haiku 📖 @dailyhaiku.mastodon.social.ap.brid.gy · 27/09/2026
childhood name an old man I don’t know with a circular cap – Matsuo Bashō #Haiku #Basho #MatsuoBasho #autumn
011
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 26/09/2026
Not sure how to market it, but I designed a typeface some time ago. It is called Mell Sans. This is the typeface I use for my book #categorytheoryillustrated So, check it out and buy it, if you enjoy it. #typedesign #fonts #design abuseofnotation.gumroad.com/l/mells…
abuseofnotation.gumroad.com
Mell Sans
Ten years ago, Mell Sans began as a simple sketch on a napkin during a rainy afternoon. Its designer, searching for a way to make text feel human without losing clarity, spent years perfecting each curve. Mell’s lowercase "d" was inspired by the graceful shape of a raindrop, while the "g" recalls the loops of an artist’s brushstroke. Mell Sans has seen the world—it was refined on notebooks during long train rides and tweaked under the flicker of midnight desk lamps. Its forms blend the influence of ancient manuscripts with the clean lines of modern architecture, creating a font that feels alive, yet understated. The result is a typeface you can trust anywhere, from personal projects to polished publications. Mell Sans carries a story in its bones and invites you to write your own. The price includes the full font family, consisting of 8 weights with Italics = 16 fonts.
000
Reposted by Jencel Panic
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 06/09/2026
The struggle is an illusion. We humans are masters at making up excuses, and all kinds of stories, about why we cannot reach our true potential, be happy, live our lives etc. We turn it into a never-ending quest, it is almost as if we WANT to be weak and imperfect. #zen #personal
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 25/09/2026
I always learned a lot about #math by looking at math history. This is a great resource: thonyc.wordpress.com
thonyc.wordpress.com
The Renaissance Mathematicus
Just another WordPress.com weblog
000
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 24/09/2026
In the previous chapter, we saw one non-cyclic product group (the Klein four-group), which was a product of cyclic groups. Most product groups (even the product of cyclic groups) would be non-cyclic, because it would have the generators of both groups that comprise it, i.e. even if the two […]
aethy.com
Original post on aethy.com
003
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 22/09/2026
My #categorytheory lecture on Zurihac: Part 1: www.youtube.com/watch?v=Xr1gcdb_IvA
121
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 20/09/2026
But I guess there was much difference in the way we perceive things that we consider forbidden and things that are just taboo, the former constituting joke material, and the latter bringing drug-like satisfaction to some people, when brought up. -- […]
aethy.com
Original post on aethy.com
001
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 18/09/2026
However, from the standpoint of the real, objective world (W), mental images are just arrangements of elements. And improbable ones at that. That’s because in W the “lawful” arrangement (the one that corresponds to a mental image) would be only one of the countless other arrangements, (i.e […]
aethy.com
Original post on aethy.com
001
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 09/09/2026
As we can see, these terms are not precisely defined i.e. they are opened to interpretation — e.g. if the person who we are sending to get us drinks is significantly wealthier than us, or a heavier drinker, their idea of “cheap” and “low-alcoholic”, respectively, would not match ours. This will […]
aethy.com
Original post on aethy.com
001
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 08/09/2026
However, that did not work out. It did not fit into my narrative and as much as I admit it, and despite my best attempts, it was still dishonest. But I felt I was onto something - at least my new writings were relatable, something which cannot be said about my older ones. -- […]
aethy.com
Original post on aethy.com
002
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 08/09/2026
"Zazen" (vector graphics) #mastoart #zen
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 06/09/2026
The struggle is an illusion. We humans are masters at making up excuses, and all kinds of stories, about why we cannot reach our true potential, be happy, live our lives etc. We turn it into a never-ending quest, it is almost as if we WANT to be weak and imperfect. #zen #personal
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 31/08/2026
One of the miraculous proofs truly foundational of #categoryTheory - the proof that product (and any other object that is defined using universal property) is unique up to a (unique) isomorphism. I have to remember to include it in #categorytheoryillustrated […]
mathstodon.xyz
Original post on mathstodon.xyz
010
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 26/08/2026
I am satisfied with how my autobiographical novel is taking shape, it's not yet finished at all, but if you are interested, take a look, always looking for beta readers: abuseofnotation.github.io/mind-agai… #iamwriting #creativetoots
abuseofnotation.github.io
Mind against the machine -
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 26/08/2026
About all the terrible things right now that are happening, what can *you* do? (besides whining) Well, *you*, the person who is mostly sad, mostly tired, mostly OK when not bothered: You can do *nothing*. But, *you*, the person who has ears has eyes has brain has has guts: You can surely do […]
mathstodon.xyz
Original post on mathstodon.xyz
000
Reposted by Jencel Panic
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 26/08/2026
You know, computers, by themselves are stupid machines. They didn't do anything interesting. What made them interesting was the way that they were used by certain people. The spirit embodied in them, by the people that are sometimes called #hackers Before those people came, computers were just […]
mathstodon.xyz
Original post on mathstodon.xyz
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 26/08/2026
Last #ai rant, or perhaps not rant but a lament of things long lost. Today an article on top of the orange site declares "the end of programming", cause it predicts that more people will be using #llm to code. Sorry, but no, it's not "the end of programming", just because kids are using agents […]
mathstodon.xyz
Original post on mathstodon.xyz
100
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 26/08/2026
And people are kept obedient to the state not by an army, but by their addiction to all the different commodities which the structure provides them with. -- abuseofnotation.github.io/humane-te…
abuseofnotation.github.io
Humane Technology - Technology and capitalism
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 26/08/2026
Most creative "advice" out there: "Go!" "Create something every day etc." "Just ship it!" But it is much better to let your idea bloom. Think about it, sketching something on your notepad, but don't rush the end result. Follow this advice and you will create a great work in less than 15 years...
000
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 17/08/2026
I have long knew that software is either "so simple that there are obviously no deficiencies, or so complicated that there are no obvious deficiencies" (C. A. R. Hoare). But I only recently realized this applies to people too... #personal
000
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 17/08/2026
What’s even more amazing, is that we can define all of set-theory, based just on the concept of functions, as discovered by the category theory pioneer Francis William Lawvere. -- abuseofnotation.github.io/category-…
abuseofnotation.github.io
Category Theory Illustrated - Categories
011
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 08/08/2026
We haven’t covered product categories, however some pages ago, when we covered monoids and groups, we talked about the concept of a product group. The good news is that product categories are a generalization of product groups… -- […]
aethy.com
Original post on aethy.com
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 10/08/2026
Random things that seem weird when you are out of #computerland for some time: - Searched for a tutorial on how to build an off-grid toilet - found a tutorial which explains how to build a toilet... in Minecraft. - Had to stop a bus on an optional stop. The board describes two ways to stop it […]
mathstodon.xyz
Original post on mathstodon.xyz
100
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 30/07/2026
#AI succeeds in capitalist technology's primary aim, which is alienating the people from one another, replacing the communital connections that makes us powerful: e.g. #facebook s aim is you are only able to communicate through them. But they are still a mere intermediary in the process. With […]
mathstodon.xyz
Original post on mathstodon.xyz
101
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 24/07/2026
1. At stage 1 and 2, we operate on a phenomenological level, dealing only with things we directly perceive. In stage 3, however, we extend to imagining entities and concepts based on what we perceive but which cannot be directly observed. -- […]
aethy.com
Original post on aethy.com
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 20/07/2026
I am writing an essay regarding the difference between discreet and continuous in maths, physics, perception, etc. My initial thesis is that the world is continuous and our perception of it is discrete. Anyone has an opinion? What should I read?
110
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 20/07/2026
Weird places where I encounter the concept of #entropy 1 Value, according to some theory of economics, is created by rearranging the natural resources, given to us in a special way. 2 Computation,(accoring to #cs ) is also the process of arranging some bits of information, accoring to formulas […]
mathstodon.xyz
Original post on mathstodon.xyz
011
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 18/07/2026
It's tragic that we, our society, fell in the hole that we ourselves dug. But what's more tragic is that we won't try to climb up. We won't shout for help. We won't even stop digging the whole, as digging is all we know how to do, we just shift the direction and speed of digging and hope that […]
mathstodon.xyz
Original post on mathstodon.xyz
000
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 17/07/2026
Like with categories, the object mapping of an order is represented by a function between the orders’ underlying sets. -- abuseofnotation.github.io/category-…
abuseofnotation.github.io
Category Theory Illustrated - Functors
011
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 16/07/2026
By the way, the way Elon acts provides for me an irrefutable, proof that capitalism is dead — if the world’s richest person cannot just use their money to enjoy themselves and instead prefers to continually make a fool of themself and be ridiculed by the whole world on a daily basis, then what’s […]
aethy.com
Original post on aethy.com
001
Reposted by Jencel Panic
Daily Haiku 📖 @dailyhaiku.mastodon.social.ap.brid.gy · 15/07/2026
various grasses each flower an achievement – Matsuo Bashō #Haiku #Basho #MatsuoBasho #summer
011
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 06/07/2026
The two ways of combining three sets into a triple product are isomorphic, $(A times B) times C cong A times (B times C)$. -- abuseofnotation.github.io/category-…
abuseofnotation.github.io
Category Theory Illustrated - Categories
011
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 30/06/2026
The whole meeting left me baffled. Up till that point, the machine had always been hostile toward me. I was always fighting it. It was always my mind against the machine, if you must plug the book title somewhere. And then it suddenly wanted to play with me, and I didn’t know how and why the […]
aethy.com
Original post on aethy.com
001
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 27/06/2026
This is one of the many examples where the principle of universality breaks i.e. cases where our illusion that we possess universal knowledge leads us ashtray. -- abuseofnotation.github.io/universal…
abuseofnotation.github.io
Abuse of Notation - writings on math, logic, philosophy and art - Where universality breaks: about Kant's triads and the dual to Laplace's demon
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 19/06/2026
Cool writeup presenting universal properties as natural isomorphisms: math.stackexchange.com/questions/36… #categoryTheory
math.stackexchange.com
Understanding Universal Property and Universal Element (from Category Theory in Context, Riehl)
I'm trying to understand universal Property and universal element as stated in Category Theory in Context. The book states So from what I understand, since $C(c, -)$ is representable, there exists
000
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 09/06/2026
Because they are often a result of a compromise, inhumane technologies are bound to have a due date - a time when some other alternative would prove to be more performant. Inhumane technologies tend to go out of fashion. Human technologies, on the other hand, are often ancient (due to their […]
aethy.com
Original post on aethy.com
012
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 06/06/2026
At Zurihac, come say hi!
000
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 03/06/2026
Come see in Zurihac! zfoh.ch/zurihac2026
000
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 03/06/2026
Random #categoryTheory fact: The Yoneda lemma can be seen (among 1000 other things) as a generalization of the definition that a set contains no structure, other than its elements.
010
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 31/05/2026
I heard this piece of news during the week before some very important release of my new team. Her father called me. He asked if I wanted to go to the funeral. I said no. Who WANTS to go to a funeral? This was my first thought. It was the week before my first big release with the new team and I […]
aethy.com
Original post on aethy.com
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 30/05/2026
"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 […]
mathstodon.xyz
Original post on mathstodon.xyz
200
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 30/05/2026
"Harrison Bergeron" 1995 Based on a short story by Kurt Vonnegut vimeo.com/325695626
vimeo.com
Harrison Bergeron
A feature film based on Kurt Vonnegut, Jr's eponymous short story, produced for Showtime.
010
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 26/05/2026
THE CONVERSATION started when I was a sickly child with no social contacts, except for those with my mother and father, and when their statements formed my entire worldview. Its core message (although never actually expressed) was simple: “If you want us to love you, you have to make us proud of […]
aethy.com
Original post on aethy.com
001
Reposted by Jencel Panic
Abuse of Notation bot @abuseofnotation.aethy.com.ap.brid.gy · 25/05/2026
Determinism is the idea that there exist a function/formula that accepts the current state of the universe, as an argument and that outputs the state of the universe at some later or earlier time. -- abuseofnotation.github.io/laplace/i…
abuseofnotation.github.io
Abuse of Notation - writings on math, logic, philosophy and art - Determinism and free will are compatible
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 24/05/2026
In other news, support me on Patreon and see my attempt to do video lectures on #categorytheoryillustrated www.patreon.com/c/abuseofnotation
000
Reposted by Jencel Panic
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 24/05/2026
I forgot that I actually had a working theory about why The case against boolean logic makes people so mad: people tend to become idiots the second you start talking about #politics And I talk about politics sometimes. abuseofnotation.github.io/boolean-t…
abuseofnotation.github.io
Abuse of Notation - writings on math, logic, philosophy and art - The case against boolean logic
101