K. P. Hart boosted

Next week's conference should be a BLAST:


Lots of talks on algebraic logic, Pavel Sobocinski will talk about graphical linear algebra, and I'll talk about getting categories, posets and quantales from Petri nets:


K. P. Hart boosted

Ready for today's version ?

Founded by a sound engineer/drummer and a trombone player, this band has 12 brass plus drums.
“Trained in the conservatory and hardened in the garage”, this is the

No BS! Brass Band


Show thread

A zero-dimensional F-space that is not strongly zero-dimensional

K. P. Hart boosted
Show older

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!