Nostr notes by Gro-Tsen

Un billet de blog pour parler de la destruction en cours des ...

2026-09-10T22:36:26Z

Un billet de blog pour parler de la destruction en cours des mathématiques par les boîtes d'IA et leurs petites mains: www.madore.org/~david/weblo...

Sur la destruction des maths p...

Short version: ⓐ progress in math ≡ progress in human ...

2026-08-02T10:48:27Z

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;

…

So, IBM publishes machine-generated translations of AIX ...

2026-07-27T06:18:04Z

So, IBM publishes machine-generated translations of AIX documentation on its Web site, and the French translation of awk documentation translated “sin” and “log” (the math functions) as if they were the words for a religious transgression and a journal respectively. 🤣

https://shiitake.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:tnde52rcbqxotp7a2cl7bmxu&cid=bafkreiaswjss4t5pwgoefsuehaptacxs2i2rit3avgdfjicxprxv6bnqji

Here's a mathematical fact which I find amazingly ...

2026-01-13T18:38:39Z

Here's a mathematical fact which I find amazingly counter-intuitive:

There exists a polytope (=the convex hull of a finite set) in ℝ⁴ which is not combinatorially equivalent to one with rational vertex coordinates (=the convex hull of a finite subset of ℚ⁴)!

🤯

•1/4

This almost-but-not-quite-periodic image is inspired by a recent ...

2025-12-30T21:19:47Z

This almost-but-not-quite-periodic image is inspired by a recent blog post by @johncarlosbaez.bsky.social@bsky.brid.gy about musical scales: let me explain what I drew here, and what it has to do with music, but also with diophantine approximations of log(2), log(3) and log(5). 🧵⤵️ •1/19

https://shiitake.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:tnde52rcbqxotp7a2cl7bmxu&cid=bafkreifte5m5pi2ycgtkkuordl4qwywhpradurzmiq3wqiu3eta2hn65x4

À partir de maintenant, à Paris, le Soleil se couche de plus en ...

2025-12-11T19:02:12Z

À partir de maintenant, à Paris, le Soleil se couche de plus en plus tard. www.explainxkcd.com/wiki/index.p...

2792: Summer Solstice - explai...

… also: why are so many videos and essays and popular science ...

2025-12-08T14:57:53Z

… also: why are so many videos and essays and popular science stuff dedicated to trying to explain the philosophy and intuitive ideas of the FIRST quantization, and absolutely NONE about this completely mind-boggling fact that FOR SOME REASON WE NEED TO DO IT A SECOND TIME? •15/16

To caricature slightly (but only slightly): because the formal ...

2025-12-08T12:07:04Z

To caricature slightly (but only slightly): because the formal scientific publication process is used to evaluate researchers, it needs to be tightly guarded, and because of this, researchers who actually need to communicate between themselves …

… (WHICH WAS THE ENTIRE POINT OF THE PUBLICATION PROCESS IN THE ...

2025-12-08T12:07:04Z

… (WHICH WAS THE ENTIRE POINT OF THE PUBLICATION PROCESS IN THE FIRST PLACE) resort to various social media, including, apparently, comments on YouTube videos. 😭

PS: if you need help visualizing the the 3-sphere, maybe the ...

2025-12-06T17:34:06Z

PS: if you need help visualizing the the 3-sphere, maybe the videos www.youtube.com/watch?v=bBot... and www.youtube.com/watch?v=yPUd... can help (they show what it's like to navigate a 120-cell, resp. 600-cell, which is a tiling of the 3-sphere by regular dodecahedra, resp. tetrahedra).

The surface of the 120-cell in...

‣ QUESTION: Do you think the Möbius curve stands out among the ...

2025-11-17T10:26:45Z

‣ QUESTION: Do you think the Möbius curve stands out among the five? Is there some visual property that makes it different from the four control curves? If I had shown all five to you, would you have said the Möbius one is somehow special? If so, can you describe what? Or is it just like the others?

N'oubliez pas: l'hexadécimal B6 se prononce ...

2025-11-09T18:17:32Z

N'oubliez pas: l'hexadécimal B6 se prononce «dizante-seize» sauf chez les Belges où c'est «onzante-six».

Note: I'm not saying music-generating AIs don't exist. I ...

2025-10-30T08:17:43Z

Note: I'm not saying music-generating AIs don't exist. I know they do. But as far as I'm aware, there's no public Web site where you type “a piano sonata in the style of Beethoven, quoting Elgar's ‘Pomp and Circumstance’ marches in every movement” and you get a shitty mp3 to download.

When you hear “Internet of Things” or “connected”, think: ...

2025-10-30T08:04:47Z

When you hear “Internet of Things” or “connected”, think:
①useless & works badly at best,
②requires constant updates and Internet access for no reason,
③ceases to work because company decides to stop maintaining,
④gets hacked and serves to attack you/others,
⑤keeps you under constant surveillance.

I asked a long question on MathOverflow about this game, with ...

2025-10-28T18:02:34Z

I asked a long question on MathOverflow about this game, with detailed explanations and some remarks and comments: mathoverflow.net/q/503195/17064

(Since it's about mathematical games and computability, I think @joeldavidhamkins.bsky.social might be interested.)

For which sets do Arthur and N...

For example, I don't like it when people act like idiots, but ...

2025-10-28T10:18:18Z

For example, I don't like it when people act like idiots, but I also think it shouldn't be forbidden.