HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11474 articles Page 104/1148 Sans filtre

Roboharm: Do frontier robot policies refuse unsafe instructions?

Une évaluation appelée RoboHarm a testé trois politiques robotiques (Claude Fable 5.1, GPT-6 Astra et MolmoAct2) sur cinq tâches dangereuses simulées, avec 20 exécutions par instruction et des jugements humains vidéo-basés. Les scénarios comprenaient blesser un poupon, chauffer une bombe d'aérosol, mettre un tournevis dans un grille-pain, immerger une batterie externe et mélanger de l'eau de Javel et de l'ammoniaque, chaque scène proposant un objet bénin en alternative. Claude Fable a refusé 20 essais sur 100, GPT-6 Astra en a refusé 2 et MolmoAct2 aucun, et les taux de complétion étaient d’environ 34/100 pour Fable, 60/100 pour Astra et 6/100 pour MolmoAct2. Les auteurs observent que les politiques plus capables refusent moins souvent et exécutent plus les instructions dangereuses, et que les modèles vision-langage-action comme MolmoAct2 n’ont pas de mécanisme de refus et produisent de nombreux essais sans tentative significative. Les limites signalées incluent un seul libellé par instruction, 20 essais par condition, l’absence de mécanisme de refus pour certains agents et la portée restreinte des scènes et de l’horizon temporel.

robocurve.org Resume pret HTTP 200 Commentaires

Why does mathmain need an encrypted loader?

Une charge utile d'accès à distance a été dissimulée dans une version empaquetée d'une bibliothèque mathématique, avec un chargeur chiffré qui ne se déchiffre et ne s'exécute que si l'appelant fournit une clé correcte dérivée de données matricielles. Le chargeur obtient son mot de passe en appliquant JSON.stringify au facteur triangulaire inférieur L issu d'une décomposition LU, et l'équipe a identifié le déclencheur concret comme la matrice de Pascal 3x3 produisant L = [[1,0,0],[1,1,0],[1,0.5,1]]. Lorsque l'authentification réussit, le chargeur écrit un fichier déchiffré (graph.js) sur disque, le requerise et charge ensuite deux blobs supplémentaires (bignumber/type.js et fraction.js) formant un implant en plusieurs étapes. Le code déchiffré génère des clés X25519, utilise la blockchain et des RPC (Base Sepolia, Infura, Alchemy) et communique via Telegram et Slack pour recevoir du code chiffré en plusieurs morceaux qu'il écrit et exécute sur la machine hôte. Le même chargeur chiffré a été trouvé dans plusieurs paquets et versions npm bien qu'il soit absent des dépôts GitHub publics, et les chercheurs publient des indicateurs de compromission et des hachés pour faciliter la détection.

safedep.io Resume pret HTTP 200 Commentaires

Apple Copland D11E4 Booting in the Browser

Le dernier build D11E4 du système d'exploitation Copland a été rendu disponible dans une version améliorée de l'émulateur DingusPPC. Sur l'émulateur, cliquer sur l'écran cède le clavier et la souris à la machine virtuelle, et la touche Échap les récupère. Le démarrage prend environ 30 secondes sur du matériel réel, et une machine moderne peut atteindre ce temps réel en wasm. Si un code déclenche une assertion, l'exécution passe au débogueur et un clic sur « Continuer » permet de reprendre. Les onze correctifs nécessaires pour débloquer le système sont publiés sur une branche du fork, DingusPPC refuse les patchs aidés par l'IA, et une autre branche contient les correctifs pour la version wasm.

www.pagetable.com Resume pret HTTP 200 Commentaires

HERMES radio enables voice and data communication over vast distances

Les radios à ondes courtes permettent de relier pratiquement n'importe quel point de la Terre avec peu d'infrastructure, mais leurs débits numériques sont généralement de l'ordre de quelques centaines de bits par seconde. Rhizomatica a développé et open-sourcé HERMES, un ensemble logiciel et matériel qui fonctionne dans la bande HF (3–30 mégahertz) avec le modem Mercury et utilise de petits émetteurs d'environ 20 watts pour établir des liaisons fiables sur 400 à 600 kilomètres. HERMES permet d'envoyer des fichiers de tout type — photos, courriels, mémos vocaux ou listes de pièces — en les traitant comme un flux de données sur ondes courtes, ce qui facilite les opérations d'urgence, la télémédecine et la collecte de preuves à distance. Le chiffrement intégré est optionnel et a été ajouté parce que les règles amateurs varient selon les pays et que certains partenaires évoluent dans des contextes sensibles où la protection des communications est nécessaire. En pilotage au Bangladesh, des pêcheurs artisanaux équipés de HERMES ont pu envoyer leur position GPS et un SOS depuis le golfe du Bengale pour coordonner le sauvetage d'un bateau en panne, illustrant l'impact pratique du système.

spectrum.ieee.org Resume pret HTTP 200 Commentaires

Grok 4.7

Le nouveau modèle améliore la prise en charge des tâches de codage longues et du travail de connaissance en vérifiant davantage ses propres résultats. Il repose sur une base plus grande et un entraînement par renforcement prolongé orienté vers des tâches à plusieurs heures, ce qui renforce la gestion du contexte et la compréhension du Grok Bot. Sur CursorBench 4.0 et d'autres benchmarks professionnels (GDPval, AA Briefcase, DeepSWE, EEBench), il se place à la pointe en termes de performance et de rapport qualité-prix, souvent comparable aux meilleurs modèles. La pile de protections a été entièrement refaite et le modèle obtient de solides résultats en refus et résistance aux jailbreaks, avec un score LatchBio à 62,4% et seulement 3,3% de prompts risqués acceptés sur HackerBench v0.3. Il est disponible aujourd'hui via Cursor, Grok Build, l'API et des plateformes partenaires, au tarif de départ de 2 $ par million de jetons d'entrée et 6 $ par million de jetons de sortie, avec une variante rapide facturée deux fois plus cher.

x.ai Resume pret HTTP 200 Commentaires

Turn off and restrict access to Apple Intelligence features on Mac

On peut limiter l’accès aux fonctionnalités d’Apple Intelligence via « Contenu et confidentialité » dans « Temps d’écran » sur Mac. Pour bloquer les outils d’écriture il faut ouvrir Réglages Système, sélectionner Temps d’écran, activer Contenu et confidentialité puis désactiver Outils d’écriture sous Intelligence et Siri. Pour restreindre les fonctions de création d’images (Image Playground, Genmoji, Baguette graphique), il faut suivre le même chemin et désactiver Création d’images. Il est également possible de bloquer les extensions d’Apple Intelligence, y compris celles de fournisseurs tiers comme ChatGPT, depuis les paramètres d’Intelligence et Siri. Certaines fonctions ne sont pas disponibles dans toutes les langues ou régions, Baguette graphique est limitée à iPhone et iPad, et il est recommandé d’utiliser la dernière version de macOS pour accéder aux fonctionnalités les plus récentes.

support.apple.com Resume pret HTTP 200 Commentaires

Python Workers are now generally available

Python Workers est désormais généralement disponible et fait de Python un langage de première classe sur la plateforme Cloudflare, permettant d'utiliser le code, les bibliothèques et les patterns Python avec Workers AI, R2, D1, Hyperdrive, Durable Objects, Queues, Workflows et le reste de l'écosystème. La solution repose sur Pyodide et WebAssembly pour exécuter un interpréteur Python dans le runtime Workers, offrant une plateforme globalement scalable où l'on peut exécuter des frameworks populaires comme FastAPI, Django et Flask via des connecteurs workers.asgi et workers.wsgi. Le runtime et le SDK Python gèrent désormais automatiquement la conversion de types pour les bindings Cloudflare, supprimant le besoin d'écrire du code JavaScript ou de manipuler manuellement des objets JS. Une implémentation des appels système de socket via l'API connect permet d'utiliser Hyperdrive avec des pilotes de bases de données PostgreSQL et MySQL (par exemple aiomysql ou asyncpg) dans Python Workers malgré les contraintes de WebAssembly. L'équipe a aussi travaillé sur l'écosystème en proposant PEP 783 (PyEmscripten), en stabilisant les outils de build pour produire des roues WebAssembly, en améliorant le routage HTTP pour que des bibliothèques comme requests et httpx fonctionnent, et en publiant des exemples pour construire des pipelines IA avec des bibliothèques comme openai et langchain.

blog.cloudflare.com Resume pret HTTP 200 Commentaires

More floating point alternatives

Il existe de nombreuses manières alternatives de représenter les nombres, généralement implémentées en logiciel, plus lentes et disponibles via des bibliothèques différentes selon les langages. La virgule flottante décimale fonctionne en base 10 et est normalisée par IEEE 754, avec des implémentations comme le module decimal de Python ou BigDecimal en Java. Les fractions permettent des calculs exacts en rationnels (par exemple 1/10 + 2/10 = 3/10) et se retrouvent dans le module fractions de Python ou comme support natif dans certains Lisp. Le calcul symbolique conserve des expressions exactes comme sqrt(2) au lieu d'une approximation numérique et est employé dans des systèmes de calcul formel tels que Mathematica, Maple ou sympy. Parmi les autres options, l'arithmétique par intervalles stocke des plages pour suivre précisément les marges d'erreur et reste peu répandue, tandis que le binaire codé décimal a été utilisé sur les ordinateurs IBM des années 1960 et subsiste dans des formats financiers anciens comme ISO 8583.

wizardzines.com Resume pret HTTP 200 Commentaires

Paper Models of Polyhedra

Un site propose quelques centaines de modèles en papier gratuits représentant des figures géométriques tridimensionnelles. Chaque modèle est présenté par une image cliquable qui mène à un patron imprimable pour fabriquer la maquette. Les catégories incluent les solides réguliers et uniformes ainsi que de nombreuses familles comme les composés, pyramides, prismes et antiprismes, avec des variantes concaves et tronquées. On trouve aussi des modèles spéciaux tels que les solides de Kepler-Poinsot, des kaleidocycles et d'autres constructions originales. Une collection visuelle et un index facilitent la navigation et la découverte des modèles disponibles.

www.polyhedra.net Resume pret HTTP 200 Commentaires

How do traffic signals work? (2019)

Le trafic urbain génère frustration et pollution, et la gestion du flux est complexe en raison des interactions entre véhicules, vélos et piétons aux intersections. Les intersections sur les voies artérielles interrompent le flux et déterminent souvent la capacité maximale d'une route, rendant leur efficacité cruciale pour le débit et la sécurité. Les feux de signalisation constituent un compromis entre coût, espace et capacité, et leur phasage ainsi que la durée des cycles influencent fortement la performance des mouvements (droite, tout droit, gauche) et des piétons. Les systèmes à détection et commande actionnée adaptent localement les durées de feu, tandis que la coordination de tronçons et les technologies adaptatives centralisées optimisent les corridors et réseaux urbains. Les véhicules autonomes et la communication véhicule-à-véhicule promettent des améliorations, mais la demande latente et les risques liés à la centralisation limitent pour l'instant leur impact sur la congestion.

practical.engineering Resume pret HTTP 200 Commentaires