david @davidcobac.bsky.social · 03/10/2026Article intéressant relayé par la veille IA de linuxfr.org : affordance.framasoft.org/2026/05/le-c...affordance.framasoft.orgLe cauchemar de Lessig. If « Code Is Law », what da fuck is « Vibe Coding » ? – affordance.info 110
Reposted by david𝕍alérie ℝ. 🌋🪄🐿️ @valrobert974.bsky.social · 16/09/2026Petite geek que je suis à traîner avec les profs d'info, on m'a fait découvrir un vieux jeu : des mots croisés en expression régulière, parfait pour réviser avant l'advent of code 🙂 regexcrossword.comregexcrossword.comRegex CrosswordA crossword puzzle game using regular expressions. Earn achievements completing puzzle challenges. Easy tutorials for people new to regular expressions. 083
Reposted by davidCartero @news.karthihegde.dev · 22/08/2026A Friendly Introduction to Racket Discussion | hackernews | Author: signa11 #ProgrammingLanguagesgeometridae.bearblog.devA Friendly Introduction to Racket<p style="text-align: center;"><img src="https://bear-images.sfo2.cdn.digitaloceanspaces.com/mothcodes/steal-your-face-plt.svg" alt="steal-your-face-plt" wid... 011
Reposted by davidJoDwarf @jodwarf.eurosky.social · 19/08/2026Anthropic a annoncé la mise en place d'un filigrane invisible (watermarking) sur tous les textes générés par ses nouveaux modèles de l'intelligence artificielle : une analyse ! Un article détaillé ici : www.linkedin.com/pulse/quand-... 144
Reposted by davidNicolas Poulain @nicolaspoulain.bsky.social · 17/08/2026🚀 Nouveau dans #Capytale : Capytab ! 📊 Un tableur 100% web conçu pour les élèves, complet et sans superflu. ✅ Formules et visualisation des dépendances ✅ Graphiques ✅ Gestion des unités physiques ✅ Compatible Excel/LibreOffice (.xlsx, .ods, .csv) capytale.forge.apps.education.fr/doc/Capytab 22110
Reposted by davidJoDwarf @jodwarf.eurosky.social · 13/08/2026Préparation d'une activité pour mes élèves de NSI : on intègre dans la chaîne de traitement une IA de reconnaissance de forme ! 🧵 142
Reposted by davidAbdellatif Kbida @akbida.bsky.social · 04/08/2026Que sur la plaque on ne mentionne pas son apport aux sciences qu’on ne le lui ajoute pas la mention femme de sciences ou scientifique tout simplement 132
david @davidcobac.bsky.social · 03/08/2026En train de tester des détecteurs de code #IA en #Python et surprise : MON code est quasiment toujours détecté comme IA... Les rapports montrent que j'utilise trop le PEP8 et les noms explicites, que je mets des commentaires trop verbeux etc. C'est vraiment n'importe quoi ! 221
Reposted by davidTim Christiaens @timchristiaens.bsky.social · 07/07/2026Casually browsing through a Marvin Minsky book to find a name I didn’t expect to see there. 172
david @davidcobac.bsky.social · 30/07/2026Lien vu sur #linuxfr.org : theconversation.com/la-vibecodin...theconversation.comLa « vibecoding fatigue » : épuisés par l’IA, les développeurs informatiques inventent leurs propres paradesLes développeurs les plus en pointe avec l’intelligence artificielle générative décrivent une fatigue d’un genre nouveau : la « vibecoding fatigue » ou l’« AI brain fry ». 012
david @davidcobac.bsky.social · 22/07/2026#vonkoch #gif #svg #scheme codeberg.org/cobacdavid/s... 131
Reposted by davidJoDwarf @jodwarf.eurosky.social · 14/07/2026J'ai déjà présenté dans un fil précédent YOLO une bibliothèque Python permettant d'analyser via un petit moteur IA embarqué une image (détection, classification, segmentation). Voici un petit défi pour mes élèves de NSI : installer un compteur sur un passage piéton :-) Qui a reconnu la personne ;-)? 052
david @davidcobac.bsky.social · 14/07/2026Dans un furieux (et heureusement rare) accès de hardcode en #scheme, j'ai tenté sans succès le #caddddr pour accéder au 5e élément sur 5. Du coup j'ai fait un #car sur le #reverse... Le code : codeberg.org/cobacdavid/t... À refaire proprement...codeberg.org 021
david @davidcobac.bsky.social · 12/07/2026Après avoir fait en #NSI du #PIL, puis du #cairo, l'année prochaine ce sera du #SVG. Je commence mon apprentissage perso. avec un (tout) petit code pour en produire avec #scheme. codeberg.org/cobacdavid/s...codeberg.orgsvglibsvglib pour créer du svg avec Scheme 251
Reposted by davidJoDwarf @jodwarf.eurosky.social · 09/07/2026C'est une IA spécialisée dans la détection d'objets en temps réel (et d'autres tâches comme la segmentation ou la classification). Elle a pour spécificité d'être légère et optimisée pour l'embarqué : - Fonctionne sur Jetson Nano/Orin, Raspberry Pi, et autres cartes ARM. 131
Reposted by davidJoDwarf @jodwarf.eurosky.social · 10/07/2026Tous mes élèves de NSI ont obtenu leur bac 😎 Bravo à eux et merci pour cette année qui a été super agréable. A vous de jouer maintenant ! 021
david @davidcobac.bsky.social · 08/07/2026Le 2e défi du challenge 376 du #TheWeeklyChallenge (que j'ai découvert récemment grâce à @schraf.bsky.social) me fait transpirer... -> la page des challenges theweeklychallenge.org/challenges/ -> mes résolutions en #scheme codeberg.org/cobacdavid/twc #canicule #twc 121
david @davidcobac.bsky.social · 08/07/2026En m'intéressant au partage structurel, je tombe sur ce site avec des articles sur les collaborations #Boyer/Moore. En explorant les pages, je découvre qu'ils ont travaillé pour l'éditeur Microsoft Word déçus qu'ils étaient de Teco (ancêtre de l'éditeur #emacs). www.cs.utexas.edu/~moore/cs.utexas.eduHome Page of J Strother Moore 021
Reposted by davidJoDwarf @jodwarf.eurosky.social · 05/07/2026Je ramasse des oiseaux morts dans mon jardin, les arbres sèchent sur pied, nos seniors meurent dans les couloirs surchauffés des hôpitaux mais ... des hommes politiques se préoccupent de l'âge de départ à la retraite et du mode de recrutement des professeurs... J'ai manqué quelque chose ? 021
Reposted by davidJoDwarf @jodwarf.eurosky.social · 01/07/2026Travail en cours sur la reconnaissance faciale avec une IA locale (Sur Jetson Nano Orin). Je tente de la duper 😅 131
Reposted by davidAlain Barale 🇨🇵 🇪🇦 🇺🇦 🇪🇺 @alb260158.bsky.social · 27/06/2026www.rts.ch/info/science... 🤦🤦🤦🤦🤦rts.chDes firmes d'IA achètent, numérisent puis détruisent des livres anciensDes palettes de vieux livres venant de librairies du monde entier sont expédiées vers les Etats-Unis. Des entreprises spécialisées en IA seraient à l'origine de cet accaparement massif de patrimoine. ... 34246
david @davidcobac.bsky.social · 25/06/2026Éditeur en mode ligature : résultat sympathiquement ésotérique. Exemple avec >>= 021
david @davidcobac.bsky.social · 22/06/2026Un #org pour comprendre les #continuations et le #CPS. C'est modeste mais je pense que ça m'aurait aidé de lire ça pour comprendre plus vite. #python #scheme #call/cc github.com/cobacdavid/o...github.com 031
Reposted by davidDave Pearson @davep.org · 19/06/2026Copyright Nvidia blog.davep.org/2026/06/19/c... #ai #github #copilotblog.davep.orgCopyright NvidiaI've been trying, on and off, copilot.el. I'm kind of 50/50 on it most of the time. Sometimes it seems to really understand the code around what I'm working on and does a good job of helping complete ... 021
Reposted by davidJoDwarf @jodwarf.eurosky.social · 19/06/2026"EN DIRECT, canicule : des oraux du baccalauréat vont être reportés dans les académies de Bordeaux, Lyon, Montpellier, Poitiers et Nantes..." A 22h30 le vendredi soir : alors que tout était prévisible depuis une semaine... 031
Reposted by davidJoDwarf @jodwarf.eurosky.social · 18/06/2026Pour la Covid, on avait construit des détecteurs de co2 dans mon lycée (En spé Nsi). Cette fois pour le grand oral, je vais emmener mon ventilateur-brumiseur. Dérisoire ? Oui ... Immense fatigue et un peu de colère. 041
Reposted by davidGro-Tsen @gro-tsen.bsky.social · 11/06/2026On m'a demandé de regarder cette vidéo www.youtube.com/watch?v=AYPQ... de @monsieurphi.bsky.social sur les progrès des LLM en maths et de donner mon avis. Attention, ça va être très long!, parce que forcément j'ai beaucoup à raconter. 🧵⤵️ •1/59 112772
Reposted by davidElisa Le Prettre @elisaleprettre.bsky.social · 11/06/2026🎓 Nouvelle ressource pour les élèves de Terminale NSI ! Je publie sur YouTube des résumés de cours clairs et progressifs pour réviser les notions essentielles du programme et préparer le bac. ▶️ Playlist : www.youtube.com/watch?v=4d4J... #NSI #TerminaleNSI #Bac2026 #Python #Informatique #Révisionsyoutube.com14 Calculabilité DécidabilitéYouTube video by Elisabeth Le Prettre 095
Reposted by davidAlexandre Hainaut @alexandrehainaut.bsky.social · 10/06/2026Le Projet MBrick, réalisé par deux élèves de #NSI du lycée Marc Bloch de #Val-de-Reuil remporte le prix *national* du meilleur projet de Terminale aux #TropheesNSI Bravo aux élèves et merci aux nombreuses personnes qui ont soutenu ce projet ! 012
david @davidcobac.bsky.social · 07/06/2026De ce post du "courrier"je me demande (faussement) s'il est préférable de faire (vivre la même chose)^10 ou 10^(vivre la même chose)... et quand l'un prend le pas sur l'autre. Calcul avec cet article de 2020 sur la fonction W de Lambert orienté calculatrice silicium.org/phocadownloa... 030
david @davidcobac.bsky.social · 07/06/2026Un petit org sur le calcul formel, en fait la dérivation... github.com/cobacdavid/o... #giac #scheme #pythongithub.com 120
david @davidcobac.bsky.social · 30/05/2026Mes premiers pas en #SysRPL #hp48 dans deux orgs : github.com/cobacdavid/o... 121
Reposted by davidJoDwarf @jodwarf.eurosky.social · 26/05/2026Aujourd'hui on va mesurer la température dans ma salle de classe ... Salle orientée ouest, à l'ombre ce matin) On démarre la journée avec 25° (553 ppm carbone et humidité à 62%) A suivre ! 272
david @davidcobac.bsky.social · 24/05/2026Plutôt qu'un #Makefile, automatisation de la compilation du #SysRPL sous #emacs avec un mode dédié. Avec #Claude (en mode gratuit), la création d'un mode est vraiment facilitée et est moins intimidante, ça en devient presque un plaisir ! Il ne manque plus qu'une coloration digne de ce nom. 041
david @davidcobac.bsky.social · 22/05/2026Génial, j'ai reçu mon #waiki ce matin ! waikiup.com Je vais pouvoir le montrer en #SNT la semaine prochaine ! 021
david @davidcobac.bsky.social · 14/05/2026Début d'un mode mineur #emacs pour les fonctions simples maths. Prochaine étape, gérer les expressions #LaTeX. 131
david @davidcobac.bsky.social · 08/05/2026Je prépare un package, créé en partie avec une IAG, pour une éventuelle publication sur #melpa mais je m'interroge sur la pertinence/l'intérêt d'aller jusqu'au bout de la démarche. #3615mavie 121
david @davidcobac.bsky.social · 07/05/2026Réception aujourd'hui de la #casio graph light+ qui succède à la light. Pas de mémoire, dans la lignée de la fx92+ collège. On trouve un menu #suites, le cercle trigo a disparu 😕 et pas vu d'intégration numérique. Elle est intuitive et simple. Positionnement tarifaire ? Espérons <40€. 010
david @davidcobac.bsky.social · 26/04/2026Impression via #emacs d'un script pour #hp48 sur étiquette thermique (brother #ql700) à la manière de l'imprimante thermique originale #HP82240B 041
Reposted by davidJoDwarf @jodwarf.eurosky.social · 23/04/2026Lors d’une visite au Japon, E. Macron a assisté à une démonstration de chiffrement… basée sur l’ADN. Des chercheurs (CNRS / Univ. Tokyo) utilisent des brins d’ADN synthétiques pour générer des clés secrètes qui serviront à chiffrer ensuite. Révolution cryptographique ? Pas si sûr. Un fil !🧵 (1/12) 122
Reposted by davidSung Kim @sungkim.bsky.social · 14/04/2026All elementary functions from a single binary operator He shows that a single binary operator, eml(x, y) = exp(x) − ln(y), together with the constant 1, generates the standard repertoire of a scientific calculator. Paper: arxiv.org/abs/2603.218... 4547
david @davidcobac.bsky.social · 11/04/2026Les vacances commencent : suite de Recamán sur #HP-48 sur #emacs avec mode hp48 + émulation #x48 131
david @davidcobac.bsky.social · 04/04/2026www.economiematin.fr/usa-routeurs...economiematin.frLes États-Unis interdisent les routeurs étrangers : décision choc pour la cybersécuritéLe gouvernement américain frappe fort sur un maillon clé d’Internet : les routeurs. En interdisant l’importation de nouveaux équipements étrangers, Washington ouvre un nouveau front technologique où c... 042
Reposted by davidOlivier Bastien @bass42.bsky.social · 30/03/2026Ça fait déjà mal. Ça va faire encore plus mal. Et quand le shitcode va commencer à être assez répandu dans l'ensemble du système pour produire des problèmes et trop répandu pour pouvoir être solutionner en temps raisonnables, il y a des larmes qui vont couler. #AI #IA 1118
david @davidcobac.bsky.social · 17/03/2026Sympa le système de fléchage immédiat avec #DrRacket quand on positionne la souris sur un mot. 022
david @davidcobac.bsky.social · 06/03/2026linuxfr.org/users/jben/j...linuxfr.orgJe hais les thèmes sombres, et je peux l'expliquer - LinuxFr.orgJe hais les thèmes sombres, et je peux l'expliquer 131
