Thomas (lipsum.dev)
@lipsum.dev
Maths et applications, avec les mains et avec du code 💻
https://lipsum.dev
https://lipsum.dev
Belle illustration de la formule d'Euler au musée du Compagnonnage à Tours, avec ce ballon en bois conçu à partir de 12 pentagones et 20 hexagones.
November 10, 2025 at 4:47 PM
Belle illustration de la formule d'Euler au musée du Compagnonnage à Tours, avec ce ballon en bois conçu à partir de 12 pentagones et 20 hexagones.
La vraie raison du changement de nom de Coq en Rocq...
October 18, 2025 at 11:31 AM
La vraie raison du changement de nom de Coq en Rocq...
En partant grosso modo de l'« arithmétique que sait faire un ordinateur », il s'agit de voir les axiomes supplémentaires à ajouter pour obtenir différents résultats, notamment en analyse comme illustré ci-dessous.
October 1, 2025 at 7:37 PM
En partant grosso modo de l'« arithmétique que sait faire un ordinateur », il s'agit de voir les axiomes supplémentaires à ajouter pour obtenir différents résultats, notamment en analyse comme illustré ci-dessous.
Deux livres que je recommande vivement, pour celles et ceux qui souhaiteraient s'initier à des thèmes mathématiques proches de la logique et de l'informatique théorique.
October 1, 2025 at 7:37 PM
Deux livres que je recommande vivement, pour celles et ceux qui souhaiteraient s'initier à des thèmes mathématiques proches de la logique et de l'informatique théorique.
Enfin, rappelons tout de même que ces chiffres sont ceux brandis par Zucman dans un fil où il défend le sérieux de ses travaux académiques... en citant le magazine Challenges !
September 27, 2025 at 12:26 PM
Enfin, rappelons tout de même que ces chiffres sont ceux brandis par Zucman dans un fil où il défend le sérieux de ses travaux académiques... en citant le magazine Challenges !
Ci-dessous, une connexion synaptique entre une cellule nerveuse et une cellule musculaire. On peut distinguer en haut deux vésicules contenant des neurotransmetteurs.
![Source : https://ccsb.scripps.edu/goodsell/machinery-of-life-reducedillustrations/#iLightbox[gallery_image_1]/52](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:denld7ao24tcahogbclo3if3/bafkreiatobr37qiphhhw265tu2bzmpc5xaunsxauhwrb6op5n5teehbfxa@jpeg)
September 27, 2025 at 7:34 AM
Ci-dessous, une connexion synaptique entre une cellule nerveuse et une cellule musculaire. On peut distinguer en haut deux vésicules contenant des neurotransmetteurs.
Now you're confusing ChatGPT chatgpt.com/share/68cc5b...
September 18, 2025 at 7:21 PM
Now you're confusing ChatGPT chatgpt.com/share/68cc5b...
I don't know what kind of logic this is, but ChatGPT seems to think it's OK to eliminate all but the last two "anti-", and is more ambiguous regarding the last two.
September 18, 2025 at 5:14 PM
I don't know what kind of logic this is, but ChatGPT seems to think it's OK to eliminate all but the last two "anti-", and is more ambiguous regarding the last two.
La logique en question introduit une syntaxe particulière pour représenter les relations de connaissances (individuelles ou communes), comme ci-dessous pour la preuve du raisonnement des logiciens dans le bar (le "K" est pour "Knows").
September 15, 2025 at 7:47 AM
La logique en question introduit une syntaxe particulière pour représenter les relations de connaissances (individuelles ou communes), comme ci-dessous pour la preuve du raisonnement des logiciens dans le bar (le "K" est pour "Knows").
Pareil pour celui-ci... (d'ailleurs, je le vends à moitié de ce prix si ça intéresse quelqu'un !)
September 12, 2025 at 4:14 PM
Pareil pour celui-ci... (d'ailleurs, je le vends à moitié de ce prix si ça intéresse quelqu'un !)
Et, ci-dessous, la projection associée à des coordonnées sphériques (sources : github.com/Leaflet/Leaf...).
September 12, 2025 at 11:11 AM
Et, ci-dessous, la projection associée à des coordonnées sphériques (sources : github.com/Leaflet/Leaf...).
Implémentation de la projection Mercator dans la bibliothèque Leaflet leafletjs.com.
Ci-dessous, le code (JavaScript) de la projection associée à des coordonnées ellipsoïdales.
Ci-dessous, le code (JavaScript) de la projection associée à des coordonnées ellipsoïdales.
September 12, 2025 at 11:11 AM
Implémentation de la projection Mercator dans la bibliothèque Leaflet leafletjs.com.
Ci-dessous, le code (JavaScript) de la projection associée à des coordonnées ellipsoïdales.
Ci-dessous, le code (JavaScript) de la projection associée à des coordonnées ellipsoïdales.
Il existerait d'autres choses que les maths et l'info dans ce bas monde 🤯 ?
August 27, 2025 at 1:45 PM
Il existerait d'autres choses que les maths et l'info dans ce bas monde 🤯 ?
August 24, 2025 at 6:57 AM
Tiens j'avais vu ça à l'Institut Henri Poincaré.
June 25, 2025 at 6:05 PM
Tiens j'avais vu ça à l'Institut Henri Poincaré.
Dans la fameuse image ci-dessous, si l'on suppose que les étoiles sont à l'infini, on devrait donc les voir... se rapprocher du centre (pour des points à distances finies, cet effet est opposé à l'augmentation de l'écart angulaire).
June 10, 2025 at 7:58 PM
Dans la fameuse image ci-dessous, si l'on suppose que les étoiles sont à l'infini, on devrait donc les voir... se rapprocher du centre (pour des points à distances finies, cet effet est opposé à l'augmentation de l'écart angulaire).
En particulier, un « boost » dans une direction correspondant à un point P (ici le pôle nord) de la sphère est associé à une transformation qui fait converger les points *vers* P.
June 10, 2025 at 7:58 PM
En particulier, un « boost » dans une direction correspondant à un point P (ici le pôle nord) de la sphère est associé à une transformation qui fait converger les points *vers* P.
Cette image serait-elle fausse !?! ⬇️
June 10, 2025 at 7:58 PM
Cette image serait-elle fausse !?! ⬇️
Tiens, avant-hier je suis passé (presque par hasard, c'est mon GPS qui m'a suggéré que c'était à côté...) devant la tombe d'Albert Camus. Et bien il y a toujours des gens qui déposent des petits mots ou des stylos en hommage.
May 8, 2025 at 10:40 AM
Tiens, avant-hier je suis passé (presque par hasard, c'est mon GPS qui m'a suggéré que c'était à côté...) devant la tombe d'Albert Camus. Et bien il y a toujours des gens qui déposent des petits mots ou des stylos en hommage.
Quand un petit rigolo a emprunté le bouquin avant toi 😅
April 17, 2025 at 5:24 PM
Quand un petit rigolo a emprunté le bouquin avant toi 😅
Bon bah, comme ton article ne venait pas, j'ai fini par me procurer ce vieux grimoire (le tampon de la bibliothèque date d'avant ma naissance...).
Pour l'instant, pour un vieux grimoire, je trouve ça plutôt plaisant à lire.
Pour l'instant, pour un vieux grimoire, je trouve ça plutôt plaisant à lire.
April 14, 2025 at 6:49 PM
Bon bah, comme ton article ne venait pas, j'ai fini par me procurer ce vieux grimoire (le tampon de la bibliothèque date d'avant ma naissance...).
Pour l'instant, pour un vieux grimoire, je trouve ça plutôt plaisant à lire.
Pour l'instant, pour un vieux grimoire, je trouve ça plutôt plaisant à lire.
Ces simulations permettent aussi de générer des échantillons du réseau en régime critique, comme ci-dessous sur un réseau 2500x2500.
Le régime critique est un sujet d'intérêt pour les physiciens qui étudient notamment certaines invariances associées...
Voilà, je m'arrête là ⏹️
Le régime critique est un sujet d'intérêt pour les physiciens qui étudient notamment certaines invariances associées...
Voilà, je m'arrête là ⏹️
March 15, 2025 at 7:59 AM
Ces simulations permettent aussi de générer des échantillons du réseau en régime critique, comme ci-dessous sur un réseau 2500x2500.
Le régime critique est un sujet d'intérêt pour les physiciens qui étudient notamment certaines invariances associées...
Voilà, je m'arrête là ⏹️
Le régime critique est un sujet d'intérêt pour les physiciens qui étudient notamment certaines invariances associées...
Voilà, je m'arrête là ⏹️
En pratique, cela permet d'obtenir des histogrammes très précis pour la distribution de M.
Ci-dessous, on met par exemple en évidence sur un réseau 100x100 une transition dans l'intervalle 0.42 ≤ β ≤ 0.45.
En dimension 2, on montre théoriquement que la transition se fait à β = ln(1 + √2)/2) ≈ 0.44
Ci-dessous, on met par exemple en évidence sur un réseau 100x100 une transition dans l'intervalle 0.42 ≤ β ≤ 0.45.
En dimension 2, on montre théoriquement que la transition se fait à β = ln(1 + √2)/2) ≈ 0.44
March 15, 2025 at 7:59 AM
En pratique, cela permet d'obtenir des histogrammes très précis pour la distribution de M.
Ci-dessous, on met par exemple en évidence sur un réseau 100x100 une transition dans l'intervalle 0.42 ≤ β ≤ 0.45.
En dimension 2, on montre théoriquement que la transition se fait à β = ln(1 + √2)/2) ≈ 0.44
Ci-dessous, on met par exemple en évidence sur un réseau 100x100 une transition dans l'intervalle 0.42 ≤ β ≤ 0.45.
En dimension 2, on montre théoriquement que la transition se fait à β = ln(1 + √2)/2) ≈ 0.44
L'algorithme de Wolff est un autre algorithme de type MCMC dans lequel les transitions se font par retournement d'un « cluster » d'aimants simultanément, ce qui permet d'explorer l'espace des états beaucoup plus rapidement.
March 15, 2025 at 7:59 AM
L'algorithme de Wolff est un autre algorithme de type MCMC dans lequel les transitions se font par retournement d'un « cluster » d'aimants simultanément, ce qui permet d'explorer l'espace des états beaucoup plus rapidement.