HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11978 articles Page 725/1198 Sans filtre

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.

www.cringely.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.

security.apple.com Resume pret HTTP 200 Commentaires

Let the AI Cook

Beaucoup de workflows complexes pour faire écrire du code par l'IA reçoivent plus de crédit qu'ils ne méritent. Selon l'auteur, ce qui fait réellement le travail, c'est la pile technologique ciblée et l'expérience du développeur, comme le goût et la reconnaissance de motifs, le reste étant de la décoration. Empiler de nombreuses contraintes dans le prompt restreint le modèle et entraîne des échecs quand une hypothèse est incorrecte, alors qu'il faisait exactement ce qu'on lui demandait. L'auteur préconise une méthode en deux étapes : d'abord fournir le contexte local pour que l'agent se prime, puis lui indiquer la tâche à réaliser, ce qui permet au modèle d'imiter les conventions et les structures existantes. L'auteur souligne que le rôle restant du développeur est de choisir la pile, avoir du goût et détecter quand la sortie dévie, et que les rituels élaborés sont surtout du travail de remplissage pour préserver un sentiment d'utilité.

www.ivan.codes Resume pret HTTP 200 Commentaires

A Forth-inspired language for writing websites

L'auteur a conçu Forge, un langage inspiré de Forth, basé sur une pile, permettant de générer du HTML à l'aide de mots définis comme h1, p et des microformats. Un site Forge est organisé en bibliothèques de mots, feuilles de style et pages (.forge), et un unique binaire compile les fichiers en WebAssembly pour produire le HTML. Le système effectue du rendu côté serveur pour les crawlers et WebMentions, tout en utilisant un service worker qui récupère les sources .forge et compile le HTML dans le navigateur pour une expérience SPA. L'état peut être conservé en localStorage ou écrit sur le serveur dans un journal append-only au format JSONL, ce qui permet des interactions telles qu'un bouton de like qui ajoute "1" au sujet "likes:demo" via log-append. L'auteur apprécie les contraintes du langage, l'explore pour un usage personnel et souligne que sa régularité le rend adapté à la génération automatique par modèles et potentiellement très performant grâce à l'héritage Forth.

robida.net Resume pret HTTP 200 Commentaires

Wi-Wi is wireless time sync at 1 nanosecond

Wi‑Wi STAMP, développé par le NICT au Japon et basé sur la Wireless 2Way interferometry, utilise la bande des 900 MHz dans un boîtier de taille smartphone pour fournir une synchronisation temporelle au niveau de la picoseconde et une précision de position au millimètre. Les prototypes actuels affichent 20 ps de jitter de phase et une synchronisation temporelle de l’ordre de 30 ns, la génération suivante visant environ 5 ns en conditions réelles. Lors du NAB, des démonstrations ont montré des usages pratiques : Meinberg a synchronisé sans fil le black burst de deux caméras distantes et les cofondateurs ont réalisé une localisation millimétrique avec trois unités et un émetteur dissimulé sous une tasse. Le système opère typiquement sur des distances de 0,2 à 5 km selon la puissance RF, met à jour la position environ 20 fois par seconde et, grâce au 900 MHz, offre une meilleure pénétration que le GNSS en intérieur ou là où le câblage est coûteux. Bien que encore en développement, Wi‑Wi suscite de l’intérêt dans l’industrie broadcast, où la synchronisation et des protocoles comme SMPTE 2110, Ravenna et AES67 se généralisent.

www.jeffgeerling.com Resume pret HTTP 200 Commentaires

1940 Air Terminal Museum Begins Liquidation

Le musée propose à la vente trois simulateurs full size et full motion situés dans un hangar à 8323 Travelair Street à Houston : un Southwest 737-200, un Beechcraft King Air 200 et un Hawker 700. Chaque simulateur est vendu avec les armoires informatiques et documents associés, mais FlightSafety a retiré du matériel ou logiciels propriétaires sur les deux appareils qu'ils avaient donnés, sans plus de détails. Le prix demandé est de 20 000 USD par simulateur, la vente est finale sans garantie et aucun des systèmes n'a été mis sous tension depuis leur réception en 2010, de sorte qu'une vérification préalable est fortement recommandée. La logistique d'extraction est entièrement à la charge de l'acheteur, nécessitant un très grand chariot élévateur (identifié « CAP22700LBS » sur une photo), un escort véhicule pour accéder à l'AOA de l'aéroport Hobby et la suppression puis réinstallation d'une cloison temporaire. Les intéressés peuvent organiser une visite sur place (avec renonciation à la responsabilité) ou un appel vidéo et doivent contacter info@1940airterminal.org ou le formulaire de contact du musée plutôt que d'appeler.

www.1940airterminal.org Resume pret HTTP 200 Commentaires

Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark

L'équipe a testé six outils d'IA pour générer un modèle paramétrique du Panthéon en OpenSCAD à partir de deux images de référence afin d'évaluer leur capacité à traduire des références architecturales en code CAD. Le Panthéon a été choisi parce qu'il combine symétrie radiale, dôme, oculus, portique et éléments constructifs qui conviennent bien au langage textuel et booléen d'OpenSCAD. Les résultats montrent que Google Antigravity avec Gemini 3.5 Flash a produit le meilleur résultat autonome (notamment les caissons intérieurs) tandis que ModelRift avec Gemini Flash 3.0 guidé par un humain a obtenu le meilleur résultat non autonome; Codex a généré beaucoup de détails mais a souffert d'un problème d'export STL, et Cursor a été le plus rapide mais le plus faible. Les observations pratiques indiquent qu'OpenSCAD fonctionne bien comme cible textuelle, que tous les agents ont utilisé la CLI sans problème, et que le principal goulot d'étranglement était le jugement géométrique plutôt que l'accès aux outils. Les auteurs concluent que la génération entièrement autonome reste insuffisante pour des modèles architecturaux fidèles, que la boucle humain-in-the-loop avec annotations visuelles améliore significativement la précision spatiale, et que les aperçus PNG ne garantissent pas la qualité de l'export final.

modelrift.com Resume pret HTTP 200 Commentaires

A Wayland Compositor in Minecraft

Ce mod intègre un compositeur Wayland complet directement à l'intérieur de Minecraft, permettant d'exécuter des applications et d'afficher des fenêtres dans le monde du jeu. Les utilisateurs peuvent lancer des applications, ouvrir plusieurs fenêtres, effectuer des opérations de glisser-déposer entre fenêtres et épingler un lecteur vidéo à l'interface tête-haute. Le mod est conçu pour Minecraft: Java Edition et s'intègre au gameplay pour fournir des interactions de type bureau au sein du jeu. Important : il ne fonctionne que sous Linux et n'est pas pris en charge sur macOS ou Windows. La modification apporte des fonctionnalités avancées de gestion de fenêtres et multimédia tout en exigeant un environnement Linux pour être utilisée.

modrinth.com Resume pret HTTP 200 Commentaires

Open source Kanban desktop app that runs parallel agents on every card

Kanbots est un tableau Kanban qui exécute des agents en parallèle sur chaque carte, chaque agent travaillant dans un worktree git distinct et branché sur kanbots/issue-N. L'application est locale par défaut (tout vit dans .kanbots à côté du dépôt) et propose des builds desktop pour macOS, Linux et Windows, tandis qu'une option cloud permet la collaboration d'équipe. On peut utiliser Claude Code ou Codex via une interface CLI commune, dispatcher des runs manuels ou activer l'autopilot qui fait tourner des personas en round-robin jusqu'à quatre créneaux parallèles et scinde automatiquement les tâches. Les agents s'arrêtent pour poser des décisions révisables que l'utilisateur peut approuver ou modifier (raccourcis numérotés et commandes slash), et un suivi des coûts en temps réel permet de fixer des plafonds par run ou session. Intégrations : mode GitHub avec PRs draft et pre-push hook, serveur MCP pour pilotage externe, templates de tâches, QA mode pour tests et builds, et UI dédiée pour dispatcher, revoir, scinder et livrer le travail des agents.

www.kanbots.dev Resume pret HTTP 200 Commentaires