Sign in

Jencel Panic

@abuseofnotation.mathstodon.xyz.ap.brid.gy
60 followers 2 following 506 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 · 2h
Slap #inktober #inktober2026
030
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 2h
Cactus #inktober #inktober2026
050
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 2h
Miniature #inktober #inktober2026
030
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 2h
The bodhi tree #inktober #inktober2026
020
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 2h
People running away from good ideas #inktober #inktober2026
020
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 23h
@argumatronic.bsky.social Life of Fred look interesting, didn't know about them. I read How to Bake Pi, but I don't remember anything from it, I think it was more of a general essay of what math is, than a textbook...
000
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 02/10/2026
@quidcumque achangels are a type of angels.
000
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 02/10/2026
Me in 2016 : Learning to type in vim Me in 2026 : Learning to write cursive
000
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 01/10/2026
Here we go #inktober
Inktober list of prompts: 1. apple, 2.relic 3.miniature...
030
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 30/09/2026
@argumatronic.bsky.social This reminded me of a thing that I have been wondering for some time. If I remember correctly, some 10 years ago you tweeted about teaching your children category theory. Now I want to teach my children some (and teach them math via sets and categories). Wanted to ask […]
mathstodon.xyz
Original post on mathstodon.xyz
100
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 28/09/2026
abuseofnotation.github.io/category-… - My most famous book, if you are interested in category theory you probably already know that one.
abuseofnotation.github.io
Category Theory Illustrated - index
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 28/09/2026
abuseofnotation.github.io/time - Philosophy with peculiar black and white illustrations, somewhat inspired by #wittgenstein
abuseofnotation.github.io
Notes on time and causality -
100
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 28/09/2026
abuseofnotation.github.io/mind-agai… - Writing an autobiographical novel (WIP)
abuseofnotation.github.io
Mind against the machine -
100
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 28/09/2026
abuseofnotation.github.io - misc writings, start here.
abuseofnotation.github.io
Abuse of Notation - writings on math, logic, philosophy and art -
100
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
100
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
031
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
021
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
Part 2: www.youtube.com/watch?v=mul96pw49CI #haskell #zurihac
021
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
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 13/09/2026
@august Do you know the difference between a car and a banana? If not, don't buy a car on your own...
001
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 09/09/2026
@gabrielesvelto And they also neglect the fact that adults have the exact same problem (and are even required by employers to have 8h of screen time per day)...
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 · 05/09/2026
@Misofist In most solved games, there isn't an algorithm to force a win: en.wikipedia.org/wiki/Solved_game
en.wikipedia.org
Solved game - Wikipedia
000
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 05/09/2026
@Misofist I mean, I don't think there is a strategy that guarantees a win from the beginning (nor in most situations in real-world games between equal opponents.
000
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 05/09/2026
@Misofist Is chess solvable though? Elon seems to think that all games are solvable, which is not correct, in my opinion...
200
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 · 29/08/2026
@quidcumque haha, I didn't know other people do that
000
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
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
I hate to be nostalgic of the #hacker culture, although in some sense I will always be a hacker, whether I like it or not, but I remember a time when *we* decided when a given technology began and when did it end, when we were people, not tools.
100
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 · 25/08/2026
@futurebird one is how I remove the guard rail from my bed and use it as a ladder to reach the top shelf of the wardrobe
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
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy · 10/08/2026
@petko They probably plan to remove the option to wave.
000