Sign in

david

@davidcobac.bsky.social
45 followers 68 following 147 posts

codeberg.org/cobacdavid

PostsRepliesMedia
david @davidcobac.bsky.social · 03/10/2026
Article intéressant relayé par la veille IA de linuxfr.org : affordance.framasoft.org/2026/05/le-c...
affordance.framasoft.org
Le 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/2026
Petite 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.com
regexcrossword.com
Regex Crossword
A crossword puzzle game using regular expressions. Earn achievements completing puzzle challenges. Easy tutorials for people new to regular expressions.
083
Reposted by david
Cartero @news.karthihegde.dev · 22/08/2026
A Friendly Introduction to Racket Discussion | hackernews | Author: signa11 #ProgrammingLanguages
geometridae.bearblog.dev
A 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
david @davidcobac.bsky.social · 19/08/2026
Intéressant article. Mais quid de la robustesse de la technique à la modification même légère a posteriori ? Et les stats de faux-positifs ?
100
Reposted by david
JoDwarf @jodwarf.eurosky.social · 19/08/2026
Anthropic 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-...
Image d'illustration de l'article : une montage stylisée représentant la génération d'une phrase par une IA, jalonnée de marqueurs. Noir et blanc. Type estampe Japonaise.
144
Reposted by david
Nicolas 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 david
JoDwarf @jodwarf.eurosky.social · 13/08/2026
Pré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 david
Abdellatif Kbida @akbida.bsky.social · 04/08/2026
Que 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
Plaque de nom de rue Émilie du  Chatelet
132
david @davidcobac.bsky.social · 03/08/2026
On ne va pas se mentir non plus, les codes des élèves sont beaucoup plus propres depuis 2/3 ans dans les projets...
100
david @davidcobac.bsky.social · 03/08/2026
En 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 david
Tim Christiaens @timchristiaens.bsky.social · 07/07/2026
Casually browsing through a Marvin Minsky book to find a name I didn’t expect to see there.
Marvin Minsky, The Emotion MachineJeffrey Epstein in the acknowledgments
172
david @davidcobac.bsky.social · 30/07/2026
Lien vu sur #linuxfr.org : theconversation.com/la-vibecodin...
theconversation.com
La « vibecoding fatigue » : épuisés par l’IA, les développeurs informatiques inventent leurs propres parades
Les 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 · 26/07/2026
😂
000
david @davidcobac.bsky.social · 24/07/2026
#sierpinski #gif #svg #scheme #svglib codeberg.org/cobacdavid/s...
020
david @davidcobac.bsky.social · 22/07/2026
#vonkoch #gif #svg #scheme codeberg.org/cobacdavid/s...
131
david @davidcobac.bsky.social · 20/07/2026
J'ai même fait une petite doc ce matin, vive les lundis de vacances ! #svglib #scheme #svg codeberg.org/cobacdavid/s...
codeberg.org
020
david @davidcobac.bsky.social · 19/07/2026
Reproduction du Logo #Lisp (xahlee.info/emacs/emacs/...) après un très gros travail sur l'objet path : codeberg.org/cobacdavid/s...
codeberg.org
031
david @davidcobac.bsky.social · 18/07/2026
Ça permet d'apprendre en pratiquant.
010
david @davidcobac.bsky.social · 15/07/2026
Désolé pour toi.😕
020
Reposted by david
JoDwarf @jodwarf.eurosky.social · 14/07/2026
J'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/2026
Dans 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/2026
Aprè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.org
svglib
svglib pour créer du svg avec Scheme
251
Reposted by david
JoDwarf @jodwarf.eurosky.social · 09/07/2026
C'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.
Mon Jetson Nano Orin avec caméra imx519
Raspberry pi 5 avec sa caméra imx519 (dans un support imprimé en 3d).
131
Reposted by david
JoDwarf @jodwarf.eurosky.social · 10/07/2026
Tous 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/2026
Le 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/2026
En 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.edu
Home Page of J Strother Moore
021
Reposted by david
JoDwarf @jodwarf.eurosky.social · 05/07/2026
Je 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
david @davidcobac.bsky.social · 04/07/2026
Voilà... j'en ai quand même 2/3 à vérifier/refaire. codeberg.org/cobacdavid/N...
codeberg.org
NSI-EP-scheme
NSI - Épreuve Pratique 2025 en Scheme (MIT et guile pour cairo)
010
Reposted by david
JoDwarf @jodwarf.eurosky.social · 01/07/2026
Travail en cours sur la reconnaissance faciale avec une IA locale (Sur Jetson Nano Orin). Je tente de la duper 😅
Masque bleu appliqué et un chapeau rigolo (petit ventilo au sommet) ajouté ensuite avec un logiciel.
J'imprime un masque en pla bleu avec mon imprimante 3d Sovol
131
Reposted by david
Alain Barale 🇨🇵 🇪🇦 🇺🇦 🇪🇺 @alb260158.bsky.social · 27/06/2026
www.rts.ch/info/science... 🤦🤦🤦🤦🤦
rts.ch
Des firmes d'IA achètent, numérisent puis détruisent des livres anciens
Des 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 >>=
Une ligature avec remplacement du trigraphe >>= en un seul symbole
021
david @davidcobac.bsky.social · 22/06/2026
Un #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 david
Dave Pearson @davep.org · 19/06/2026
Copyright Nvidia blog.davep.org/2026/06/19/c... #ai #github #copilot
blog.davep.org
Copyright Nvidia
I'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 david
JoDwarf @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...
Live du journal Le Monde. 
EN DIRECT, canicule : des oraux du baccalauréat vont être reportés dans les académies de Bordeaux, Lyon, Montpellier, Poitiers et Nantes
031
Reposted by david
JoDwarf @jodwarf.eurosky.social · 18/06/2026
Pour 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.
Ventilateur-brumiseur.
Petit écran à leds qui indique p1.
Deux boutons de contrôle : programme de brumisation et vitesse du Ventilateur.
041
Reposted by david
Gro-Tsen @gro-tsen.bsky.social · 11/06/2026
On 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 david
Elisa 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évisions
youtube.com
14 Calculabilité Décidabilité
YouTube video by Elisabeth Le Prettre
095
Reposted by david
Alexandre Hainaut @alexandrehainaut.bsky.social · 10/06/2026
Le 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 !
Portrait de Marc Bloch, moitié gauche en photo, moitié droite en Lego. Avec les logos de l'application MBrick et des Trophées NSI
012
david @davidcobac.bsky.social · 07/06/2026
Il demande quand même de créer un compte :( Par contre je découvre en suivant des liens saracroche.org/fr/ que je m'en vais de ce pas essayer !
saracroche.org
Bloqueur d'appels indésirables pour iOS et Android - Saracroche
Saracroche est une application iOS et Android qui bloque les appels indésirables. Simple, efficace, et respectueuse de votre vie privée.
130
david @davidcobac.bsky.social · 07/06/2026
De 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/2026
Petite pensée aux pionniers des années 50/60/70 qui devaient debugger avec des cartes perforées... en.wikipedia.org/wiki/Compute...
en.wikipedia.org
Computer programming in the punched card era - Wikipedia
030
david @davidcobac.bsky.social · 07/06/2026
« 1842 - Ada Lovelace writes the first program.[...] » lesminis.fr/blog/ada-lov...
lesminis.fr
Ada Lovelace. Elle a écrit le premier programme informatique connu pour une machine qui n'a jamais existé. Il contenait un bug.
En 1843, Ada Lovelace publie l'algorithme du premier programme informatique connu. La machine pour laquelle elle l'a écrit n’a jamais été construite. Il contenait un bug.
110
david @davidcobac.bsky.social · 07/06/2026
Oui, j'avais fait pendant la pandémie une panoplie de bots discord Python+sympy (trace, derive, primitive, signe_de etc.). Sur ce doc, suite à une lecture (sur les calculatrices et B. Parisse) je voulais travailler avec un peu avec giac "pour voir", mais ce n'est pas vraiment l'objet du org.
020
david @davidcobac.bsky.social · 07/06/2026
Un petit org sur le calcul formel, en fait la dérivation... github.com/cobacdavid/o... #giac #scheme #python
github.com
120
david @davidcobac.bsky.social · 06/06/2026
#SysRPL sans débuggeur, c'est une expérience à vivre : entre frustration quand la machine doit être réinit, et grande satisfaction quand ça fonctionne. Stratégie par rere...re-lecture du code avant de l'injecter, de tout refaire sur papier et 100xlecture de la doc. Bien éloigné du quotidien #Python
020
david @davidcobac.bsky.social · 30/05/2026
Mes premiers pas en #SysRPL #hp48 dans deux orgs : github.com/cobacdavid/o...
Copie d'écran d'une HP48 (émulateur x48)
121
david @davidcobac.bsky.social · 27/05/2026
🤔😬😭
010
david @davidcobac.bsky.social · 26/05/2026
Aïe aïe aïe, rien ne va dans ces valeurs ! On travaille vraiment dans des conditions très difficiles. Et la journée/semaine n'est pas finie...
020
Reposted by david
JoDwarf @jodwarf.eurosky.social · 26/05/2026
Aujourd'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 !
Capteur température + co2 + humidité (Projet de Nsi).
272
david @davidcobac.bsky.social · 24/05/2026
Plutô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