Sign in

david

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

codeberg.org/cobacdavid

PostsRepliesMedia
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 · 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 · 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 · 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 · 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
david @davidcobac.bsky.social · 22/05/2026
Gé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 · 15/05/2026
Quelques progrès (mais toujours pas de LaTeX)
Fenêtre emacs avec 3 buffers 2 sont les résultats de 2 lignes du buffer *scratch*
010
david @davidcobac.bsky.social · 14/05/2026
Début d'un mode mineur #emacs pour les fonctions simples maths. Prochaine étape, gérer les expressions #LaTeX.
Une capture d'écran d'emacs avec deux buffers, l'un contient une expression à une variable, l'autre l'image de la courbe correspondante.
131
david @davidcobac.bsky.social · 08/05/2026
Ma bibliothèque #forth.
Divers livres sur le langage Forth
020
david @davidcobac.bsky.social · 07/05/2026
Ré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€.
Nouvelle casio light+ et son couvercle Nathalie Ayi
010
david @davidcobac.bsky.social · 01/05/2026
#1ermai lecture dans le jardin #lisp #scheme
Fauteuil dans le jardin avec deux livres d'info.
121
david @davidcobac.bsky.social · 26/04/2026
Impression via #emacs d'un script pour #hp48 sur étiquette thermique (brother #ql700) à la manière de l'imprimante thermique originale #HP82240B
Étiquette imprimée par l'intermédiaire d'emacs
041
david @davidcobac.bsky.social · 11/04/2026
Les vacances commencent : suite de Recamán sur #HP-48 sur #emacs avec mode hp48 + émulation #x48
emacs avce hp-48 mode + x48
131
david @davidcobac.bsky.social · 17/03/2026
Sympa le système de fléchage immédiat avec #DrRacket quand on positionne la souris sur un mot.
022
david @davidcobac.bsky.social · 19/12/2025
#tixy widget pour #qtile : c'est fait ✅
020
david @davidcobac.bsky.social · 16/12/2025
#nsi #scrumboard
Des groupes remplissant un scrumboard fait de posts-it
020
david @davidcobac.bsky.social · 06/12/2025
Cette semaine, je suis passé de #awesomeWM à #Qtile. Pas trouvé de widgets pour les contrib. #github -> c'est fait ! ✅
image du widget de contributions github sur la barre de Qtile. Ça ressemble à une matrice de petits carrés dont la couleur verte varie en fonction du nombre de contribution du jour.
130
david @davidcobac.bsky.social · 13/11/2025
Suite de mon retour à MP : j'ai réussi cet après-midi à faire lire un CSV exporté de Pronote pour sortir un petit graphique. Ça n'a l'air de rien mais les problèmes ont été nombreux.
010
david @davidcobac.bsky.social · 02/11/2025
J'ai laissé à #copilot la fonction de tracé après avoir codé une fonction spski calculant les triangles de Sierpinski. Résultat : il me fait un Von Koch (et encore en ne s'embêtant pas trop sur la position des sommets de départ).
041
david @davidcobac.bsky.social · 31/10/2025
Un petit terdragon en #python pour commencer ce WE, reproduction imparfaite de celle en #metapost sur tug.org/TUGboat/tb43...
030
david @davidcobac.bsky.social · 06/09/2025
Quand tu fais un script qui produit un avatar "à la github" (en fonction d'un texte) et que tu le testes avec "spécialité NSI"... 😱😂 gist.github.com/cobacdavid/e...
Logo assez proche d'un geste suggestif avec le majeur...
041
david @davidcobac.bsky.social · 31/07/2025
Idée pour conclure les activités POO avec les plus avancés : la liste Python circulaire (les listes (chaînées) n'auront pas été préalablement traitées). Florilège de méthodes spéciales, introduction de getitem (avec pour effet de bord de rendre itérable l'objet -> l'interdire avec iter et ... 1/2
131
david @davidcobac.bsky.social · 29/07/2025
Mon récursiv'été continue.
021
david @davidcobac.bsky.social · 07/07/2025
1h de galère avant de me rendre compte que la doc officielle est fausse ! c'est "vector-map procedure vector" et pas le contraire 😡
120
david @davidcobac.bsky.social · 02/07/2025
D'après vous, qu'affiche ce code ?
x = 1
try:
    x = 2
    x /= 0
except ZeroDivisionError:
    print(x)
130
david @davidcobac.bsky.social · 27/06/2025
En recomposant mon cours de récursivvité, je découvre cet article de GVR neopythonic.blogspot.com/2009/04/fina... Et j'applique sa technique (en 1re intention, j'étais parti sur i démarrant à len(tab)-1 en attendant un IndexError avec un indice négatif... comique je suis)
031
david @davidcobac.bsky.social · 27/06/2025
Bizarre, j'utilise depuis 2019 des SSH keys pour github en ligne de commande. Avec ton post, je pars sur mon compte google et je reçois ce message. Questions : 1. y a-t-il une diff. entre pass-keys et ssh-keys ? 2. je peux générer des clés avec ssh-keygen mais google veut maîtriser leur création ?
110
david @davidcobac.bsky.social · 13/06/2025
Au mauvais endroit, au mauvais moment. #typo #composition
020
david @davidcobac.bsky.social · 05/06/2025
Finalement ce post était un bon moyen de s'en souvenir 😀 mais la solution n'en était pas une ! 🤔
Message d'erreur sur un interblocage et un verrou
000
david @davidcobac.bsky.social · 21/04/2025
Ce matin : écriture d'un communication #kermit avec la #hp48 ou #x48 via #emacs pour un mode hp48 que je fignole.
030
david @davidcobac.bsky.social · 20/04/2025
À côté du pentagone...
000
david @davidcobac.bsky.social · 18/04/2025
pathname-extension ?
020
david @davidcobac.bsky.social · 17/04/2025
J'ai voulu vérifier que les 'search' d' #emacs utilisent Boyer-Moore. github.com/emacs-mirror...
000
david @davidcobac.bsky.social · 13/04/2025
000
david @davidcobac.bsky.social · 13/04/2025
#ChatGPT semble en difficulté avec #ImageMagick pour transformer un texte en image (genre carbon). Ce qu'il me propose est bien mais ne fonctionne pas (en tout cas pas chez moi) : - convert à la place de magick - border avant bordercolor C'est surtout ce dernier qui me surprend dans sa génération.
100
david @davidcobac.bsky.social · 14/03/2025
Quoi de mieux que de coder "pi piquant" au musée un 14 Mars ? #piday #nsi #morellet #angers
032
david @davidcobac.bsky.social · 07/03/2025
Prêt pour le piday et la semaine des mathématiques. #pi
132
david @davidcobac.bsky.social · 17/02/2025
Acquisition de la semaine dernière : HP-49G+ J'ai vite installé #newRPL. Je suis déjà séduit par la reconfiguration du clavier.
130
david @davidcobac.bsky.social · 21/01/2025
C'est quand même sympa de coder allongé sur son canapé avec son smartphone 😀 #emu48 #rpl
031
david @davidcobac.bsky.social · 27/12/2024
Fin d'hier soir avec la fonction récursive de tri fusion.
010
david @davidcobac.bsky.social · 26/12/2024
Essai de fusion de deux tableaux triés avec #Uiua sans utiliser ⍆ (sort). Une fois fait, cette impression que c'était faisable en cinq/six symboles ne me quitte pas, à tel point que mon code serait risible. Je me demande si chaque code en #Uiua ne me donnera pas cette désagréable sensation. 🤔
131
david @davidcobac.bsky.social · 19/12/2024
La hp-28C/S une fois refermée :
010
david @davidcobac.bsky.social · 18/12/2024
Une partie de la gamme CHARLEMAGNE de HP vue par #chatGPT
020
david @davidcobac.bsky.social · 18/12/2024
#RPL and ... HP Journal 08/87 hparchive.com/Journals/HPJ... #lisp #forth
120
david @davidcobac.bsky.social · 13/12/2024
Pour finaliser une revue de projet, un élève a utilisé "Inspect" de son navigateur 😂
020
david @davidcobac.bsky.social · 08/12/2024
18s de #Ten56 au #chabada à Angers vendredi soir.
010
david @davidcobac.bsky.social · 08/12/2024
Avec cette police, la ligature www est originale 😀
100
david @davidcobac.bsky.social · 08/12/2024
J'apprends qu'il faudra que je m'intéresse au module AOC et au symbole "est différent de" : unicode accepté par python ou effet de l'éditeur ?
100