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.

162451526

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

*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!

1388755342

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

107129373571

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

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

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

1239428524

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

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)

582488698

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

2507856490

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

223115722781

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

Reposted by Matteo Capucci

Lattice Boy @transversality.bsky.social · 14/01/2025

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

2251

Reposted by Matteo Capucci

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

Radon xkcd.com/3037

140136991712

Reposted by Matteo Capucci

Dr. Abigail Desmond @abigaildesmond.bsky.social · 13/01/2025

Ursula K. LeGuin on technology

11573731988

Reposted by Matteo Capucci

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

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

PM plans to 'unleash AI' across UK to boost growth

Attribution
Business
Posted
4 hours ago4h

041

Reposted by Matteo Capucci

julia 🌋 @hypv.bsky.social · 13/01/2025

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

4224

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

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

020

Reposted by Matteo Capucci

Harry Goldstein @harrisongoldste.in · 13/01/2025

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

1162

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

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

000

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

rip apery you would have been a formidable poster

The lecture quickly descended into pandemonium. With little explanation, Apéry presented equation after equation, some involving impossible operations like dividing by zero. When asked where his formulas came from, he claimed, “They grow in my garden.” Mathematicians greeted his assertions with hoots of laughter, called out to friends across the room, and threw paper airplanes.

110

Reposted by Matteo Capucci

Goldstein (still not a pseudonym) @goldstein.latinsky.app · 13/01/2025

I wish other reviewers wrote this way.

15512

Reposted by Matteo Capucci

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 12/01/2025

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

311915

Reposted by Matteo Capucci

Doremus Schafer @doremus-schafer.bsky.social · 11/01/2025

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

79622

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

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

000

Reposted by Matteo Capucci

JW Mason @jwmason.bsky.social · 12/01/2025

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.

1146199