iiinova — where your digital self keeps evolving

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 02/10/2026

It looks like I might have to stop reading r/emacs even before the RSSageddon in November: the Reddit website sometimes shows me a popup blocking my view of a thread, asking me to install the app, which I haven't been able to dismiss. 🤷

020

Reposted by Omar Antolín

Andrej Bauer @andrejbauer.mathstodon.xyz.ap.brid.gy · 01/10/2026

The new scarce resource is "thinking at human speed".

011

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 01/10/2026

The recent Jane Wickline sketch on SNL making fun of Dario Amodei had three jokes with basically the same punchline, but unusually for me, I did not mind the repetition at all! And I cannot decide which version I like best, so maybe leaving them all in was the best plan: 1."I may have been […]

mathstodon.xyz

Original post on mathstodon.xyz

002

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 30/09/2026

Does anyone have a recommendation for a #Mastodon client for a black and white Android eInk device? I'd prefer an app with with pagination instead of scrolling, but at least reduced animations and simple, mostly.colorless design. I'm using the Mastodon web app in a paginating browser and that's […]

mathstodon.xyz

Original post on mathstodon.xyz

011

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/09/2026

I forgot my headphones at home and now I have to take a zoom meeting through the computer's speakers, like a caveman!

100

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 28/09/2026

I want to get back to using albums as the unit of music I listen to. I listened to albums when I was young, so I also worry this desire is a boring-ass version of a midlife crisis.

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 23/09/2026

TIL that there are prestigious awards for birds! While I disagree birds need awards, prestigious or not, if we have to have them, I agree this little guy should get one of the prestigious ones.

Picture of an extremely cute black robin captioned "Black robin which was once world's rarest bird wins NZ's prestigious Bird of the Year".

010

Reposted by Omar Antolín

theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 22/09/2026

26 papers in one month on disparate topics? And the only AI use it for presentation, not for mathematical content and the ideas!!! Amazing!

002

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 19/09/2026

Now entering the age of the secrecy. 🙁

Tweet by Jeffrey Shallit that says:

A new risk for mathematicians: a colleague reports that immediately after they posted an abstract of their upcoming talk online, a
student elsewhere used Al to derive proofs of the stated results and then posted it on the arxiv.

My colleague hadn't posted to arxiv yet.

116

Reposted by Omar Antolín

julesh @julesh.mathstodon.xyz.ap.brid.gy · 14/09/2026

Only you can prevent entropy

021

Reposted by Omar Antolín

theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 14/09/2026

For anyone who didn't know Tristan Buckmaster before now, here's him talking in July about work on blow-up for fluid PDEs, I had this tab open still from when it was new. "Abstract: The formation of singularities in fluid PDEs is one of the central and most challenging problems in mathematical […]

mathstodon.xyz

Original post on mathstodon.xyz

012

Reposted by Omar Antolín

Gro-Tsen @gro-tsen.bsky.social · 13/09/2026

One of the rare silver linings I find in the use-AI-to-do-everything craze, is that many programs offering a shitty graphical user interface probably will be pressured to offer a command line (or scriptable) one as well, so AI “agents” can more efficiently use them, …

292

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 12/09/2026

The Severe Misalignment declaration¹ identifies a problem of great importance to the mathematical community. All we have to do now is brainstorm solutions with a chatbot and wait for the chatbot company to beat us to a solution. ¹ mathandai.org

mathandai.org

Declaration — Math and AI

Read the declaration and add your name.

011

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 11/09/2026

Recent events suggest that one should not discuss mathematical research in progress with a chatbot lest you run the risk of being scooped by the chatbot company. But I don’t see people talking about the complementary risk that the chatbot company does not scoop you! One’s ego might never recover.

001

Reposted by Omar Antolín

[object Object] @zzt.mas.to.ap.brid.gy · 08/09/2026

how do british people receive pronunciation

202

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 06/09/2026

In Dave Matthews's classic advice for dogs —"If you a doggie on a chain, don't bite the mailman"— why specify the chain? Does Dave Matthews think it's OK for unchained doggies to bite mailman?

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 03/09/2026

Whoever named AxiomProver doesn't know what an axiom is.

000

Reposted by Omar Antolín

Dan Piponi @dpiponi.mathstodon.xyz.ap.brid.gy · 30/08/2026

There's a class of horror movie I think of as Geometric Horror. The first I recall watching is Cube. Backrooms and It Ends are current ones. What are some others?

622

Reposted by Omar Antolín

Gro-Tsen @gro-tsen.bsky.social · 29/08/2026

I don't understand the concept of LLM output watermarking: ‣ either the watermark detector is not made public, in which case the entire thing is useless, ‣ or the detector is made public, but then the watermark is trivial to remove (replace words until it no longer beeps). …

5203

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/08/2026

TIL that Weezer's "color albums" are actually all named "Weezer"! The commonly used names "Blue Album", "Green Album", etc., are disambiguating nicknames created to fix their lack of foresight! Also, TIL there are 7 of them: blue, green, red. white, teal, black and gold (which came out last week […]

mathstodon.xyz

Original post on mathstodon.xyz

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/08/2026

Hey @ah, I read your blog posts about Helixv (where you also mention Kakoune), and I was wondering if you tried vis¹. It is much more vi-like than either Helix or Kakoune, and also has the Plan 9 edtior sam's "structural regular expressions", plus it is scriptable in Lua like neovim. I think you […]

mathstodon.xyz

Original post on mathstodon.xyz

000

Reposted by Omar Antolín

Misinformation-Superhighwayman @damienwise.aus.social.ap.brid.gy · 28/08/2026

The problem of fascists in Open Source Software projects has become so bad that some vim users are considering using emacs. #Neovim #fascism #OSS #OpenSourceSoftware

142

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 28/08/2026

I finally decided to give #Emacs tree-sitter modes a try, starting with markdown-ts-mode. The initial impression was good: it told me I needed the markdown grammar and offered to download and compile it, which went well, then the same thing for the markdown-inline grammar, which also worked […]

mathstodon.xyz

Original post on mathstodon.xyz

000

Reposted by Omar Antolín

Matt Henderson @matthen.com · 26/08/2026

To tell if a maze is solvable, just hang it by its corners If it tears into pieces, you’ve found a solution

694142867

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 27/08/2026

Pro tip: "Read it later" apps are also "read it now, but with better typography" apps.

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 24/08/2026

I've started using SyncThing to synchronize some text files between my phone and my computers (office and home), and having the whole thing be automatic feels like magic! (I had previously synced some text files via GitHub, manually pulling and pushing, which is nice, but not magic.)

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 23/08/2026

Derek Sivers is building a house in an interesting way: without trying to predict what he and his son will need, instead finding out by experiment. For each need they trying solutions in order of effort, settling for the minimal comfortable option. They sleep outdoors and decided they wanted a […]

mathstodon.xyz

Original post on mathstodon.xyz

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 21/08/2026

Reading submission guidelines to a certain journal I was shocked to see, in addition to the expected LaTeX macro package, a Word template! That feels like a red flag. 😬

100

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 15/08/2026

A student of mine went to Nebraska and brought me some sweet Huskers swag.

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 14/08/2026

I am a lean mean email sending machine. (Actually I'm a lean very polite email sending machine, but that doesn't have the same ring to it.) #academicchatter

131

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 14/08/2026

It bothers me when people call a blog post a "blog". They'll say "New blog on my trip to Venice" and I'll think "that really only warrants a post or two on your existing blog", then I click the link and it is a post on the existing blog. Does this bothering me make me a pedant?

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 11/08/2026

Any watch can be a pocket watch if you put it in your pocket.

000

Reposted by Omar Antolín

myrmepropagandist @futurebird.sauropods.win.ap.brid.gy · 10/08/2026

Somewhere online, maybe linkedIn or X two dudebros are in a heated and technical argument with each other. Each one copies the last response from their advisory into chatGPT asks for help coming up with a zinger of a response and it has grown more and more technical and elaborate and in truth […]

sauropods.win

Original post on sauropods.win

128

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 09/08/2026

I didn't know that British artist Stephen Wiltshire had done one of his famous panoramic sketches from memory of Mexico City! They have it on display in the Museo de la Ciudad de México.

010

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 09/08/2026

The US Department of Agriculture listed Wakanda as a trade partner briefly. They claimed to have traded ducks, donkeys and dairy cows with the extremely technologically advanced fictional nation. www.bbc.com/news/world-us-canada-50…

000

Reposted by Omar Antolín

myrmepropagandist @futurebird.sauropods.win.ap.brid.gy · 08/08/2026

Which animals do activities that are most like cooking? It think about the spider suitors who present their mate with a carefully bundled fly. I think about raccoons washing their meals in a cool stream. Is cooking the defining and strangest feature of humans? "The ape that sir fries."

114

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 07/08/2026

How did you YouTube guess I'd be a total sucker for a video called "Stationery I regret buying"?! It's not like I watch videos about stationery. My stationery aficionado activities are mostly offline.

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 06/08/2026

It is about goddamned time I was invited to be a guest editor for a special issue of an MDPI journal! I was starting to worry about my career. 😅 #academicchatter

011

Reposted by Omar Antolín

Gro-Tsen @gro-tsen.bsky.social · 02/08/2026

Short version: ⓐ progress in math ≡ progress in human understanding (NOT problem solving); ⓑ such progress can only be brought by asking interesting questions; ⓒ such questions can only be found by (human) learning a problem, thinking hard and ideally getting stuck; …

64410

Reposted by Omar Antolín

Andy Wingo @wingo.mastodon.social.ap.brid.gy · 01/08/2026

why yes, we stock both genders

supermarket shelf. on the left, “brawny” branded paper towels. on the right, “sparkle”

112

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 31/07/2026

Merriam-Webster's Time Traveler feature can tell you which words were added to the dictionary in a given year! www.merriam-webster.com/time-travel…

000

Reposted by Omar Antolín

Christian Tietze @ctietze.mastodon.social.ap.brid.gy · 29/07/2026

franktisellano.github.io/datatype What on earth! Turns data tuples into charts. As a font!

1110

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/07/2026

WhatsApp today (paraphrasing a little): "Tired of human communication? Annoyed by having to use your own words when chatting with loved ones? Use Meta AI to show how much you really care!"

101

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/07/2026

Did you know that by simply flipping one bit Google Maps could default to "Open Now" and that the only reason it doesn't is lobbying by Big Closed?

000

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/07/2026

A tenure support letter I just read describes a certain conjecture as "prestigious". I had never seen that before. #academicchatter

111