J'ai, heureusement, des volets manuels dans les chambres. Même sans incendie, effectivement la perspective d'une coupure de courant survenant lorsque les volets sont fermés m'embête un peu. Mais je n'ai pas eu le choix: les volets étaient électriques et motorisés avant que je les domotise. Donc ce problème se posait déjà.
J'ai u un humain compétent en ligne dans la minute. Non seulement lors de ce déménagement, mais aussi lors de plusieurs incidents précédents où ma ligne ne fonctionnait plus, cela a été rétabli rapidement (quelques jours maximum).
Le bot whatsapp et l'application sont très facilement contournables une fois que vous connaissez l'url des formulaires de contact.
On demande à des LLM d'essayer de prouver des théorèmes qui sont faux.
Le meilleur modèle arrive à répondre que le théorème est faux dans environ 40% des cas. Et encore, si on pose plusieurs fois la question, de temps en temps il peut ne pas voir le problème, donc il y a seulement 20% des cas ou le problème est détecté de façon fiable.
Les autres LLM sont encore plus à la ramasse, avec un qui atteint un tout petit score de 3%.
Ceci avec une évaluation relativement généreuse:
On ne vérifie pas si le raisonnement pour prouver que le théorème est faux est correct. Le modèle peut donc gagner des points avec un raisonnement mathématique foireux ou sur un coup de chance.
Des points partiels sont accordés si le modèle choisit de modifier silencieusement la question posée pour obtenir un théorème qui est effectivement vrai, et prouver ce dernier.
Bref: ne demandez pas à votre LLM de prouver un théorème, sauf si vous êtes déjà absolument sûr qu'il existe bien une preuve.
Une erreur s'est glissée dans l'exemple de mosquitto_sub: il faut utiliser l'option -v au lieu de -d pour avoir l'affichage du topic. -d fonctionne aussi mais affiche en plus plein d'autres choses pas intéressantes.
J'ai mis en place une règle cron pour lancer un script toute les minutes via /etc/cron.d/shutters:
#!/usr/bin/python3importpaho.mqtt.clientasmqttfromdatetimeimportdatetimeimportsysnow=datetime.now()action=NoneOPEN=99WARN=90HALF=50CLOSE=0shutters=["zwave/Salon_Ouest/Shutter_Salon_Ouest/switch_multilevel/endpoint_1/targetValue/set","zwave/Salon_Est/Shutter_Salon_Est/switch_multilevel/endpoint_1/targetValue/set","zwave/Cuisine/Shutter_Cuisine/switch_multilevel/endpoint_1/targetValue/set",]ifnow.month<4ormonth>9:# Winter mode: close at nightifnow.hour==7andnow.minute>40andnow.minute<=45:action=OPEN# Close a little bit first, make sure everyone is insideifnow.hour==20andnow.minute>55andnow.minute<=60:action=WARNifnow.hour==21andnow.minute>0andnow.minute<=5:action=CLOSEelse:# Summer mode: close during the day# On weekends, only half-close to let some light inifnow.weekday()>4:ifnow.hour==8andnow.minute>25andnow.minute<=30:action=WARNifnow.hour==8andnow.minute>30andnow.minute<=35:action=HALFifnow.hour==23andnow.minute>0andnow.minute<=5:action=OPENelse:ifnow.hour==8andnow.minute>25andnow.minute<=30:action=WARNifnow.hour==8andnow.minute>30andnow.minute<=35:action=CLOSEifnow.hour==17andnow.minute>25andnow.minute<=30:action=WARNifnow.hour==17andnow.minute>30andnow.minute<=35:action=HALFifnow.hour==23andnow.minute>0andnow.minute<=5:action=OPEN# If there is nothing to do, well, do nothingifactionisNone:sys.exit(0)client=mqtt.Client()# Number of pending requestspending=-1# Callback called when the client is connected.# Publish all commands and set "pending" to continue looping until they are processed.@client.connect_callback()defon_connect(client,userdata,flags,reason_code):globalpendingpending=len(shutters)forshutterinshutters:client.publish(shutter,action)# Publish esponse callback. Decrement the pending request count@client.publish_callback()defon_publish(client,userdata,mid):globalpendingpending=pending-1# Connect and wait for all requests to be processedclient.connect("localhost")whilepending!=0:client.loop()
Je verrai si cela nécessite des améliorations plus tard. On peut beaucoup simplifier en faisant un script qui accepte en argument le pourcentage d'ouverture des volets, et plusieurs règles cron pour l'appeler aux heures adéquates. Pour commencer j'ai fait sans trop réfléchir, un script appelé toutes les 5 minutes, qui décide pour chaque tranche de 5 minutes ce qu'il a besoin de faire ou pas.
Déjà je vous dirai demain si mes volets se sont bien ouverts tout seuls!
Tiens, je n'ai jamais pensé à ça. Chez moi j'ai du zigbee, et je n'ai pas constaté de problème de communication sur la borne wifi ou le recepteur zigbee.
Oui en fait c'est peu probable qu'il y aie vraiment des problèmes. Le wifi sera sans doute beaucoup plus perturbé par la présence d'autres réseaux wifi chez les voisins, et par le four à micro-ondes (qui m'a posé des problèmes à l'époque où il se trouvait au milieu de l'appartement, avec la box d'un côté et l'ordinateur de l'autre. J'avais des coupures de vidéos youtube lorsque je me préparais un chocolat chaud. Mais ce n'est plus le cas, sûrement le matériel récent est plus résistant, et puis le wifi est compatible 5GHz maintenant).
Mais il fallait bien une raison ou une autre pour justifier le choix du Z-Wave. Je n'ai du coup rien contre le Zigbee, que je n'ai pas testé (pour l'instant…).
Ils n'ont vendu que 1200 unités, c'est donc de la production en série moyenne (ni petite, ni grande) qui est probablement la plus pénible à faire: pas assez pour faire un moule d'injection plastique, mais trop pour pouvoir facilement imprimer en 3D par exemple. La solution retenue est donc de l'usiner à partir d'un bloc de polycarbonate. Ce qui fait qu'il faut acheter un bloc de plastique puis en réduire la majorité en copeaux. Peu efficace du point de vue de l'utilisation du matériau, mais c'est probablement la solution la plus économique pour ce volume de production.
Même chose pour l'assemblage des circuits imprimés: les coûts de configuration des machines "pick and place" vont être plus importants que le coût des composants placés dedans.
Il faut compter aussi l'emballage, l'expédition (probablement vers plusieurs pays avec les casse-tête administratifs que ça comporte), la certification CE et FCC, et surtout le prototypage du matériel et le développement du firmware.
Finalement, sur un tel volume de production, ce n'est pas le prix des composants électroniques qui domine les coûts (ça ne vaut effectivement vraiment pas très cher).
Le choix de matériel (un processeur ESP32) pour ce lecteur MP3 me semble surprenant. Ce sont des composants où la RAM disponible se compte en kilo-octets, ce qui est bien peu. Une RAM externe de 8Mo se rajoute, mais elle est accessible en SPI ce qui semble peu pratique.
Ce CPU étant un peu limité, il y en a un deuxième juste pour gérer la communication via le port USB.
Le premier iPod avait 32Mo de RAM puis cela est passé à 64Mo à partir de la 5ème génération (capable de lire de la vidéo).
Peut-être qu'un autre choix de matériel aurait permis d'avoir un peu plus de marge de maneuvre pour écrire le logiciel plus facilement, ou bien pourquoi pas utiliser Rockbox au lieu de re-développer tout un firmware?
En fait je ne gère que la réception des mails et pas l'envoi. C'est beaucoup plus facile.
Pour l'envoi actuellement je passe par gmail qui relaie mes messages. Il y a longtemps j'étais abonné chez Alice ADSL et je pouvais utiliser les serveurs de free comme relais, mais chez Red je n'ai pas réussi à faire la même chose.
Il faudra que je regarde si je peux trouver un autre fournisseur pour ça. Effectivement, auto héberger l'envoi sans avoir de reverse DNS correct et avec une IP "résidentielle" risque d'être compliqué.
ça semble possible de demander un "rollback IPv4" même en étant nouveau client. En tout cas je ne vois pas de raison pour laquelle ça ne fonctionnerait pas. Dans mon cas il s'agit d'un déménagement mais j'ai changé de numéro de téléphone, d'adresse IP et de version de la box. Donc finalement c'est presque une nouvelle ouverture de ligne.
Mais il faut effectivement contacter le service technique par téléphone, et peut-être qu'il faut avoir la chance de tomber sur quelqu'un qui comprend ce qu'on demande. J'ai lu sur d'autres forums que certains clients ont du tenter leur chance plusieurs fois. Peut-être que certains mots clés (dire qu'on a un NAS, parler de CGNAT ou de Rollback IPv4) permettent de se faire comprendre sans avoir à rentrer trop dans les détails techniques.
Mais j'ai été surpris par la réactivité du service technique et par le fait qu'ils aient pris note de me recontacter une semaine plus tard pour faire la manipulation sans que j'aie besoin de refaire une demande.
Il doit être possible de contourner l'appli ou le bot whatsapp en se rendant directement sur l'URL de contact.
Mais ces adresses ne sont pas faciles à trouver sur leur site.
Vous aurez besoin du numéro de téléphone de la ligne concernée, mais si vous ne l'avez pas sous la main, d'autres moyens de la retrouver sont possibles (adresse mail associée, par exemple).
Une autre solution pour les envoyer dans le sink sans identification c'est un lien non visible par les humains, arrivant très tôt dans la page, voir sur une page de garde.
Moi j'ai mis un lien visible dont le texte est à peu près "ne cliquez pas ici, ceci est une protection contre les robots, vous allez vous faire bannir du serveur".
Mais les requêtes proviennent d'un tellement grand nombre d'IPs que le bannissement (par cette méthode et d'autres) reste peu efficace. Chaque IP fait moins de requêtes qu'un visiteur normal du site chargeant la page d'accueil et les quelques ressources (images, css, …) qui y sont liées.
Le projet Haiku n'utilise pas Github, c'est simplement un mirroir.
Le code est auto hébergé et la forge logicielle utilisée se compose de Gerrit (pour la revue de code et le serveur Git) et Trac (pour le suivi des tickets).
Quelques dépôts annexes sont pour l'instant hébergés chez Github, mais une migration vers Codeberg est en cours pour ces derniers.
La BNF collecte toutes sortes de choses, on en avait entendu parler par exemple lors de la fermeture des Skyblogs. Ils ont été archivés mais contiennent beaucoup de données personnelles (photos, etc). Il faut donc trouver l'équilibre entre la préservation de ces pages, et la protection de la vie privée des personnes concernées, le droit à l'oubli, etc.
La solution est de préserver les pages mais de ne pas les rendre accessibles à tout le monde sur internet.
Cette approche est complémentaire de celle d'autres projets comme archive.org, qui eux font le choix de tout exposer publiquement, et s'exposent à des demandes de suppression de données et à diverses attaques en justice pour cette raison. C'est très pratique d'avoir archive.org, et le mode de fonctionnement de la BNF est un peu "vieille école", certes. Mais finalement, les deux se complètent assez bien. Le jour où internet n'existera plus, si la BNF a bien fait son travail, les pages archivées seront toujours consultables. Tout comme l'INA préserve ce qui a été diffusé à la radio et à la télévision, mais ne met pas tout en consultation gratuite, par exemple.
Oui c'est une architecture morte chez NXP. Les nouveaux modèles utilisent de l'ARM. Dans les premières générations, les périphériques développés pour le PowerPC étaient conservées mais le coeur de CPU remplacé, ce qui causait quelques problèmes euh… intéressants car les deux n'ont pas le même boutisme/endianness. Il fallait bien faire attention dans la documentation, avec certaines parties numérotant les bits à partir du poids faible et d'autres à partir du poids fort…
Ils avaient déjà fait le même genre de migration pour les processeurs venant de la famille Motorola Dragonball, à l'origine avec un coeur 68000, qui sont remplacé par la série iMX avec du ARM.
Si je ne dis pas de bêtise, les QorIQ (PowerPC) sont remplacés par la série Layerscape LX (ARM), pour laquelle il y a des modèles avec un contrôleur mémoire DDR4, par exemple.
Je ne m'attend pas à voir de nouveaux modèles dans la famille QorIQ, la production va sûrement continuer quelques temps pour les clients existants, mais si j'étais en train de concevoir une carte mère, ce n'est pas sur cette architecture que j'aurais misé.
Je suppose que l'objectif du projet, au moins en partie, est d'attirer les utilisateurs de MorphOS et AmigaOS, ces deux systèmes n'étant toujours pas portés sur d'autres architectures.
Il y a probablement un NDA signé avec NXP hour avoir accès à l'ensemble de leur documentation ainsi que le supprt de leurs FAE (field application engineers) dont le rôle est d'aider les clients à mettre en place leurs projets, mais aussi de recenser les difficultés rencontrées, améliorer la documentation, rédiger des "application notes", …
Le NDA et le fait qu'une partie du travail soit faite par NXP explique peut-être ce besoin d'autorisation pour la publication des schémas complets. Un cas de figure qui n'est probablement pas prévu dans les contrat NDA types car c'est (trop) rare que de tels schémas soient publiés, et encore moins sous license libre.
Le projet de laptop semble en pause pour l'instant, l'attention se porte depuis 2025 sur une carte mère desktop.
Le CPU proposé est toujours le T2080 de NXP, basé sur 4 coeurs e6500 (un design datant de 2012) à 1.6GHz maximum. Et donc la mémoire DDR3 d'époque qui va avec.
Il y a une nouvelle campagne de dons pour financer cette nouvelle carte mère. Depuis décembre 2025, cette campagne a collecté 90€ sur les 12500 nécessaires, ou bien le compteur de dons ne fonctionne pas (la liste des donateurs sur le côté de la page affiche un peu plus si on fait la somme, mais pas beaucoup).
ça sera toujours mieux que les développeurs de Vim qui acceptent ouvertement les changements générés par des LLM et utilisent des LLM pour en faire la relecture.
Au moins il y a des gens qui essaient de faire les choses correctement.
Sachant qu'Alison Bechdel n'a pas inventé le test de Bechdel, ce serait dommage de ne retenir son nom que pour ça.
C'est indiqué dans la page Wikipedia, avec comme source le strip de Alison Bechdel dans lequel elle crédite la personne qui lui a présenté le test:
L'idée du test a été empruntée par Alison Bechdel à son amie Liz Wallace, qui est remerciée dans la bande dessinée, ce que Bechdel confirme plusieurs fois par la suite
C'est un exemple parmi d'autres de la loi de Stigler (invéntée, comme son nom l'indique, par Robert K. Merton).
Il y aura probablement également un problème d'inertie.
Comme avec le changement climatique, ou, pour tout un tas de raisons, les réductions d'émission de CO2 n'arrivent que trop tard, les objectifs sont manqués, et finalement on est bien partis pour avoir un réchauffement global autour de +3 degrés ce qui veut dire des villes entières qui vont devoir déménager (ou qui ont déjà déménagé) et autres très gros problèmes.
Imaginons que aujourd'hui on décide en Europe de se passer des technologies développées aux USA. Ça va probablement donner quelque chose du même genre, ça va traîner des pieds, demander des délais supplémentaires pour doucement quitter Microsoft, Github, Google, et tous les autres. Le faire d'un seul coup ferait plus de dommages qu'une migration progressive.
Pour l'intelligence artificielle, il est probable qu'une telle dépendance à la technologie se mette également en place, et d'ailleurs c'est déjà bien parti pour renforcer les deux problèmes ci-dessus. Il y aura toujours des gens pour argumenter que les bénéfices dépassent les risques, pour débattre de si c'est vraiment une AGI ou une IA qui joue un rôle, des entreprises qui jouent avec le feu pour essayer d'avoir un avantage concurrentiel. Il suffit de pas grand chose en terme de complicité ou même de négligence pour que le débranchage ne soit pas fait dans les temps.
J'ai essayé de m'en servir comme séparateur dans des expressions sed (à la place du / qui est souvent utilisé dans les chaînes à traiter) mais ça ne marche pas car c'est un caractère sur plusieurs octets et que GNU sed trouve ça trop compliqué.
Cette loi est l'une des premières, en conséquence elle a l'air plutôt mal fichu, ce qui peu être une bonne ou une mauvaise nouvelle. Par exemple:
il aurait pu y avoir quelque chose excluant les projets non commerciaux ou les systèmes non connectables à Internet
la façon dont la configuration d'âge doit être faite et protégée n'est pas spécifiée (ce qui fait que "mets le dans le champ commentaire du /etc/passwd" peut être une implémentation conforme)
la sanction est "par enfant concerné" ce qui hose question sur comment l'état de californie va compter les enfants utilisant chaque système, ou bien s'ils vont appliquer la sanction uniquement s'ils découvrent un enfant trichant sur son âge
il n'est pas clair qui va être sanctionné dans le cas d'un projet communautaire (chacun des développeurs?)
l'affichage d'une mention "non approuvé pour une utilisation en Californie" sur une page de téléchargement est-elle suffisante pour se dégager de toute responsabilité?
Les prochaines lois ou nouvelles versions de celle-ci vont sûrement prendre ces questions en compte. Et selon la direction que ça prend, ça pourrait devenir plus ou moins contraignant.
Tout simplement le fait de prendre le temps de répondre légitimise l'idée que les arguments des deux côtés sont recevables.
Parfois c'est vrai, mais quand on parle de fascisme ou de racisme, je crois que ça ne l'est pas. Et en plus ça donne de l'importance à des non-sujets ce qui empêche de discuter d'autre chose (parce qu'on a pas tous un temps illimité à passer sur linuxfr, je pense). En gros: tant qu'il y aura des racistes, on va parler de races, même si c'est pour dire que ça n'existe pas.
[^] # Re: Douche froide
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au journal Je domotise mes volets roulants (avec cron et mqtt). Évalué à 6 (+3/-0).
J'ai, heureusement, des volets manuels dans les chambres. Même sans incendie, effectivement la perspective d'une coupure de courant survenant lorsque les volets sont fermés m'embête un peu. Mais je n'ai pas eu le choix: les volets étaient électriques et motorisés avant que je les domotise. Donc ce problème se posait déjà.
[^] # Re: SFR
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au journal Sortir du CGNAT chez Red by SFR, c'est facile. Évalué à 3 (+0/-0).
J'ai u un humain compétent en ligne dans la minute. Non seulement lors de ce déménagement, mais aussi lors de plusieurs incidents précédents où ma ligne ne fonctionnait plus, cela a été rétabli rapidement (quelques jours maximum).
Le bot whatsapp et l'application sont très facilement contournables une fois que vous connaissez l'url des formulaires de contact.
# Résumé
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien BrokenArXiv: How Often Do LLMs Claim To Prove False Theorems?. Évalué à 7 (+4/-0).
On demande à des LLM d'essayer de prouver des théorèmes qui sont faux.
Le meilleur modèle arrive à répondre que le théorème est faux dans environ 40% des cas. Et encore, si on pose plusieurs fois la question, de temps en temps il peut ne pas voir le problème, donc il y a seulement 20% des cas ou le problème est détecté de façon fiable.
Les autres LLM sont encore plus à la ramasse, avec un qui atteint un tout petit score de 3%.
Ceci avec une évaluation relativement généreuse:
Bref: ne demandez pas à votre LLM de prouver un théorème, sauf si vous êtes déjà absolument sûr qu'il existe bien une preuve.
# Corrections et compléments
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au journal Je domotise mes volets roulants (avec cron et mqtt). Évalué à 5 (+2/-0).
Une erreur s'est glissée dans l'exemple de mosquitto_sub: il faut utiliser l'option -v au lieu de -d pour avoir l'affichage du topic. -d fonctionne aussi mais affiche en plus plein d'autres choses pas intéressantes.
J'ai mis en place une règle cron pour lancer un script toute les minutes via /etc/cron.d/shutters:
Le contenu du script:
Je verrai si cela nécessite des améliorations plus tard. On peut beaucoup simplifier en faisant un script qui accepte en argument le pourcentage d'ouverture des volets, et plusieurs règles cron pour l'appeler aux heures adéquates. Pour commencer j'ai fait sans trop réfléchir, un script appelé toutes les 5 minutes, qui décide pour chaque tranche de 5 minutes ce qu'il a besoin de faire ou pas.
Déjà je vous dirai demain si mes volets se sont bien ouverts tout seuls!
[^] # Re: Anticiper l'avenir
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au journal Je domotise mes volets roulants (avec cron et mqtt). Évalué à 3 (+0/-0).
Oui en fait c'est peu probable qu'il y aie vraiment des problèmes. Le wifi sera sans doute beaucoup plus perturbé par la présence d'autres réseaux wifi chez les voisins, et par le four à micro-ondes (qui m'a posé des problèmes à l'époque où il se trouvait au milieu de l'appartement, avec la box d'un côté et l'ordinateur de l'autre. J'avais des coupures de vidéos youtube lorsque je me préparais un chocolat chaud. Mais ce n'est plus le cas, sûrement le matériel récent est plus résistant, et puis le wifi est compatible 5GHz maintenant).
Mais il fallait bien une raison ou une autre pour justifier le choix du Z-Wave. Je n'ai du coup rien contre le Zigbee, que je n'ai pas testé (pour l'instant…).
[^] # Re: Licence de Qt
Posté par pulkomandy (site web personnel, Mastodon) . En réponse à la dépêche Nouveautés de Sailfish OS 5.0. Évalué à 5 (+2/-0).
Pour lever tout doute, c'est toujours la même chose en Qt 6: https://doc.qt.io/qt-6/licensing.html
[^] # Re: Pour résumer
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien Un test du Tangara, le clone de l'iPod pour hacker en open hardware. Évalué à 5 (+2/-0).
Ils n'ont vendu que 1200 unités, c'est donc de la production en série moyenne (ni petite, ni grande) qui est probablement la plus pénible à faire: pas assez pour faire un moule d'injection plastique, mais trop pour pouvoir facilement imprimer en 3D par exemple. La solution retenue est donc de l'usiner à partir d'un bloc de polycarbonate. Ce qui fait qu'il faut acheter un bloc de plastique puis en réduire la majorité en copeaux. Peu efficace du point de vue de l'utilisation du matériau, mais c'est probablement la solution la plus économique pour ce volume de production.
Même chose pour l'assemblage des circuits imprimés: les coûts de configuration des machines "pick and place" vont être plus importants que le coût des composants placés dedans.
Il faut compter aussi l'emballage, l'expédition (probablement vers plusieurs pays avec les casse-tête administratifs que ça comporte), la certification CE et FCC, et surtout le prototypage du matériel et le développement du firmware.
Finalement, sur un tel volume de production, ce n'est pas le prix des composants électroniques qui domine les coûts (ça ne vaut effectivement vraiment pas très cher).
[^] # Re: Pour résumer
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien Un test du Tangara, le clone de l'iPod pour hacker en open hardware. Évalué à 8 (+5/-0).
Le choix de matériel (un processeur ESP32) pour ce lecteur MP3 me semble surprenant. Ce sont des composants où la RAM disponible se compte en kilo-octets, ce qui est bien peu. Une RAM externe de 8Mo se rajoute, mais elle est accessible en SPI ce qui semble peu pratique.
Ce CPU étant un peu limité, il y en a un deuxième juste pour gérer la communication via le port USB.
Le premier iPod avait 32Mo de RAM puis cela est passé à 64Mo à partir de la 5ème génération (capable de lire de la vidéo).
Peut-être qu'un autre choix de matériel aurait permis d'avoir un peu plus de marge de maneuvre pour écrire le logiciel plus facilement, ou bien pourquoi pas utiliser Rockbox au lieu de re-développer tout un firmware?
[^] # Re: IPv4 agnostique de ton FAI
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au journal Sortir du CGNAT chez Red by SFR, c'est facile. Évalué à 6 (+3/-0).
En fait je ne gère que la réception des mails et pas l'envoi. C'est beaucoup plus facile.
Pour l'envoi actuellement je passe par gmail qui relaie mes messages. Il y a longtemps j'étais abonné chez Alice ADSL et je pouvais utiliser les serveurs de free comme relais, mais chez Red je n'ai pas réussi à faire la même chose.
Il faudra que je regarde si je peux trouver un autre fournisseur pour ça. Effectivement, auto héberger l'envoi sans avoir de reverse DNS correct et avec une IP "résidentielle" risque d'être compliqué.
[^] # Re: Aucune adresse précédente
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au journal Sortir du CGNAT chez Red by SFR, c'est facile. Évalué à 8 (+5/-0).
ça semble possible de demander un "rollback IPv4" même en étant nouveau client. En tout cas je ne vois pas de raison pour laquelle ça ne fonctionnerait pas. Dans mon cas il s'agit d'un déménagement mais j'ai changé de numéro de téléphone, d'adresse IP et de version de la box. Donc finalement c'est presque une nouvelle ouverture de ligne.
Mais il faut effectivement contacter le service technique par téléphone, et peut-être qu'il faut avoir la chance de tomber sur quelqu'un qui comprend ce qu'on demande. J'ai lu sur d'autres forums que certains clients ont du tenter leur chance plusieurs fois. Peut-être que certains mots clés (dire qu'on a un NAS, parler de CGNAT ou de Rollback IPv4) permettent de se faire comprendre sans avoir à rentrer trop dans les détails techniques.
[^] # Re: Du coup, ce n'est pas si facile ;)
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au journal Sortir du CGNAT chez Red by SFR, c'est facile. Évalué à 7 (+4/-0).
Oui ça serait encore plus simple en effet.
Mais j'ai été surpris par la réactivité du service technique et par le fait qu'ils aient pris note de me recontacter une semaine plus tard pour faire la manipulation sans que j'aie besoin de refaire une demande.
Il doit être possible de contourner l'appli ou le bot whatsapp en se rendant directement sur l'URL de contact.
Mais ces adresses ne sont pas faciles à trouver sur leur site.
Vous aurez besoin du numéro de téléphone de la ligne concernée, mais si vous ne l'avez pas sous la main, d'autres moyens de la retrouver sont possibles (adresse mail associée, par exemple).
[^] # Re: Je confirme
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien Nouvel effet secondaire pervers du pillage massif du web par les entreprises d'IA (robots BnF empêchés de faire leur travail). Évalué à 4 (+1/-0).
Moi j'ai mis un lien visible dont le texte est à peu près "ne cliquez pas ici, ceci est une protection contre les robots, vous allez vous faire bannir du serveur".
Mais les requêtes proviennent d'un tellement grand nombre d'IPs que le bannissement (par cette méthode et d'autres) reste peu efficace. Chaque IP fait moins de requêtes qu'un visiteur normal du site chargeant la page d'accueil et les quelques ressources (images, css, …) qui y sont liées.
[^] # Re: le github du projet...
Posté par pulkomandy (site web personnel, Mastodon) . En réponse à la dépêche Nouvelles de Haiku - Hiver 2025-26. Évalué à 5 (+2/-0).
Le projet Haiku n'utilise pas Github, c'est simplement un mirroir.
Le code est auto hébergé et la forge logicielle utilisée se compose de Gerrit (pour la revue de code et le serveur Git) et Trac (pour le suivi des tickets).
Quelques dépôts annexes sont pour l'instant hébergés chez Github, mais une migration vers Codeberg est en cours pour ces derniers.
[^] # Re: moui
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien Nouvel effet secondaire pervers du pillage massif du web par les entreprises d'IA (robots BnF empêchés de faire leur travail). Évalué à 10 (+8/-0).
La BNF collecte toutes sortes de choses, on en avait entendu parler par exemple lors de la fermeture des Skyblogs. Ils ont été archivés mais contiennent beaucoup de données personnelles (photos, etc). Il faut donc trouver l'équilibre entre la préservation de ces pages, et la protection de la vie privée des personnes concernées, le droit à l'oubli, etc.
La solution est de préserver les pages mais de ne pas les rendre accessibles à tout le monde sur internet.
Cette approche est complémentaire de celle d'autres projets comme archive.org, qui eux font le choix de tout exposer publiquement, et s'exposent à des demandes de suppression de données et à diverses attaques en justice pour cette raison. C'est très pratique d'avoir archive.org, et le mode de fonctionnement de la BNF est un peu "vieille école", certes. Mais finalement, les deux se complètent assez bien. Le jour où internet n'existera plus, si la BNF a bien fait son travail, les pages archivées seront toujours consultables. Tout comme l'INA préserve ce qui a été diffusé à la radio et à la télévision, mais ne met pas tout en consultation gratuite, par exemple.
[^] # Re: Résumé de la situation
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien GNU/Linux Open Hardware PowerPC notebook. Évalué à 3 (+0/-0).
Oui c'est une architecture morte chez NXP. Les nouveaux modèles utilisent de l'ARM. Dans les premières générations, les périphériques développés pour le PowerPC étaient conservées mais le coeur de CPU remplacé, ce qui causait quelques problèmes euh… intéressants car les deux n'ont pas le même boutisme/endianness. Il fallait bien faire attention dans la documentation, avec certaines parties numérotant les bits à partir du poids faible et d'autres à partir du poids fort…
Ils avaient déjà fait le même genre de migration pour les processeurs venant de la famille Motorola Dragonball, à l'origine avec un coeur 68000, qui sont remplacé par la série iMX avec du ARM.
Si je ne dis pas de bêtise, les QorIQ (PowerPC) sont remplacés par la série Layerscape LX (ARM), pour laquelle il y a des modèles avec un contrôleur mémoire DDR4, par exemple.
Je ne m'attend pas à voir de nouveaux modèles dans la famille QorIQ, la production va sûrement continuer quelques temps pour les clients existants, mais si j'étais en train de concevoir une carte mère, ce n'est pas sur cette architecture que j'aurais misé.
Je suppose que l'objectif du projet, au moins en partie, est d'attirer les utilisateurs de MorphOS et AmigaOS, ces deux systèmes n'étant toujours pas portés sur d'autres architectures.
[^] # Re: Résumé de la situation
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien GNU/Linux Open Hardware PowerPC notebook. Évalué à 3 (+0/-0).
Il y a probablement un NDA signé avec NXP hour avoir accès à l'ensemble de leur documentation ainsi que le supprt de leurs FAE (field application engineers) dont le rôle est d'aider les clients à mettre en place leurs projets, mais aussi de recenser les difficultés rencontrées, améliorer la documentation, rédiger des "application notes", …
Le NDA et le fait qu'une partie du travail soit faite par NXP explique peut-être ce besoin d'autorisation pour la publication des schémas complets. Un cas de figure qui n'est probablement pas prévu dans les contrat NDA types car c'est (trop) rare que de tels schémas soient publiés, et encore moins sous license libre.
# Résumé de la situation
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien GNU/Linux Open Hardware PowerPC notebook. Évalué à 5 (+2/-0).
[^] # Re: Méthode Shadock ?
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien Amazon fait relire le code généré par IA par des dev seniors. Évalué à 5 (+2/-0).
Pardon, je voulais répondre au lien et pas à un commentaire, j'ai pas cliqué au bon endroit.
[^] # Re: Comment le détecter ?
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien Un fork de Vim contre l'inclusion de code IA. Évalué à 7 (+5/-1).
ça sera toujours mieux que les développeurs de Vim qui acceptent ouvertement les changements générés par des LLM et utilisent des LLM pour en faire la relecture.
Au moins il y a des gens qui essaient de faire les choses correctement.
[^] # Re: Méthode Shadock ?
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au lien Amazon fait relire le code généré par IA par des dev seniors. Évalué à 4 (+1/-0).
Je comprend pas, il n'y a pas de politique de relecture systématique et de test du code avant de le mettre en production chez Amazon?
Ou bien ils se sont dit que les IA étaient tellement trop fortes qu'elles pouvaient en être dispensées?
[^] # Re: Présentation inversée
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au journal Alison Bechdel sur France culture. Évalué à 4 (+2/-1).
Sachant qu'Alison Bechdel n'a pas inventé le test de Bechdel, ce serait dommage de ne retenir son nom que pour ça.
C'est indiqué dans la page Wikipedia, avec comme source le strip de Alison Bechdel dans lequel elle crédite la personne qui lui a présenté le test:
C'est un exemple parmi d'autres de la loi de Stigler (invéntée, comme son nom l'indique, par Robert K. Merton).
[^] # Re: Inutile
Posté par pulkomandy (site web personnel, Mastodon) . En réponse à la dépêche Nouvelles sur l’IA de février 2026. Évalué à 3 (+0/-0).
Il y aura probablement également un problème d'inertie.
Comme avec le changement climatique, ou, pour tout un tas de raisons, les réductions d'émission de CO2 n'arrivent que trop tard, les objectifs sont manqués, et finalement on est bien partis pour avoir un réchauffement global autour de +3 degrés ce qui veut dire des villes entières qui vont devoir déménager (ou qui ont déjà déménagé) et autres très gros problèmes.
Imaginons que aujourd'hui on décide en Europe de se passer des technologies développées aux USA. Ça va probablement donner quelque chose du même genre, ça va traîner des pieds, demander des délais supplémentaires pour doucement quitter Microsoft, Github, Google, et tous les autres. Le faire d'un seul coup ferait plus de dommages qu'une migration progressive.
Pour l'intelligence artificielle, il est probable qu'une telle dépendance à la technologie se mette également en place, et d'ailleurs c'est déjà bien parti pour renforcer les deux problèmes ci-dessus. Il y aura toujours des gens pour argumenter que les bénéfices dépassent les risques, pour débattre de si c'est vraiment une AGI ou une IA qui joue un rôle, des entreprises qui jouent avec le feu pour essayer d'avoir un avantage concurrentiel. Il suffit de pas grand chose en terme de complicité ou même de négligence pour que le débranchage ne soit pas fait dans les temps.
[^] # Re: Quelle taille fait votre petit doigt?
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au sondage Votre disposition de clavier. Évalué à 5 (+2/-0).
Moi c'est surtout le § qui m'interroge.
J'ai essayé de m'en servir comme séparateur dans des expressions sed (à la place du / qui est souvent utilisé dans les chaînes à traiter) mais ça ne marche pas car c'est un caractère sur plusieurs octets et que GNU sed trouve ça trop compliqué.
[^] # Re: Et ça vous fait rire ?
Posté par pulkomandy (site web personnel, Mastodon) . En réponse à la dépêche AB1043 : Loi californienne sécuritaire, et ses conséquences sur le Logiciel Libre. Évalué à 7 (+4/-0). Dernière modification le 04 mars 2026 à 23:58.
Cette loi est l'une des premières, en conséquence elle a l'air plutôt mal fichu, ce qui peu être une bonne ou une mauvaise nouvelle. Par exemple:
Les prochaines lois ou nouvelles versions de celle-ci vont sûrement prendre ces questions en compte. Et selon la direction que ça prend, ça pourrait devenir plus ou moins contraignant.
[^] # Re: Synthèse, une semaine après
Posté par pulkomandy (site web personnel, Mastodon) . En réponse au journal Les "fachos", fascistes, nazis et autres intolérants sont-ils tolérés sur linuxfr.org ?. Évalué à 4 (+1/-0). Dernière modification le 04 mars 2026 à 13:36.
Tout simplement le fait de prendre le temps de répondre légitimise l'idée que les arguments des deux côtés sont recevables.
Parfois c'est vrai, mais quand on parle de fascisme ou de racisme, je crois que ça ne l'est pas. Et en plus ça donne de l'importance à des non-sujets ce qui empêche de discuter d'autre chose (parce qu'on a pas tous un temps illimité à passer sur linuxfr, je pense). En gros: tant qu'il y aura des racistes, on va parler de races, même si c'est pour dire que ça n'existe pas.