Africans Are Turning to Starlink
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
The circuit that lets your brain think and see
Résumé indisponible pour cet article.
Wordgard: In-browser rich-text editor from the creator of ProseMirror
Cette bibliothèque JavaScript open source fournit un éditeur de texte riche fonctionnant dans le navigateur. Il s'agit d'un système d'édition riche sémantique qui permet de contrôler précisément les types de contenu plutôt que d'être un éditeur HTML libre. Son interface de programmation puissante en fait une base adaptée aux éditeurs personnalisés, y compris des applications complexes et exigeantes. Le projet est distribué sous licence MIT et est développé sur code.haverbeke.berlin, et les rapports de bogues sont à effectuer via le système de suivi des problèmes. Les demandes de fusion ne sont pas acceptées, il est socialement attendu que les utilisateurs commerciaux contribuent au financement de la maintenance, et les discussions se tiennent sur le forum.
Software, from First Principles
Les appareils modernes reposent sur du silicium sculpté en circuits microscopiques et des interrupteurs électriques (transistors) qui contrôlent le flux d'électrons pour effectuer des calculs à grande vitesse, résultat de siècles de travaux en physique, chimie, mathématiques et ingénierie. À partir de basiques binaires et de portes logiques (AND, OR, NOT) on construit des additionneurs, des éléments de mémoire (latchs, bascules), des processeurs capables de lire des instructions depuis une mémoire, et une hiérarchie mémoire (RAM volatile, stockage persistant, ROM de démarrage) qui ensemble forment l'ordinateur universel. Les couches logicielles s'appuient sur ces fondations: assembleurs et compilateurs traduisent le code en binaire, les systèmes d'exploitation partagent le processeur et la mémoire, les réseaux et protocoles (TCP/IP, HTTP/HTTPS) relient les machines, et le navigateur et le cloud constituent des couches d'abstraction massives pour distribuer et exécuter du logiciel. Ces abstractions facilitent le travail quotidien mais masquent des détails critiques; sans littératie logicielle on risque d'être manipulé, d'introduire des failles de sécurité ou d'être incapable de diagnostiquer des problèmes de performance. Avec la baisse du coût du calcul et l'émergence d'agents d'IA qui multiplient la production de code, la compréhension des couches basses devient encore plus essentielle pour concevoir, vérifier et sécuriser des systèmes, tandis que ceux qui maîtrisent ces principes pourront mieux diriger et contrôler les outils automatisés.
Dispersion loss counteracts embedding condensation in small language models
Les auteurs observent un phénomène géométrique, appelé embedding condensation, où les vecteurs d'embeddings de tokens se regroupent en un cône étroit au fil des couches Transformer. Ce phénomène est plus marqué dans les petits modèles que dans les grands, se reproduit dans des expériences contrôlées et apparaît dès l'initialisation tout en étant atténué par la pré‑entraînement. La distillation de connaissances depuis des modèles plus larges ne transfère pas la résistance à cette condensation. Les auteurs proposent une "dispersion loss" inspirée de travaux antérieurs pour favoriser la dispersion angulaire des embeddings et réduire la condensation durant la pré‑entraînement ou le mid‑training. Les améliorations observées sont modestes et exploratoires, et ils recommandent des évaluations prudentes ainsi que des recherches futures sur de meilleurs régularisateurs, architectures et schémas d'initialisation.
International chess federation sanctions Kramnik
L'Organe d'éthique et de discipline (EDC) de la FIDE, instance judiciaire indépendante, a rendu une décision après des plaintes du Management Board et de la Fair Play Commission concernant des déclarations publiques et des publications en ligne visant notamment David Navara et le défunt Daniel Naroditsky ainsi que d'autres joueurs. Après examen des éléments et des observations, la Chambre a jugé GM Kramnik responsable de plusieurs manquements au Code d'éthique et au Code disciplinaire, notamment en matière de dignité, d'intimidation et de cyberharcèlement, d'abus psychologique, de manquement au rôle modèle, de non-coopération avec l'enquête et d'accusations publiques infondées. Certaines accusations, notamment celles relatives à l'intégrité, à l'honnêteté et au préjudice à la réputation de la FIDE, ont été rejetées faute de preuve suffisante. L'EDC a rappelé que la lutte contre la triche est une priorité mais que les allégations doivent suivre les procédures confidentielles et être étayées par des preuves, et que l'association publique de joueurs à des soupçons sans vérification institutionnelle cause un préjudice injustifié. La sanction prononcée est une interdiction mondiale de participer aux compétitions FIDE ou d'exercer des fonctions officielles pendant deux ans, dont les douze derniers mois sont suspendus sous probation de trois ans (soit une suspension active d'un an si aucune récidive), assortie de douze mois de service non rémunéré pour la communauté, avec possibilité d'appel dans les vingt et un jours.
Hunting a 16-year-old SQLite WAL bug with TLA+
Un bug ancien dans SQLite affectant le checkpoint du Write Ahead Log (WAL) pouvait, dans des cas rares, provoquer la corruption de la base de données et était présent dans le dépôt depuis 2010 tout en étant difficile à reproduire. Les auteurs ont modélisé le comportement de SQLite en TLA+ en représentant le WAL, la base, les verrous et les champs partagés (notamment walSalt, mxFrame et nBackfill) afin de générer rapidement une trace menant à la corruption. La cause identifiée est une course entre les opérations d'append et de checkpoint: un réamorçage du WAL pendant le démarrage d'un checkpoint peut laisser des champs incohérents et amener un checkpoint à sauter des cadres, entraînant la perte de pages. Dqlite n'est pas concerné car il rend le checkpoint « stop‑the‑world » en prenant explicitement le verrou d'écriture avant le checkpoint, empêchant les appends concurrents, ce que la vérification formelle confirme. SQLite a corrigé le problème en ajoutant une vérification de cohérence du salt du header avant le backfill pour ignorer le checkpoint si le WAL a été réinitialisé, et le modèle TLA+ montre que cette correction prévient la corruption.
GitFut – Your GitHub stats turned into a World-Cup-style player card
Résumé indisponible pour cet article.
Infracost (YC W21) Is Hiring a Marketing Lead to Shift FinOps Left
Le rôle consiste à définir et exécuter la stratégie marketing, piloter l'acquisition client, gérer le calendrier marketing, le message et la production de contenus (site, blog, études de cas). Le poste est entièrement remote mais aligné sur les fuseaux horaires US/Canada et requiert une forte autonomie, un goût pour l'expérimentation et une collaboration étroite avec les fondateurs, l'ingénierie, le produit et les ventes. Le plan 30/60/90 jours prévoit une intégration rapide, le lancement et l'analyse d'une première campagne puis l'itération pour passer à une exécution complète et à la construction d'une petite équipe. Le candidat idéal a 5+ ans en marketing B2B (SaaS ou outils développeurs), sait piloter le pipeline en solo, maîtrise la gestion de projets et la rédaction pour des audiences techniques, et utilise les outils marketing courants. L'entreprise valorise l'ouverture, l'alignement avec les clients et l'action (JEDI), propose des avantages comme le télétravail, des meetups, de l'equity et des assurances, et propose une solution FinOps intégrée aux workflows développeurs soutenue par des investisseurs renommés.
Factories are just rooms
L'intervenant est allé dans une classe d'enfants de sept ans pour expliquer la fabrication de son horloge utilisant l'IA en montrant des prototypes et des photos de son usine à Shenzhen. Il a présenté les étapes du processus, des croquis exploratoires et de la CAO aux écrans e-paper, à l'électronique du breadboard au circuit imprimé, aux pièces plastiques, à l'injection par moulage, à l'assemblage, à l'emballage et aux tests comme la vibration. Il a souligné qu'il préfère éviter les vidéos spectaculaires qui suscitent l'émerveillement et a voulu rendre la fabrication accessible et praticable plutôt que distante. Les enfants se sont montrés curieux et ont posé des questions concrètes, ce qui a permis d'aborder des métiers comme designer industriel, ingénieur, concepteur d'emballages et les enjeux d'assemblage. L'intervenant invite d'autres parents et professionnels à parler dans les écoles pour normaliser le bricolage et l'invention dès le plus jeune âge et encourager des vocations futures.