I hope that when the #ai bubble bursts, people will start asking the hard questions, e.g. why isn't there a simple script that generates a webapp, given a description of the interfaces and DB schema?

#inktober #inktober2025#inktober I miss drawing abstractly

#inktober #inktober2025 #inktober2025heavy

#categorytheory #meme

Random #typetheory #categorytheory #math#categorytheory#typetheoryact: The tuple of n elements has 1 constructor and n eliminators... (e.g for n=3 the constructor is A -> B -> C -> AxBxC and the eliminators: AxBxC -> A AxBxC -> B, AxBxC -> C) The unit type has 1 constructors and 0 eliminators... Ergo, we can view […]

#inktober #inktober2025

#inktober #inktober2025#inktoberthe topic was starfish, but I decided I would draw characters this year so..

First chapter of #categorytheoryillustrated, read by @exodrifter Stream: https://exodrifter.space/vods/20251002170023 Text: https://abuseofnotation.github.io/category-theory-illustrated/01_set/

#inktober #inktober2025

#inktober #inktober2025 #inktoberday5#inktober2025#inktober had no idea what to draw and suddenly I had a very clear idea what to draw

#inktober #inktober2025murky

Zvezdelina Stankova is such an exceptionally good teacher. Here she starts with what sounds like a fun, fairly arbitrary, puzzle, and gradually reveals that she’s actually been explaining a fairly serious chunk of number theory the whole time. https://www.youtube.com/watch?v=XhA5U9pFXuU

#inktober #inktober2025

#inktober #inktober2025 #inktober2025weave

A collection of fragments by Heraclitus, with commentary #philosophy https://philosophyandsociety.com/blog/heraclitus-blog/

This month I will use #inktober prompts to develop some characters for a future book project.

#inktober #inktober2025 #inktober2025mustache

I updated #categorytheoryillustrated in Gumroad, ko-fi and patreon, those who purchased it can download the version with the new chapter and exercise answers from there. https://ko-fi.com/

Despite my interest in #mathober I will be following the original #inktober#mathoberprompts. Here is to another 30 drawings (some of which might be good)

#ff here are some people on the fedi, interested in #categorytheory and #typetheory @xameer @PeterSmith @andrejbauer @Bob_Coecke @Jose_A_Alonso @ProfKinyon @zanzi @amy @MartinEscardo @dpiponi @mc @pigworker @johncarlosbaez @julesh @jonmsterling @pablogician#typetheory#categorytheory#ffirancodes (Sorry for including […]

New chapter on #categorytheoryillustrated Natural transformations: https://abuseofnotation.github.io/category-theory-illustrated/11_natural_transformations/ #math #mathematics #categorytheory #iamwriting

I have long suspected that any language with if's and loops would be Turing complete, turns out there was a proof for that all along... https://en.wikipedia.org/wiki/Structured_program_theorem #programming #cs

#writing is good because it helps me grasp things that are completely obvious, but which I missed somehow... e.g. I just realized that parametric polymorphic functions are natural transformations (and ad-hoc polymorphic functions are non-natural transformations) All of Wadler's "theorems for […]

We should stop doing set theory. What’s the point? #math #joke

It is hard to criticize democracy, as it looks like (and probably is) exactly like the social structure that we should be uniting ourselves around, but when comparing it with monarchy, we can see one fatal flaw - democracy is incomplete. In particular, its mythos lacks a firm ideological grounds […]

In this installment, we will see that not only the way we think, but the way we communicate is formal, and that perhaps it is that very ability (to communicate) that makes our thinking formal. -- https://abuseofnotation.github.io/logic-communication/index.html

Overall, orders (thin categories) are often used for exploring categorical concepts in a context that is easier to understand e.g. understand the order-theoretic concepts of meets and joins would help you better understand the more general categorical concepts of products and coproducts). -- […]

Category theorists: “The Yoneda lemma is simple!” The Yoneda lemma: #mathematics #categorytheory

I WILL finish #categorytheoryillustrated though, here is some sneak peak of the current chapter.

Haven't been here for a long time, as I was writing with the aim of reaching flow, but now I realize I can reach it via meditation #zen

"Anything worth doing is worth doing poorly." Corrollary: Aim to create the crappiest imaginable version of a great work, rather than a flawless but mediocre work.

the translation on Wikipedia vs my New Living Internet Translation. 🐴 #chinese #classicalchinese #translation #localization #autism #actuallyautistic #horses

The ultimate conclusion that you can reach when comparing their viewpoints is that causality is not a law, nor a meta law, but a belief which every thinking being must hold to some extend. -- https://abuseofnotation.github.io/kant-hume/index.html

If you know about semiotics, you may view the source and target categories of the functor as signifier and signified. -- https://abuseofnotation.github.io/category-theory-illustrated/10_functors/index.html

https://logicallycoherent.github.io/blog/introduction-to-linear-logic/ Linear #logic (and not only) #mathematics #cs

"The notion of natural transformation is surprisingly easy to follow." Really interesting #categorytheory blog, but this first sentence cracked me up. https://blog.juliosong.com/linguistics/mathematics/category-theory-notes-10/

Vibe coding sucks, cause the whole point of #programming is to be able to do your job without talking to anybody. #joke #ai

"My life is like a prison" I wrote this in my personal website when I was 14. I was quite correct in pinpointing the problem, pinpointing how I, and many other people, felt, but I was off at identifying the cause: I thought, that I was kept in this prison by systems of power, like school […]

Thinking about moving away from Github Pages. Please recommend some free hosting for static websites. My main request is that it should be resilient. If possible, I want my websites up till long after I'm dead.

Developing new technology is not a bad thing, but let’s not forget that developing new technology is what got us here in the first place - if it weren’t for the technologies developed in the last 100-200 years, climate change wouldn’t be an issue. In fact, we can prevent climate change by […]

A nice interactive introduction to discrete #mathematics https://discrete.openmathbooks.org/ #math #books

In some cases, we might decide that we are sick of misunderstandings and we would try to formalize not only the viewpoint, but also the context of what we want to say in order for our communication to be completely formal, and thus completely free of errors. To do that, we have to transfer all […]

Idea: Include connect-the-dots exercises in #categorytheoryillustrated e.g. draw all functions between some two sets. Now I know I have to release a paper version!

My inability to be productive helped me realise once more how much I really liked writing - I felt like shit when I was not doing it. But still, when reading my text, it seemed to me that my character wasn’t being honest with himself as to who he was, as I wasn’t being honest with myself. I […]

These connections are functorial in nature, because they work purely in terms of structure: the idea of a given object has nothing in common with the object itself (e.g. the idea of a biscuit isn’t round, sweet etc). What ideas have in common with the objects of representation is that the […]

Capitalists kill arts for profit. But they don’t think collectively, so they don’t realize that profits only come from (economic) activity and the only wilful activity that people do is creating art, so by killing art you are reducing the wilful activities (AKA fun) and replacing it will […]

#writing is good because it helps me grasp things that are completely obvious, but which I missed somehow... e.g. I just realized that parametric polymorphic functions are natural transformations (and ad-hoc polymorphic functions are non-natural transformations) All of Wadler's "theorems for […]

And one more #categorytheory book, this one is targeted at engineers: https://applied-compositional-thinking.engineering/act4e-materials/ #mathematics