HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11474 articles Page 107/1148 Sans filtre

Show HN: Sigabrt.dev – cronjob monitor with an SSH TUI

Le service surveille les tâches planifiées en recevant des pings réguliers et signale les interruptions de fonctionnement en cas d'absence de ces pings. Pour l'utiliser, on crée un endpoint en précisant la fréquence et la période de tolérance, puis on ajoute une simple requête HTTP à la fin du script pour envoyer le ping. Le silence signifie que tout fonctionne normalement et des notifications ne sont émises que lorsque un ping programmé n'arrive pas. Une connexion SSH permet de consulter en lecture seule le statut, le calendrier et les événements récents des endpoints, et le service conserve l'historique des pulsations et des changements d'état. Le forfait inclut endpoints et pings illimités avec 90 jours d'historique, un niveau gratuit est disponible et l'abonnement payant coûte 15 € par mois.

sigabrt.dev Resume pret HTTP 200 Commentaires

If AI coding is lowering your code quality, you're not managing quality right

Les agents de programmation peuvent multiplier la production de code sans forcément dégrader la qualité si on met en place une approche réfléchie et des couches défensives. Le développement piloté par les spécifications, avec l'IA vérifiant les exigences et détectant les lacunes ou interactions, réduit sensiblement les bugs introduits lors du développement initial. Les agents rendent le développement dirigé par les tests beaucoup plus simple, à condition de leur faire suivre un flux : concevoir les scénarios, écrire les tests, implémenter, exécuter et corriger, puis combler les manques de couverture. Les tests de bout en bout, les revues ciblées (sécurité, duplication, conventions) et plusieurs passes de revue IA/humaine restent nécessaires pour les changements complexes, tandis que les petites modifications peuvent parfois être acceptées sans revue humaine. La surveillance en production et l'autodiagnostic des erreurs par des outils ou agents complètent ces couches défensives, ce qui permet selon l'auteur d'accélérer les livraisons tout en maintenant ou en diminuant le nombre de bugs.

www.i-kh.net Resume pret HTTP 200 Commentaires

Line Scan Photos from MUNI Heritage Weekend in San Francisco

L'auteur s'est rendu à San Francisco pour le Muni Heritage Weekend 2026 et a passé trois heures au bord des voies à scanner des tramways avec un appareil line scan. Les photographies de tramways sont diffusées sous licence CC BY-SA 4.0 et de nombreuses images ont été téléversées sur Wikimedia Commons. L'événement a présenté plusieurs véhicules historiques, notamment Muni No. 1 (1912), No. 162 (1914–1958), le Blackpool No. 233 (1934), le Melbourne No. 496 (1928) et le "Dinky" No. 578 (1896). Le Milan Peter Witt No. 1815 a été difficile à capturer en line scan malgré plusieurs tentatives, tandis que d'autres PCC et des véhicules divers comme des Waymo, des bus anciens et une voiture de police ont également été photographiés. Des images des coulisses montrent le dispositif de scan et des portraits pris par l'ami Daniel Du, pour lesquels un crédit photo est indiqué.

daniel.lawrence.lu Resume pret HTTP 200 Commentaires

College Is Coming Apart After Successive, Overlapping Crises

L'intelligence artificielle est passée d'une crise à un usage banal sur les campus, permettant désormais aux étudiants d'effectuer automatiquement une grande partie de leurs travaux tandis que des professeurs et administrateurs l'emploient aussi pour des tâches académiques et administratives. Simultanément, les chercheurs et les universités tirent avantage de l'IA pour la production de connaissances dans les sciences et les administrations investissent massivement dans des initiatives et des programmes liés à l'IA. Mais ces développements révèlent un problème plus profond : l'enseignement supérieur américain est une mosaïque de finalités incompatibles, surtout entre la délivrance d'un diplôme credentialisant et l'expérience de formation personnelle, et cette division a été amplifiée par la pandémie et les coupes de financement fédéral. La pandémie a montré que la délivrance des diplômes peut perdurer sans la vie de campus, et l'IA a encore séparé le processus d'apprentissage de ses produits en rendant possible l'obtention de travaux sans effort intellectuel, ce qui fragilise particulièrement les humanités. Il est peu probable que les universités réparent ces inconciliabilités à court terme, si bien que les bâtiments, les diplômes et les rituels perdureront en apparence pendant que l'esprit collectif et les missions éducatives se délitent.

www.theatlantic.com Resume pret HTTP 200 Commentaires

A custom virtual machine for the Stars 4X game

L'auteur a créé une machine virtuelle embarquant un émulateur 80286 et un pont Win16→Win32 pour exécuter un ancien jeu 16 bits sous Windows moderne comme un exécutable natif. Les versions signées sur GitHub intègrent une copie compressée du jeu original dans un EXE 32 bits (requérant SSE2) offrant une interface moderne, mise à l'échelle 4K et un comportement Windows plus propre que l'original. L'émulateur s'appuie sur le matériel x87 de l'hôte pour les flottants, est validé par un fuzzer différentiel, mappe les handles et structures entre Win16 et Win32, gère les interruptions DOS et expose un protocole (MCP) permettant à des agents IA de voir et piloter l'interface et la mémoire invitée. Pour accélérer la génération de tours, l'auteur a tracé les routines chaudes, réécrit des blocs critiques en C et les a mappés comme nouvelles instructions 80286 patchées à l'exécution, a mis en tampon les I/O et réimplémenté les interfaces sonores, obtenant ainsi un gain de près de deux fois. Le projet compresse les actifs embarqués pour réduire la taille, neutralise la protection par clé en injectant un code fixe et une signature matérielle d'émulateur (désactivable), et publie le code source et des instructions de compilation pour les personnes souhaitant modifier ou étudier le système.

nullprogram.com Resume pret HTTP 200 Commentaires

Show HN: jevals – replacing LLM judges with typed Jev decisions

Jevals propose d'évaluer des traces d'agents en envoyant, en une seule requête, des questions typées (oui/non, choix, rubriques) à un modèle de décision Jev plutôt qu'à un juge LLM générateur, ce qui réduit fortement coût et latence. La bibliothèque permet de définir des evals en Python ou YAML avec trois méthodes (state, questions, reduce), d'agréger plusieurs métriques dans une seule requête et d'exécuter ces évaluations en batch, en surveillance ou en boucle d'agent. Elle s'intègre à divers backends (Jev via Vercel AI Gateway, Kev, Laya ou en émulation avec un chat LLM) et fournit des composants prêts à l'emploi pour l'agent et la sécurité, comme ToolChoice, Grounded, IndirectInjection, PII/PHI et des métriques de qualité RAG. Les gates associent des evals à des politiques allow/escalate/block pour intercepter appels d'outils, résultats et boucles, avec calibration des seuils, conservation des preuves pour audit et possibilité d'escalade humaine sur les actions irréversibles. Les benchmarks montrent des coûts et latences très inférieurs aux juges LLM classiques, mais la calibration sur données humaines est recommandée; le projet est en alpha, open source, avec exemples, CLI, MCP et adaptateurs pour SDKs d'agents.

github.com Resume pret HTTP 200 Commentaires

Prompts aren’t Real

Dan, ingénieur à Los Angeles avec vingt-cinq ans d'expérience, raconte son travail récent sur des agents destinés aux consommateurs. Il constate que, malgré les capacités des grands modèles de langage, les agents échouent de façon intermittente et parfois triviale en production. Pour contenir ces défaillances il recommande des mesures systématiques, des tests répétés (pass^k), des jeux de tests de validation et une surveillance continue en production. Plutôt que de se focaliser sur la rédaction manuelle de prompts, il préconise des boucles d'optimisation automatisées, des juges LLM et des datasets d'exemples bons/mauvais pour entraîner et évaluer les comportements. Il met en garde contre la charge mentale et les risques organisationnels associés, en soulignant que les prompts sont éphémères et que l'effort devrait se concentrer sur des systèmes auto-correctifs et des mesures robustes.

evaluation.club Resume pret HTTP 200 Commentaires

What's been going on in w64devkit the past year

Le projet w64devkit a accueilli un co-mainteneur, Peter0x44, dont les contributions ont orienté plusieurs améliorations reversées en amont. Les livraisons sont désormais signées, produites par des GitHub Actions automatisées et rendues immuables avec une attestation pour empêcher toute modification ultérieure. La chaîne d'outils x64 est devenue multilib pour compiler aussi en 32 bits, GCC peut être invoqué sans modifier le PATH, et Binutils gère maintenant bigobj par défaut pour éviter la limite de sections. De nombreux outils ont été ajoutés ou améliorés pour faciliter les builds et l'installation, notamment CMake configuré pour Ninja, ccmake, ccache amélioré pour Windows, widl/uuidgen, make2compdb, un outil de corbeille, quilt, NSIS et zstd. Au niveau des runtimes, une implémentation légère de threads C11 a été intégrée, std::terminate a été modifié pour trapper en débogage, et l'auteur envisage de réactiver LTO avec des runtimes FatLTO tout en conservant un support XP pour la version x86.

nullprogram.com Resume pret HTTP 200 Commentaires

Coding Theory: A Playful Introduction

L'article commence par une mise en situation simple où deux voisins communiquent avec une lampe torche pour introduire les notions d'encodage, de décodage, de symbole et de mot de code. Il présente plusieurs méthodes: dessiner des lettres, cligner la lampe (système en base 1), optimiser par analyse de fréquence, puis passer au code Morse à points et traits en expliquant l'importance de la ponctuation et le problème des préfixes. Pour éviter les ambiguïtés on peut utiliser des codes de longueur fixe comme l'ASCII ou des codes préfixes optimaux générés par l'algorithme de Huffman, qui réduit fortement la taille et le temps d'envoi comme le montrent les exemples chiffrés. L'article souligne les compromis: Huffman est optimal pour la compression mais sensible aux erreurs bit à bit, ce qui motive les codes de canal pour la détection et la correction d'erreurs ainsi que la cryptographie pour la confidentialité. Enfin il décrit les aspects pratiques de la couche physique — codage de ligne (NRZ, NRZ‑I, Manchester, Differential Manchester), 4B5B, UTF‑8 et autres conventions — et conclut que ces techniques forment la base des échanges et du stockage modernes.

paramrathour.github.io Resume pret HTTP 200 Commentaires