HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11567 articles Page 965/1157 Sans filtre

Gerd Faltings, who proved the Mordell conjecture, wins the Abel Prize

L’Abel Prize a été attribué à Gerd Faltings, mathématicien allemand. Il est surtout connu pour avoir démontré la conjecture de Mordell, aujourd’hui appelée théorème de Faltings. Le théorème affirme que pour une courbe dont l’équation contient une variable élevée à une puissance supérieure à trois, il n’existe qu’un nombre fini de points rationnels. Sa preuve est considérée comme une pierre angulaire de l’arithmétique géométrique et a influencé des travaux dans des domaines voisins. Le comité a salué sa stature et ses contributions majeures, notamment l’extension du théorème à des objets multidimensionnels et des travaux en théorie p-adique de Hodge.

www.scientificamerican.com Resume pret HTTP 200 Commentaires

BIO – The Bao I/O Co-Processor

Le BIO est un co-processeur d’E/S intégré au Baochip-1x, conçu pour décharger le CPU des tâches d’entrée/sortie et offrir un comportement déterministe proche d’une machine d’état dédiée. À partir d’un modèle PIO, l’auteur propose une architecture RISC avec quatre coeurs PicoRV32 configurés en RV32E, utilisant des registres et des queues pour gérer FIFO, GPIO et synchronisation inter‑core. Le BIO introduit des registres bloquants et des mécanismes d’arrêt, notamment halts vers le quantum et vers les événements, et inclut une extension BDMA pour le DMA avec une whitelist mémoire par défaut vide. Un exemple simple montre trois coeurs BIO travaillant en parallèle sur une opération DMA et un SPI bitbang, avec le mécanisme « snap-to-quantum » pour aligner les signaux. Le texte compare BIO et PIO en termes d’architecture, de surface logique et de fréquence, souligne que BIO privilégie l’aire et l’ouverture, et renvoie vers les ressources et outils disponibles sur GitHub.

www.crowdsupply.com Resume pret HTTP 200 Commentaires

Log File Viewer for the Terminal

Il s'agit d'un visualiseur de journaux pour le terminal qui permet de fusionner, afficher, rechercher, filtrer et interroger les fichiers journaux. Il n'exige ni serveur ni configuration préalable. Les formats de fichier sont détectés automatiquement et les fichiers compressés sont décompressés à la volée. Des aides en ligne et des aperçus des opérations facilitent l'apprentissage et l'utilisation. Des ressources comme une vidéo d'introduction et la documentation sont disponibles pour en savoir plus.

lnav.org Resume pret HTTP 200 Commentaires

Epoch confirms GPT5.4 Pro solved a frontier math open problem

La solution au problème a été proposée initialement par Kevin Barreto et Liam Price à l’aide de GPT-5.4 Pro, puis confirmée par le contributeur Will Brian et sera décrite dans une publication. Selon Brian, l’approche de l’IA est prometteuse et excitante, et bien qu’il ait d’abord douté qu’elle soit possible, elle fonctionne et élimine une inefficacité dans la construction des bornes inférieures, tout en reflétant l’ingéniosité de la construction des bornes supérieures. Il prévoit de publier la solution et d’explorer des travaux futurs, et Barreto et Price ont la possibilité d’être coauteurs des éventuels articles, avec des liens mis à jour sur cette page. Par ailleurs, ils ont développé un dispositif général pour tester des modèles sur FrontierMath: Open Problems, et plusieurs modèles y ont aussi résolu le problème, notamment Opus 4.6 (max), Gemini 3.1 Pro et GPT-5.4 (xhigh). Le problème original porte sur l’amélioration des bornes inférieures de H(n) pour des hypergraphes, en définissant les partitions et en cherchant une construction qui permette de maximiser |V| tout en contrôlant |H| et l’absence de partitions de taille supérieure à n, avec des variantes et des essais par IA.

epoch.ai Resume pret HTTP 200 Commentaires

Box of Secrets: Discreetly modding an apartment intercom to work with Apple Home

L’article décrit comment des visiteurs ont tenté d’accéder au portail d’un immeuble lorsque le système d’interphone est en panne. Ils détectent des failles dans l’installation, notamment un accès administratif non protégé au routeur et une possibilité d’intervenir sur le verrou du portail. Après plusieurs tentatives infructueuses, ils découvrent qu’un boîtier de jonction peut influencer directement le solénoïde qui actionne le verrou. Ils développent une solution mêlant un microcontrôleur et une intégration domestique via le protocole Matter pour déverrouiller le portail à distance. Le récit met en avant les enjeux de sécurité et la discrétion de l’installation, tout en décrivant les défis techniques rencontrés.

www.jackhogan.me Resume pret HTTP 200 Commentaires

Node.js worker threads are problematic, but they work great for us

Node.js s'exécute sur un seul thread et l'event loop peut être bloqué si le code monopolise le CPU, empêchant les timers et les callbacks de s'exécuter. Dans Inngest Connect, cela causait des erreurs « no available worker » lorsque le code utilisateur bloquait le thread principal et empêchait les heartbeats. La solution a été de déplacer les internes de Connect dans un thread worker afin que la connexion WebSocket et les heartbeats fonctionnent sur une autre boucle d'événements. Les worker threads offrent une isolation avec leur propre V8 isolate et communiquent par messages sérialisés, ce qui oblige à concevoir un protocole et à éviter de passer des fonctions arbitraires. Le résultat a éliminé les erreurs et montre que les worker threads conviennent pour isoler des tâches longues, bien que leur coût mémoire et leur modèle de communication nécessitent une approche différente.

www.inngest.com Resume pret HTTP 200 Commentaires