The biggest challenge of being an artist is facing the empty sheet every day.
And by "sheet", I mean mean "bank account"...
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
The Chinese use of the method of exhaustion and the determination of the value of pi #histsci
thonyc.wordpress.com/2026/09…
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
It's Not the End of Programming mathstodon.xyz/@abuseofnotat… (news.ycombinator.com/item?id…)
Wrote a thing about #ai (first and last time, promise)
"It's not the end of programming"
The case against boolean logic #HackerNews
abuseofnotation.github.io/bo…
Category Theory Illustrated – Orders #HackerNews
abuseofnotation.github.io/ca…
Category Theory Illustrated – Types abuseofnotation.github.io/ca… (news.ycombinator.com/item?id…)






