GNOME terminal colorscheme developers: "Eh, who cares about the names of the directories anyways?" But seriously, please fix... #linux #ubuntu #gnome

Happy new year to my new followers @coltonkinstley @marick @shon @foldworks @jonan_gallas @apostolis And to everyone else as well, of course!

In my articles about logic and thinking many people respond that "this is bullshit, logic is just a formal science, it isn't related at all e.g. with ideology" which is hard to disprove, but very wrong: In thinking, things are related in ways that are very subtle and hard to explain. And […]

If science was taught in the same way as literature, you'd have kids reading papers by Newton and Einstein when they are 14 and they would be expected to know about at lest 20 different scientific paradigms in order to finish high-school.

@Mastodon I don't get why the post, to which you are replying isn't displayed in full. There is enough space...

r room, when in reality he put you in a room which just kinda resembles it. At first, you are too sleepy to notice the difference, but after a while, the demon reveals to you that everything in the room is fake - the drawers’ doors don’t open, the window is actually just a picture etc. Given […]

Random #categorytheory riddle: If Cayley's theorem is just curry/uncurry, then the Yoneda lemma is just... (I don't know the answer) #math #haskell

Ha, there are more chapters of #categorytheoryillustrated , read in @exodrifter s stream https://exodrifter.space/notes/category-theory-illustrated-reading

Acting according to a plan of any kind, confines your actions to what you believe is possible.

My books: Book on #mathematics: https://abuseofnotation.github.io/category-theory-illustrated/ A little #philosophy book https://abuseofnotation.github.io/time/ Essays about #technology#philosophy#mathematicsttps://abuseofnotation.github.io/humane-tech/ A novel (unfinished) […]

When the tower crumbles, some will laugh some will cry, some will fall from the top, some will be buried below. When the tower crumbles, better be far away, better go all the way down, so you can run away. #personal #poetry #iamwriting

My criticism of Boolean thinking is not merely academic. The way we think about logic shapes how we think about everything — and, ultimately, how we live our lives. This is why what I call “Boolean thinking” in logic has many names elsewhere. In philosophy, it’s called Platonism. In politics, it […]

Just found a copy a sci-fi novella, that I wrote when I was 20-something: http://abuseofnotation.github.io/dont-fear/ "A programmer sees the impossible over Vitosha. An anarchic philosopher sees a puzzle. Together, they chase a truth that could shatter their reality. But this is more than a […]

Good #functionalprogramming course: https://www.cl.cam.ac.uk/teaching/1718/L28/materials.html

Everything we do to secure ourselves, every decision we make out of fear of the future, ends up destroying us, ends up making our future a little more bleak --- the closer we are to the public ideal of "success", the farther we go from our own private, ideal, from our soul, if you want […]

Got another sale of #categorytheoryillustrated which is nice, as I had a chance to donate some money to @mona76 from #gaza#categorytheoryillustrated Buy my stuff, so I can keep donating: https://ko-fi.com/abuseofnotation https://www.patreon.com/abuseofnotation https://abuseofnotation.gumroad.com/ And/or donate to them […]

@AsarSameer Got another sale. Half goes to @Selaa https://chuffed.org/project/save-my-family-from-war-in-gaza-help-us-reunite-safely Keep it coming: https://ko-fi.com/abuseofnotation https://www.patreon.com/abuseofnotation https://abuseofnotation.gumroad.com/

@abuseofnotation Oh my God, this is such kindness from You. Thank you so much — I truly wish you success and happiness from the bottom of my heart.

Just donated the money from my last sale of #categorytheoryillustrated Goes to @AsarSameer Support me, so I can donate more: ko-fi.com/abuseofnotation https://www.patreon.com/abuseofnotation https://abuseofnotation.gumroad.com/ Or, of course, donate to her directly […]

Pushed some updates on my novel "Mind against the machine" Check it on: https://abuseofnotation.github.io/mind-against-the-machine/ It's free, but if you like my work, please support me on: https://ko-fi.com/abuseofnotation https://www.patreon.com/abuseofnotation […]

The FIP radio just played a song called "Sunday morning" So nice to hear a radio where music is played by a human. https://www.radiofrance.fr/fip

#meme #memes #queer #gender #transgender #nonbinary

"Language is primarily a tool for communication rather than though." https://gwern.net/doc/psychology/linguistics/2024-fedorenko.pdf An age-old philosophical hypothesis, disproved by building a mindless talking machine. (Finally a benefit of having #ai)

RE: https://assortedflotsam.com/@technewsbot/115613932643935460 AI as a way for a sinking company to cut it's operational expenses without making it apparent that it is sinking.

#logic paradoxes in everyday life: yesterday I saw this ad: "An unnanounced property, for sale." Not any more.

個展関連の進捗について全然呟けていない…！ 複製画いい仕上がりです。 画面からそのまま持ってきたような発色だ… (実物は写真より鮮やかです!) 今回はキャンバスやパネルではなく、額装して展示します。 #qoo3_brocante

Mathematical enchantments: https://faculty.uml.edu/jpropp/mathenchant/ #math

5. Most importantly: the fucking planet is dying, because of carbon emissions and you want to just dismiss the obvious and already implemented solution for reducing those by letting people not travel to work, just because of some 10% profit increase. -- […]

Today's #cs question: Why are arrays more popular than linked lists? I see that arrays let you access an element at a given position in O(1), but I doubt that this translates to more speedy iteration, which is what we do with lists 99.9999999% of the time.... #computerscience

Got a sale of #categorytheoryillustrated and donated the money to @Rawan_kh22 from #gaza https://chuffed.org/project/148683-help-rawan-reach-her-dream-and-goal I will donate most of the income from my books to people from #gaza Buy my books on https://abuseofnotation.gumroad.com/ #math#gaza#categorytheoryillustrated…]

Lecture notes on constructive #logic by Frank Pfenning https://www.cs.cmu.edu/~fp/courses/15317-s23/schedule.html

An inhumane technology is something that you pick up to “do your job” and leave it as soon as you are done, wondering when is a better alternative coming out. They are designed with a specific purpose in mind and they have no other uses. A humane technology often has a variety of purposes (with […]

The whole discourse about pollution, might obscure the fact that plastic (plastics) is actually an awesome material: Lighter than metal and generally more resilient in wet conditions. Sometimes a better heat insulator than wood. Clothes made out of plastic-based materials can be lighter, and […]

The impostor syndrome occurs not when you feel unqualified for what you do, but when you don't *want* to do it, when you don't find it valuable/good/meaningful. If you want to do something, then the question of whether you are the best person to do it becomes secondary.

Just got a few sales of #categorytheoryillustrated and donated the money to @aseelfromgz from #gaza#categorytheoryillustrated I plan to donate most from my sales to people from #gaza Find people to support: https://gaza-verified.org/people/ Or, buy my stuff: https://ko-fi.com/abuseofnotation/ […]

Part two of the #categorytheoryillustrated stream: https://www.exodrifter.space/vods/20251009171250 #categorytheory #haskell

Remember kids: "Passive income" is a term used to describe wealth handed out to people by society, through our economic system, without doing any work. Many people receiving a "passive income" are intergenerationally wealthy, as opposed to the working class and long-term unemployed people who […]

One clear sign that the above statement is true (which can be viewed as a corollary of the fundamental theorem of contexts), is how between the intention and simplicity of the language i.e. the more intend-oriented a language is, the more simple it is. We can look for examples of this in both […]

Reading about system F: "System Fω can be stratified into an infinite hierarchy of Systems Fn, where F0 corresponds to the usual polymorphic System F (quantifying over kinds ∗), F1 to System F with type operators (quantifying over kinds e.g. ∗ → ∗), F2 additionally quantifying over kinds e.g […]

Acting according to a plan of any kind, confines your actions to what you believe is possible.

All tutorials on dependent types talk about vectors and fail to mention that #agda uses dependent types in the id function: (A: Set) -> A -> A it accepts an argument of type Set (called A) and then the rest of the arguments depend on the value of A (i.e. the type that is given as an argument) […]

#inktober signing off…

#inktober #inktober2025

#inktober #inktober2025

#inktober #inktober2025

#inktober #inktober2025

#inktober #inktober2025

Now, that we have seen so many examples of functors, we finally can attempt to answer the million-dollar question, namely what are functors for and why are they useful? (often formulated also as “Why are you wasting your/my time with this (abstract) nonsense?”) -- […]

If we think about it, this gap between art and technology didn’t exist throughout most of history - the production of objects that are aesthetically pleasing (i.e. what we now call “art”), was just a type of craft, and the production of objects that serve various other purposes (i.e. what we now […]

Note also that there is no other way to approach this task, that is not to say that there are no other approaches, but that you cannot study the great works of philosophy without following an approach. But since all of them are subjective, you cannot have knowledge that does not have a […]