Dima Pasechnik 🇺🇦 🇳🇱

@chris__martin
I'm sure a domain registrar which provides a .yaml or .toml files interface for all these pesky DNS records would have a huge competitive advantage...

@MartinEscardo the US craziness about "credit rating" has reached UK shores?
Here hight credit rating means being a good serf of your banks: to have a pay-for credit card (one, or more) for a long time, and never miss a payment.

As we had to move to US in Oct last year, we bought a house, on a […]

In case you weren't there, but are curious; the lecture notes are available here https://github.com/tomdjong/MGS-categorical-realizability/blob/main/MGS-categorical-realizability.pdf?raw=1

It was both a pleasure and a privilege to deliver 5 90-min blackboard (!) lectures on Categorical Realizability to 20–30 students and fellow lecturers at the European Summer School in #Logic, Language and Information (#ESSLLI).
I really enjoyed the interaction with all attendees and appreciated […]

I am an old man. I regularly yell at clouds. "https://nxdomain.no/~peter/elvis_solaris_ai_mythmaking.html" https://nxdomain.no/~peter/elvis_solaris_ai_mythmaking.html (https://bsdly.blogspot.com/2025/08/elvis-is-alive-how-ai-stunts-modern.htmltracked ) #elvis #solaris #unix #ping #networking #AI […]

Summer Undergraduate Internship - Boosts Welcome!

Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?

I have three MITACS projects which are looking for undergraduate interns to work on:

* Flexible Pattern Matching in […]

To people crying socialism, this is not something the government has decided. It's been negotiated between McDonald's Denmark and the workers' union.
To everyone whining abt taxes: In Scandinavia (and the EU), nobody needs to work two or three jobs or > 40 […]

[Original post on mastodon.social]

@chris__martin I imagine that in EU anything with "keep away ftom children" label cannot be sold to children.

@chris__martin s/rs/ts ? "market" as in "farmer's market" ? I cannot imagine this - unless you e.g. buy alcohol, in a country where alcohol selling laws are strict.

A welcome surprise from the NY Times' most relentless normalizer of extremism, Peter Baker: an "analysis" that calls the Trump regime's war on reality what it is, albeit more politely than the regime deserves.

https://archive.ph/Ss3Pj

@chris__martin yeah, snow shovels with plastic parts and handles which disassemble into 3 parts, this kind of crap 😠

@highergeometer soon they will resort to old good quotes from Soviet newspapers: "For the 1st time in Soviet Union, scientists form such and such institute of the Academy of Sciences of USSR have observed that...".
🙂

Reddit post: "Google Deepmind claims to have solved a previously unproven conjecture with Gemini 2.5 deepthink" https://blog.google/products/gemini/gemini-2-5-deep-think/ Seems interesting but they don't actually show what the conjecture was as far as I can tell?"

TeX source for the conjecture as seen Google's announcement video, in the Gemini interface: "Fix an integer $d \geq 1$. Then we have \[ \sum_{(d_1,\ldots,d_r) \vdash d} \dfrac{2^{r-1} \cdot d^{r-2}}{\#\! \operatorname {Aut}(d_1,\ldots,d_r)} \prod_{i=1}^r \dfrac{(-1)^{d_i-1}}{d_i} {3d_i \choose d_i} = \dfrac{1}{d^2} {4d-1 \choose d} \] where the sum is over strictly positive unordered partitions of $d$ (of any length)."

User on Reddit having scraped the TeX source and compiled it.

Exact match for the conjecture, in v1 of a 2023 preprint https://arxiv.org/abs/2310.06058v1, "Gromov-Witten theory of bicyclic pairs", by Michel van Garrel, Navid Nabijou, Yannik Schuler. It has a proof of the conjecture.

Claims of AI proving "previously unproven mathematical conjecture" are exaggerated. The conjecture had been proved in 2023, see Theorem 3.10 in:

https://arxiv.org/abs/2310.06058v1

Apple Is Selling iPad Repair Parts for Astronomical Prices “I believe Apple is charging this because they know if the price is high enough no one will buy it."

Apple is up to its usual tricks here, price-gouging parts replacement. https://www.404media.co/apple-is-selling-ipad-repair-parts-for-astronomical-prices

The circle is a group because you can add angles. There's no way to make the sphere into a group. But the 3-sphere - the sphere in 4-dimensional space - is a group!

The 3-sphere is a group because rotations in 3d space form a group - you multiply them by […]

[Original post on mathstodon.xyz]

@highergeometer I can confirm that "./configure --enable-experimental-packages && make lie build"
passes, and also the tests of the interface to Lie pass.
(Lie is written in plain C, and in a sufficiently new dialect of, to be built without problems)

@highergeometer http://www-math.univ-poitiers.fr/~maavl/LiE/ (included in SageMath)
used to be the one for such questions

Turn iPhone, iPad and Android into wireless mobile mouse / trackpad / keyboard with Remote Mouse.

@dpiponi there is an app to turn your mobile phone into a wireless mouse
https://www.remotemouse.net/

just in case.

view of the SF Bay Area from Berkeley Hills in Tilden Park

Hi Berkeley Hills, long time no see

@argumatronic.bsky.social it's also the ease of use of cryptocurrencies - after all, times of drugs bought for cash are in the past, and crypto industry is essential for ensuring smooth payments for illicit stuff. With the current crypto-friendly (to put it mildly) US govt, things aren't looking […]

@argumatronic.bsky.social there are spots in EU where OD deaths are 130 for a million - Estonia and Latvia. That's more than a half of US average of 228.
(But these are poor contries with long cold dark winters, affected by the war in Ukraine, and threatened by Russia)

@chris__martin @bob people do drugs and stuff mostly due to life pressures. Without improving quality of life for the general population, all these wars on drugs, alcohol, etc are not effective.

By the way, US roads are quite dangerous compared to EU, which had 44 road accident deaths per […]

uhhhh

@soaproot @andrejbauer @jonmsterling ghost is trying to compete with substack. No wonder it's all ads ads ads

Today I formally requested the withdrawal of the accepted to De Gruyter Brill journal "Special Matrices" paper (mentioned above) due to their lost abilities to properly typeset maths.

Don't submit maths papers to De Gruyter's journals, and books to be published by them - they have totally […]

Today I formally requested the withdrawal of the accepted to De Gruyter Brill journal "Special Matrices" paper (mentioned above) due to their lost abilities to properly typeset maths.

Don't submit maths papers to De Gruyter's journals, and books to be published by them - they have totally […]

@MartinEscardo Should there be a structure to deal with academic software contributions? A software contribution is only possible to keep alive if all its dependencies aren't dead, and the infrastructure (compilers, interpreters) is there. Software is in general more volatile than texts. There […]

@MartinEscardo that's certainly a great idea, and I'd like to help. (absolutely, github and other similar free commercial services will cease to exist in their current form sooner or later - ever heard of e.g. code.google.com ?)

Having said that, the challenge to set this up and then to operate […]

I said "Academics, including myself, should create an equivalent of the arxiv for git. ... We need something made by academics for academics, just like the arxiv, where there is some hope of long-term persistence."

If any academic here would like something like this and is willing to join […]