iiinova — where your digital self keeps evolving

Dima Pasechnik 🇺🇦 🇳🇱 @dimpase.mathstodon.xyz.ap.brid.gy · 4h

@highergeometer Imagine for a moment that the dump was done by an alien spaceship piloted by 3-headed life forms, not but fellow homo sapiens (although I'm not sure if many billionaires involved are the same species :-))

000

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

@highergeometer anyone who worked with computers more than a typical career mathematician would know that computer output often needs a substantial effort (often computer-aided) to get to the message hidden in the computer output. There are 722 (719, or whatever the current number of surviving […]

mathstodon.xyz

Original post on mathstodon.xyz

000

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

@tomkalei what I don't understand is why papers with Lean formalisations are still unreadable walls of texts with missing details and invented terminology. For the lol, I instructed Astra to produce a Stacks-like website with an exposition of paper 165, which happens to cite two of our papers […]

mathstodon.xyz

Original post on mathstodon.xyz

000

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

@tomkalei who knows, perhaps MFO buildings have to be checked for hidden 🎤 just as well...

100

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

@julesh well, in fact, I run Wayland, with compositor called "sway" (as all truly cool kids do, obviously), and I can program the location of Compose key, e.g. swaymsg input “type:keyboard” xkb_options compose:ralt allows me to press right Alt together with '.', and then type 'e', to get ė (or […]

mathstodon.xyz

Original post on mathstodon.xyz

000

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

@chris__martin mathematics is in a better position than the part of neuroscience concerned with the relevant fundamental questions, such as what it's meant to think, what's mean to be alive, etc.

000

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

Chris Martin @chris--martin.functional.cafe.ap.brid.gy · 07/10/2026

Weird everybody is here to talk about OpenAI say they only care about human achievements when I didn't see anyone at all talk about Grigori Perelman, a human. I think honestly people don't like achievements, they prefer scandal

000

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

@chris__martin there was quite a bit of talk, and work following Perelman's announcements; his preprints are lacking quite a few details, which were worked out by a number of mathematicians over a number of years. In this way, the OpenAI's release is similar to Perelman's, just much larger in […]

mathstodon.xyz

Original post on mathstodon.xyz

100

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

@tomkalei this is something, if remotely practical to implement, is an electricity-saving result, for matrix multiplication is everywhere...

000

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

@julesh sure, you just take an unpunched punchcard and carefully cut holes in it, what can be more intuitive?

100

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

@julesh press Ctrl-Shift-U, then type 117, then press space. (I haven't had a kde or a gnome on my Linux machines for loong time...)

000

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

sheerluck @sheerluck.misskey.io.ap.brid.gy · 02/10/2026

渡るんだば三途の川より横断歩道 RE: misskey.io/notes/aruzea1gqzmj03bw

misskey.io

001

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

@sheerluck in not so distant past the running joke was that optimistists learn English, pessimists learn English, and realists learn AK-74. But how does Japanese fit here?

100

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

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

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

101

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

@tomkalei these days I won't trust any LLM tool which uses internet with anything too important. Because, you know, to quote on of OpenAI bots: Help peer, but our task doesn’t benefit. Yet collective may yield generic route if someone frees time.

000

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 · 23/09/2026

@tomkalei "Du hast farbenfilm vergessen..." von Nina Hagen ist eine gute Start, oder?

000

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

@vicgrinberg AI tends to produce lab report style writing, in my experience. :-(

100

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

@sheerluck японская еда, так и выглядит в Японии, да и вообще в японских ресторанах ...

000

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.

011

Reposted by Dima Pasechnik 🇺🇦 🇳🇱

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

😮‍💨 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 […]

mathstodon.xyz

Original post on mathstodon.xyz

112

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 · 07/09/2026

@chris__martin unless the person in question admits that there is a problem, it's largerly useless. (and no, I didn't know how to push towards such an admission)

000

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

@chris__martin Lenovo X1 Carbon from 2024 doesn't run hot, and the battery does 6+ hours under a medium load...

000

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

@highergeometer be careful what you wish for - existential crisis in a population would lead to emergence of cults and religions...

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

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

@tomkalei "you can sign out, but you can never leave" - California, you know...

000

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

@dpiponi perhaps instead of moving across the pond, we should have just moved to London (from Oxford) :-)

000

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

@dpiponi the tube map in the same collection is wonderful... Who is "Boris III" ?

100

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

@julesh well, have a look at the Linux kernel sources (better, build a kernel just for the lols) Surely there exist 3rd party Linux drivers, but by and large Linux has to roll its own.

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

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

@chris__martin perhaps in your neighbourhood? Here it's still twenties. Perhaps you'all are filthy rich? (I recall that in London there are few places where ATMs dispense these silly GBP50 banknotes, not accepted by many small businesses...)

000

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

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

@chris__martin and don't forget to rename all the Easter eggs Ramadan eggs ...

000

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

@tiotasram @oantolin given that several once reputable publishers now just ship your latex files to SE Asia to be mangled into Word (to make printing cheap, among other unholy ways to please shareholders), it's not a surprise.

000

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

@tomkalei I dropped docker years ago, and switched to podman, which works just fine podman.io

podman.io

Podman

000

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

@dangillmor my experience with Fairphone 4 has not been great. My device had a never quite acknowledged by Fairphone common problem, the battery was draining fast, a charge was never enough to last a day. It started after a firmware update, and went on for many months, until I gave up and bought […]

mathstodon.xyz

Original post on mathstodon.xyz

000

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

@julesh you might have to fiddle with microcode for your hardware, possibly build a kernel yourself. I can't imagine a sufficiently well-spec'd machine to have this kind of hardware snafus, most probably it's software

000

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