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.

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)

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

*screams in efficient market hypothesis*

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!

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

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

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

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

Unit Circle xkcd.com/3041

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.

Oh come ON now. This new JWST image is just ASTOUNDING. I feel like I’m falling looking into it, and that I would fall forever, and that I would enjoy it. NASA, ESA, CSA, K. McQuinn (STScI), J. DePasquale (STScI)

big supporter of this theory of why billionaires are descending in madness

Sometimes you use a pen that turns out to write way better than you thought it would and oh man that’s the good stuff

chad admission of fucking around in this paper

why do people (here: Girard) write sequent calculi with only right-handed sequents? is it just convenience?

I don’t want to make a fuckin account to use my toaster. I don’t want to fuckin subscribe to software. I don’t want to create a fuckin profile to watch TV. I don’t want to fuckin register my whatever to unlock whatever. I don’t want to download a fuckin app to access anything. Death to new logins

discovered a new biohack: eat szechuan pepper and then drink water, it tastes like lemon gatorade

damn I missed the opportunity to call my quantitative first-order logic preprint 'quantifying quantification'

editing post tech remains yet to be achieved by bluesky, kudos to the engineers at mastodon for figuring it out so early in the race. maybe AGI will help?

You know what, I don't want to pick up and uproot my life every 2 to three years

Radon xkcd.com/3037

Ursula K. LeGuin on technology

I dunno about growth, but since these systems are already indistinguishable from most middle managers I imagine this plan will allow the UK economy to continue stagnating far more efficiently than it already is

imo it's confusing when set theorists talk about 'the universe'. to everyone else that means a different thing and that's confusing. i propose a neologism, based on the notation used for infinite ordinals—let's call it the omegaverse

as X the everything app continues to rot, I am once again asking for interesting/cool/accounts to follow here (not necessarily math related)

Thanks so much to JFP for publishing my dissertation abstract, along with 9 others! This is a really valuable service for the community. Dissertations are a ton of work, and it’s nice to have a way to increase the chance that they’ll be read and used

in yet another gotesque blow for academics, AI will automate the research part sooner than the admin

rip apery you would have been a formidable poster

I wish other reviewers wrote this way.

"If you're a vegetarian, or otherwise don't eat fish, it's important to take omega-3 pills" Set theorist: "damn, that's a lot of pills"

I see a lot of people saying this (in the QT), but i've grown increasingly convinced that they've got it entirely backwards and that @interfluidity.com (in drafts.interfluidity.com/2024/06/04/e... and the screenshots) is the one that got it right, at least wrt Trump voters: bsky.app/profile/moir...

Does anyone know who started doing semantics by axiomatizing a satisfaction relation $\vDash$? Was it Kripke? Was it Tarski?

It’s hard to believe that Gramsci and Mussolini not only confronted each other in the Italian parliament, but debated the class basis of fascism. It feels over the top, melodramatic, like something that would happen in a costume drama about the rise of fascism, not in real life.

solar-powered semiology ☕

Does anyone have any source (I keep seeing memes but would like some actual evidenced claims) re the marginal environmental impact of pressing "generate" on stablediffusion or chatgpt or whatever? Like what additional harm to the environment a rando making a picture of a silly dog or whatever is.

little smiley time for me. this professor I won't name spent so much time yapping to me about how ingenious a proof of his was, connecting two seemingly unrelated results, and today I found that exact idea spelled out on wikipedia citing a 2006 book lmao. some people need to chill out.

Hello Bluesky! (and bye-bye Twitter). I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem. xenaproject.wordpress.com/2024/12/11/f...