Profile avatar
mattecapu.bsky.social
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
74 posts 404 followers 262 following
Prolific Poster
Conversation Starter

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