HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

Les meilleurs longs formats de Hacker News, relus plus calmement.

11567 articles Page 970/1157 Sans filtre

Project Nomad – Knowledge That Never Goes Offline

Project NOMAD est une solution libre et open source qui s'exécute sur n’importe quel ordinateur et fonctionne hors ligne sans Internet. Elle réunit des ressources hors ligne comme Wikipédia, des guides médicaux et des références, accessibles grâce à des outils open source tels que Kiwix. Un assistant IA pleinement hors ligne est intégré, permettant de discuter, écrire, analyser et coder sans envoyer de données sur Internet. Le système comprend des cartes hors ligne basées sur OpenStreetMap et une plateforme éducative avec Khan Academy et Kolibri pour un cursus complet hors ligne. L’installation se fait en deux commandes sur Ubuntu ou Debian, et le projet est gratuit, soutenu par la communauté sans abonnements ni paywalls.

Why I love NixOS

L’auteur apprécie NixOS pour son gestionnaire de paquets fonctionnel, déterministe et reproductible, qui permet de construire et reconstruire un système entier à partir du Nix DSL. Le système est décrit comme une configuration déclarative unique qui évite la gestion dispersée des paquets, des paramètres et des réglages. NixOS est salué pour sa stabilité et son rythme de mises à jour semestriel, avec la possibilité d’expérimenter via un canal instable tout en restant fiable. Il met en avant la portabilité entre macOS et Linux et mentionne un soutien communautaire pour FreeBSD, ce qui étend l’uniformité des outils. Enfin, il souligne la facilité d’expérimentation sûre et reproductible grâce à des environnements isolés et à des déploiements déterministes, accessibles via nix shell, nix develop et les flakes.

Reports of code's death are greatly exaggerated

Le texte explore la tension entre des spécifications en anglais qui semblent précises mais qui se révèlent vagues une fois confrontées à l’expérience. Il montre que l’IA peut transformer l’anglais en code exécutable, permettant d’intervenir et de raffiner ses intentions de façon itérative, d’où l’expression « vibe coding ». Il avertit que les impressions de précision peuvent fuir à mesure que l’on ajoute des fonctionnalités ou que l’on scale, provoquant des comportements et des bugs inattendus. Le texte discute de la complexité de la collaboration en temps réel et de la nécessité d’abstraction pour la maîtriser, en s’appuyant sur des exemples et des penseurs comme Dijkstra et Hoare. Il envisage l’AGI et l’IA comme des leviers qui amélioreront les abstractions et le code, sans faire disparaître le besoin de concevoir des systèmes robustes.

The future of version control

Manyana propose une approche de contrôle de version fondée sur les CRDT, offrant une vision cohérente du futur et répondant à des enjeux UX qui freinaient cette direction. Les CRDT assurent que les fusions réussissent toujours et signalent les conflits lorsque des éléments se touchent, donnant une présentation informative plutôt que des blocages. Le système affiche des marqueurs de conflit clairs qui indiquent ce qui a été supprimé ou ajouté et par qui, au lieu de deux blobs opaques. L’historique est intégré dans une structure de tissage qui conserve chaque ligne existée avec des métadonnées, évitant la nécessité d’un ancêtre commun. Manyana est une démonstration d’environ 470 lignes de Python et illustre le potentiel des CRDT pour un vrai système de contrôle de version, tout en indiquant que des fonctionnalités comme le cherry-picking et le undo local restent à ajouter.

Can you get root with only a cigarette lighter? (2024)

Cet article explore une approche de fault injection matérielle comme outil de recherche et d’attaque, en examinant des méthodes peu coûteuses pour provoquer des fautes dans les systèmes. L’auteur décrit un montage expérimental rudimentaire utilisant une antenne et des composants simples pour perturber le bus mémoire DDR et générer des erreurs, appliqué à un ancien portable. Il illustre ensuite comment ces fautes peuvent être exploitées côté logiciel, par exemple dans CPython, pour obtenir une primitive de lecture/écriture mémoire et viser une élévation de privilèges sous Linux. La stratégie repose sur la manipulation des pages mémoire et du TLB, en pulvérisant des structures de page de niveau zéro et en forçant des traversées de tables afin de modifier l’adresse physique visée. Le texte discute enfin des implications pratiques et des limites techniques, envisage des usages potentiels et des défis, et évoque des questions sur la portabilité et la fiabilité tout en mentionnant JEDEC.

Tin Can, a 'landline' for kids

Le téléphone Tin Can est un appareil WiFi destiné aux enfants, imitant une ligne téléphonique fixe. Il permet des appels vers des contacts approuvés uniquement et selon des horaires définis, grâce à des contrôles parentaux. L'entreprise a été fondée à Seattle par trois amis et a levé environ 3,5 millions de dollars, employant sept personnes à plein temps. Le système fonctionne sur le réseau WiFi domestique et propose une version gratuite limitée pour appeler uniquement d'autres utilisateurs Tin Can. Des parents et des professionnels estiment que ce dispositif peut favoriser l'autonomie sociale des enfants tout en réduisant l'anxiété liée aux réseaux sociaux, comme alternative à l'attente d'un smartphone.

PC Gamer recommends RSS readers in a 37mb article that just keeps downloading

L'article souligne qu'il n'y a pas grand-chose à citer, mais retient trois points importants concernant la page et ses publicités. Le premier point décrit une fenêtre de notification et une popup d'inscription à la newsletter qui masquent l'article, avec un fond atténué et au moins cinq publicités visibles. Le second point indique qu'après le message d'accueil, on trouve cinq publicités ainsi qu'un titre et un sous-titre. Le troisième point souligne que la page pèse 37 Mo dès le chargement initial et que, en cinq minutes, près d'un demi-gigaoctet de publicités supplémentaires ont été téléchargés. Enfin, le texte conclut en soulignant que certains lecteurs RSS efficaces permettent de filtrer ce bruit, citant NetNewsWire, Unread, Current et Reeder comme exemples.

Study finds no evidence cannabis helps anxiety, depression, or PTSD

Une étude majeure publiée dans The Lancet affirme que le cannabis médicinal n'améliore pas efficacement l'anxiété, la dépression ou le trouble de stress post-traumatique. Cette analyse, la plus vaste à ce jour, passe en revue 54 essais randomisés menés sur 45 années et évalue à la fois la sécurité et l'efficacité des cannabinoïdes pour divers troubles mentaux. Environ 27 pour cent des personnes âgées de 16 à 65 ans aux États‑Unis et au Canada utilisent le cannabis à des fins médicales, notamment pour des symptômes de santé mentale. Des signes limités indiquent un bénéfice potentiel dans certains cas comme les troubles liés à l'usage du cannabis, l'autisme, l'insomnie et les tics, mais les preuves restent faibles. Les résultats montrent une variabilité selon les troubles liés à l'usage de substances, avec une réduction possible des consommations chez les personnes dépendantes au cannabis mais une augmentation des envies chez celles dépendantes à la cocaïne, ce qui appelle à une régulation plus stricte.

404 Deno CEO not found

L'auteur reconnaît des opinions mitigées et admet avoir mal mesuré son ton, tout en promettant d'être plus positif. Il décrit le déclin perçu de Deno et les licenciements comme des signes de difficultés durables pour l'entreprise. Selon Dahl, l’adoption aurait doublé après Deno 2.0, mais les chiffres restent insuffisants pour rassurer les développeurs. Le texte critique les faiblesses de Deploy, les temps de démarrage incohérents et le manque d’écoute envers les retours des utilisateurs. Il se demande enfin quelles directions prendre pour l’avenir, évoquant une éventuelle pivot vers l’IA et les incertitudes qui entourent l’entreprise.