HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 559/1208 Sans filtre

Philae's extraordinary comet landing relived (2024)

Après un voyage de dix ans et plus de 500 millions de kilomètres, la sonde Rosetta a déployé l'atterrisseur Philae qui a touché pour la première fois la surface d'une comète le 12 novembre 2014. Initialement ciblé sur une zone lisse nommée Agilkia, l'atterrissage a été perturbé par la défaillance du système de descente active et des harpons, provoquant plusieurs rebonds avant l'arrêt final à Abydos. Pendant ses 64 heures d'activité, Philae a réalisé des mesures in situ inédites : analyses de composés organiques complexes, sondage radio révélant une très haute porosité interne, mesures thermiques et sismiques et détection d'un champ magnétique négligeable. Les rebonds ont permis des observations à plusieurs endroits, révélant des couches superficielles molles et des couches plus dures quelques centimètres plus profond, ainsi qu'une porosité exceptionnelle d'environ 75 % dans un bloc glacé. L'exploit de Rosetta‑Philae a enrichi la connaissance des petits corps et inspiré des missions futures comme Comet Interceptor, Hera, Ramses et M‑Argo, tout en laissant un riche héritage scientifique et culturel.

www.esa.int Resume pret HTTP 200 Commentaires

Apple Neural Engine: Architecture, Programming, and Performance

L'article présente un compte rendu rétro-construit du Apple Neural Engine (ANE), l'accélérateur matrice à fonction fixe intégré dans les puces Apple depuis les familles A11 et M1. La description se fonde sur des mesures directes sur silicium Apple et sur l'analyse statique du runtime privé, du compilateur, du pilote noyau et du firmware. Le document détaille le datapath et le roofline limitant le débit et l'énergie, la chaîne d'acheminement sous Core ML, le format des programmes sur disque, le schéma de compression des poids, ainsi que le pilote noyau, le firmware et le protocole de commandes. La couverture matérielle va des familles A11 à A18 et M1 à M5 avec des tables cibles par puce, une matrice opérations-par-appareil et des mesures directes réalisées sur M1 et M5. Les affirmations sont étiquetées selon qu'elles sont mesurées, dérivées de décompilation ou prédites, la méthode et les questions ouvertes sont documentées, et la voie directe accessible depuis l'espace utilisateur est présentée comme non documentée, non prise en charge et fragile en raison des versions, Core ML restant la voie prise en charge pour les logiciels commerciaux.

arxiv.org Resume pret HTTP 200 Commentaires

A native graphical shell for SSH

L'auteur propose un shell graphique utilisable à distance où chaque application est un petit serveur HTTP accessible via SSH et présenté dans un écran d'accueil. Plutôt que d'utiliser des ports localhost, ces serveurs HTTP utiliseraient des sockets Unix locaux avec permissions fichiers, ce qui réduit les dépendances en déléguant le chiffrement à SSH. Les applications peuvent être des interfaces Web HTML classiques ou des applications natives 'outerframe', et une API de shell permet d'échanger les URL et d'intégrer des actions comme ouvrir des fichiers dans un éditeur central. L'auteur a développé un navigateur SSH et un shell open source pour démontrer le concept, accompagné d'une démonstration vidéo et d'une documentation détaillée. Il soutient que cette architecture pourrait élargir l'écosystème serveur graphique, permettre des versions natives par plateforme facilitées par l'IA et remplacer certaines applications Web isolées par une infrastructure commune.

probablymarcus.com Resume pret HTTP 200 Commentaires

Kb – Prolog Knowledge Base

Ce prototype de mémoire de connaissances fonctionne en local et représente les connaissances sous forme de quadruplets hyper-relationnels permettant la réification et des assertions sur des assertions. Les fichiers sont gérés par un stockage adressé par contenu avec hachage SHA-256, staging, commit atomique et déduplication automatique. Le runtime principal est Trealla Prolog avec des liaisons FFI vers des bibliothèques C pour accéder à SQLite et Raylib, et une interface graphique Raylib offrant visualisation de graphe, aperçus d'images et barre de requêtes. La synchronisation Prolog ↔ SQLite emploie un commit en deux phases, les mises à jour produisent des versions chaînées via replaces_id, et le chargement de contexte utilise des CTE récursives pour récupérer uniquement le sous-graphe atteignable. Le projet se compile via make (avec dépendances en sous-modules et un shell Nix pour la reproductibilité), produit libcas/libgui/libsqlite3 et est distribué sous licence GPL-3.0.

github.com Resume pret HTTP 200 Commentaires

One million passports leaked online

Un chercheur en sécurité, Sammy Azdoufal, a découvert plus de 985 000 pièces d'identité (passeports, permis de conduire) stockées à des URL publiques sans protection liées à des clubs de cannabis utilisant le logiciel de Cannabis Club Systems (Nefos Solutions). En décompilant l'application PuffPal, Azdoufal a trouvé des clés secrètes en clair et a pu accéder à des profils utilisateurs en changeant un seul nombre, révélant numéros de téléphone, adresses, numéros de passeport et préférences de consommation. Les images étaient accessibles via des URL simples et des API vulnérables délivraient d'autres données personnelles; Azdoufal a aussi trouvé un portail administrateur et des mots de passe faibles rendant l'ensemble facile à exploiter. Après avoir été prévenu, Nefos a d'abord tardé puis a finalement suspendu PuffPal, informé les autorités irlandaises et commencé à sécuriser les données, tout en reconnaissant qu'il pourrait y avoir des sanctions pour ne pas avoir déclaré la fuite dans les 72 heures. Nefos attribue une partie de la responsabilité au prestataire 9Series, promet de remplacer l'application, de faire vérifier la sécurité par un expert indépendant et d'informer les utilisateurs touchés.

www.theverge.com Resume pret HTTP 200 Commentaires

Zig – SPIR-V Backend Progress

La backend SPIR‑V de Zig a été largement remise à niveau avec un nouveau builtin @SpirvType, modes d'exécution portés par les conventions d'appel, génération multi‑threadée, reconnaissance des .spv comme fichiers objets et de nombreuses corrections de bugs rendant le support des shaders et des kernels compute plus utilisable. Le backend LLVM a vu son lowering des entiers non‑ABI revu et l'implantation de nouvelles sémantiques pour @bitCast basées sur une représentation logique des bits, ce qui unifie le comportement entre cibles, évite des comportements indéfinis précédents et permet d'activer des passes de légalisation et des optimisations manquantes. Le nouvel éditeur de liens ELF progresse significativement et peut construire le compilateur auto‑hébergé avec LLVM/LLD tout en offrant des reconstructions incrémentales très rapides sur x86_64 Linux, la génération DWARF pour le code Zig restant la principale fonctionnalité manquante. Le système de build a été réorganisé en séparant la phase de configuration et l'exécution (configurer/maker), en sérialisant le graphe de build et en mettant en cache le maker compilé, ce qui réduit fortement les temps de commande et améliore l'expérience incrémentale, avec toutefois quelques changements d'API de build à noter. D'autres travaux notables incluent des implémentations expérimentales std.Io basées sur io_uring et GCD, des améliorations du gestionnaire de paquets (répertoire zig‑pkg et option --fork), la préférence pour les API natives Windows plutôt que kernel32, et la migration progressive de libc vers des wrappers Zig pour réduire la dépendance au C et la taille des binaires.

ziglang.org Resume pret HTTP 200 Commentaires

US Supreme Court rules geofence warrants require constitutional protections

La Cour suprême des États-Unis a jugé à 6-3 que les mandats dits "geofence", qui obligent les entreprises technologiques à communiquer des données massives de localisation de téléphones, constituent une perquisition au titre du quatrième amendement. La majorité, rédigée par la juge Elena Kagan, a estimé que les enregistrements de localisation des téléphones créent une "attente raisonnable de vie privée" même si la personne est en public ou si les données sont détenues par un tiers. Les juges ont rejeté l'argument du gouvernement selon lequel l'accès à des données de localisation de courte durée ou le fait d'avoir activé un service équivaudrait à un consentement volontaire, en soulignant les pratiques de Google pour inciter les utilisateurs à activer l'historique de localisation. La décision renvoie à la cour d'appel la question de savoir si la perquisition menée dans l'affaire Chatrie a été raisonnable, suffisamment particulière et étayée par des motifs probants. Des défenseurs de la vie privée ont salué l'arrêt comme une protection contre la surveillance de masse, tandis que les forces de l'ordre affirment que ces mandats restent nécessaires pour retrouver suspects et témoins.

www.theguardian.com Resume pret HTTP 200 Commentaires

How to corrupt an SQLite database file

Le moteur de base de données est conçu pour résister à la corruption et pour récupérer automatiquement après des interruptions, mais il n'est pas infaillible. La corruption peut provenir d'écritures externes ou de descripteurs de fichier réutilisés, de copies de sauvegarde effectuées pendant une transaction, ou de suppression/déplacement de fichiers journaux indispensables à la récupération. Des problèmes de verrouillage (systèmes de fichiers ne respectant pas les locks, annulation des verrous par close() en POSIX, multiples copies de SQLite liées dans la même application, protocoles de verrouillage incompatibles, renommage/unlink d'un fichier ouvert, liens multiples ou usage après fork) peuvent provoquer des accès concurrents incohérents et corrompre la base. Des défaillances matérielles ou systèmes, comme des périphériques qui mentent sur les sync, contrôleurs flash non résistants aux coupures, clés USB de fausse capacité, erreurs mmap ou corruptions du système de fichiers, peuvent altérer des octets sur disque et rendre la base incohérente. Enfin, des erreurs d'application (corruption mémoire, erreurs liées au mmap), des configurations qui désactivent les protections et quelques bugs rares dans SQLite peuvent aussi conduire à une base corrompue, bien que ces cas restent peu fréquents.

www.sqlite.org Resume pret HTTP 200 Commentaires

Ornith-1.0: self-improving open-source models for agentic coding

Ce modèle open-source d'agent de programmation se présente comme auto‑améliorant et utilise un cadre d'entraînement par renforcement pour optimiser conjointement les scaffolds et les rollouts des solutions. Il est publié en plusieurs tailles et architectures (dense ≈9B et MoE ≈35B et ≈397B) avec variantes bf16, FP8 et GGUF, et prend en charge une fenêtre de contexte jusqu'à 262 144 tokens. Sur des benchmarks de codage agentique (Terminal‑Bench 2.1, SWE‑Bench, NL2Repo, OpenClaw), il affiche des performances de pointe parmi les modèles open‑source de taille comparable. L'interface est compatible OpenAI, expose séparément la trace de raisonnement et les appelles d'outils, et s'intègre aux runtimes et frameworks courants (vLLM, SGLang, Transformers, llama.cpp/Ollama, OpenHands, etc.). La licence est MIT avec accès global, et le déploiement requiert des versions récentes des bibliothèques (Transformers ≥5.8.1, vLLM ≥0.19.1, SGLang ≥0.5.9) ainsi que des paramètres d'échantillonnage recommandés (par ex. temperature=0.6, top_p=0.95, top_k=20).

github.com Resume pret HTTP 200 Commentaires

30-year sentence for transporting zines is a five-alarm fire for free speech

Le gouvernement Trump a intensifié les poursuites liées à la dissidence politique en s'appuyant notamment sur la NSPM-7 pour cibler des acteurs désignés comme «antifa». Huit prévenus liés aux manifestations de Prairieland ont été condamnés à un total de 450 ans de prison, dont Daniel «Des» Sanchez Estrada à 30 ans pour avoir transporté des zines. Les procureurs ont soutenu que la possession et le déplacement de pamphlets anarchistes constituaient une dissimulation de preuves liant l'épouse de Sanchez à une fusillade lors d'une manifestation, sans preuve qu'elle ait tiré. Des actions connexes ont inclus une demande de mandat pour obtenir l'identité d'abonnés YouTube et l'argument selon lequel des documents reçus par des journalistes peuvent être qualifiés de contrebande. La NSPM-7 a élargi la définition d'acteurs «anti-fascistes», et cette logique pourrait amener les autorités à considérer la simple possession ou diffusion d'idées politiques comme relevant d'enquêtes ou de poursuites fédérales.

theintercept.com Resume pret HTTP 200 Commentaires