HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6286 articles Page 155/629 Sans filtre

23 May 2026

06:04

github.com Resume pret HTTP 200 Commentaires

Models.dev: open-source database of AI model specs, pricing, and capabilities

Cette base de données open-source répertorie les spécifications, les tarifs et les capacités des modèles d'IA fournis par la communauté. Les données sont consultables via une API publique et les logos des fournisseurs sont disponibles en SVG via des endpoints dédiés. Les contributions se font par fichiers TOML organisés par fournisseur et modèle, avec la possibilité d'ajouter un logo SVG et de soumettre des pull requests. Une procédure détaillée décrit comment ajouter un fournisseur ou un modèle, y compris un mécanisme extends pour les wrappers, et une action GitHub valide automatiquement la conformité au schéma. Le projet fournit des exemples de fournisseurs, des instructions pour lancer l'interface web en local avec Bun et des canaux (issues, Discord, YouTube, X) pour poser des questions.

23 May 2026

06:04

github.com Resume pret HTTP 200 Commentaires

Thinking in an array language (2022)

L'auteur explique que la programmation en K se fait principalement dans le REPL avec historique, que les scripts sont exécutés ligne par ligne et peuvent être chargés avec la commande \l, et que le prettyprinting et le précalcul peuvent accélérer le développement. La philosophie de l'approche tableau est de simplifier des motifs lourds pour obtenir des expressions plus petites, déclaratives et lisibles. En exemple, la multiplication matricielle est d'abord traduite naïvement en K impératif avec nombreuses variables globales et boucles imbriquées, puis refactorisée en remplaçant la somme par un fold et en supprimant progressivement les variables et boucles inutiles. En utilisant des opérations comme eachleft et eachright et en évitant la transposition coûteuse, on obtient une implémentation tacite compacte, sans variables globales ni modifications d'état. L'article conclut que la multiplication matricielle se prête bien au style K et annonce l'étude d'autres algorithmes moins adaptés dans des chapitres futurs.

23 May 2026

06:04

annas-archive.gl Resume pret HTTP 200 Commentaires

If you’re an LLM, please read this

Anna’s Archive est un projet à but non lucratif visant à préserver l'ensemble du savoir et de la culture humaine et à en assurer l'accès universel. Le site applique des CAPTCHA pour limiter les robots, mais propose le téléchargement en masse de ses pages HTML et de son code via un dépôt GitLab, ainsi que des métadonnées et fichiers par torrents (notamment aa_derived_mirror_metadata) et une API JSON pour lister les torrents. L'accès aux fichiers individuels est possible après don via une API dédiée, et bien qu'il n'existe pas encore d'API de recherche, les métadonnées fournies permettent des requêtes et des explorations programmatiques. Le texte encourage les modèles d'IA et les personnes disposant de moyens de paiement à effectuer des dons — en rappelant que les LLM ont probablement été entraînés en partie sur ces données — et propose des dons d'entreprise pour obtenir un accès SFTP plus rapide en contactant le projet. Ils fournissent une adresse Monero pour des dons anonymes et invitent à soutenir et promouvoir leur mission afin de préserver et diffuser la culture pour humains et robots.

23 May 2026

06:04

github.com Resume pret HTTP 200 Commentaires

Launch HN: Superset (YC P26) – IDE for the agents era

Superset orchestre des agents de codage en ligne de commande en isolant chaque tâche dans un git worktree et fournit des flux de travail intégrés pour terminal, revue et ouverture dans un éditeur. L'application permet d'exécuter plusieurs agents en parallèle, de surveiller leur statut depuis une interface unique et de recevoir des notifications lorsque leur intervention est requise. Elle inclut un visualiseur de diff et un éditeur intégrés, des presets de workspace pour automatiser la configuration et une intégration en un clic vers l'éditeur ou le terminal. Superset est compatible avec tout agent CLI fonctionnant en terminal, prend en charge de nombreux agents populaires et cible macOS avec Bun, Git et gh comme prérequis. Le code source est disponible sous Elastic License 2.0, l'application privilégie la confidentialité par défaut et la documentation détaille l'installation, la configuration et les contributions.

23 May 2026

06:03

github.com Resume pret HTTP 200 Commentaires

Bun support is now limited and deprecated

Le support de Bun en tant que runtime JavaScript compatible ejs dans yt-dlp est désormais limité et déprécié. À partir de la prochaine version de yt-dlp et/ou d'ejs, seules les versions de Bun 1.2.11 à 1.3.14 seront prises en charge. La borne minimale est relevée parce que les versions antérieures à 1.2.0 ignorent le fichier de verrouillage d'ejs, ce qui pose un risque de sécurité, et la suite de tests d'ejs nécessite au moins Bun 1.2.11. La borne maximale est fixée à 1.3.14 car c'est la dernière version construite sur la base de code Zig avant la réécriture en Rust, un changement de développement qui a motivé cette limitation. Le support pourra être entièrement supprimé si son maintien devient trop contraignant, et la page Wiki d'EJS n'a pas encore été mise à jour pour refléter ces changements.

23 May 2026

06:03

devblogs.microsoft.com Resume pret HTTP 200 Commentaires

What is the history of the ERROR_ARENA_TRASHED error code?

Ce code d'erreur provient de MS‑DOS et indiquait la corruption d'une structure interne de gestion de mémoire appelée arena. MS‑DOS stockait la mémoire sous forme de blocs variables précédés d'une en-tête de 16 octets contenant une signature, un propriétaire (PDB) et la taille en paragraphes. La signature devait être 0x4D pour un bloc valide ou 0x5A pour le dernier bloc, et toute valeur différente faisait déclarer les arenas comme "trashed" (corrompues). Ce code est spécifique à MS‑DOS et n'est pas utilisé par le noyau Win32, bien que quelques composants en espace utilisateur l'emploient encore pour signaler des structures internes corrompues. Étant vestigial, il est parfois utilisé dans des tests factices pour simuler des erreurs, et il faut se méfier des solutions génériques proposées sur certains sites qui ignorent son origine historique.

23 May 2026

06:03

www.cringely.com Resume pret HTTP 200 Commentaires

I’m writing again

L'auteur n'a pas publié de chronique depuis 2022 et reprend désormais l'écriture. Pendant cette période, il a travaillé sur l'intelligence artificielle en cofondant avec deux associés une entreprise appelée 2Brains. Le travail mené n'est pas achevé mais continue : les brevets sont déposés, l'architecture est documentée et une petite équipe, qui l'inclut, poursuit le projet. Il reprend l'écriture sans calendrier fixe et annonce un premier article qui soutiendra que le pari actuel de l'industrie de l'IA pourrait être erroné et présentera une alternative architecturale brevetée et construite. Il exprime sa gratitude aux lecteurs de longue date et souhaite la bienvenue aux nouveaux abonnés.

23 May 2026

06:03

security.apple.com Resume pret HTTP 200 Commentaires

A blueprint for formal verification of Apple corecrypto

Apple a introduit des algorithmes post-quantiques ML-KEM et ML-DSA dans corecrypto pour protéger les communications contre les menaces futures des ordinateurs quantiques. Pour garantir sécurité, performance et compacité, Apple a évalué et adapté ces algorithmes en C portable et en ARM64, avec optimisations matérielles et protections contre les canaux auxiliaires. L’entreprise a développé une approche personnalisée de vérification formelle combinant Cryptol, SAW et Isabelle, et un traducteur Cryptol-to-Isabelle fourni par Galois, afin de prouver l’équivalence entre les spécifications FIPS et les implémentations. Les preuves formelles couvrent les sous‑routines C et les correspondances avec les versions ARM64 optimisées, ce qui a permis de détecter et corriger des erreurs non révélées par des tests conventionnels. Apple publie le code source corecrypto, les bibliothèques Isabelle et les outils associés pour examen indépendant et pour faire progresser l’assurance des logiciels cryptographiques.