jrmyd.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

J'ai le plaisir d'avoir produit des simulations visuelles du trou noir Sagittarius A* pour le tout nouveau film "Destination Trou Noir" au Planétarium de la Cité des Sciences et de l'Industrie. C'est à l'affiche depuis le 6 mai ! www.cite-sciences.fr/fr/au-progra... @citedessciences.bsky.social

submitted 1 day ago • 1 comment

We're ready for Microsoft Recall and the automatic screenshots it takes of everything on your desktop. Signal Desktop on Windows now includes support for a new "Screen security" feature designed to block screenshots of your Signal chats. signal.org/blog/signal-...

submitted 3 days ago • 11 comments

In response to a MathOverflow question, I dug up an old Haskell implementation I had written (a dozen years ago) of ordinals and ordinal arithmetic up to the countable collapse of Ω_ω: mathoverflow.net/a/492322/17064

submitted 16 days ago • 1 comment

Reminder. The orbit of the Moon about the Sun is convex. physics.stackexchange.com/a/266444 Although the Moon is simultaneously in Orbit about the Earth, nevertheless the Earth moves sufficiently each month that the Moon's trajectory around the Sun is convex.

submitted 21 days ago • 0 comments

A fascinating set-theoretic situation. If there is any model of ZFC at all, then there are models M and N with the same sets of real numbers and the same cardinals, such that M thinks the continuum hypothesis is true and N thinks the continuum hypothesis is false.

submitted 26 days ago • 1 comment

I answered a question of @gro_tsen on MathOverflow concerning whether there is an "Opposite" axiom to the continuum hypothesis, which asserts that the continuum is extremely large. mathoverflow.net/a/491182/1946

submitted 37 days ago • 1 comment

Pour changer des mauvaises nouvelles, un petit truc amusant. Imaginez que vous avez une clôture par segments de 17 mètres et que vous voulez obtenir le nombre de segments d'après la longueur de la clôture. C'est une division par 17 avec un reste nul.

submitted 41 days ago • 1 comment

En exclusivité mondiale, nous sommes ravi·es de vous présenter notre tout nouveau service : Framamème, notre générateur de mèmes sous licence libre ! Découvrez les coulisses de ce projet révolutionnaire porté par @ptilouk.bsky.social sur le #Framablog ! 👉 framablog.org/2025/04/01/f... #Framameme

submitted 53 days ago • 6 comments

Rocq has this rarely known feature, and mathematicians hate it for that. (This is not clickbait 😆) Impredicative Set allows to quantify over types of values while still being at the same level. This leads to paradox for most mathematicians but not in Rocq! Here is what follows: 👇

submitted 53 days ago • 1 comment

One thing which fascinated me when I was young is that there's no elementary closed-form expression for the length of an ellipse, BUT there is one for the area of an ellipsoid of revolution (aka “spheroid”).

submitted 60 days ago • 4 comments

En plus des problèmes de privacy, l'interface est nul. N'importe quel mini pc connecté à l'écran avec un clavier sans fil offre une meilleure expérience 🤷

submitted 62 days ago • 1 comment

Lunar eclipses, such as the one yesterday, were one of the earliest pieces of scientific evidence that the Earth was basically a round sphere, already known to Aristotle: regardless of the position of the eclipse in the light sky, the shadow of the Earth on the Moon was always circular.

submitted 70 days ago • 1 comment

Meta is trying to block the sale of the new whistleblower book. anyone read it? www.bbc.com/news/article... (link to the whistleblower's memoir sarahwynnwilliams.com )

submitted 72 days ago • 5 comments

#piday An experiment I've been trying on March 14th for many years without success 😅: getting 3 replies, 14 reposts and 15 likes.

submitted 71 days ago • 3 comments

On peut la revisionner sur youtube ! youtu.be/78CQ2A5_EvI

submitted 71 days ago • 1 comment

🔴 La Wikimedia Foundation (WMF), qui héberge #Wikipédia, a reçu deux mises en demeure de #LePoint, qui exige notamment la suppression des contenus critiques sur le magazine et d'empêcher toute modification de l'article ! Le service juridique de la WMF rejette ces demandes. 👇 🔗 w.wiki/DPuY

submitted 73 days ago • 20 comments

submitted 75 days ago • 157 comments

I am truly honored to be giving the 2025 William Reinhardt Memorial Lecture next week at the University of Colorado Boulder. "How we might have taken the Continuum Hypothesis as a fundamental axiom, necessary for mathematics" www.colorado.edu/math/2025/03...

submitted 79 days ago • 1 comment

Bon, le premier vrai gros relais independant de Bluesky est en construction. 30k. C'est ce qu'on pourrait mettre pour avoir un relai europeen, a l'abris de Trump ou d'un changement de politique chez bsk. (Relai connecté au reste bien sur, pas isolé)

submitted 73 days ago • 2 comments

J'ai récemment appris que certains moteurs d'expressions régulières faisaient n'importe quoi en fait... Mais du coup ça m'a donné un petit sujet de DM... (Un article qui raconte bien le truc : swtch.com/~rsc/regexp/...)

submitted 77 days ago • 1 comment

⚡Superbe travail de @electricitymaps.com qui a récemment ajouté plus d'une centaine de pays, dont la Chine, sur sa carte d'émissions carbone pour la production électrique 🤩 On peut suivre les moyens de production de quasiment le monde entier, en live 🤯 app.electricitymaps.com/map/72h/hourly

submitted 82 days ago • 7 comments

Ce genre de questions sert à décaler la fenêtre d'Overton. On remarquera qu'il n'y a pas de questions telles que "la fortune de Bernard Arnault pourrait-elle être saisie ?". ;)

submitted 82 days ago • 9 comments

Pour rendre hommage à notre camarade @vlanx0, j’aimerais présenter sa chaîne Youtube aux personnes qui ne la connaissent pas. Pour ma part, j’ai découvert son travail vers 2019-2020. Depuis, je n’ai pas cessé de le suivre. 1/15 www.youtube.com/@Vlanx

submitted 84 days ago • 5 comments

[CW mort, suicide] Mon ami Alex, Alexandre Maurer, surnommé "Arkh" dans les années 2000, et plus récemment appelé Vlanx (@vlanx.bsky.social), a quitté ce monde le lundi 24 février 2025. Frappé par un Covid long, il a décidé de mettre un terme à ses souffrances. 1/21

submitted 86 days ago • 43 comments

Ca me fend le coeur Repose en paix

submitted 86 days ago • 2 comments