HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11382 articles Page 1055/1139 Sans filtre

Semantic Syntax Highlighting for Lisp in Emacs

Ce mode mineur propose une coloration syntaxique sémantique pour les langages Lisp dans Emacs, fondée sur les informations de l'environnement lexical. Il s'appuie sur des API d'interrogation d'environnement du CLtL2 et sur l'injection de code pour améliorer la prise en charge des macros. Pour l'utiliser, chargez le fichier lisp-semantic-hl.el, puis activez le mode lisp-semantic-hl dans emacs-lisp-mode ou dans lisp-mode. Un exemple de configuration avec MELPA illustre l'utilisation via use-package et le recours à des hooks sur emacs-lisp-mode et lisp-mode. Les remerciements indiquent que le plugin a été porté depuis le plugin LispWorks nommé « colourful », et évoquent des soutiens et des identités soutenant le projet.

github.com Resume pret HTTP 200 Commentaires

Court finds Fourth Amendment doesn’t support broad search of protesters’ devices

La cour d’appel du Tenth Circuit a renversé le rejet par le tribunal inférieur d’une action en droit civil visant des mandats de perquisition couvrant largement les appareils et les données numériques d’un manifestant et les données sociales d’une organisation à but non lucratif. L’affaire Armendariz v. City of Colorado Springs est née après une protestation sur le logement en 2021 au cours de laquelle la police a arrêté des manifestants pour obstruction et a obtenu des mandats pour saisir et fouiller les données et les appareils de Jacqueline Armendariz Unzueta. Les mandats prévoyaient une fouille de toutes ses photos, vidéos, courriels, messages et données de localisation sur deux mois, ainsi qu’une recherche illimitée dans 26 mots-clés couvrant des années de données privées. Le district court a rejeté la plainte et les plaignants ont interjeté appel, soutenus par l’ACLU du Colorado, tandis que l’EFF et d’autres organisations de défense des droits civiques ont déposé un mémoire amicus en soutien. En appel, la cour a estimé que les mandats étaient surdimensionnés et insuffisamment précis, a jugé que les autorités violaient le droit établi et a renvoyé l’affaire au district pour poursuivre, marquant une avancée pour les droits des manifestants et la protection de la vie privée numérique.

www.eff.org Resume pret HTTP 200 Commentaires

Otters as Bioindicators of Estuarine Health

Le texte présente les loutres comme indicateurs biologiques et expose le raisonnement scientifique soutenant leur utilisation pour évaluer les écosystèmes estuariens. Il analyse la dépendance des habitats et la connectivité du paysage, éléments clés de l’efficacité des loutres en tant que bioindicateurs. Le document traite aussi de la bioaccumulation des contaminants à travers les niveaux trophiques et des expositions pathogènes ainsi que des dynamiques de spillover. Il discute des proxys comportementaux et trophiques pour l’évaluation de la fonction des écosystèmes et d’un panorama de la recherche mondiale sur les loutres. Enfin, il propose un cadre opérationnel pour une surveillance estuarienne fondée sur les loutres, complété par des sections sur l’éthique, les données et les contributions des auteurs.

emt.pensoft.net Resume pret HTTP 200 Commentaires

Building secure, scalable agent sandbox infrastructure

Nous avons commencé avec des agents basés sur le navigateur sur AWS Lambda, puis ajouté l’exécution de code dans un sandbox isolé. L’exécution de code dans le sandbox partageait toujours le même backend que l’API, entraînant des ralentissements et des enjeux de sécurité. Il existe deux patterns de sandboxing : isoler l’outil, où le code s’exécute dans un sandbox séparé sur votre infrastructure, ou isoler l’agent, où tout se passe dans une sandbox sans secrets via un plan de contrôle. Nous sommes passés du Pattern 1 au Pattern 2, le plan de contrôle détenant les secrets et les accès, et les sandboxes devenant jetables. Le sandbox tourne en production sur Unikraft et sur Docker en développement, et il est durci par l’exécution en bytecode uniquement, le retrait des privilèges et la suppression des variables d’environnement, le tout relié au plan de contrôle qui gère les appels et les coûts via des URLs pré-signées.

browser-use.com Resume pret HTTP 200 Commentaires

We gave terabytes of CI logs to an LLM

La détection a relié un échec flaky à une mise à jour d’une dépendance en écrivant ses propres requêtes SQL et en balayant des hundreds de millions de lignes de logs sur plusieurs mois, l’enquête ne prenant que quelques secondes. Pour cela, l’agent nécessite un contexte global : toutes les builds et tous les logs, ce qui représente environ 1,5 milliard de lignes CI et 700 000 jobs par semaine, stockés dans ClickHouse avec un taux de compression de 35:1. L’agent interroge deux cibles principales : les métadonnées des jobs via une vue matérialisée (63 % des questions) et les lignes de log brutes (37 %), sans bibliothèque de requêtes prédéfinie. La dénormalisation de 48 colonnes par ligne et le format colonne de ClickHouse permettent de compresser fortement les métadonnées répétées et d’éviter les jointures coûteuses. Pour l’ingestion, GitHub impose 15 000 requêtes par heure par installation et le système applique un throttling d’environ 3 requêtes par seconde, avec une cible P95 d’ingestion sous 5 minutes et une exécution durable qui reprend là où elle s’était arrêtée.

www.mendral.com Resume pret HTTP 200 Commentaires

Can you reverse engineer our neural network?

De nombreux casse-têtes ML de type capture-the-flag présentent un réseau en boîte noire, et nous avons choisi de proposer une approche différente en fournissant une spécification complète des poids. Le puzzle a été publié en février et semblait initialement insoluble, car on ne pouvait pas obtenir une sortie non nulle par des méthodes classiques comme la rétropropagation. En examinant l’avant-dernière couche, Alex remarqua que les poids formaient des répétitions et que les biais encodaient des vecteurs v, v+1 et v+2, ce qui expliquait pourquoi la couche finale n’émettait qu’un seul bit. Il tenta d’abord de modéliser le réseau comme un programme linéaire puis comme un problème SAT après des réductions importantes, mais le problème restait massif et échappait à une résolution par brute force. Finalement, il apparut que le hash était encodé dans les biais et que la solution consistait en deux mots anglais en minuscules séparés par un espace, après quoi une autre variation du puzzle et une invitation à candidater furent publiées.

blog.janestreet.com Resume pret HTTP 200 Commentaires

Allocating on the Stack

Go cherche à rendre les programmes plus rapides en réduisant les allocations sur le tas et le travail du ramasse-miettes. Les allocations sur la pile sont généralement bien plus économiques et peuvent être libérées avec le cadre de pile sans impliquer le GC. Des optimisations permettent d'allouer des slices de taille connue ou estimée sur la pile, évitant les réallocations et le coût de démarrage. Avec Go 1.25 et 1.26, le compilateur transforme automatiquement certaines allocations de slices et peut utiliser un petit tampon sur la pile, puis passer au heap si nécessaire. L'objectif est d'obtenir zéro allocation sur le heap dans les cas fréquents et d'améliorer l'efficacité mémoire sans changer l'API.

go.dev Resume pret HTTP 200 Commentaires

Writing a Guide to SDF Fonts

En 2024, j’ai découvert le rendu de polices SDF et tenté d’implémenter contours et ombres en une seule passe pour deux projets, un jeu et un générateur de cartes, mais j’ai arrêté et noté ce que je faisais sans comprendre pourquoi certaines choses fonctionnaient. Fin 2025, mes notes incomplètes réapparaissent dans les résultats de recherche et je décide de créer une page plus fiable, en visant la documentation des bibliothèques ou des articles de recherche. J’ai examiné une page d’aperçu et vingt-deux pages au style journal, et cet aperçu couvre des bibliothèques SDF telles que msdfgen, stb_truetype et tiny-sdf, avec du code, des diagrammes et des captures d’écran. Comme le périmètre était trop vaste, je me suis recentré sur msdfgen et ses compromis (taille de l’atlas, largeur d’anti‑alias, dérivées des shaders et lissage), en produisant des diagrammes et des tests et en envisageant une page « comment faire ». Dans les redesigns 3 et 4, j’ai privilégié les concepts et les rendus CPU puis GPU, avec des diagrammes SVG faits à la main, en déplaçant les détails d’implémentation vers des pages séparées, et je suis satisfait du résultat après une année.

www.redblobgames.com Resume pret HTTP 200 Commentaires

Kyber (YC W23) Is Hiring an Enterprise Account Executive

L’annonce présente une plateforme de documents axée sur l’IA destinée aux entreprises, qui optimise les flux de documents réglementaires. Elle évoque une croissance rapide et rentable, avec plus de 30 fois le chiffre d’affaires et la signature de contrats importants. Le poste recherché est celui d’Enterprise Account Executive, chargé du cycle de vente complet et du développement du pipeline commercial dans des environnements complexes. Les responsabilités couvrent la prospection outbound, la qualification, les démonstrations, l’élaboration de business cases, la proposition de prix et la gestion des décideurs jusqu’à la conclusion. Les avantages comprennent un salaire compétitif, un important paquet d’actions, une couverture médicale, dentaire et optique entièrement prise en charge par l’employeur, et l’opportunité de façonner l’avenir des flux documentaires réglementaires.

www.ycombinator.com Resume pret HTTP 200 Commentaires

Show HN: Unfucked - version all changes (by any tool) - local-first/source avail

Cet outil surveille un répertoire et enregistre en continu chaque version des fichiers, sans nécessiter de commits. Le contenu est haché avec BLAKE3 et stocké localement dans SQLite avec déduplication et garanties ACID. Il offre une restauration à un point précis dans le temps pour n’importe quel fichier, avec une politique de rétention progressive des snapshots. Les commandes permettent de démarrer ou arrêter l’enregistrement, consulter l’historique, comparer les changements et restaurer des états antérieurs. Plusieurs scénarios décrits illustrent des agents IA qui réécrivent du code, suppriment des données sensibles ou corrigent des dépendances, et montrent comment la restauration préserve le travail.

www.unfudged.io Resume pret HTTP 200 Commentaires