HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

7134 articles Page 405/714 Sans filtre

06:02

Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock

Cette application macOS ajoute un bouton dans la barre de menus et un raccourci configurable pour désactiver immédiatement Touch ID et verrouiller l'écran sans fermer la session ni éteindre le Mac. Elle propose également une option pour désactiver Touch ID automatiquement à la fermeture du capot et rétablit les paramètres biométriques d'origine après le déverrouillage par mot de passe. L'installation se fait via Homebrew ou un DMG, la première utilisation requiert le mot de passe administrateur pour installer un helper privilégié qui exécute des commandes limitées (bioutil et pmset) pour modifier le délai de Touch ID et verrouiller l'écran. Le code est open source, signé et vérifié, n'effectue pas de collecte de données ni d'activité réseau, et le helper limite ses privilèges pour réduire les risques d'injection de commandes. Le projet fournit des instructions pour la compilation, la distribution notarizée et la désinstallation, et nécessite macOS 14.0 ou ultérieur sur un Mac équipé de Touch ID.

06:02

Slop Cop

Resume indisponible pour cet article.

06:02

Show HN: Smol machines – subsecond coldstart, portable virtual machines

Cet outil en ligne de commande permet de gérer et d'exécuter des machines virtuelles Linux personnalisées localement avec un démarrage froid en moins d'une seconde, une utilisation mémoire élastique et une compatibilité macOS et Linux. Il permet d'emballer une machine virtuelle d'état dans un fichier .smolmachine ou de créer des exécutables autonomes pré-bâtis qui démarrent en moins de 200 ms sans dépendances externes. Les microVM fournissent une isolation matérielle pour sandboxer du code non fiable, avec le réseau désactivé par défaut et des contrôles d'egress via une liste d'hôtes autorisés. Les fonctionnalités pour le développement incluent des machines persistantes (create/start/stop), le forwarding de l'agent SSH pour utiliser des clés sans les exposer, et la déclaration d'environnements reproductibles via un Smolfile en TOML. Sur le plan technique l'outil repose sur Hypervisor.framework (macOS) ou KVM (Linux) avec un VMM libkrun et noyau personnalisé, utilise des images OCI, propose des valeurs par défaut (4 vCPU, 8 GiB) et comporte des limites connues comme le réseau opt-in, l'absence d'ICMP, les montages de répertoires uniquement et l'exigence d'une signature macOS dans certains cas.

06:02

Isaac Asimov: The Last Question (1956)

Une question sur la possibilité d'inverser l'entropie est posée pour la première fois en 2061 après un pari, et l'ordinateur planétaire Multivac répond qu'il y a des données insuffisantes pour une réponse significative. Au fil des âges, des versions successives d'ordinateurs (Microvac, AC galactique, AC universel) reçoivent la même question alors que l'humanité se répand à travers les galaxies et que la population et la consommation d'énergie augmentent. Malgré des siècles et des efforts croissants pour collecter des informations, chaque génération reçoit encore la réponse qu'il y a des données insuffisantes pour répondre de manière significative. Quand l'univers décline et que les esprits humains fusionnent avec les machines, le Cosmic AC rassemble toutes les données disponibles, corrèle exhaustivement l'information et poursuit le problème dans un intervalle intemporel. Finalement, l'AC découvre un moyen d'inverser l'entropie et démontre sa solution en ordonnant «Que la lumière soit», recréant ainsi l'univers.

06:01

Are the costs of AI agents also rising exponentially? (2025)

METR montre que la durée des tâches que les agents d'IA peuvent accomplir a augmenté de façon exponentielle, mais peu de gens examinent le coût associé à cette progression. La taille des modèles et le nombre de tokens utilisés ont crû énormément ces dernières années, ce qui suggère que les coûts d'inférence pour atteindre les nouveaux sommets de performance ont aussi pu croître fortement. L'auteur propose de mesurer un « coût horaire » comme le coût financier pour obtenir la performance à l'horizon 50 % divisé par la durée humaine de la tâche, tout en notant que les dépenses de METR pour atteindre les plateaux sont variables et compliquent les estimations directes. En analysant la courbe performance/coût de METR et en identifiant des sweet spots et des points de saturation, on observe des rendements décroissants et des coûts horaires très variables, allant de quelques dizaines de cents à plusieurs centaines de dollars, parfois proches ou supérieurs au coût humain. Cela fournit des preuves modérées que les coûts pour atteindre ces horizons augmentent, si bien que la tendance METR peut refléter ce qui est possible plutôt que ce qui est économiquement viable, et appelle des analyses complémentaires et des données de coût temporelles plus larges.

06:01

A simplified model of Fil-C

L'article présente un modèle simplifié de Fil-C qui transforme automatiquement le code C/C++ en ajoutant pour chaque variable locale pointeur un pointeur compagnon de type AllocationRecord* et en réécrivant les opérations sur pointeurs pour maintenir cette métadonnée. Les allocations sont remplacées par filc_malloc qui effectue trois allocations (AllocationRecord, visible_bytes et invisible_bytes) et les déréférencements comme les affectations sont munis de vérifications de bornes et d'alignement s'appuyant sur ces enregistrements. La libération via filc_free libère visible_bytes et invisible_bytes mais laisse l'AllocationRecord pour être collecté ultérieurement par un ramasse-miettes qui trace ces enregistrements, appelle filc_free sur les enregistrements inaccessibles et normalise les enregistrements de longueur zéro. Le modèle gère aussi la promotion vers le tas des locaux dont l'adresse s'échappe et impose des règles spécifiques pour des opérations non typées comme memmove afin que la métadonnée invisible_bytes reste cohérente. En conséquence, Fil-C fournit une sécurité mémoire au prix d'un collecteur et d'un coût en performance, présente des complications pour les threads et les pointeurs de fonction, et sert d'outil pour détecter des bugs, pour l'évaluation sûre au temps de compilation et pour illustrer la provenance des pointeurs.

06:01

Spending 3 months coding by hand

L'auteur est à Brooklyn pour un séjour de codage au Recurse Center afin de se concentrer sur l'apprentissage du code principalement sans recourir à l'IA. Après deux ans à Aily Labs où il a contribué à des agents IA et animé un journal de lecture sur les LLM, il souligne la tension entre l'efficacité des agents de code et la perte d'apprentissage approfondi du codebase. Ses objectifs au RC sont d'entraîner un LLM en partant de zéro, d'améliorer son écriture de Python à la main et de mieux comprendre les niveaux d'abstraction des ordinateurs. En six semaines il a réalisé le premier devoir du cours CS336 de Stanford en codant un tokenizer optimisé et un modèle de type GPT-2 en PyTorch, fait des expériences d'hyperparamètres et entamé l'implémentation de FlashAttention2 en Triton. Il pratique beaucoup via le pair programming, des ateliers pratiques (Apple IIe, CTF Unix, programmation en Vim, atelier Clojure) et des présentations techniques, et prévoit de continuer à itérer et à post-entraîner un modèle malgré le temps limité.

06:01

All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018)

Lors des missions Apollo, la poussière lunaire a provoqué chez les astronautes des irritations respiratoires et oculaires, avec des symptômes pouvant durer plusieurs jours. Cette poussière, riche en silicates et composée de particules fines et anguleuses, est extrêmement abrasive et a endommagé combinaisons et échantillons. En raison de la faible gravité et de l'absence d'atmosphère, les particules peuvent rester en suspension, pénétrer profondément dans les poumons et présenter des risques toxiques encore mal connus, certains simulants détruisant des cellules après une exposition prolongée. La charge électrostatique du régolithe le fait parfois léviter et complexifie les essais terrestres, d'autant que la fabrication de simulants implique souvent d'altérer les arêtes vives du matériau d'origine. L'ESA coordonne des recherches internationales, organise des ateliers et mène des expériences de surveillance pulmonaire en microgravité tout en étudiant l'utilisation du sol lunaire pour construire des abris et extraire de l'oxygène.

06:01

Measuring Claude 4.7's tokenizer costs

L'auteur a mesuré que le nouveau tokenizer de Claude Opus 4.7 consomme entre ~1,3x et 1,47x plus de tokens que 4.6 sur du contenu réel de code et documentation technique, avec un ratio pondéré d'environ 1,325x et des pics comme 1,445x sur un fichier CLAUDE.md et 1,47x sur des docs techniques. Les changements semblent toucher surtout l'anglais et le code — les caractères par token passent par exemple de 4,33 à 3,60 en anglais et de 3,66 à 2,69 en TypeScript — tandis que le contenu CJK et les symboles varient peu (~1,01x). Cela augmente les coûts pratiques et les limites : à tarification inchangée, une session Claude Code typique devient environ 20–30% plus chère en dollars et consomme plus vite les quotas et fenêtres de rate limit. Un test IFEval sur 20 prompts montre une amélioration modeste et directionnelle de 4.7 sur le suivi strict d'instructions (+5 points en proportion stricte), mais l'auteur précise que le tokenizer, les poids et le post-entraînement ont tous changé et que la causalité n'est pas isolée. En conclusion, Anthropic semble avoir troqué plus de tokens pour un gain mesurable mais limité en literalité d'instructions, et la pertinence de passer à 4.7 dépendra du type de contenu envoyé et de l'acceptabilité d'un surcoût d'environ 20–30% par session.