HTTP 418 · Insolite
Lawrence C Paulson retrace 50 ans d'assistants de preuve, d'Edinburgh LCF en 1975 aux noyaux vérifiés, CompCert, seL4, la communauté Lean et le Nitro Isolation Engine d'AWS. Sa conclusion, sèche : la vérification formell…
HTTP 418 · Insolite
Il y a vingt-cinq ans, le 24 août 2001, Microsoft livrait Windows XP à la production et réunissait particuliers et professionnels sur le noyau NT. Le support étendu s'est terminé en 2014, mais des correctifs ont paru jus…
HTTP 418 · Insolite
Une requête SQL en production intègre des commutateurs codés en dur comme 1 = 0 et 1 = 1 dans sa clause WHERE, permettant d'inverser le comportement des résultats en réécrivant des constantes. Ces drapeaux n'ont jamais é…
HTTP 418 · Insolite
Jason Scott a constitué pour Internet Archive une collection de programmes émulés des années 1970 à 1990 qui simulaient l'intelligence machine, de dizaines de portages d'ELIZA à Racter et Little Computer People. Aucun ne…
HTTP 418 · Insolite
Oscar Toledo G. raconte comment il a construit avec son père un ordinateur autour du processeur RISC AM29000 d'AMD, puis écrit un système d'exploitation complet en assembleur, avec interface graphique, compilateur C et n…
HTTP 418 · Insolite
Le développeur Daniel Gultsch soutient que la messagerie instantanée doit être considérée comme une infrastructure, exigeant des standards ouverts et une propriété collective. Son essai retrace les 25 ans de XMPP depuis …
HTTP 418 · Insolite
Le régulateur chinois SAMR a ordonné à Tesla de rappeler près de trois millions de véhicules dont les poignées de porte d'urgence, encastrées et de la même couleur que l'habitacle, restent difficiles à repérer. Tesla va …
HTTP 418 · Insolite
Un lecteur de Daily WTF raconte une année passée dans une entreprise d'edtech dont le bouton 'Exécuter en local' permettait à n'importe quel site web, ou à tout appareil sur le même réseau, d'exécuter du code C arbitrair…
HTTP 418 · Insolite
MartyPC, un projet open source écrit en Rust, émule les premiers PC compatibles IBM avec une précision au cycle près, reproduisant les particularités du matériel d'origine plutôt que de se contenter de faire tourner de v…
HTTP 418 · Insolite
Trois ingénieurs d'Intel démissionnent en 1974 et 1975, conçoivent une puce pour moins de 400 000 dollars et créent sans le vouloir l'un des processeurs les plus durables de l'informatique. Le Zilog Z80, pensé pour surpa…
HTTP 418 · Insolite
En 1984, Ken Sakamura lançait TRON, une famille de systèmes d'exploitation intégrée verticalement, avec son propre processeur et un codage de 1,5 million de caractères. La variante bureau mourut après qu'un rapport comme…
HTTP 418 · Insolite
La rubrique Error'd de The Daily WTF compile des logiciels qui échouent à échouer : Chromium affiche une latence d'image négative de -0,18 ms, une app météo indique moins l'infini degrés pendant une éclipse, et un exempl…
HTTP 418 · Insolite
Un lecteur de The Daily WTF a repéré dans une datasheet de puce un « Super User Fantastic Feature Enable Register », acronyme SUFFER, à l'offset 0x0120. L'article évoque le quotidien de l'embarqué, où de mauvaises datash…
HTTP 418 · Insolite
La startup chinoise LandSpace a fait atterrir le premier étage de sa fusée Zhuque-3 après avoir placé un satellite en orbite, une première pour une entreprise chinoise. L'étage, alimenté au méthane, a touché terre à 250 …
HTTP 418 · Insolite
Un script Matlab chargé de reconstruire des journaux d'expérience repose sur un switch dans une boucle dont le compteur d'état se réinitialise en plein essai. Les commentaires admettent que l'auteur ignore quel déclenche…
HTTP 418 · Insolite
L'historienne Jill Lepore soutient dans un long format du Guardian que la politique actuelle, pilotée par les données, avait été prédite et dénoncée il y a des décennies. Elle retrace les avertissements de Simulmatics, L…
HTTP 418 · Insolite
Un long article retrace l'histoire de Finger, d'un outil de temps partagé à Stanford en 1971 à sa renaissance dans la small web. Le protocole du port 79 a vu naître le premier microblog et servi le premier objet connecté…
HTTP 418 · Insolite
Une migration de SharePoint vers SQL Server a mal tourné lorsqu'un développeur a mappé une colonne float de SQL Server vers le float .NET au lieu de double. SharePoint stocke les champs Number en Double, donc les grands …
HTTP 418 · Insolite
Fabien Sanglard dissèque le CD-ROM shareware de Quake paru en 1996, qui contenait des versions chiffrées de tout le catalogue d'id Software. Le groupe GNOMON n'a eu besoin que de 39 jours, car l'outil de déverrouillage g…
HTTP 418 · Insolite
Desktopcolors.com recense chaque couleur de fond d'écran uni jamais livrée par défaut avec un système d'exploitation, du cyan tramé de Windows 1.0 au bleu Breeze de KDE Plasma 6. Cette archive open source compte actuelle…
HTTP 418 · Insolite
Chris Staecker a restauré un Digi-Comp I remarquablement conservé, un ordinateur-jouet mécanique lancé en 1963 par E.S.R. Le programme se règle en plaçant des tubes sur des rails qui actionnent des leviers à ressort via …
HTTP 418 · Insolite
Dans un nouvel article, Remy Porter, rédacteur en chef de The Daily WTF, affirme qu'aucun outil de gestion de tickets n'est vraiment bon et place Jira parmi les pires. Un lecteur nommé Klinsten partage un diagramme de wo…
HTTP 418 · Insolite
L'écrivain calgarien Brennan Kenneth Brown plaide pour la résurrection du titre professionnel quasi disparu de 'webmaster', non pas comme un orchestrateur d'IA, mais comme quiconque construit son propre site de ses mains…
HTTP 418 · Insolite
Le vétéran de Microsoft Raymond Chen a tracé une ligne entre la description d'une pull request et les commentaires dans le code source. L'une est un argumentaire destiné au relecteur, l'autre une documentation durable po…
HTTP 418 · Insolite
Le renseignement militaire ukrainien affirme avoir récupéré un module Nvidia Jetson Orin NX 16GB dans l'épave d'un missile de croisière russe S-71M Monochrome, indice d'un ciblage assisté par IA. Nvidia a quitté la Russi…
HTTP 418 · Insolite
La dernière chronique Error'd de The Daily WTF rassemble des bourdes logicielles envoyées par les lecteurs : une publicité de jackpot pleine de zéros, une boîte de dialogue SignUpGenius déclarant le succès illusoire, un …
HTTP 418 · Insolite
Un développeur PHP a repris un projet où les requêtes curl étaient correctement initialisées et exécutées, mais leurs résultats n'étaient jamais stockés ni exploités. Le bloc de code était copié-collé plusieurs fois, ave…
HTTP 418 · Insolite
Twitch a introduit un contrôle permettant aux créateurs d'empêcher leurs contenus d'être utilisés pour entraîner les modèles d'IA générative d'Amazon. Le paramètre est activé par défaut, ce qui signifie que tous les cont…
HTTP 418 · Insolite
Dr. Tim King, dont le système multitâche Tripos est devenu AmigaDOS, est décédé fin juillet. Docteur de Cambridge et fondateur de Perihelion, King a façonné les premiers systèmes d'exploitation et reste une figure centra…
HTTP 418 · Insolite
Une développeuse nouvellement embauchée découvre que son manager interdit les branches et les pull requests, les considérant comme une perte de temps. Ses collègues ignorent silencieusement cette règle et travaillent ave…