this one's for @hankgreen.bsky.social following his beautiful video on the moons of Jupiter: how do we know so much about their deep internal morphology??

Brian Eno's "Ambient 1" only sold 10,000 copies, but everyone who bought it went on to start an airport.

Poem There is an interesting stanza from a song of Léo Ferré: Et que les globules figurent Une mathématique bleue, Sur cette mer jamais étale D’où me remonte peu à peu Cette mémoire des étoiles. — (Léo Ferré, La mémoire et la mer) He also mentions geometry and ‘théorème’ elsewhere in the song.

normalize poems in math (from ncatlab.org/nlab/show/%C...)

my bsky feed: awful trump admin stuff (sad)
my twitter feed: awful trump admin stuff (funny)

Let Lin ←−− be the ∞-category whose objects are the presheaf categories SS with S locally finite, and whose morphisms are the continuous linear functors: A linear functor F : ST → SS is called continuous when for all ε ⊂ S there exists δ ⊂ T and a factorisation ST // F Sδ Fδ SS // Sε. Here we quantify over finite groupoids ε and δ with full inclusions into S and T ; the horizontal maps are the projections of the canonical pro-structures.

not on my bingo card: an ε-δ definition of continuity in category theory (from 'Homotopy Linear Algebra' arxiv.org/abs/1602.05082)

a #Sanremo2025 dovrebbero eliminare una canzone la prima serata, giusto per far capire chi comanda

oh it does but unfortunately my job involves latex and somehow lots of emails

117€ for a technical ebook

*screams in efficient market hypothesis*

two pullback squares, side by side

today's (well-known) trick in category theory: the pasting law for pullbacks works in two directions, i.e. if the right square below is a pb then the left square is a pb *if and only if* the pasting is

in other words: drawing the pb corner on the right isn't ambiguous notation

if God wanted Italians to work he wouldn't have made bar con i tavolini al sole a gennaio and espressos

it's a common misconception that math has no real world applications, in fact it has application in worlds over every field of field of characteristic zero

Debunking can be a fun way to find an audience in science communication, but I think it can be over-relied on.

We should be celebrating more than we are defending, not just because it’s less miserable, but also because it’s good marketing!

prophet@prophet:~/Code/polaris (main)$ rg "trans" | count 236 prophet@prophet:~/Code/polaris (main)$ rg "cis" | count 0

something something woke agenda

This is so goddamn funny

in hindsight, it was pretty obvious that a polynomial is solvable when its Galois group is solvable, it's right there in the name

mi chiedevo giusto se arrivasse una bella puntata su questo film

The Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 7-11 April 2025 in Sheffield, UK. Eight fantastic courses on category theory, logic, type theory, coalgebra, semantics, and quantum computing.

www.andreipopescu.uk/MGS_Sheffiel...

Between 2019 and 2023, researchers paid $8.968 billion to make papers open access. Imagine what else could be done with this money if it wasnt paid to for profit publishing companies...
👉 arxiv.org/abs/2407.16551

A tweet showing a screenshot of DeepSeek refusing to answer a question about Tien An Men square

i'm pretty sure X is shadowing mentions of #DeepSeek censorship, which is pretty worrysome if you ask me

s-tier react gif, stealing

nono this is literally holder's

personal secret notes

lmao

today's the first time bsky's timeline is funnier than twitter's

Unit Circle xkcd.com/3041

uhm

Holder's inequality, aka graded duoidality of p-sums over multiplication on the reals

screaming this at real analysts like a lovecraftian banshee

As an immortal Maia, the Balrog of Moria could not die, it merely returned to a spirit form and was forced to drift impotently through the world. By the late Fifth Age it had regained enough strength to take on a new physical body, albeit a frail one compared to its previous demonic form, but […]

I SAID YES!!!!!! 💍🥂🥳🎉 i asked myself if i wanted another cup of coffee.

Is this why they are comparatively so large? Their images got stretched by inflation?