iiinova — where your digital self keeps evolving

Reposted by Matteo Capucci

julesh @julesh.mathstodon.xyz.ap.brid.gy · 26/08/2026

The existence of hyperdoctrines implies the existence of hyperpopes

Reposted by Matteo Capucci

mgualt.bsky.social @mgualt.bsky.social · 25/08/2026

A letter to the math community, to appear in the Notices. In response to what I view as irresponsible messaging and unfortunate decisions from some mathematical leaders influencing many in my department. www.math.toronto.edu/mgualt/math-...

math.toronto.edu

Mathematics and the LLM: 2026 – Coordinate Change

75618

Matteo Capucci @mattecapu.bsky.social · 19/02/2025

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??

020

Reposted by Matteo Capucci

Strategic Tape Reserve @strategictaper.bsky.social · 18/02/2025

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

162450526

Matteo Capucci @mattecapu.bsky.social · 17/02/2025

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

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.

030

Matteo Capucci @mattecapu.bsky.social · 14/02/2025

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

010

Matteo Capucci @mattecapu.bsky.social · 14/02/2025

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

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.

030

Matteo Capucci @mattecapu.bsky.social · 14/02/2025

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

000

Matteo Capucci @mattecapu.bsky.social · 30/01/2025

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

000

Matteo Capucci @mattecapu.bsky.social · 30/01/2025

*screams in efficient market hypothesis*

030

Matteo Capucci @mattecapu.bsky.social · 30/01/2025

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

051

Matteo Capucci @mattecapu.bsky.social · 30/01/2025

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

140

Matteo Capucci @mattecapu.bsky.social · 28/01/2025

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

040

Reposted by Matteo Capucci

Hank Green @hankgreen.bsky.social · 28/01/2025

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!

1388753342

Reposted by Matteo Capucci

Alice ✨ @welltypedwit.ch · 27/01/2025

something something woke agenda

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

6282

Reposted by Matteo Capucci

Benny! @driftwould.bsky.social · 27/01/2025

This is so goddamn funny

106129363571

Matteo Capucci @mattecapu.bsky.social · 27/01/2025

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

0133

Matteo Capucci @mattecapu.bsky.social · 27/01/2025

mi chiedevo giusto se arrivasse una bella puntata su questo film

000

Reposted by Matteo Capucci

Dan Marsden @stringdiagram.bsky.social · 27/01/2025

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...

andreipopescu.uk

MGS 2025

032

Reposted by Matteo Capucci

Michelle Wille @duckswabber.bsky.social · 27/01/2025

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

18636319

Matteo Capucci @mattecapu.bsky.social · 27/01/2025

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

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

000

Matteo Capucci @mattecapu.bsky.social · 23/01/2025

nono this is literally holder's

110

Matteo Capucci @mattecapu.bsky.social · 23/01/2025

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

000

Reposted by Matteo Capucci

Randall Munroe @xkcd.com · 23/01/2025

Unit Circle xkcd.com/3041

1239425524

Matteo Capucci @mattecapu.bsky.social · 20/01/2025

screaming this at real analysts like a lovecraftian banshee

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

370

Reposted by Matteo Capucci

julesh @julesh.mathstodon.xyz.ap.brid.gy · 18/01/2025

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 […]

mathstodon.xyz

Original post on mathstodon.xyz

041

Reposted by Matteo Capucci

Nadine Antoinette 🖤📚 @lilblackheart.bsky.social · 18/01/2025

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

1513641201

Matteo Capucci @mattecapu.bsky.social · 18/01/2025

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

110

Reposted by Matteo Capucci

Dr. Jessie Christiansen @aussiastronomer.bsky.social · 17/01/2025

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)

False colour JWST NIRCam image of a nearby star forming region in front of a deep back ground of colorful galaxies. NASA, ESA, CSA, K. McQuinn (STScI), J. DePasquale (STScI)

582486698

Matteo Capucci @mattecapu.bsky.social · 18/01/2025

the genie after granting by become-a-billionaire wish:

020

Matteo Capucci @mattecapu.bsky.social · 18/01/2025

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

010

Reposted by Matteo Capucci

Jonathan Edward Durham @thisone0verhere.bsky.social · 17/01/2025

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

2507854490

Matteo Capucci @mattecapu.bsky.social · 17/01/2025

for those asking, no, I do not condone the use of an en dash here

000

Matteo Capucci @mattecapu.bsky.social · 17/01/2025

chad admission of fucking around in this paper

I give some calculations (in a bit of a rush - I hope they are right) but do not take the analysis very far.

110

Matteo Capucci @mattecapu.bsky.social · 16/01/2025

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

000

Reposted by Matteo Capucci

Rob Sheridan @rob-sheridan.com · 15/01/2025

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

223115702780

Matteo Capucci @mattecapu.bsky.social · 15/01/2025

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

110

Matteo Capucci @mattecapu.bsky.social · 14/01/2025

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

010

Matteo Capucci @mattecapu.bsky.social · 14/01/2025

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?

000