iiinova — where your digital self keeps evolving

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 14/10/2026

Quantum Scientists for Disarmament disarmquantum.com

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 13/10/2026

ANR - AAPG 2027 Pour permettre aux déposants et déposantes de finaliser leurs dossiers, la date de clôture de l’étape 1 est décalée du 13/10/2026 au 14/10/2026 - 17h (heure de Paris).

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 13/10/2026

Les dockers du port du Havre sont en train de décharger la cargaison de 3 000 profs promis par E. Geffray ✨

161 6

Reposted by Pтiт Poиeч de Fiиdцs

Laurent Chemla ✅ @laurent.chemla.org · 10/10/2026

J'ai reçu un coup de fil d'Édouard Geffray il m'a demandé si je parlais anglais j'ai dit oui un peu il m'a dit « Ok, prof d'histoire à Douai. »

1621135 211

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 10/10/2026

Avec 3 models open weight (Kimi K3, GLM-5.3, ML4) sortis cette année, proches de GPT-5.5 en termes de performance, lui aussi sorti cette année, on peut supposer que d'autres acteurs entraînent aussi des IA, même sans intention de les release (je pense à : Amazon, Apple, NSA)

020 2

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

j'ai rarement autant rigolé devant une réponse de ChatGPT

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

"Pour illustrer les implications de ce résultat, nous présentons des exemples d’erreurs de traduction commises par l’IA lors de la conversion d’énoncés et de démonstrations en langage naturel (NL) vers Lean, entraînant des divergences entre les démonstrations en NL et leurs 'vérifications' en Lean..

322 3

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

Ce que beaucoup refusent d'accepter, c'est qu'il n'y aura pas de retour à l'ère pré-GenAI. Les choses ne feront qu'empirer à mesure que l'IA deviendra plus omniprésente. 1/3

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

HAL Discovery MCP : explorez les métadonnées de HAL en langage naturel depuis votre LLM préféré www.ccsd.cnrs.fr/2026/10/hal-...

ccsd.cnrs.fr

HAL Discovery MCP : explorez les métadonnées de HAL en langage naturel depuis votre LLM préféré

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 07/10/2026

Certes je ne suis pas devenu pilote d’avion comme souhaité, mais je suis quand même devenu pilote d’agent et c’est pas rien

020 2

Reposted by Pтiт Poиeч de Fiиdцs

mantraktor 🌸🌱🐝 @nbuchon.me · 07/10/2026

L'important ce n'est pas le résultat, ce sont les découvertes que l'on fait en chemin 🧠

111 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 07/10/2026

Arrêtez d'utiliser Google et utilisez plutôt DuckDuckGo ou Qwant pour ne pas trouver ce que vous cherchez initialement mais autre chose

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 07/10/2026

OpenAI a publié un repo github contenant 722 manuscrits mathématiques, regroupés en 372 familles de résultats associés, tous générés par un modèle interne non encore rendu public. github.com/openai/math le fichier overview: github.com/openai/math/...

le fichier overview: https://github.com/openai/math/blob/main/overview.pdf

301 3

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 06/10/2026

c'est pas impossible que Trump envoie un porte avion dans le golfe de Gascogne pour sauver les élèves de Macron

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 05/10/2026

Darya Shipilova, une employée de 28 ans de l’institut de lutte contre la peste de la ville d’Irkoutsk, est tombée malade au travail. Elle est décédée deux jours plus tard, dans la nuit du 2 octobre, dans un hôpital régional de la ville voisine de Shelekhov. www.theguardian.com/world/2026/o...

theguardian.com

US closely monitoring case of lab worker who ‘possibly’ died of plague in Siberia, says Rubio

Quarantine measures in place in several hospitals in eastern Russia amid uncertainty over death of Darya Shipilova

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 04/10/2026

@pierremarion.bsky.social peut on avoir une mise à jour de pierremarion23.github.io/carbon.html ? Nous ne disposons pas d'une vue d'ensemble des transports aériens pour 2026 ; nous ne savons donc pas dans quelle mesure les restrictions de déplacement sont efficaces cette année.

300 3

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 04/10/2026

Wikipédia a une page sur les signes indiquant qu'un texte a été rédigé par une IA en.wikipedia.org/wiki/Wikiped...

en.wikipedia.org

Wikipedia:Signs of AI writing - Wikipedia

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 29/09/2026

Tous ces vieux, comme mon grand-père, qui a pris sa retraite à 55 ans, qui font la leçon aux autres sur ce qu'est le travail et qui vont voter pour Édouard Philippe, qui propose de repousser l’âge de la retraite à 65 ans

000 0

Reposted by Pтiт Poиeч de Fiиdцs

Alejandra Caraballo @esqueer.net · 27/09/2026

The before and after it's even more haunting.

3529131648 2.9K

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 27/09/2026

Si OpenAI et Anthropic n'ont pas rencontré trop de problèmes juridiques en piratant des millions de livres, ils en auront encore moins en matière de plagiat de travaux de recherche.

030 3

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 27/09/2026

La plupart des applications de running utilise la formule de Riegel comme méthode d’extrapolation pour prédire son temps sur une distance donnée à partir d’une performance sur une autre distance: TP2 = TP1 × (D2/D1)^1,06

201 2

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 26/09/2026

On vit vraiment dans l'ère moderne avec des nouveautés technologiques qui révolutionnent notre quotidien (IA, drone, TikTok...) La dernière : Excel prend désormais en charge plusieurs valeurs dans une même cellule techcommunity.microsoft.com/blog/microso...

https://techcommunity.microsoft.com/blog/microsoft365insiderblog/put-multiple-values-in-one-cell-with-lists-and-arrays-in-excel/4559395

120 2

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 25/09/2026

Il faut que Mbappé fasse le test de Lachman ou le test du tiroir antérieur

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 25/09/2026

Depuis qu'il y a Strava MCP avec Claude, Claude est devenu mon coach de course à pied Certes jai vu des progrès nets: sur 1 semaine je vais peut-être arriver à courir 150k là Par contre, les entraînements, c'est de la torture tellement faut respecter des règles j'ai l'impression de faire des maths

220 2

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 24/09/2026

taylor & francis c'est vraiment le pire éditeur que j'ai testé

010 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 23/09/2026

J'ai russifié mon pseudo sur bluesky il y a fort longtemps parce que je me préparais déjà à Mélenchon 2027

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 23/09/2026

Les chercheurs en cybernétiques n'étaient pas content aussi quand ils sont tombés dans l'oubli

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 23/09/2026

Arte explique que l'IA s'est développée « grâce aux données des réseaux sociaux »: "Baie de San Francisco. C'est ici qu'est née l'IA[...] C'est grâce aux immenses bases de données générées par les usagers des réseaux sociaux que les nouveaux modèles d'intelligence artificielle ont pu se développer."

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 23/09/2026

J’ai fait une analyse : 14 titres d’articles sur 54 mentionnent l’IA dans les flux (la Une, Pixels, Sciences) du journal @lemonde.fr, du 17 au 23/09. Quand 1 article sur 4 porte le même thème, l'information devient narration de secteur plutôt que pluralité d'actualités

010 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 23/09/2026

Une analyse facile à faire et avec un potentiel de buzz inconsidérable: compter le nombre de fois où le mot « IA » apparaît dans les titres des articles du journal Le Monde. En ce moment, c'est minimum un par jour.

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 22/09/2026

Un watermark est un signe visible intégré à un support physique ou numérique afin d'en vérifier l'authenticité ou d'en affirmer la propriété. Un « spymark » est un signal caché qui permet de retracer l'origine de votre travail à votre insu et sans votre consentement. brand.io/article/spym...

brand.io

Spymarks, not Watermarks - brand

Watermarks that spy on users are no mere watermarks

120 2

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 21/09/2026

Ramzan Kadyrov a remporté l’élection présidentielle en Tchétchénie avec 99,85% des voix

101 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 17/09/2026

1- Travailler chez un GAFAM 2 - Démissionner 3 - Tirer aléatoirement : x ∈ ]0,100], y ∈ {2027, 2028, ..., 2100}, z ∈ {a×10^b | a=1,...,9, b=6,7,8} 4 - Dire « Il y a x% de chance que l'IA tue au moins z personnes d'ici à y »

150 5

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 17/09/2026

Le journal Transactions on Machine Learning Research (TMLR) croule sous les soumissions et, faute de suffisamment de relecteurs, a durci ses règles de rejet d'articles sans évaluation (desk reject). Dans une expérience, TMLR a interrogé les auteurs de 10 articles menacés de desk reject. Un seul 1/2

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 16/09/2026

Une corrélation qui mériterait d'être étudiée est celle entre le fait de voter pour François Hollande et d'être atteint de la maladie d'Alzheimer.

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 15/09/2026

chess.com hacked « Elo darkness my old friend 🎶 »

101 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 15/09/2026

Le cadre d'évaluation secret du gouvernement des États-Unis à l'égard des IA a été partiellement dévoilé ; Il est légitime d'exiger que le gouvernement américain communique le processus d'évaluation des modèles d'IA avant leur déploiement à grande échelle. garymarcus.substack.com/p/breaking-s...

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 14/09/2026

Ça me fait rire les histoires de "pause de l'IA", combien de fois ils vont nous faire ce cinéma ... Musk aussi l'avait demandé y'a genre 2ans. www.france24.com/fr/%C3%A9co-... Ils veulent qu'on parle d'eux du lundi au dimanche

011 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 13/09/2026

Un berger turc surveille ses chèvres à l'aide d'un drone : « Avant, je passais des heures à courir après elles ; maintenant, je surveille mon troupeau tout en buvant mon thé. Je fais décoller mon drone sans mettre ma vie en danger et je ramène mes chèvres. »

150 5

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 11/09/2026

Une personne sur Mastodon m’a demandé des recommandations de livres écrits en français sur l’IA pour avoir un aperçu: Voici 4 recommandations en Machine Learning et IA symboliques :

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 10/09/2026

Cela peut paraître surprenant, mais en 2013, la population des îles Malouines était largement favorable au maintien de leur statut de territoire d'outre-mer du Royaume-Uni. Cela s'explique par le fait qu'à la suite de la guerre des années 1980, le Royaume-Uni a réalisé d'importants investissements

https://fr.wikipedia.org/wiki/R%C3%A9f%C3%A9rendum_sur_le_statut_des_%C3%AEles_Malouines

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 10/09/2026

Si nous étions en 1830 et que nous avions accès aux systèmes d'IA actuels d'OpenAI et d'Anthropic entraînés sur l'ensemble des connaissances mathématiques disponibles jusqu'à cette date, ces systèmes n'auraient jamais découvert la théorie de Galois.

121 2

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 10/09/2026

Je suis d'accord avec Bruce Schneier & Kasra Rafi: "Les avancées en maths rendues possibles par l'IA se répartissent en 2 catégories. Certaines constituent des contre-exemples à des énoncés mathématiques que l'on tentait de démontrer(e.g Jacobian conjecture où... www.theguardian.com/commentisfre...

theguardian.com

No, AI doesn’t mean the end of mathematics – at least not yet | Bruce Schneier and Kasra Rafi

Mathematicians are raising concerns that the technology could kill their profession. But they still have abilities AI doesn’t

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 09/09/2026

Bon je vais m'intéresser à l'automated theorem proving avec du RL et/ou des réseaux de neurones. Je veux comprendre et savoir où sont les bottlenecks.

000 0