So, someone came up with an AI-generated formal proof, in Lean, of a solution to the Collatz problem, and it turned out that the “proof” was merely exploiting a bug in the Lean kernel (allowing you to prove anything). infosec.exchange/@0xabad1dea/...

David Monniaux@monniauxd.bsky.social · last wk.

Il y a quelques mois un LLM trouvait un trou dans le noyau de Rocq. Les gens de Lean (Leo) expliquent que Lean est mieux fait de ce point de vue. Un LLM vient de trouver un trou dans Lean. Quelqu'un s'en était servi pour "démontrer" la conjecture de Collatz. social.sciences.re/@0xabad1dea@...

Si je meurs je drop : une tasse en céramique artisanale, une lampe frontale, des antihistaminiques et une consonne fricative palatale sourde.

Ankou@ankou.bsky.social · 4w ago

Si je meurs je drop : une gourde attachée à un mousqueton violet, un mètre à ruban, deux clous et une vis (qui étaient dans mon jean d’hier et que j’ai déplacé dans mon jean d’aujourd’hui) et le tome 10 de l’Assassin Royal

Je viens de voir qu'il existait un emoji "coeur avec les mains". Du coup, je me demande si on pourrait faire un "emoji coeur avec les mains" avec les mains. Et ensuite, un emoji " 'emoji coeur avec les mains' avec les mains".

Boutons d'or en papier crépon. #paperflower

Le captcha "☑ Je ne suis pas un robot" Dans ma tête à chaque fois "🎶 FAUT PAS CROIRE CE QUE DISENT LES JOURNAUX"

Sharing Dreams

I need a next life - I'm not satisfied to know you just once.

L'expression "Être muet comme une carpe" est issue d'une incompréhension classique. Les carpes ne sont pas muettes. Elles sont sourdes. La preuve, elles disent tout le temps "Koi ???"

Mon take tiède de la soirée : à quel moment on a normalisé le lait demi-écrémé par rapport au lait entier ?

Greenhouse gas emissions are a conspiracy of the far right to create canicule during pride month and force us to cancel our events.

Amber@risettemd.bsky.social · last mo.

Happy Lesbian Pride to the Eastern US

Vérifiez vos boites de medicaments je viens de voir que mon traitement ADHD devait être conservé à moins de 30°C

Je viens de prendre un TGV en voiture 9. Je ne savais pas que les voitures 9 existaient. Il y avait même une voiture 10. Une agréable surprise, un vide béant enfin comblé.

"Je suis Igor, votre chef de bord." Ce mec a bien choisi son métier.

39 à Brest ? 39 A BREST ???????

Abbey@abbeyarletto.bsky.social · 2mo ago

When reality surpasses fiction! Top: fictional forecast for August 2050, broadcast by French TV in 2014 to warn about the consequences of global warming. Bottom: Real French forecast for yesterday, June 22, 2026.

"La recharge de votre téléphone reprendra quand il aura une température normale." --> Si vous avez pas de nouvelles de moi dans les quelques prochains jours, pas de panique, je me suis pas desséchée ! C'est juste que j'ai plus d'internet.

je propose le traduction française suivante pour le verbe "to skeet" (envoyer un post sur Bluesky) : écouer verbe transitif direct régulier du 1er groupe dérivé par comparaison avec l'étymologie du mot anglais depuis le proto-indo-européen via les changements de son italiques puis gallo-romains

Avec ta belle chair jaune, Accompagné d'un bon Côtes-du-Rhône, Fromage, fromage, Oh, comme tu embaumes !

--- La fable des bricoleurs --- Il y a deux types de bricoleurs : les bricoleurs à tournevis et les bricoleurs à marteaux.

J'ai réalisé récemment que deux personnes assez proches de moi n'avaient pas pour habitude de regarder les prévisions météo avant de partir en vacances (et en conséquence, ont dû racheter des vêtements sur place / m'en emprunter). Je suis super étonnée. Je croyais que tout le monde faisait ça.

Je me croyais fluent en anglais, mais avec leur absence de conjonctions de subordination, je réalise que même aujourd'hui, y a encore certaines de leurs phrases que j'arrive pas à parser...

The Associated Press@apnews.com · 2mo ago

BREAKING: Divided appeals court panel rules Trump administration policy illegally banned transgender troops from military service.

History professor Kevin Kruse says tech companies "must embrace small reading seminars to discuss recent literature" to transform into educational institutions.

Research Professional News@resprofnews.bsky.social · 2mo ago

Peer-reviewed papers are ‘old hat science’, says millionaire investor. Candy Crush businessman Mel Morris says universities “must embrace AI” to transform into economic powerhouses. www.researchprofessionalnews.com/rr-news-uk-i...

The World Cup is about celebrating exotic host nation cultures

Et puis un point vraiment important selon moi c’est qu’il faudrait reconnaître que même si certains métiers peuvent être précaires et les travailleurs exploités, ils peuvent AUSSI faire parti des systèmes d’oppressions et être des abuseurs Ça inclu les profs, soignants, personnel d’institutions…

Nono le ronchon@nonoleronchon.bsky.social · 2mo ago

Pour tremper depuis 20 ans dans cette corpo, je ne crois pas que le pb soit là: il y a des profs contractuelLEs précariséEs et des titulaires confortables. Par contre, bourgeoisEs ou pas, nous en sommes les toutous et en première ligne de la reproduction sociale à son bénéfice. Ça c'est essentiel!

"Faire une correspondance à Chatelet" vraiment ca dit rien de ton expérience. Entre faire une 7-4 où tu as l'impression d'être une armée dans les mines de la Moria et une A-B quai à quai il y a trois mondes

Le portugais c'est de l'espagnol parlé avec l'accent ch'ti.

I'm doing that with functional analysis and combinatorics and it works very well.

Rochelle@uberwensch.bsky.social · 3mo ago

The trick is, when among mathematicians, to say you are a physicist so that they forgive you for not knowing very much math. Then, when among physicists, say you are a mathematician so that they forgive you for not knowing very much physics. In especially dire cases I might say I am a philosopher.

Aujourd'hui, il m'est arrivé un truc effrayant. Pour la première fois de ma vie, je me suis retrouvée dans le bureau du directeur. Mes camarades de collège et lycée m'avaient pourtant prévenu. Quand on se retrouve dans le bureau du directeur, le pire est à venir... Mais j'étais pas préparée à ça.

Je viens de réussir la meilleure ratatouille de ma vie.