Los espacios topológicos son una mierda porque en la práctica se usan para dos cosas muy distintas: 1) Dar una noción de forma 2) Dar una noción de convergencia En la matemática contemporánea se están desligando esos dos aspectos, lo que hace que todo funcione mucho mejor. 1/

For the record, BBC's A Good Girl's Guide to Murder is really good. Plus it's just the one season, so no fear that it gets cancelled or anything. It's based on a book (which I haven't read, I can't compare) which is part of a series. So they could do more seasons; but no need.

Modern AI tools are apparently pretty good at mimicking how media speak about maths.

My answer 🧵 to Joe Cutler question about & (negative product) in linear Haskell.