Lean 4: How the theorem prover works and why it's the new competitive edge in AI
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Cloudflare outage on February 20, 2026
L’incident est dû à un bug dans une tâche de nettoyage automatisée de l’API Addressing BYOIP qui a supprimé des préfixes par erreur. Cette défaillance n’est pas née d’une attaque et résulte d’un changement de processus dans le cadre de l’initiative Code Orange: Fail Small. La panne a duré six heures et sept minutes, et environ 1 100 préfixes BYOIP ont été retirés du réseau Cloudflare. Certains clients ont pu rétablir leurs services via le tableau de bord, tandis qu’environ 300 préfixes ne pouvaient pas être restaurés par ce moyen et ont été remis en service manuellement. Cloudflare expose les mesures prévues pour éviter une répétition, notamment la standardisation de l’API, une meilleure séparation entre état opérationnel et configuration, et des garde-fous pour limiter les retraits massifs.
The Internet Is Becoming a Dark Forest – and AI Is the Hunter
Le texte décrit un univers où toute civilisation qui révèle sa localisation est détruite, et où le silence et l’invisibilité deviennent essentiels pour survivre. L’ère de l’IA transforme la sécurité en une discipline automatisée capable de mener des tests, de cartographier les surfaces d’attaque et de générer des payloads sans intervention humaine. Des projets comme PentAGI et Claude Code Security montrent que l’automatisation peut ouvrir l’accès à des évaluations et des découvertes de vulnérabilités autrefois réservées aux spécialistes, dans des contextes variés. Le concept de zéro visibilité propose que l’infrastructure reste invisible jusqu’à ce qu’une identité cryptographique soit prouvée, éliminant les surfaces d’attaque avant toute connexion. Ainsi, la sécurité évolue vers une architecture où l’exposition est réduite au minimum et où l’accès repose sur une preuve d’identité plutôt que sur la découverte, marquant un changement stratégique majeur.
Online Pebble Development
Le développement Pebble en ligne permet de créer des applications sans se préoccuper de Linux, des machines virtuelles, de compilateurs ou de Python. Il n'y a rien à installer et les applications peuvent être écrites directement depuis le navigateur. Les ressources sont gérées via une interface conviviale, sans avoir à modifier du JSON. Tout se passe dans le cloud et c'est accessible depuis n'importe où. Des améliorations sont prévues et bien plus à venir.
Microsoft throws spox under the bus in ICC email flap
Résumé indisponible pour cet article.
DHS pausing TSA PreCheck, Global Entry programs amid funding lapse
Le Department of Homeland Security suspend les programmes d'acheminement rapide des voyageurs, notamment TSA PreCheck et Global Entry, en raison d'un arrêt du financement. La suspension commencera à 6 h, heure de l’Est, dimanche, selon la porte-parole Tricia McLaughlin. Kristi Noem a imputé la responsabilité aux démocrates du Congrès et a déclaré que le manque de financement met les Américains en danger et entraîne des difficultés pour le personnel. L’arrêt de paiement survient après le début du blocage budgétaire le 14 février, lorsque la Maison Blanche et les démocrates du Sénat négocient des changements au DHS et à l’agence ICE après l'incident de Minneapolis. Le personnel de FEMA, TSA et de la Garde côtière ne sera pas rémunéré, tandis que ICE et CBP continueront de travailler avec les fonds approuvés l’an dernier, et CBP et TSA privilégieront le grand public, alors que FEMA cessera les interventions non liées aux catastrophes.
Padlet (YC W13) Is Hiring in San Francisco and Singapore
Notre quotidien repose sur le travail collectif et sur des générations qui nous ont précédés. Du café du matin à la climatisation et à l'eau chaude, nos conforts dépendent de cet effort humain. Tout ce qui nous permet de vivre et de rêver vient du travail des autres et des avancées qui les accompagnent. Ils ont fait, construit et persévéré dans de multiples tâches pour faire avancer la société. À notre tour, engageons-nous à bouger, créer et soutenir ce travail commun pour ceux qui viendront après nous.
I Don't Like Magic
L’auteur n’aime pas la magie utilisée pour vendre les technologies et préfère comprendre ce qu’il utilise plutôt que de croire à des solutions qui fonctionnent sans réfléchir. Il rappelle que le design sans couture peut réduire l’agence des utilisateurs et qu’un excès de facilité peut avoir un coût. Sur le front-end, il se méfie des bibliothèques et est allergique aux frameworks, préférant rester proche du HTML, du CSS et du JavaScript qu’il comprend. Il critique npm et les dépendances, et même les outils d’IA générant du code, tout en reconnaissant qu’ils peuvent être utiles dans un cadre pragmatique mais nécessitent une vérification. Pour lui, les abstractions entraînent des coûts de maintenance et il privilégie les projets durables où la maîtrise du code est centrale, car il n’aime pas la magie.
Show HN: Iron-Wolf – Wolfenstein 3D source port in Rust
Le but est de proposer une reproduction pixel parfaite et modulable du jeu Wolfenstein 3D en Rust. Le projet comprend une démo E1M1 et des médias pour illustrer le rendu. Il est possible de jouer en lançant run-sdl-shareware, qui fonctionne directement sur un dépôt cloné et inclut la version shareware comme données de test. Une version web est accessible à l’adresse fournie et permet de jouer en navigateur en téléversant les fichiers du jeu complet. Un fichier de configuration optionnel existe; il suffit de copier default_iw_config.toml en iw_config.toml et de le placer à côté de l’exécutable, les options étant décrites dans le fichier.
Personal Statement of a CIA Analyst
Ce texte retrace le parcours d’un analyste travaillant pour la CIA et ensuite comme contractant, en relatant ses expériences avec le polygraphe à différentes étapes de sa carrière. Il décrit comment il se préparait au test, ses observations sur le fonctionnement des questions et sa décision de coopérer sans recourir à des contremesures. Le récit décrit les réinvestigations périodiques de cinq et dix ans, ainsi que les réactions des collègues face à ces contrôles. Il relate des épisodes avec le FBI et le DIA où les tests sont présentés comme controversés et où l’auteur est confronté à des pressions et à des conséquences professionnelles. En fin de compte, il affirme que le polygraphe peut devenir un obstacle et recommande d’éviter ce type de carrière, malgré une expérience professionnelle globalement satisfaisante.