Deathwish the Hun
@shab0y.bsky.social
Info ∙ Musique ∙ Montagne
J'ai atteint le stade de développement psychologique où j'ai pris conscience des monades
Je ne sais pas si c'est un bon signe...
Je ne sais pas si c'est un bon signe...
November 30, 2025 at 9:48 AM
J'ai atteint le stade de développement psychologique où j'ai pris conscience des monades
Je ne sais pas si c'est un bon signe...
Je ne sais pas si c'est un bon signe...
Il pleuviote et je suis seul chez moi ce weekend, alors j'achète un sac à dos en UHMWPE dont je n'ai pas vraiment besoin et je prouve l'algo du PGCD binaire avec Why3 gist.github.com/P1K/3d82c388...
bgcd.ml
GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
October 25, 2025 at 1:36 PM
Il pleuviote et je suis seul chez moi ce weekend, alors j'achète un sac à dos en UHMWPE dont je n'ai pas vraiment besoin et je prouve l'algo du PGCD binaire avec Why3 gist.github.com/P1K/3d82c388...
mince, ma première citation à l'antenne sur FranceMu depuis la rentrée est pour une mauvaise réponse 😅
August 28, 2025 at 4:37 PM
mince, ma première citation à l'antenne sur FranceMu depuis la rentrée est pour une mauvaise réponse 😅
voilà qui est fait...
(bon pour être honnête cet intervalle n'a probablement d'intérêt à être couvert que quand j'aurai un parapente de montagne, mais c'est une absence à laquelle je compte bien remédier cette année)
July 23, 2025 at 3:56 PM
voilà qui est fait...
il y a des poules dans mon quartier 🤨 ?
July 8, 2025 at 7:26 PM
il y a des poules dans mon quartier 🤨 ?
Les vraies questions, via le TLF : « Que est ce doncques que sintaxe ? »
June 14, 2025 at 10:34 AM
Les vraies questions, via le TLF : « Que est ce doncques que sintaxe ? »
Un avantage de reprouver les trucs soi-même plutôt que d'aller voir comment faire c'est qu'on les comprend mieux
Un inconvénient c'est que quand on se souvient mal du résultat, ça fait perdre du temps en frustration de pas y arriver ><
Un inconvénient c'est que quand on se souvient mal du résultat, ça fait perdre du temps en frustration de pas y arriver ><
June 14, 2025 at 8:31 AM
Un avantage de reprouver les trucs soi-même plutôt que d'aller voir comment faire c'est qu'on les comprend mieux
Un inconvénient c'est que quand on se souvient mal du résultat, ça fait perdre du temps en frustration de pas y arriver ><
Un inconvénient c'est que quand on se souvient mal du résultat, ça fait perdre du temps en frustration de pas y arriver ><
qui donc a gagné un double-album de madrigaux, reçu aujourd'hui par la poste ? 😏
June 3, 2025 at 6:29 PM
qui donc a gagné un double-album de madrigaux, reçu aujourd'hui par la poste ? 😏
Je suis traumatisé par ce graphique
2. Effet prépa : l’écart de performance par genre apparaît dès le 1er semestre de prépa, et se creuse au fil des deux années, surtout dans les classes étoile, plus compétitives (à la fois à la marge et en moyenne)
June 1, 2025 at 4:13 PM
Je suis traumatisé par ce graphique
Les marche-arrières en parapente, ça fait des traces GPS rigolotes 😁
June 1, 2025 at 12:26 PM
Les marche-arrières en parapente, ça fait des traces GPS rigolotes 😁
*cherche le CD qui dans son intégrale des œuvres de Schubert pour deux pianos contient une marche assez caractéristique*
*CD4 : pistes 5-6 : _Deux Marches caractéristiques en Ut majeur_*
*hmmm*
*CD4 : pistes 5-6 : _Deux Marches caractéristiques en Ut majeur_*
*hmmm*
May 31, 2025 at 8:56 AM
*cherche le CD qui dans son intégrale des œuvres de Schubert pour deux pianos contient une marche assez caractéristique*
*CD4 : pistes 5-6 : _Deux Marches caractéristiques en Ut majeur_*
*hmmm*
*CD4 : pistes 5-6 : _Deux Marches caractéristiques en Ut majeur_*
*hmmm*
(bon, là ce qui passe sur FranceMu, c'est à peine distinguable du bruit fait par mon frigo...)
May 30, 2025 at 7:38 PM
(bon, là ce qui passe sur FranceMu, c'est à peine distinguable du bruit fait par mon frigo...)
Citation du jour : "A system that is healthy does not produce a fully operational mobile McDonald’s unit. Such units are reserved for the dumbest timeline, which is the one we’re currently living in." : www.theatlantic.com/technology/a...
Trump’s Tactical Burger Unit Is Beyond Parody
Happy Meal Team Six
www.theatlantic.com
May 21, 2025 at 6:23 PM
Citation du jour : "A system that is healthy does not produce a fully operational mobile McDonald’s unit. Such units are reserved for the dumbest timeline, which is the one we’re currently living in." : www.theatlantic.com/technology/a...
La _Fantaisie sur un thème de Thomas Tallis_, c'est en ce moment (et en direct) sur FranceMu !
May 21, 2025 at 6:06 PM
La _Fantaisie sur un thème de Thomas Tallis_, c'est en ce moment (et en direct) sur FranceMu !
l'IA de Google n'a pas l'air très douée en parapente : je demande comment faire une parachutale et elle me décrit une SAT...
May 20, 2025 at 5:33 PM
l'IA de Google n'a pas l'air très douée en parapente : je demande comment faire une parachutale et elle me décrit une SAT...
Premiers décrochages & marche arrières en parapente 😏
youtu.be/szRo8YO2a5k?...
youtu.be/szRo8YO2a5k?...
SIV2J2V3
YouTube video by vFork2
youtu.be
May 19, 2025 at 5:02 PM
Premiers décrochages & marche arrières en parapente 😏
youtu.be/szRo8YO2a5k?...
youtu.be/szRo8YO2a5k?...
Reposted by Deathwish the Hun
This is the Groove-billed Ani (Crotophaga sulcirostris), and it's just straight up a dinosaur.
Like, I know *all* birds are technically avian dinosaurs, but my first thought looking at this guy is: dinosaur.
(📷: Suzie McCann, eBird)
Like, I know *all* birds are technically avian dinosaurs, but my first thought looking at this guy is: dinosaur.
(📷: Suzie McCann, eBird)
May 13, 2025 at 12:32 PM
This is the Groove-billed Ani (Crotophaga sulcirostris), and it's just straight up a dinosaur.
Like, I know *all* birds are technically avian dinosaurs, but my first thought looking at this guy is: dinosaur.
(📷: Suzie McCann, eBird)
Like, I know *all* birds are technically avian dinosaurs, but my first thought looking at this guy is: dinosaur.
(📷: Suzie McCann, eBird)
Je suis maintenant pilote breveté 😏
May 1, 2025 at 5:32 PM
Je suis maintenant pilote breveté 😏
The subtitle (in the search bar) of the wikipedia article on the *Ackermann function* is : "quickly growing function"
I think that's cute
I think that's cute
April 23, 2025 at 5:27 PM
The subtitle (in the search bar) of the wikipedia article on the *Ackermann function* is : "quickly growing function"
I think that's cute
I think that's cute
Reposted by Deathwish the Hun
Je suis d'accord avec ça, je vois d'ailleurs l'ultrafinitisme au moins comme une forme d'anti-formalisme.
Personnellement, je ne pense pas que les objets infinis aient une réalité au-delà de celle donnée par les énoncés formels et prouvables qui les concernent ;
Personnellement, je ne pense pas que les objets infinis aient une réalité au-delà de celle donnée par les énoncés formels et prouvables qui les concernent ;
April 23, 2025 at 8:43 AM
Je suis d'accord avec ça, je vois d'ailleurs l'ultrafinitisme au moins comme une forme d'anti-formalisme.
Personnellement, je ne pense pas que les objets infinis aient une réalité au-delà de celle donnée par les énoncés formels et prouvables qui les concernent ;
Personnellement, je ne pense pas que les objets infinis aient une réalité au-delà de celle donnée par les énoncés formels et prouvables qui les concernent ;
je crois que je m'amusais plus ce matin à survoler la crête de Bramefa que cette après-midi à corriger des copies
April 22, 2025 at 3:22 PM
je crois que je m'amusais plus ce matin à survoler la crête de Bramefa que cette après-midi à corriger des copies
Pour une raison peu claire j'avais un jour décidé que je n'aimais pas la musique de Robert Schumann. En fait certaines de ses œuvres sont vraiment sympa (le quintette avec piano ou les pièces de piano & clarinette, par exemple)
April 21, 2025 at 4:31 PM
Pour une raison peu claire j'avais un jour décidé que je n'aimais pas la musique de Robert Schumann. En fait certaines de ses œuvres sont vraiment sympa (le quintette avec piano ou les pièces de piano & clarinette, par exemple)
Mince, j'ai identifié un intervalle de paramètres qui n'est pas correctement couvert par mes, hum, 7 sac-à-dos de sport actuels et qui pourrait avantageusement l'être par un modèle en UHMWPE
April 21, 2025 at 9:03 AM
Mince, j'ai identifié un intervalle de paramètres qui n'est pas correctement couvert par mes, hum, 7 sac-à-dos de sport actuels et qui pourrait avantageusement l'être par un modèle en UHMWPE