Gro-Tsen
@gro-tsen.bsky.social
1.6K followers 79 following 9K posts
Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.
Posts Media Videos Starter Packs
Reposted by Gro-Tsen
baalhammon.fr
Repost d'un de mes fils twitter (id du premier tweet : 1462516464431378433, 21 novembre 2021).

(Spoilers sur Le Vent se Lève de Hayao Miyazaki)
Reposted by Gro-Tsen
laysfarra.bsky.social
Nouvel album des Tuniques Bleues dessiné par Lambil qui sort le 10 octobre dupuis.com/les-tuniques... Lambil doit battre un record de longévité sur une série ? En tout cas, les dessinant depuis octobre 1972, il dépasse Derib qui a tenu de décembre 1969 à mai 2022 sur Yakari… (ou Tibet, 1963-2010)
Lincoln dans la ligne de mire, tome 69 de la série de BD Les Tuniques Bleues, de Lambil - Neidhardt - - Éditions Dupuis
Lincoln dans la ligne de mire, tome 69 de la série de BD Les Tuniques Bleues (Dupuis ''Tous Publics'' - Éditions Dupuis). Feuilletez gratuitement cette BD en ligne. Condamné au peloton d'exécution p...
www.dupuis.com
gro-tsen.bsky.social
Ah yes, the hydra game can be fun both for @joeldavidhamkins.bsky.social to explain and for students to hear about.

(I now remember I made this little demo page www.madore.org/~david/math/... ages ago — my hydra is very tame, though, and often doesn't react, but it still gives a feel of the game.)
www.madore.org
gro-tsen.bsky.social
… each one is EITHER known not to be rational OR known to be rational and in rational form.
gro-tsen.bsky.social
Basically this works with any kind of real numbers for which you can compute +, −, × and inverses provided they are nonzero, and also compare with rationals. Bit tedious to formalize in one tweet. But it works, say, with exact algebraic numbers, or with computable reals provided …
gro-tsen.bsky.social
If it's primarily for undergraduates, I would recommend speaking about games, determinacy and winning strategies, because that's likely to engage the audience. If you can describe the winning strategy for nim, for example, this will give them something to impress their friends with.
gro-tsen.bsky.social
The British Empire once had the problem that the Chinese were not using enough opium, and we know how they looked to solve this.
politico.eu
The EU says it has a new problem when it comes to artificial intelligence: Companies are not using it.

But Brussels is looking to solve this.
European businesses barely use AI. Brussels wants to fix that.
Commission to warn Europe’s slow embrace of artificial intelligence risks squandering economic growth.
ow.ly
gro-tsen.bsky.social
Je suppose que tu as déjà tenu compte de cette idée pour filtrer tes choix, mais en RAID je pense qu'il vaut mieux utiliser autant que possible des disques tous de constructeurs différents.
gro-tsen.bsky.social
For example, if a teacher speaks of “12.34% of students in my class”, you can conclude that they have a large class of ≥154 students (or that they aren't rounding correctly, or that they're lying… I've actually caught some very suspicious stats that way!).
gro-tsen.bsky.social
This has an interesting application: if someone speaks of “12.34% of our foobars” (and if they rounded correctly!), then by the computation of the previous skeet, you can deduce that they have at least 154 foobars. Because no fraction with fewer would round to 0.1234.
gro-tsen.bsky.social
Random example: what is the simplest rational between 0.12335 and 0.12345? Since 0.12335 = [0; 8, 9, 2, 1, 9, 9] and 0.12345 = [0; 8, 9, 1, 21, 1, 1, 5], it is [0; 8, 9, 2] = 19/154 (indeed, this is 0.12337662…).
gro-tsen.bsky.social
If you know what the Stern-Brocot tree is, the answer is pretty obvious. Otherwise, the problem will be very mysterious.
gro-tsen.bsky.social
The binary dyadic tree (left) versus the Stern-Brocot tree (right) on the interval [0,1]. ⬇️

(x is to scale, but y is arbitrary.)

I couldn't find a nice way to consistently scale and place the labels, so it's ugly, but I think it's still nice to see them side by side.
Binary dyadic tree with some nodes labeled by (dyadic) rationals between 0 and 1. Binary Stern-Brocot tree with some nodes labeled by rationals between 0 and 1.
gro-tsen.bsky.social
Stumbled again upon this question: given p≤q real numbers, how to algorithmically find the rational number n/k with smallest possible denominator k and lying between them, p ≤ n/k ≤ q (that is: [k⋅p,k⋅q] ∩ ℤ ≠ ∅)? mathoverflow.net/a/424509/17064
How can I efficiently find the "simplest" rational in an interval?
For a hobby software project I am working with exact rational arithmetic, as it happens this produces numbers $\frac{n}{k}$ of huge size even after reducing them, I am searching for an efficient
mathoverflow.net
gro-tsen.bsky.social
Moi aussi quand j'arrive à me taire une heure, ça fait les infos nationales.
leparisien.fr
À ce stade, Emmanuel Macron ne devrait plus parler ce soir, d'après nos informations.

🔴 Notre DIRECT ➡️ https://l.leparisien.fr/2Egu
gro-tsen.bsky.social
Thanks. That does clear things up. But this kind of high-level overview needs to be written into a Wikipedia help page (ideally one that Google easily finds when searching for “Wikipedia references format” or such).
Reposted by Gro-Tsen
columnist.bsky.social
FRANCE 🤝 UK
joxley.jmoxley.co.uk
Think an underpriced 2029 scenario is "ungovernable mess".
robfordmancs.bsky.social
Four parties within a 5 point swing of first place and five parties on 12% plus.

This would be pure chaos under first past the post.
gro-tsen.bsky.social
In my case I had to replace “<ref name="Duoandikoetxea-2001" />” by “<ref>{{harvnb|Duoandikoetxea|2001|loc=Thm. 8.3}}</ref>” to cite theorem 8.3 specifically. How do you guess this kind of shit?

Next time I'll just add “theorem 8.3” in the text and let someone else clean it up! 🤬
Fourier transform: Difference between revisions - Wikipedia
en.wikipedia.org
gro-tsen.bsky.social
… that every time I need to add a reference to a Wikipedia article, I spend dozens of minutes trying to read the shit that's supposed to be the “documentation”, then randomly try out stuff, and eventually give up and ask ChatGPT for help. chatgpt.com/share/68e630... 😭
ChatGPT - Edit Wikipedia reference
Shared via ChatGPT
chatgpt.com
gro-tsen.bsky.social
… and also the section preview doesn't work on citations because the previewer is too stupid to load references from the entire article (🤦), …
gro-tsen.bsky.social
Wikipedia (rightly!) wants articles to cite their sources, but the maze of citation tags and templates is so incomprehensible (there's <ref>…</ref> and {{cite}} and {{citation}} and {{r}} and {{harv}} and {{reflist}} and <references /> and I don't know what else or how they interact), …
Wikipedia:Citation templates - Wikipedia
en.wikipedia.org
Reposted by Gro-Tsen
p4bl0.net
Ce qu'ils disent : regarde je n'ai même pas besoin d'apprendre à programmer je peux tout faire avec des agents grâce au vibe coding !

Ce que j'entends : regarde je suis désormais un grand musicien, vu que j'ai un abonnement Spotify.
Reposted by Gro-Tsen
mathieucarpentier.bsky.social
Ce matin au JO: un arrêté nommant les membres du cabinet du ministre des Armées, pris par le Premier ministre, exerçant les attributions de ce dernier. M. Lecornu a d'ailleurs reconduit les membres de son précédent cabinet.

www.legifrance.gouv.fr/jorf/id/JORF...
Reposted by Gro-Tsen