Je ne sais trop, prouver des trucs ?
Probablement dans un contexte de programmation, donc genre partir de ce que je fais en Ada/SPARK et voir quelles portes ça ouvre par rapport à ce que je connais déjà.
Et pour quelqu'un qui se souvient des maths de prépa de 2000, qui s'en sort avec Ada/SPARK, mais qui ne comprend rien à ces messages (comment ça, c'est un singleton !?), il vaut mieux commencer par (essayer d')apprendre Lean ou Rcoq ?
[weblog] L'art et moi #autopromo #autoexploration
instinctive.eu/weblog/112-a...
#NowReading #urbanfantasy #booksky
A Fistful of Charms, by Kim Harrison
www.goodreads.com/book/show/30...
I was wondering the exact same thing, until I realized all those I saw had been reposts of yours.
#NowReading
Raven Stratagem, by Yoon Ha Lee
www.goodreads.com/book/show/32...
#spacefantasy #booksky
La programmation, c'est super-pouvoir : l'esprit qui déforme la réalité selon sa volonté.
Les LLMs et les bidules agentiques, ce sont les lampes à génie : même sans compter leurs limites techniques, ça reste une autre volonté et un autre agenda, et ce schisme expose aux duplicités et malentendus.
[weblog] Infrastructure personnelle de stockage numérique #autopromo #geek #appelaupublic instinctive.eu/weblog/111-i...
Je ne connaissais pas non plus, mais il vient d'halluciner l'auteur et le contenu du bouquin pas vraiment obscur que je lis ces jours-ci, donc on est encore loin du niveau où je le laisserais entrer des trucs dans mon shell…
Pourquoi y a-t-il un caractère unicode ↉ mais pas d'homologue avec d'autres dénominateurs ?
(et on va vouloir me faire croire que c'est plus utile qu'un symbole de lavage de linge…)
D'ailleurs je me souviens maintenant qu'une partie de ma confusion venait qu'on faisait intervenir la largeur de la base du bocal et la largeur du haut, mais à aucun moment le reste de la forme du bocal, alors que cette forme a trivialement un impact sur la hauteur d'eau mesurée…
on ne m'a pas parlé de parois verticales, on m'a jeté à la figure une formule avec la largeur du bocal et la largeur de l'ourverture (ou de l'entonnoir), sans laisser germer l'intuition que ça servait à normaliser l'appareil de mesure pour atteindre une gradeur plus abstraite et générale
J'ai vécu l'histoire dans l'autre sens : petite je trouvais complètement sidérant de mesurer la pluie avec une longueur, ça ne veut rien dire une longueur d'eau, jusqu'à honteusement tard quand j'ai compris que c'est un volume par unité de surface.
Fragment de fenêtre de terminal contenant le texte: 👉 Concrètement, qu’est-ce qui change pour vous ? A partir du 06/04/2026, pour toutes vos opérations importantes, vous n’utiliserez plus de code à usage unique par SMS ou email, mais l’App.
Tiens, ma banque qui m'alerte que je dois en urgence transférer tous mes comptes vers une autre banque. Ça va être court…
[weblog] Mes opinions sur l'IA #autopromo instinctive.eu/weblog/110-m...
(les opinions c'est comme les tr…)
Merci beaucoup !
J'ai trouvé meteologix plus facile d'utilisation que meteociel, mais le ventusky est très joli et a l'air intéressant pour d'autres utilisations.
Merci beaucoup, c'est exactement ce que je cherchais (même si je suis un peu déçue de la faible couverture de l'ile de France).
Je cherche la météo (température min, max, pluie) à un endroit précis en France, pendant une semaine précise de 2023, idéalement avec les prévisions d'époque mais ça ne j'y crois pas trop.
Une idée de comment obtenir ça ? @gro-tsen.bsky.social tu avais cherché des choses de ce genre, non ?
Il me semble qu'il y a des sources documentées sur la tentative délibérée (manifestement réussie) de décridibiliser l'anarchisme en l'assimilant au chaos.
Et pour les citations pas en anglais ?
(par exemple j'aime beaucoup « L'art de la citation est l'art de ceux qui ne savent pas réfléchir par eux-mêmes. » attribué à Voltaire, mais pour que ça marche il suffit que ce soit une citation posée doctement, peu importe son attribution)
Lire ces histoires de développements spectaculaires très loin chez moi, ça m'évoque un gros feeling de « ouais comme il y a six ans »
[weblog] Envie d'envie #autopromo #autoexploration #humeur instinctive.eu/weblog/10F-e...
Tant qu'on est dans le thème et que j'ai mes David préférés sous la main, il y a quelque jours cette hypthèse m'avait l'air violemment vérifiée dans les langages de programmation, est-ce qu'il y a des données ou des études sur le sujet ?
Je pense qu'ils ont l'habitude, avec déjà (au moins) le linuxulator et les drivers graphiques, courrir après linux c'est déjà l'histoire de leur vie, ils ne sont plus à ça près…
J'avais effectivement négligé ce détail, parce que je n'ai qu'un site purement personnel sous pseudonymat où je ne mets que des choses que j'assumerais sous mon nom (vu la facilité à la retrouver), mais même avec une sécurité médiocre par l'obscurité, ça signale un ton et une portée sociale non-pro.
… que sa largeur (d't'façon personne ne me lit).
Et les quelques opinions passées que je regrette sont laissées dans la masse, pour ne pas les Straisandiser.
Cela dit, you do you, je ne donne pas de conseil, juste je ferais pas ça parce que je suis philosophiquement plus comme @gro-tsen.bsky.social
J'approuve complètement l'ensemble du fil, j'aurais pu dire la même chose (mais moins bien).
J'ai un certain filtre thématique a priori (que l'appelle pompeusement « ligne éditoriale ») et j'ai plus souvent regretté son étroitesse (en ne pouvant retrouver d'opinions passées)… 1/2
Et @faelys.instinctive.eu de instinctive.eu/weblog/ et @jeanas.bsky.social de jean.abou-samra.fr/blog pour continuer le shoutout.
(Lisez des blogs!)
À propos de la dermatose nodulaire contagieuse bovine, un fil très pédago du Dr Toudou (sur l’autre réseau, mais accessible ici) :
threadreaderapp.com/thread/19995...
As a user of dwm with my own patches, I *know* I'm the only person on Earth with that particular wm in combination with anything. And I get to have a rough understanding of the wm internals, to debug my own problems myself 🎉
That might be the only good thing about dwm, but that's a strong one.