iiinova — where your digital self keeps evolving

robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 02/10/2026

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

@dpiponi Yes. I’m surprised this letter has so few signatories: sites.google.com/view/release-the-p…

101

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

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

Big news on irrational numbers! Aabir Fauzan from Aalto University released a preprint on Zenodo before it hit the arXiv, and a formalisation has been posted by Moritz Firsching. Since the statement is so elementary, the repo is set up to be checked by the […] [Original post on mathstodon.xyz]

126

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 19/09/2026

the Cornell University campus squirrel got very unlucky; the hawk got his late lunch, and me probably once in a liftime chance for a photo showing this

111

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 10/09/2026

Sad news: Dan Grayson has passed away. Dan was one of the original authors of the Mathematica computer algebra system and after leaving that company he developed Macaulay2 together with Mike Stillman. He also worked on univalent foundations of mathematics and homotopy type theory. One time in […]

mathe.social

Original post on mathe.social

008

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

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.

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

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

😮‍💨 Only the last two months' worth? That's very specific. What about all the other previous work? How come now they can "categorically" claim this when they couldn't rule it out earlier? -- "An OpenAI spokesperson denied that was the case. "We can say categorically that it is impossible for […]

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 08/09/2026

@davidlowryduda I won't be surprised by the OpenAI telling everyone that their better-than-Astra hacked a bit around and stole a bit of data to complete the task...

000

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 04/09/2026

now I have bicycles stolen on 3 continents: Europe, Asia, and North America...

000

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

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

A propos of nothing: I often think of this work of art although I don't think it was on display last time I visited the Tate. It's a map of the US showing only the place names containing the word "Lost". www.tate.org.uk/art/artworks/prende…

tate.org.uk

‘Lost‘, Kathy Prendergast, 1999 | Tate

‘Lost‘, Kathy Prendergast, 1999

201

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Dr. Victoria Grinberg @vicgrinberg.mastodon.social.ap.brid.gy · 24/08/2026

Zeehonden! Vier zeehonden! #leiden #katwijk

Seals on a shore, clearly very close to where humans are.

1126

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Christian Lawson-Perfect @christianp.mathstodon.xyz.ap.brid.gy · 18/08/2026

Today I successfully used Shamos's catalog of the real numbers! (euro.ecom.cmu.edu/people/faculty/ms…) but the number I was looking up was 𝑒 − 2, which I really should have recognised...

023

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 06/08/2026

I must be misunderstanding a general fact about graph embedddings (every finite graph has an embedding into an orientable topological surface of finite genus). From this one gets a collection of circles in the graph (assuming it's a 2-connected graph) which covers every edge twice - something […]

DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 01/08/2026

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Lean: Postmortem for Kernel Soundness Bug #14576 2026 Aug 1 leodemoura.github.io/blog/2026-8-1-…

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 01/08/2026

@gedankenstuecke @pigworker it's not "few KB of PDF", it's git history polluted with meaningless diffs of updated pdfs. They tend to be huge, and each update basically adds the whole pdf again and again.

100

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

sheerluck @sheerluck.misskey.io.ap.brid.gy · 23/07/2026

⚠️ **Oxygen** is a very toxic gas and an extreme fire hazard. It is fatal in concentrations of as little as 0.000001 p.p.m. Humans exposed to the oxygen concentrations die within a few minutes. Symptoms resemble very much those of cyanide poisoning (blue face, etc.). In higher concentrations, e […]

misskey.io

Original post on misskey.io

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 28/07/2026

100m from our house - the US idea of energy security. No power for the coming 48h, we are told.

a large tree hanging on the power lines along a side street

000

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 24/07/2026

If somebody posts a claimed #AI generated proof of the Riemann hypothesis on the arXiv and it has a complete #lean formalization coming with the paper, would you download the lean proof (~100.000 lines) and check it on your computer? You should NOT DO THIS. That's very easy social engineering […]

machteburch.social

Original post on machteburch.social

103

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 20/07/2026

I forgot a piece of luggage somewhere in the terminals of Toronto Pearson airport, upon arriving from Tokyo to connect to Chicago, and finding out that the flight is cancelled, and being rebooked on the one 12 hours later. Now I am short of a laptop from the employer, some notes on paper, a […]

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 10/07/2026

000

Questions, questions... What to do with the "vibecode generation" of students who can't produce anything remotely useful ? (Just had to fail one individual precisely for this reason) What to do with a US$50K donation by an individual to @sagemath (we're still trying to recover from the shock […]

julesh @julesh.mathstodon.xyz.ap.brid.gy · 06/07/2026

000

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

ACT2026, let's rock & roll

010

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

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

Maps of Mexico City indicating for each burrough which language is the second and third most common language spoken (in all cases Spanish is the most common language). They are mostly indigenous languages of Mexico, but you can also find English, Korean […] [Original post on mathstodon.xyz]

DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 21/06/2026

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Despite the Mar 30 date, this does not appear to be an April Fools joke: > MAD Bugs: vim vs emacs vs Claude > We asked Claude to find a bug in Vim. It found an RCE. Just open a file, and you’re owned. We joked: fine, we’ll switch to Emacs. Then Claude found an RCE there too […]

Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 21/06/2026

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

I just learned that Winfried Bruns passed away at the age of 80 years. Together with Jürgen Herzog he wrote the very influential book "Cohen-Macaulay Rings" which I studied intensively during my postdoc phase. He was also very passionate about computers and his implementations of polyhedral […]

machteburch.social

Original post on machteburch.social

000

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Vince Knight (He/Him) @vinceknight.fosstodon.org.ap.brid.gy · 09/06/2026

It was a real pleasure to be on @nonzerosumjames.bsky.social's podcast. I've been enjoying his show for a while so it was an honour to be the first guest :)

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

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

archive.md/NHTPD Some more glimpses into how bad people felt about Math Inc scooping the sphere packing formalisation project (at least through the lens of a journalistic framing): eg: "At times, the tensions have boiled over into public rancor. When Dr. Han spoke at a meeting of […]

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

004

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Woah, a geometric topology paper with 31 authors! It's titled "Algorithms in 4-Manifold Topology", and they show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not the manifolds are homeomorphic […]

daniel:// stenberg:// @bagder.mastodon.social.ap.brid.gy · 06/05/2026

013

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

I've agreed to do a talk at the KTH Royal Institute of Technology in Stockholm end of May. For someone who never attended university, it feels extra great to be invited. Details will follow later.

183

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

daniel:// stenberg:// @bagder.mastodon.social.ap.brid.gy · 08/05/2026

FFmpeg: The Incredible Technology Behind Video on the Internet on the Lex Fridman Podcast with Jean-Baptiste Kempf and Kieran Kunhya youtu.be/nepKKz-MzFM

088

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 08/05/2026

[politics, Ukraine rules] Hereby Zelenskii, literally, lets Russia use the Red Square for a few hours tomorrow. president.gov.ua/documents/3742026-…

000

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 07/05/2026

"all yer teachin' data are belong to us" now, one might need to pay moar ransom $$$ than is cost to keep IT people on payroll to do all this stuff locally... #canvas #shinyhunters #it #ransomware

canvas northwestern edu - ransomware demands

[im] < 2 canvas northwestern edu hh + ©
SHINYHUNTERS
rooting your systems since '19 ;)
ShinyHunters has breached Instructure (again).
Instead of contacting us to resolve it they
ignored us and did some “security patches”.
WARNING
If any of the schools in the affected list are
interested in preventing the release of their
data, please consult with a cyber advisory firm
and contact us privately at TOX to negotiate a
settlement. You have till the end of the day by
12 May 2026 before everything is leaked.
Instructure still has until EOD 12 May 2026
to contact us.

v DOWNLOAD AFFECTED_SCHOOLS.TXT ¥
91.215.85.103/pay_or_leak/
instructure_affected_schools_list.txt
visit us: shnyhntuw34phgoasdcgnvps2yu7dlznys
1kvejwjdosz7bmgshzayd. onion

Chris Martin @chris--martin.functional.cafe.ap.brid.gy · 04/05/2026

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Been cooking on this one for a while. Later, maybe, some more concrete ideas for software makers. For now, a description of a problem and how I think we got here ctrlshifted.substack.com/p/the-web-…

ctrlshifted.substack.com

The Web gazes also into you

Beware that, when fighting monsters, you yourself do not become a monster

Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 28/04/2026

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Me: Using a proof assistant like #lean, we can express all math in an expressive and algorithmically checkable way! The proof assistant: Consider this simple equation among 3x3 determinants:

A gigantic list of individual matrix entries needs to be a described before an equation among 3x3 determinants is checked by 'ring'.

102

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Olivia Guest · Ολίβια Γκεστ @olivia.scholar.social.ap.brid.gy · 23/04/2026

reminder... > Anybody can ‘win’ a marathon if driven by car. Does that make it a weakness of the marathon race as an endurance event? Or does it reflect a deeper category error on our behalf, like with the misapplication of statistical tests, that an […] [Original post on scholar.social]

we must be critical when we see statements such as: “It’s worth
noting that AI can pass the clinical social worker exam — even
without seeing the questions. But that shows the weaknesses of
exams more than the strength of AI” (Caldwell,
2024
, n.p.). An
AI product passing an exam means nothing about the “weak-
nesses” of exams in the abstract. Anybody can ‘win’ a marathon if
driven by car. Does that make it a weakness of the marathon race
as an endurance event? Or does it reflect a deeper category error
on our behalf, like with the misapplication of statistical tests, that
an assumption has been violated? The race as the exam assumes
an unaided human performs it. Any digital computer can sur-
pass a human at many feats, e.g. calculations per second, but that
grants no humanity to the machine.

002

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Christian Lawson-Perfect @christianp.mathstodon.xyz.ap.brid.gy · 21/04/2026

Time for my sporadic worry about what anyone will do when YouTube goes away like Twitter did.

✧✦Catherine✦✧ @whitequark.treehouse.systems.ap.brid.gy · 18/04/2026

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

my code has started (and ended) romantic relationships, changed how people view the world around them, and brought people bits of otherwise unachievable joy it is embarrassing to tell on yourself that you can't do the same, but it is downright ignorant to claim it cannot or shouldn't be done at […]

social.treehouse.systems

Original post on social.treehouse.systems

429

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 20/04/2026

From @xenaproject tinyurl.com/JacobianChallenge a challenge to AI companies to autoformalise a nontrivial piece of well-known 19th century mathematics that will need new definitions etc that aren't in mathlib. Can an AI system adequately build the foundational material and 'API' for it […]

Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 17/04/2026

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

A while ago I checked out PeerTube by setting up an instance under tube.mathe.social. Now I'm happy that we have the first actual users! Raphael Appenzeller and José Pedro Quintanilha from @uniheidelberg are showing some knotholder tricks under @ra […]

machteburch.social

Original post on machteburch.social

robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 15/04/2026

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

I guess we’re all getting a little tired of talking about this sort of thing, but I think this is the most impressive example yet of an LLM-generated solution to a long-open mathematical problem: www.erdosproblems.com/forum/thread/… Jared Lichtman, a mathematician who has spent (in […]