Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en. 🌉 bridged from 🦋 gro-tsen.bsky.social, follow @bsky.brid.gy to interact
Public Key
npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Profile Code
nprofile1qqs0mf8n8287hkryxesead0way3nfzyzu03ndlwc2jfjwgqep5vrj5gpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43q5fkt2v
Show more details
Published at
2026-09-11T11:46:56Z Event JSON
{
"id": "3d49f41023bdb60f9bd478c89e72491049280ff6aab3e6e054ad08df91bc9771" ,
"pubkey": "fda4f33a8febd86436619eb5eee923348882e3e336fdd854932720190d183951" ,
"created_at": 1789127216 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://bsky.brid.gy/ap/did:plc:tnde52rcbqxotp7a2cl7bmxu",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "{\"name\":\"Gro-Tsen\",\"about\":\"Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr\u0026en.\\n\\n🌉 bridged from 🦋 gro-tsen.bsky.social, follow @bsky.brid.gy to interact\",\"picture\":\"https://shiitake.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:tnde52rcbqxotp7a2cl7bmxu\u0026cid=bafkreibygmj3uo5kkobtyltpduvizzmwaugiciugyvq3pupbyn6cac2oz4\",\"nip05\":\"[email protected] \",\"fields\":[[\"Web site\",\"https://bsky.app/profile/gro-tsen.bsky.social\"]]}" ,
"sig": "7bc6c467673a78b6d757b3bf435440346c3d402269f0d7d7dd1bb824e9752beb50d6873e5d9b1562a8c434f4760e0c27779569e01259eedbed204f3c29999eec"
}
Last Notes npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen 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... npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen 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; … npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen 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 npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen 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 npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen This almost-but-not-quite-periodic image is inspired by a recent blog post by @[email protected] 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 npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen À partir de maintenant, à Paris, le Soleil se couche de plus en plus tard. www.explainxkcd.com/wiki/index.p... 2792: Summer Solstice - explai... npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen … 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 npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen 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 … npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen … (WHICH WAS THE ENTIRE POINT OF THE PUBLICATION PROCESS IN THE FIRST PLACE) resort to various social media, including, apparently, comments on YouTube videos. 😭 npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen 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... npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen ‣ 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? npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen N'oubliez pas: l'hexadécimal B6 se prononce «dizante-seize» sauf chez les Belges où c'est «onzante-six». npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen 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. npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen 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. npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen 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... npub1lkj0xw50a0vxgdnpn667a6frxjyg9clrxm7as4ynyuspjrgc89gsc4eph6 Gro-Tsen For example, I don't like it when people act like idiots, but I also think it shouldn't be forbidden.