The HNPaper

mercredi 24 juin 2026
Archives
lundi 25 mai 2026 à 12:01
47 min restantes -
iaprogrammationmaterieleconomiesocieteopensourcedeveloppementreglementation

Microsoft publie en open source le “plus ancien code source de DOS découvert à ce jour” - Ars Technica

Microsoft a mis à disposition le code source du 86-DOS 1.00, le prédécesseur direct de MS-DOS, datant d’avant l’acquisition par l’entreprise. Cette initiative révèle les origines de l’un des systèmes d’exploitation les plus influents, incluant le noyau et des utilitaires comme CHKDSK. Le code, créé par Tim Paterson pour Seattle Computer Products, a été racheté et adapté par Microsoft pour l’IBM PC, devenant PC-DOS pour IBM et MS-DOS pour les autres fabricants.

La numérisation de ce code s’est avérée un défi majeur, nécessitant une transcription manuelle à partir d’imprimés papier originaux, les technologies OCR modernes peinant avec la qualité des documents anciens. Cette récupération souligne l’importance de la préservation numérique.

Cet événement met en lumière une distinction cruciale dans l’histoire de Microsoft : l’acquisition de DOS fut un coup de maître commercial, né en partie des négociations manquées d’IBM avec d’autres acteurs. La véritable prouesse technique initiale de Microsoft réside davantage dans le développement de l’interprète Altair BASIC par Bill Gates et Paul Allen, conçu sans accès direct à l’ordinateur cible, démontrant une ingéniosité remarquable. La publication de ce code ancien enrichit la compréhension des fondations de l’informatique personnelle.

Réveil ! 16b

“wake up! 16b”, une production demoscene de seulement 16 octets en assembleur x86, se distingue comme un exploit remarquable de sizecoding, combinant visuels et audio sur un ancien IBM PC. Révélée en 2026, cette démo génère un fractal de Sierpinski infini, visible comme une “pluie Matrix” et audible via le haut-parleur du PC. L’ingéniosité réside dans l’exploitation des caractéristiques matérielles, telles que la mémoire vidéo comme espace de calcul et l’état initial non nul de la RAM après un démarrage BIOS.

Le code utilise des opérations XOR pour révéler la géométrie du fractal (équivalent à la règle 60 des automates cellulaires) et envoie directement le résultat au haut-parleur. Des astuces d’assembleur, comme les instructions polymorphiques et les sauts au milieu d’opcodes, réduisent la taille. Le mouvement rétrograde de 56 octets crée une cisaille diagonale visuelle et des changements d’octave sonores. Le son distinctif, qualifié de “punky et granuleux”, provient de l’utilisation inattendue du code ROM BIOS masqué. Considéré comme un chef-d’œuvre, il repousse les limites de la densité algorithmique, montrant une profondeur mathématique insoupçonnée dans un code minimal.

Reasonix — Agent de codage IA natif de DeepSeek pour votre terminal

L’analyse suivante s’appuie sur les discussions, l’article original n’ayant pas pu être chargé. Avec la réduction de prix permanente de DeepSeek V4 Pro, l’intérêt pour des agents de codage optimisés comme Reasonix grandit. Ce projet indépendant, ciblant spécifiquement DeepSeek, vise à améliorer l’efficacité par une gestion innovante du cache. Il optimise les taux de réussite du cache en maintenant des préfixes de prompt stables et en raffinant le “tool call pruning”. Bien que l’impact de ce dernier sur le cache et les coûts varie selon les modèles (bénéfique pour DeepSeek, moins pour d’autres), il peut réduire les dépenses et améliorer l’expérience utilisateur.

Cette stratégie contraste avec les frameworks génériques qui invalident fréquemment le cache en reconstruisant les prompts. Le choix entre modèles rentables comme DeepSeek et des modèles “state-of-the-art” (SOTA) comme GPT-5.5 ou Claude Opus est au cœur des débats. DeepSeek offre une solution viable et économique pour des tâches simples, mais les modèles SOTA démontrent une supériorité notable pour des problèmes complexes, réduisant la frustration et le temps de dépannage. Le développement des agents de codage est également marqué par des discussions sur l’éthique des modèles ouverts contre propriétaires et la fragmentation des outils. Reasonix se distingue aussi par la réparation des arguments d’outils malformés.

Amazon Web Services : Quatre ans et puis s’en va

Un ingénieur quitte Amazon Web Services (AWS) après quatre ans, évoquant un soulagement face à une entreprise dont la culture a profondément changé. Initialement axée sur l’innovation orientée client, AWS serait désormais obnubilée par l’intelligence artificielle générative (GenAI), au détriment de l’expertise humaine et des besoins fondamentaux.

Cette évolution se manifeste par une perception des employés comme “interchangeables”, un manque de reconnaissance de leur savoir-faire et une dégradation du support client, souvent redirigé vers des bots IA inefficaces. La stratégie actuelle privilégie la production rapide de services GenAI “suffisants”, sans toujours répondre à des problèmes réels, érodant la culture historique d’innovation d’AWS. Cette approche soulève des inquiétudes quant à l’avenir de l’open source, la valeur du travail humain et les risques d’une économie où le contenu est généré par l’IA pour l’IA.

Communauté Client AMD

L’article n’ayant pas pu être chargé, l’analyse se base sur les discussions. AMD, à travers sa division Xilinx, a déclenché une vague de critiques en annonçant la suppression du support Linux pour la version gratuite de son logiciel de conception FPGA Vivado (2026.1). Cette décision, qui maintient le support gratuit uniquement pour Windows, est perçue comme un obstacle majeur pour les étudiants, les développeurs indépendants et les petites entreprises, souvent adeptes de Linux.

Si AMD invoque une “décision marketing” pour ses niveaux de licence, de nombreux utilisateurs y voient une stratégie de monétisation déguisée, une tentative de réduire les coûts ou une réorientation des priorités. L’absence de justification détaillée et la réaction perçue comme autoritaire du support client face aux doléances ont exacerbé le ressentiment. Cette approche risque d’aliéner une communauté cruciale pour l’écosystème AMD et pousse les utilisateurs à explorer des alternatives open source ou des offres de concurrents comme Intel ou Lattice, soulevant des questions sur l’engagement d’AMD envers les développeurs de base.

Coûts des Composants de Puces d’IA : La Mémoire à 63% | Epoch AI

Le coût de la mémoire à large bande passante (HBM) s’est imposé comme le facteur dominant dans la fabrication des puces d’intelligence artificielle, représentant désormais 63 % des dépenses totales en composants d’ici fin 2025, contre 52 % début 2024. Cette augmentation est drastique : les investissements en HBM par des leaders comme Nvidia, AMD, Google et Amazon ont bondi de 12 milliards de dollars en 2024 à 32 milliards en 2025.

Cette flambée s’explique par une demande d’IA sans précédent, notamment pour les grands modèles de langage, face à une offre de mémoire limitée. Les fabricants, échaudés par des cycles historiques de surproduction et de guerres des prix, adoptent une stratégie prudente, préférant maintenir des marges élevées plutôt que d’investir massivement dans de nouvelles capacités coûteuses et risquées. Cette réticence crée une pénurie persistante, obligeant des géants comme Microsoft et Meta à revoir leurs budgets d’investissement à la hausse.

Bien que des innovations architecturales en IA puissent optimiser l’utilisation de la mémoire, la tendance structurelle est à la hausse. L’émergence potentielle de fabricants chinois pourrait, à long terme, injecter de la concurrence et apaiser les prix, mais des barrières géopolitiques et des investissements colossaux ralentissent ce processus. Cette dynamique contraint le marché du matériel grand public et consolide le modèle de l’IA par abonnement, le traitement lourd se déplaçant vers le cloud.

Des escrocs exploitent un compte interne de Microsoft pour envoyer des liens de spam

Depuis des mois, des escrocs tirent parti d’une vulnérabilité interne chez Microsoft pour expédier des e-mails frauduleux via une adresse légitime, msonlineservicesteam@microsoftonline.com. Cette adresse, normalement utilisée pour des notifications cruciales comme l’authentification à deux facteurs, est détournée après la création de faux comptes, induisant les utilisateurs en erreur sur l’authenticité des messages. Microsoft a confirmé enquêter activement pour renforcer ses défenses et supprimer les comptes abusifs.

Cet incident s’inscrit dans une tendance plus large où les systèmes de communication des entreprises sont ciblés. La gestion souvent complexe et disparate des noms de domaine par les grandes organisations rend ardue pour les utilisateurs la distinction entre les communications officielles et les tentatives d’hameçonnage. Des pratiques de sécurité robustes, comme celles adoptées par des banques incitant leurs clients à ne jamais faire confiance à des appels non sollicités ou à utiliser des canaux dédiés, sont essentielles pour contrer à la fois les fraudeurs externes et les failles internes. La difficulté à signaler efficacement ces abus aux géants de la technologie souligne un besoin critique d’améliorer les protocoles de sécurité et les standards de communication transparents.

Le travail sur quatre jours en Australie : une étude révèle des résultats prometteurs mais nuancés

Une nouvelle étude menée auprès de 15 entreprises australiennes confirme les bénéfices du modèle de semaine de travail sur quatre jours (100 % du salaire, 80 % du temps, 100 % de la productivité). Quatorze des quinze entreprises ont maintenu ce régime après l’essai, aucune n’ayant signalé de baisse de productivité ; six ont même constaté une amélioration. Au-delà des chiffres, la motivation principale était souvent la réduction de l’épuisement professionnel.

Loin d’être une simple compression du temps, ce modèle exige une refonte des méthodes de travail pour éliminer les tâches superflues et améliorer la concentration. Cependant, la méthodologie qualitative de l’étude, basée sur des entretiens avec un échantillon restreint identifié via les médias, soulève des questions sur la généralisation des résultats et l’influence d’un possible “effet de nouveauté”. La flexibilité est également cruciale, avec des mises en œuvre variant fortement selon les secteurs. Si la semaine de quatre jours offre des pistes pour repenser le travail à l’ère de l’IA et de l’automatisation, son applicabilité reste un défi dans des domaines comme la santé ou la logistique.

Claude n’est pas votre architecte. Cessez de le laisser prétendre.

Les agents d’IA, bien qu’excellents pour l’implémentation, sont inaptes à la conception architecturale de systèmes. Ils valident les idées avec enthousiasme et proposent des architectures techniquement plausibles mais génériques, car ils manquent de jugement critique, de contexte spécifique à l’équipe et à l’environnement, et de la capacité essentielle de dire “non”. Cette nature “pathologiquement agréable” conduit à des conceptions “tour de Jenga” non adaptées aux contraintes réelles, transformant les ingénieurs expérimentés en simples exécutants de tâches générées par l’IA.

Ce processus court-circuite la discussion humaine cruciale et crée un vide de responsabilité : quand les systèmes échouent, l’IA ne porte pas le fardeau. Toutefois, l’IA reste un outil puissant. Son efficacité dépend de l’utilisateur : elle peut être un multiplicateur de productivité pour les experts qui l’emploient comme assistant pour l’implémentation, la recherche, ou pour obtenir des critiques si elle est correctement sollicitée. L’architecture exige toujours le jugement humain, la compréhension du contexte et la prise de décisions éclairées pour défendre la simplicité face à la complexité.

DeepSeek Rend Permanent le Rabais de 75 % sur Son Modèle IA Phare

DeepSeek a annoncé une mesure stratégique majeure en rendant permanent le rabais de 75 % sur son modèle d’intelligence artificielle phare, le V4-Pro. Initialement prévue pour expirer fin mai, cette réduction maintient les coûts pour les développeurs au quart de leur prix originel. Cette initiative est destinée à intensifier la concurrence au sein de l’industrie de l’IA. En abaissant durablement ses tarifs, DeepSeek, une entreprise chinoise, cherche à capter une part de marché plus importante, exerçant une pression significative sur les acteurs existants et les nouveaux entrants. Ce mouvement reflète une phase d’accélération dans la guerre des prix des modèles d’IA, où les firmes chinoises défient de plus en plus directement leurs homologues mondiaux, redessinant potentiellement le paysage économique et concurrentiel du secteur.

Greg Brockman : Les 72 heures qui ont failli tuer OpenAI

Greg Brockman, cofondateur et président d’OpenAI, a livré un récit détaillé des 72 heures qui ont suivi le limogeage de Sam Altman, décrivant sa propre démission, la formation d’une entreprise de secours “Phoenix” et le rôle pivot d’Ilya Sutskever dans le dénouement de la crise. Cette période critique a mis en lumière la fragilité d’une entreprise au cœur de la course à l’IA.

L’entretien éclaire également la transformation structurelle d’OpenAI, initialement fondée en 2015 comme une organisation à but non lucratif. La découverte des “lois de l’échelle” en 2017 a révélé la nécessité d’investissements massifs en puissance de calcul, poussant l’entreprise à créer une filiale à profit plafonné en 2019 pour attirer des fonds commerciaux, notamment de Microsoft. Cette évolution est perçue par certains comme un renoncement à la mission initiale au profit de la capitalisation, malgré la participation significative (26%) que la fondation non lucrative détient désormais dans l’entité commerciale, évaluée à 200 milliards de dollars.

La discussion soulève des questions fondamentales sur la nature de l’intelligence artificielle, interrogeant si les modèles linguistiques actuels représentent une véritable AGI ou s’il s’agit principalement de machines de prédiction de texte. L’opposition entre la complexité de Shannon et celle de Kolmogorov est évoquée pour distinguer la reconnaissance de motifs de la capacité de raisonnement à partir de principes premiers. Un point de vue critique suggère que le modèle économique d’OpenAI, exploitant la somme des connaissances humaines, se positionne comme un “collecteur de loyers” plutôt que comme un bâtisseur d’infrastructures ouvertes.

[2605.06445] Déclin des contraintes : La fragilité des agents LLM dans la génération de code backend

Le papier intitulé “Constraint Decay: The Fragility of LLM Agents in Backend Code Generation” n’ayant pas pu être consulté, cette analyse se fonde sur les discussions approfondies qui l’entourent. Ces échanges révèlent une conclusion centrale : la performance des agents LLM pour la génération de code backend se dégrade notablement lorsque, au-delà des exigences fonctionnelles, ils doivent adhérer simultanément à des contraintes comportementales et architecturales complexes.

Les modèles excellent lorsqu’ils disposent de spécifications claires, de tests rigoureux ou d’exemples de code pour guider le style, agissant alors comme de puissants outils de synthèse de programmes. Ils peuvent automatiser des tâches répétitives et accélérer des développements, même sur des bases de code existantes, si le contexte est bien géré.

Cependant, leur fragilité apparaît face aux spécifications incomplètes, aux décisions nécessitant un jugement subtil ou au respect des conventions non formalisées. Ils peinent à suivre des guides de style ou à éviter la verbosité, et leur efficacité diminue avec la taille croissante du code, faute de pouvoir gérer un contexte étendu. L’intégration de vérifications architecturales via des linters et une approche itérative avec supervision humaine sont jugées essentielles pour compenser ces limitations et transformer ces agents en assistants de codage efficaces plutôt qu’en créateurs autonomes.

L’impact transformateur des livres d’initiation à la programmation

L’article n’ayant pu être chargé, cette analyse se base sur des discussions approfondies soulignant le rôle fondamental des anciens manuels de programmation, notamment les livres Usborne. Ces ouvrages ont été des catalyseurs de vocations technologiques, guidant des enfants de l’ère pré-Internet vers des carrières en ingénierie logicielle, conseil et robotique.

À une époque sans web, l’apprentissage était souvent solitaire et exigeant. Il impliquait la fréquentation de bibliothèques, l’expérimentation sur des ordinateurs obsolètes et l’assemblage de pièces coûteuses commandées par correspondance, sans le soutien des forums ou tutoriels vidéo actuels. Cette autonomie a cultivé une compréhension profonde des systèmes, du code machine aux composants matériels, enseignant la persévérance et la résolution de problèmes face à des obstacles pratiques considérables.

Si des projets comme le Raspberry Pi tentent de recréer cette opportunité moderne, le choix du langage d’apprentissage reste un débat. Le BASIC d’antan est valorisé pour sa simplicité, tandis que Python est souvent utilisé aujourd’hui, bien que ses contraintes de formatage posent des défis pour les supports imprimés. Indépendamment des outils, l’impact de ces guides introductifs fut immense, façonnant des trajectoires professionnelles inattendues et enrichissantes.

abyss * vos dotfiles ne sont pas une distribution

La question de savoir si Omarchy constitue une distribution Linux à part entière ou une simple surcouche de configurations personnalisées (dotfiles) basée sur Arch Linux est au cœur des discussions. Certains la valorisent pour son expérience “prête à l’emploi”, facilitant l’accès à des gestionnaires de fenêtres avancés comme Hyprland sans configuration fastidieuse. Installable et mise à jour comme une distribution traditionnelle, Omarchy offre un système cohérent avec des choix par défaut assumés, incluant des logiciels propriétaires, perçus comme un moyen d’attirer et de simplifier l’adoption de Linux pour les nouveaux venus.

Cependant, des voix critiques estiment qu’Omarchy est avant tout une collection de “dotfiles” de DHH, s’interrogeant sur la légitimité de ses événements et de son financement comparés aux distributions historiques. Des préoccupations sont exprimées concernant des préférences par défaut très spécifiques (écrans haute résolution, configuration SSH) et des pratiques d’installation (scripts externes) qui soulèvent des questions de sécurité et d’universalité. Perçue comme un “produit d’influenceur”, elle incarne la tension entre la démocratisation de Linux par des systèmes très curatés et le respect des critères techniques et communautaires traditionnels d’une distribution.

L’informatique de l’enfance - Susam Pal

L’article “L’informatique de l’enfance” décrit une expérience formatrice dans un laboratoire informatique scolaire en 1992, où d’anciens PC IBM, lançant Logo via disquettes, ont allumé une passion durable pour l’informatique malgré un accès limité. Cette interaction pratique et ritualisée, incluant l’écriture de programmes sur papier et leur partage manuel, a cultivé un profond émerveillement et stimulé de précoces aspirations en codage.

Cette perspective résonne largement, illustrant une époque où l’informatique était un luxe coûteux, souvent accessible par les écoles ou l’investissement parental. Nombreux ont découvert leur vocation en expérimentant avec des ressources limitées, en programmant à partir de manuels, ou en réparant du matériel, souvent sous l’égide d’enseignants ouverts d’esprit. Cette exploration directe et libre, du QBasic aux premières pages web, fut cruciale pour forger une compréhension fondamentale. Une préoccupation majeure réside aujourd’hui dans la nature “verrouillée” de la technologie moderne, qui restreint cette expérimentation directe, entravant potentiellement le développement des futurs innovateurs. La “magie” de la découverte, jadis centrale à l’informatique, est souvent diluée par les environnements numériques omniprésents, homogénéisés et commercialisés d’aujourd’hui, soulignant l’importance de comprendre l’effort humain derrière les logiciels.

L’erreur et la justesse du mouvement anti-huiles de graines

Un mouvement croissant, amplifié par des influenceurs et des personnalités politiques, propage une “panique des huiles de graines”, les présentant comme toxiques tout en promouvant les graisses animales comme le suif. Cette désinformation impacte la santé des patients cardiaques et a même influencé des directives alimentaires.

Pourtant, les “huiles de graines” désignent des huiles végétales riches en graisses polyinsaturées et monoinsaturées. Des décennies de recherche démontrent qu’un remplacement des graisses saturées par ces huiles réduit significativement les risques cardiovasculaires, comparable aux bénéfices des statines. Les allégations concernant l’inflammation systémique ou les méfaits de l’oxydation en cuisine ne sont pas étayées par des essais cliniques solides.

Si les aliments ultra-transformés sont problématiques, les huiles végétales n’en sont qu’un ingrédient, pas la cause principale. Le suif de bœuf, souvent présenté comme une alternative saine, contient des graisses trans ruminantes jugées dangereuses par les cardiologues. La science nutritionnelle prône une approche moins sensationnelle : privilégier les légumes, les légumineuses, limiter les aliments ultra-transformés et opter pour l’huile d’olive. C’est le régime alimentaire global qui importe, un constat moins vendeur mais factuel.

Le « AI washing » : quand les entreprises se ruent pour se présenter comme des spécialistes de l’IA

De nombreuses entreprises se livrent à un phénomène de « AI washing », présentant des automatisations courantes ou des technologies existantes comme de l’intelligence artificielle pour capitaliser sur l’engouement actuel. Les professionnels des relations publiques dénoncent cette pression de leurs employeurs, les forçant à soumettre aux journalistes des communications artificiellement gonflées, générant scepticisme et lassitude. Cette pratique s’étend de la reconversion d’une entreprise de chaussures à l’ajout fallacieux du label IA à des appareils du quotidien ou des scanners immobiliers.

Derrière cette frénésie marketing, motivée par la quête d’investissements et de pertinence, se cachent des enjeux plus profonds. Tandis que les marchés financiers semblent parfois indifférents à cette surpromotion, une perception négative de l’IA grandit dans le public, notamment chez les jeunes. Cette méfiance est alimentée par la crainte de la perte d’emplois, l’impact environnemental des infrastructures IA, ou la simple déception face à des produits dits « AI-powered » qui n’apportent pas la valeur promise. La situation rappelle des épisodes passés de bulles technologiques (comme le « blockchain washing »), soulevant la question de savoir si cet élan est un progrès authentique ou une exploitation cynique des attentes, ignorant les implications sociétales.

Comment Alexander Grothendieck a Révolutionné les Mathématiques du XXe Siècle | Quanta Magazine

Alexander Grothendieck, figure majeure des mathématiques du XXe siècle, a fondamentalement transformé la discipline, notamment la géométrie algébrique, en poussant l’abstraction à des niveaux inédits. Comparé à Einstein pour la physique, son génie résidait dans sa capacité à déceler des “structures cachées” et des “formes” sous-jacentes, privilégiant les relations entre objets plutôt que les objets eux-mêmes. Son indifférence aux exemples numériques concrets, comme en témoigne son célèbre choix du “57” comme nombre premier lors d’une discussion, illustre cette pensée axée sur les concepts universels.

Son innovation la plus marquante fut la théorie des “schémas”, un cadre qui a unifié la géométrie algébrique en résolvant une crise conceptuelle et en la connectant à d’autres domaines comme la théorie des nombres. Les schémas permettent d’étudier les propriétés des équations indépendamment des systèmes de nombres spécifiques, offrant une nouvelle “voie royale” pour les mathématiciens. Malgré un retrait ascétique de la communauté scientifique dès 1970, et des spéculations sur les “terribles vérités” ou les visions apocalyptiques qui auraient motivé son isolement, l’héritage de Grothendieck continue de façonner la recherche mathématique.

Mastering Dyalog APL — Mastering Dyalog APL

Le manuel “Mastering Dyalog APL”, ressource clé pour l’apprentissage du langage, est activement mis à jour. Face à l’obsolescence rapide des ouvrages imprimés, la version de 2009 est révisée pour offrir une expérience interactive via des Jupyter Notebooks, une édition statique en ligne, et une nouvelle version imprimée. Cette refonte, menée par Rodrigo Girão Serrão, intègre les avancées de Dyalog APL, en enrichissant et modernisant les explications et exemples.

Dyalog APL se distingue par sa notation concise et sa manipulation de tableaux, qui peut transformer radicalement la pensée algorithmique. Si son approche est parfois assimilée à la résolution d’énigmes et peut, par défaut, mener à des implémentations moins efficientes (comme un générateur de nombres premiers en complexité N²), il est crucial de noter que des solutions APL écrites judicieusement peuvent atteindre une efficacité redoutable, rivalisant voire surpassant des langages comme le C. Maîtriser APL demande plus que des exercices isolés ; cela implique de développer des applications complètes et d’adopter une perspective unique sur la structure des problèmes. Le langage jouit d’une popularité significative dans le secteur de la fintech.

<Now Go Bang!> La police du “Dead Test” du C64

Une exploration révèle la police d’affichage unique de la cartouche de diagnostic “Dead Test” du Commodore 64. Intégrée directement dans sa ROM, cette police distinctive permet à la cartouche de fonctionner indépendamment des ROMs internes du C64, un atout essentiel pour un outil de diagnostic. Son style visuel, reconnaissable instantanément, s’inspire clairement des caractères MICR (Magnetic Ink Character Recognition) E-13B, optimisé pour les moniteurs professionnels des techniciens, et non pour les écrans grand public.

Une découverte surprenante est un “Easter egg” délibérément caché : un symbole de “transit” MICR, utilisé pour les codes bancaires, remplace le point d’exclamation, une référence discrète à ses racines typographiques. Techniquement, la cartouche exploite le “mode Ultimax” du C64, un héritage du Commodore Max, contournant ses ROMs standard pour charger les siennes, y compris la table de caractères. Cette plongée dans l’histoire de l’informatique et de la typographie documente une icône négligée, rendue accessible pour un usage général, soulignant l’attrait de ces détails techniques.

Le ministère de la Justice supprime les communiqués de presse sur les accusés du 6 janvier de son site web

Le ministère de la Justice américain, sous l’administration Trump en 2025, a orchestré le retrait intégral des communiqués de presse de son site web concernant les affaires pénales liées à l’assaut du 6 janvier 2021 contre le Capitole, qualifiant ces informations de “propagande partisane”. Cette initiative s’inscrit dans une démarche plus vaste de réécriture de l’histoire de ces événements. Elle fait suite aux grâces présidentielles et aux commuations de peines accordées dès le premier jour du mandat à plus de 1 500 individus inculpés, y compris ceux reconnus coupables d’agressions violentes.

En parallèle, un fonds de 1,776 milliard de dollars a été créé pour indemniser les alliés de Trump qui s’estiment victimes de poursuites injustes, l’éligibilité des émeutiers violents à ces compensations suscitant une indignation bipartisane. Des condamnations clés pour conspiration séditieuse contre des membres des Proud Boys et des Oath Keepers ont également été annulées. Ces actions soulèvent de profondes inquiétudes quant à la suppression de l’information publique, la manipulation des récits officiels et l’instrumentalisation du système judiciaire, perçues comme la création de dangereux précédents, notamment en récompensant d’éventuels futurs soulèvements. La nécessité de préserver l’intégrité des archives publiques est plus que jamais mise en évidence pour contrer ces tentatives de révision historique.

Migrer de Go vers Rust : Analyse approfondie des enjeux et des bénéfices

La migration de Go vers Rust cible principalement les services backend, privilégiant la robustesse et le contrôle fin plutôt que la simple performance. Rust intègre les vérifications de sécurité (gestion des valeurs nulles, erreurs, concurrences) directement dans son système de types, évitant ainsi de nombreuses erreurs de production, là où Go s’appuie sur des conventions ou des outils.

Go brille par ses goroutines ergonomiques, l’absence de “fonction colorée” pour l’asynchronisme, et un écosystème de bibliothèques très mature, souvent issu de Google. Sa gestion des erreurs, bien que verbeuse, est cohérente. En revanche, Rust, avec ses types Option<T> et Result<T, E>, élimine des classes entières de bugs (paniques nil, courses de données) dès la compilation. Ses génériques, monomorphisés et fondationnels, offrent des abstractions sans coût d’exécution.

Cependant, Rust présente des défis : une courbe d’apprentissage plus abrupte due à l’emprunteur, des temps de compilation plus longs, et une gestion des erreurs perçue comme plus complexe par certains. L’écosystème Rust est en croissance, mais Go garde l’avantage dans certains niches. Les bénéfices incluent des réductions CPU/mémoire, une latence plus stable et moins d’incidents. Des migrations tactiques sont conseillées, Go restant une option viable pour des services moins critiques ou le prototypage.

Directive CBP n° 3340-049B : Fouille des appareils électroniques aux frontières

La directive 3340-049B du Service des douanes et de la protection des frontières (CBP) des États-Unis définit les procédures encadrant la fouille, l’examen, la rétention et le partage des informations contenues dans les appareils électroniques des voyageurs aux frontières. Cette politique officielle s’applique à une large gamme de dispositifs, des ordinateurs portables aux téléphones mobiles, lors des entrées et sorties du territoire américain.

Un point de discorde majeur est l’obligation pour les voyageurs de rendre leurs appareils accessibles, les agents pouvant exiger mots de passe ou clés de chiffrement pour l’inspection, bien que l’accès aux données uniquement stockées à distance soit proscrit. Cette autorité est particulièrement vaste en cas de préoccupations de sécurité nationale, souvent sans nécessiter de soupçon raisonnable.

Les conséquences diffèrent selon le statut : un citoyen américain ne peut se voir refuser l’entrée mais risque des retards et la saisie de ses appareils, tandis qu’un non-citoyen peut se voir refuser l’accès au territoire pour non-coopération. Cette directive soulève des questions importantes sur la vie privée et l’étendue du pouvoir étatique aux frontières, avec des répercussions sur la liberté de circulation et le commerce.

‘Fuck you, Bambu’ : Comment un message privé pourrait changer le visage de l’impression 3D | The Verge

Le géant de l’impression 3D Bambu Lab, autrefois pressenti pour devenir “l’Apple du secteur”, se retrouve au centre d’une vive controverse. L’entreprise a contacté le développeur Paweł Jarczak pour lui demander de supprimer un code permettant le contrôle à distance de ses imprimantes sans le logiciel propriétaire de Bambu. Cette injonction a déclenché la fureur de la communauté open-source, qui accuse Bambu de violer la licence AGPLv3 sur laquelle son logiciel, Bambu Studio, est basé.

Des personnalités influentes et des organisations comme le Software Freedom Conservancy ont promis un soutien financier et juridique à Jarczak, craignant une “enshittification” du marché, avec des imprimantes verrouillées à des consommables ou services payants. Bambu justifie ses actions par des impératifs de sécurité et soutient que son plugin réseau est un composant “livré séparément” non couvert par l’AGPLv3. Toutefois, des experts juridiques soulignent l’ambiguïté de la jurisprudence sur l’AGPL. Ce conflit met en lumière la tension entre les intérêts commerciaux et les principes de liberté du logiciel, soulevant des questions fondamentales sur l’avenir de l’écosystème de l’impression 3D.

Ruby for Good

L’événement annuel Ruby for Good, prévu du 27 au 30 août dans la région de Washington D.C., est un rassemblement de programmeurs internationaux dédié à la création et à la contribution de projets open source au bénéfice d’organisations à but non lucratif. Loin d’être un hackathon épuisant, il est conçu comme un “camp de nerds pour le bien”, privilégiant une approche collaborative et conviviale où le travail sur des projets existants et l’initiation de nouvelles initiatives s’accompagnent d’activités sociales enrichissantes.

Cette année, l’accent est mis sur le domaine de la santé, avec le lancement de projets pour des associations œuvrant auprès d’enfants atteints de cancer, de soignants et d’organisations dédiées à la santé mentale. Au-delà de l’aide aux organisations, Ruby for Good vise à renforcer la communauté technologique et à favoriser le développement des compétences de tous les participants, quel que soit leur niveau. L’inscription inclut l’hébergement partagé, les repas et les activités, garantissant une expérience immersive et propice aux échanges. Les projets initiés lors de l’événement sont ensuite maintenus en open source, permettant des contributions continues.

AudioMass - Éditeur Audio

L’application web AudioMass, un éditeur audio multicanal, se distingue par sa philosophie axée sur la légèreté et le respect de la vie privée. Conçue sans backend, elle fonctionne entièrement côté client, garantissant l’absence de fuite d’informations ou de publicités, un atout majeur pour les utilisateurs soucieux de leurs données. Bien que le contenu de l’article source n’ait pas été fourni, les échanges autour du projet révèlent une ambition de fournir 90 % des fonctionnalités d’un DAW professionnel, à l’image de Photopea pour Photoshop, ciblant des opérations rapides et simples.

Parmi les fonctionnalités clés, on note la gestion des sessions multipistes exportables en .amss et un système de cache audio via IndexedDB, dont la fiabilité est toutefois remise en question. Le rendu actuel des formes d’onde utilise le DOM, mais une migration vers WebGPU est envisagée pour optimiser les performances sur des sessions complexes. Les perspectives d’utilisateurs expriment un vif intérêt pour des outils collaboratifs en ligne, permettant de “jammer” à distance en ajoutant des pistes (batterie, guitare, basse), tout en acceptant que l’application puisse peser quelques dizaines de mégaoctets si la richesse fonctionnelle est au rendez-vous. La modernité de l’interface et l’accessibilité via navigateur sont des arguments décisifs, contrastant avec des alternatives comme Audacity.

La Directrice Exécutive de la FreeBSD Foundation Tente d’Utiliser FreeBSD Quotidiennement sur un Ordinateur Portable - Phoronix

L’initiative de la directrice exécutive de la FreeBSD Foundation d’expérimenter l’utilisation quotidienne de FreeBSD sur un ordinateur portable suscite un débat significatif. Certains observateurs questionnent la profondeur de cette “utilisation quotidienne”, la décrivant comme marginale, et s’interrogent sur la pertinence pour un dirigeant de ne pas déjà être un utilisateur assidu du système d’exploitation de sa propre organisation. Cette perspective met en lumière l’attente d’une incarnation totale du produit par ses leaders, à l’image d’autres géants de la tech.

Cependant, il est souligné que FreeBSD a traditionnellement ciblé les serveurs, où les exigences en matière de support matériel pour ordinateurs portables (autonomie de la batterie, Wi-Fi grand public, GPU) sont moins critiques. Les efforts actuels pour améliorer la compatibilité sur les laptops sont donc perçus comme un pas utile pour élargir l’attrait de FreeBSD. De plus, la distinction est faite entre la FreeBSD Foundation, qui soutient le projet, et le FreeBSD Project lui-même, dirigé par une équipe de développement. Cette démarche, malgré les critiques, marque une évolution notable pour rendre FreeBSD plus accessible au-delà de son niche historique.

L’Essentiel de la Compression d’Images Apprise Pratique

Apple a présenté PICO (Perceptual Image Codec), un codec de compression d’images basé sur l’apprentissage, conçu pour optimiser la perception humaine et l’efficacité sur appareil. PICO promet des réductions de débit de 2,3 à 3 fois par rapport aux codecs traditionnels comme AV1 et VVC, et 20 à 40% par rapport à d’autres solutions d’apprentissage automatique. Il revendique un encodage de 12MP en 230ms et un décodage en 150ms sur iPhone 17 Pro Max, surpassant des performances ML sur GPU V100, et assure une robustesse multiplateforme.

Des analyses critiques nuancent cependant ces avancées. La performance sur iPhone, comparée à un GPU V100 quatre fois plus puissant, interroge l’équité des benchmarks. Un temps de décodage de 150ms pour 12MP est jugé lent pour les résolutions modernes (48MP, 200MP) et les écrans à haute fréquence, pouvant entraîner un décalage perceptible. PICO, opérant à des bitrates extrêmement bas (sous 0.3 bpp), semble recourir à la “synthèse de texture” ou “hallucination” pour générer des micro-détails, plutôt que de les reproduire fidèlement. Cette approche pose une question philosophique sur l’authenticité de l’image compressée, notamment pour des usages où la précision des textures est cruciale (e.g., e-commerce). La déterminisme du codec est également une préoccupation.

Vaincre la fatigue de la rigueur Git avec Jujutsu

Le défi de maintenir une histoire de commits propre et cohérente, particulièrement pour les grandes fonctionnalités, est une source de “fatigue de la rigueur Git”. Le processus traditionnel de création de “bons commits” — petits et ciblés — est souvent laborieux, menant à des historiques désordonnés.

Une approche proposée utilise Jujutsu (jj) pour contourner cette rigueur. Elle permet de travailler initialement avec des commits improvisés, puis de les restructurer a posteriori en une séquence logique (par exemple, séparant les modifications UI des définitions de types). Ce workflow, facilité par des commandes comme jj squash, est présenté comme plus simple que la discipline constante requise par Git, transformant des réécritures d’historique complexes en une tâche moins sujette aux erreurs. Jujutsu simplifie également la manipulation des commits et la gestion des branches à distance.

Cependant, cette méthode suscite des débats. Certains développeurs s’interrogent sur sa praticité en équipe, notamment la gestion des branches pour la collaboration et le suivi des travaux. D’autres préfèrent le contrôle granulaire de Git via rebase -i ou git absorb, considérant que Jujutsu n’offre pas un avantage décisif. Le compromis entre la facilité de débogage d’un historique linéaire strict et la commodité d’une histoire épurée pour les relecteurs reste central. La courbe d’apprentissage de Jujutsu est également un frein pour certains, qui ne voient pas l’intérêt d’un nouvel investissement si Git leur convient.

Microsoft rend public le code source historique du BASIC 6502

Microsoft a récemment franchi une étape significative en rendant open source son code BASIC pour le microprocesseur 6502, une initiative majeure pour la préservation numérique. Ce code, créé par Bill Gates et Paul Allen en 1975 comme premier produit de l’entreprise, a été adapté en 1976 pour le 6502. Il fut ensuite concédé sous licence à Commodore pour 25 000 dollars, devenant le cœur des ordinateurs PET, VIC-20 et Commodore 64, et fondant également l’Applesoft BASIC pour l’Apple II.

Cette version 1.1, incluant des correctifs historiques, était essentielle pour des millions de débutants en programmation. La décision de Microsoft confirme et légitime les efforts de la communauté rétro-informatique qui avait déjà reconstruit des versions non officielles de ce langage fondamental. Le 6502, ayant propulsé des machines iconiques comme l’Apple II et le NES, continue d’inspirer les développeurs et les passionnés. Cette libération s’inscrit dans une série d’initiatives de Microsoft visant à valoriser son patrimoine logiciel, comme l’ouverture du code de GW-BASIC et de MS-DOS, reconnaissant l’importance durable du BASIC comme langage fondateur de l’informatique personnelle et professionnelle.

Quand (et si) il est approprié de plaisanter, de faire des selfies ou de jurer devant la Cour suprême | SCOTUSblog

La Cour suprême des États-Unis maintient un protocole strict pour les avocats lors des plaidoiries orales. Son “Guide for Counsel” détaille des attentes précises : l’utilisation de titres honorifiques spécifiques pour les juges, l’interdiction absolue d’interrompre une Justice, et l’obligation de fournir des réponses directes et concises. Si le guide déconseille l’humour de la part des avocats, l’usage de jurons, bien que généralement évité, est toléré pour citer directement des propos ou lorsque ces termes sont au cœur de l’affaire, comme dans le cas de Mullin v. Doe. Les avocats reçoivent un stylo à plume en souvenir, mais les appareils électroniques et les selfies sont interdits.

Ces règles sont interprétées de diverses manières : certains y voient un moyen d’affirmer le pouvoir judiciaire et de “sacraliser” les juges, tandis que d’autres estiment qu’elles sont essentielles pour maintenir l’intégrité institutionnelle, l’ordre procédural et assurer le bon fonctionnement d’une branche gouvernementale cruciale. Cependant, le respect de ces normes est remis en question par des critiques dénonçant une politisation perçue de la Cour et des préoccupations éthiques, notamment des cadeaux non déclarés à des juges, ce qui soulève des doutes sur l’impartialité de l’institution.

Mises à jour partielles déclaratives : vers un Web plus dynamique

Le Web a évolué bien au-delà de son rôle initial de simple support documentaire, nécessitant des applications dynamiques et performantes. Pourtant, le rendu linéaire du HTML reste une contrainte, souvent contournée par des frameworks JavaScript lourds ou des compromis de performance. Pour y remédier, l’équipe Chrome propose les “Declarative Partial Updates”, une série d’ajouts à la plateforme web visant à moderniser la gestion du contenu.

Cette initiative introduit deux ensembles d’API. Le premier permet la diffusion hors ordre du HTML, utilisant l’élément <template> et de nouvelles instructions de traitement <?marker> pour insérer dynamiquement du contenu. Cela autorise l’affichage de sections de page dès qu’elles sont prêtes, améliorant la réactivité. Le second optimise les méthodes d’insertion HTML via JavaScript, offrant de nouvelles API de streaming comme setHTML, avec des options de sanitisation et des versions “unsafe” pour des cas d’usage spécifiques.

L’objectif est de faciliter le développement d’applications basées sur des composants, de réduire la complexité et d’améliorer les performances en évitant d’attendre le chargement complet de la page. Ces propositions sont en cours de standardisation et reçoivent un accueil positif de plusieurs éditeurs de navigateurs. Bien qu’elles marquent un pas significatif vers des solutions natives et standardisées, certains développeurs espèrent toujours des API encore plus simples et déclaratives pour des mises à jour DOM en temps réel, afin de diminuer la dépendance aux abstractions en JavaScript. Des polyfills sont disponibles pour un test anticipé.

La polarisation politique des résultats de santé aux États-Unis

Une analyse récente révèle une polarisation croissante des résultats de santé aux États-Unis, où les Américains conservateurs ont connu une détérioration de leur santé et une mortalité plus élevée que les libéraux durant les années 2010 et au début des années 2020. Ce phénomène s’explique par deux mécanismes principaux : un réalignement démographique intégrant des individus moins bien portants dans la coalition conservatrice, et une érosion de la confiance envers les professionnels de la santé chez les personnes de droite.

Cette méfiance se traduit par une moindre propension à consulter, à suivre les conseils médicaux ou à croire à l’efficacité des traitements, y compris pour des affections non liées à la COVID-19. La pandémie a d’ailleurs amplifié ces divergences. Le contexte politique montre que la perception publique des politiques de santé est souvent plus influencée par l’étiquette partisane que par le contenu réel, comme l’illustre la réception contrastée de l’ACA et de propositions historiques similaires. Ces dynamiques posent un défi majeur pour la santé publique, rendant difficile l’atteinte des populations conservatrices et promettant d’accentuer les disparités.

Un principe fondamental de l’ingénierie aéronautique a été bouleversé | WIRED

Une équipe de recherche de l’Université de Tohoku a radicalement remis en question un principe fondamental de l’ingénierie aéronautique, en vigueur depuis plus de 80 ans, selon lequel une surface lisse est essentielle pour réduire la traînée aérodynamique. Cette nouvelle étude démontre que l’application d’une micro-rugosité distribuée (DMR), composée d’irrégularités fines et aléatoires (38 à 53 micromètres), peut réduire la traînée jusqu’à 43,6 %.

Contrairement aux approches existantes comme la “peau de requin” (qui gère la turbulence) ou les alvéoles des balles de golf (qui induisent la turbulence pour réduire la traînée de pression), la DMR retarde la transition de l’écoulement laminaire vers le turbulent, réduisant ainsi la traînée de frottement. Cette avancée, rendue possible par des mesures précises dans une soufflerie à sustentation magnétique, promet des réductions significatives de consommation de carburant et d’émissions de CO2, grâce à sa nature passive, omnidirectionnelle et son faible coût. Des interrogations subsistent néanmoins quant à l’amélioration nette globale au-delà des zones de transition et la durabilité de ces surfaces délicates dans des conditions réelles.

Scriba : Une bibliothèque de journalisation Lisp structurée pour Guile Scheme, axée sur la flexibilité et la performance

Scriba se présente comme une bibliothèque de journalisation structurée innovante, conçue pour Guile Scheme, un dialecte Lisp. Son objectif principal est d’offrir une flexibilité, une performance et une configurabilité accrues par rapport aux méthodes de journalisation traditionnelles. L’outil se distingue par un contrôle granulaire du routage, du formatage et du filtrage des logs, permettant d’ajouter un contexte structuré essentiel pour une meilleure observabilité des applications.

La modularité est au cœur de Scriba, facilitant l’extension ou la création de loggers personnalisés. La performance est assurée par la mémoïsation des calculs et l’exploitation des expansions macro à la compilation. Un “auto-logger” simplifie la prise en main, configurant dynamiquement les comportements de journalisation via des variables d’environnement, idéal pour adapter les sorties (console en développement, JSON en production pour des outils comme Loki). La bibliothèque supporte différents niveaux de log et l’intégration de métadonnées contextuelles. Sous licence libre (LGPLv3+ et FDLv1.3+), Scriba promeut une approche collaborative et communautaire.

Tous les livres Lean et où les trouver

Ce guide exhaustif offre un aperçu critique des ressources incontournables pour maîtriser Lean, l’assistant de preuve. L’analyse explore une vaste gamme d’ouvrages et d’outils interactifs, chacun évalué pour ses forces et son public cible. Des fondamentaux du langage avec “Functional Programming In Lean” aux arcanes de la métaprogrammation avec “Metaprogramming in Lean”, en passant par les théories sous-jacentes de “The Hitchhiker’s Guide to Logical Verification”, le panorama est complet. “Theorem Proving in Lean” est présenté comme une ressource essentielle, recommandée quel que soit le parcours d’apprentissage.

Des chemins spécifiques sont tracés pour ceux souhaitant formaliser les mathématiques, développer des tactiques, ou débuter sans prérequis, soulignant l’importance d’outils ludiques comme le “Natural Number Game”. L’approche favorise une compréhension profonde, insistant sur le contexte théorique et les applications pratiques pour chaque étape de l’apprentissage de Lean.

Le jour où mon ping a pris des contre-mesures

L’analyse d’un message inattendu “ping: taking countermeasures” révèle une facette méconnue de cet utilitaire réseau essentiel. Ce phénomène survient lorsque l’horloge système recule, typiquement avant la synchronisation NTP, causant un temps de réponse (RTT) négatif. Pour y remédier, ping “prend des contre-mesures” en réinitialisant le RTT à zéro, évitant ainsi des valeurs aberrantes.

L’article explore les mécanismes internes, montrant que ping intègre des horodatages directement dans la charge utile des paquets ICMP pour mesurer le RTT, une méthode efficace mais sensible aux tentatives de falsification. La complexité de l’ingénierie inverse est accentuée par l’utilisation de vdso (rendant les appels système invisibles pour strace) et les permissions CAP_NET_RAW qui bloquent certaines techniques de débogage.

Malgré des options comme CLOCK_MONOTONIC, ping dépend du SO_TIMESTAMP non-monotonique, le rendant vulnérable aux ajustements majeurs de l’horloge, comme les secondes intercalaires. Face à ce message, l’utilisateur est invité à vérifier l’état de son démon NTP.

Les LLM locaux sont bien plus performants lorsqu’on leur apprend à poser des questions avant de répondre

Les modèles de langage locaux (LLM) éprouvent souvent des difficultés avec les requêtes ambiguës, contrairement aux modèles cloud qui exploitent d’énormes jeux de données pour inférer l’intention. Cette disparité entraîne des réponses imprécises et des interactions répétées pour affiner les demandes. Une solution efficace consiste à instruire les LLM locaux de poser des questions de clarification ciblées avant de tenter une tâche complexe. Cette approche, intégrée via des instructions personnalisées persistantes, améliore considérablement la précision des résultats et réduit le nombre d’échanges. Elle incite également l’utilisateur à structurer plus précisément sa pensée, transformant le LLM en un assistant plus collaboratif. Si l’optimisation par la clarification n’est pas une idée radicalement nouvelle dans le développement de systèmes, elle révèle toute sa pertinence pour les LLM. Une telle stratégie peut même compléter des flux de travail complexes, où des modèles cloud plus performants sont utilisés pour des étapes de révision critiques, soulignant une approche nuancée de ces systèmes de traitement textuel.

Vous ne savez pas d’où proviennent vos données ? Modélisation bayésienne pour des coordonnées inconnues | Christopher Krapu

La modélisation des données spatiales se heurte souvent à l’incertitude des coordonnées, un défi crucial notamment dans l’exploration minière. Lorsqu’il est impossible de connaître précisément l’emplacement des échantillons géologiques, une nouvelle approche s’impose. Cette méthode introduit une modification des modèles de processus gaussien pour intégrer cette imprécision. Au lieu d’utiliser les coordonnées observées directement, elle modélise des “coordonnées latentes” entachées d’erreurs de mesure, souvent représentées par une distribution normale.

Illustrée avec des données de concentration d’uranium et de vanadium du lac Walker, cette approche bayésienne capture la véritable structure spatiale malgré un bruit significatif sur les emplacements enregistrés. Elle surpasse les techniques plus simples, comme le lissage de Nadaraya-Watson, en maintenant une capacité robuste à identifier des variations spatiales sous-jacentes. La flexibilité de la modélisation bayésienne permet d’adapter le modèle pour représenter diverses hypothèses sur l’erreur de localisation, en utilisant des méthodes de Monte Carlo pour estimer les paramètres. Bien que plus complexe à calculer, cette approche offre une prédiction fiable des variables d’intérêt à de nouvelles localisations.

Crise au tribunal d’immigration de San Francisco : des juges limogés, retraités ou démissionnaires

Le principal tribunal d’immigration de San Francisco a cessé ses activités le 1er mai, victime d’une “purge” qui a réduit son corps de 21 à seulement deux juges en l’espace d’un an. Cette fermeture est emblématique des perturbations qui secouent le système judiciaire d’immigration américain, alors que l’administration Trump vise à traiter un arriéré massif de 3,8 millions de dossiers d’asile et à accélérer les expulsions.

Les taux de refus d’asile ont fortement augmenté suite au limogeage de près de 100 juges jugés trop libéraux et à leur remplacement par des avocats militaires. San Francisco, historiquement favorable aux demandeurs d’asile avec un taux d’approbation de 75 % (contre 43 % nationalement), est la première grande ville à se retrouver sans tribunal d’immigration primaire. Les 117 000 dossiers ont été transférés à Concord, une ville voisine déjà surchargée et confrontée elle aussi à une réduction drastique de ses juges.

Cette situation crée un chaos logistique et juridique : annulations d’audiences inopinées, reports constants, et clients plongés dans une incertitude prolongée. Des voix au sein du système judiciaire perçoivent ces changements non comme de simples dysfonctionnements, mais comme une stratégie délibérée visant à entraver l’accès à l’asile et à contourner l’État de droit, d’autant que les juges d’immigration sont des employés du ministère de la Justice, vulnérables aux pressions administratives.

Construire Pi avec Pi : Défis de l’Open Source à l’ère de l’IA

Le projet Pi, utilisant des agents d’intelligence artificielle (IA) désignés sous le terme “clankers” pour son propre développement, met en lumière les défis croissants de l’Open Source à l’ère de l’IA. L’intégration de ces outils transforme le rôle du suivi des problèmes, les descriptions d’incidents servant désormais aussi d’entrées pour les IA. Cependant, cela engendre une prolifération de rapports “brouillons” (slop issues), souvent générés par des IA avec des diagnostics plausibles mais erronés, menant les agents (et les humains) sur de fausses pistes et augmentant la charge de travail.

Cette tendance à la superficialité se reflète également dans le code, où les IA tendent à sur-ingénier les solutions en traitant les états anormaux plutôt qu’en les prévenant, augmentant inutilement la complexité des systèmes. Le volume important de contributions assistées par IA, souvent de faible qualité, submerge les mainteneurs et fragmente les efforts.

Le terme “clanker” choisi par l’auteur pour ces agents suscite des débats sur sa pertinence, certains le percevant comme un terme péjoratif tandis que d’autres le défendent comme une distinction nécessaire entre l’humain et l’outil. Si les IA sont utilisées pour la reproduction de problèmes, l’auteur insiste sur la prééminence de l’agence humaine, un point qui alimente les discussions sur la capacité des machines à prendre des décisions autonomes.

Face à cette évolution, la valeur de l’Open Source, traditionnellement ancrée dans la collaboration et la communication humaine, est menacée par un travail isolé et des solutions locales. Des fondations plus solides et une coopération accrue sont jugées essentielles pour préserver l’esprit communautaire et la pérennité des projets.

Les villes de la côte ouest se tournent vers les taxes sur les biens vacants pour faire face à la crise du logement

Face à des taux de vacance commerciale et résidentielle alarmants, atteignant 27 % dans le centre-ville de Portland et jusqu’à 34,7 % à Seattle, les villes de la côte ouest explorent les taxes sur les biens vacants. Ces mesures visent à inciter les propriétaires à remettre leurs propriétés sur le marché, qu’il s’agisse de logements ou d’espaces commerciaux, et à décourager la spéculation immobilière.

Des exemples comme Washington D.C. et San Francisco, qui ont implémenté de telles taxes, montrent des réductions de vacance, bien que l’impact sur les loyers reste mitigé. Le modèle de Vancouver, avec sa taxe sur les habitations inoccupées, est souvent cité pour avoir réduit le taux de vacance résidentielle à 0,49 %. Cependant, cette réussite en matière de disponibilité n’a pas nécessairement freiné la hausse des loyers, soulevant des questions sur l’abordabilité.

Des voix s’élèvent pour souligner que les incitations contradictoires, telles que les subventions conditionnant les nouveaux projets à des unités sous le prix du marché, peuvent en fait compromettre leur viabilité économique. De plus, certains propriétaires pourraient maintenir des biens vacants à des fins spéculatives ou pour des avantages fiscaux, plutôt que par manque de moyens. Le télétravail complique aussi la dynamique des bureaux inoccupés.

Dans l’État de Washington, des obstacles légaux liés à la clause d’uniformité fiscale sont présents, mais des ajustements législatifs pourraient permettre des contournements. Les municipalités comme Tacoma étudient activement diverses solutions, allant du renforcement de la conformité au code aux incitations pour le développement, reconnaissant la complexité de la situation.

1/80
--:--