HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11978 articles Page 331/1198 Sans filtre

The End of Mathematics

L'auteur décrit un scénario où, malgré une intelligence artificielle devenant robustement supérieure en mathématiques, le progrès mathématique pourrait ralentir. On observe une explosion de résultats mathématiques générés par IA et par des auteurs, souvent redondants et de qualité ou d'intérêt incertains, avec des modèles et équipes produisant indépendamment des preuves similaires. Les organes communautaires (par exemple MathOverflow) s'atrophient et les mécanismes de récompense des carrières survalorisent la production d'articles résolus par IA, encourageant une stratégie de « machine à sous » de conjectures sans développement d'expertise humaine et favorisant la réticence à discuter de travaux en cours. L'autoformalisation devient abordable et permet de corriger erreurs et lacunes, mais elle peut aussi créer des divergences entre les textes informels et leurs formalismes que les humains comprennent moins facilement, et l'informalisation est coûteuse. Il existe un risque que les institutions de formation et d'évaluation ne produisent plus de mathématiciens profondément engagés si elles n'évoluent pas, mais l'auteur reste globalement optimiste et estime que l'occasion de réformer ces structures peut permettre à la discipline de s'adapter et prospérer.

www.daniellitt.com Resume pret HTTP 200 Commentaires

Introducing Toast 1

Un nouvel agent de recherche spécialisé est annoncé, offrant une qualité de recherche de pointe comparable ou supérieure aux meilleurs modèles tout en étant beaucoup moins coûteux et plus rapide. Il prend en charge la boucle de recherche en décomposant les requêtes, en rassemblant et en filtrant les preuves, puis en constituant le contexte pertinent pour que les modèles généralistes se concentrent sur le raisonnement final. Sur OfficeQA Pro V2, l’association d’un modèle frontier avec cet agent atteint environ 70 % de réponses correctes pour environ 1,15–1,20 $ par tâche, dépassant les performances coût-efficacité précédentes. Sur un benchmark juridique, l’intégration d’une recherche spécialisée a réduit la consommation de tokens de 80,6 millions à 23 millions tout en maintenant le même score, soit une économie de plus de 60 % et moins d’itérations par tâche. L’agent est disponible via l’API du fournisseur, fonctionne avec des index de recherche existants, affiche des latences autour de 8–11 secondes et des coûts par requête bien inférieurs à ceux des agents basés sur des modèles frontier.

www.mixedbread.com Resume pret HTTP 200 Commentaires

I turned my RSS feeds into an e-ink newspaper to stop reading on my phone

L'auteur apprécie les blogs personnels pour le divertissement, l'apprentissage et la veille en ingénierie logicielle, qu'il lit généralement allongé sur son téléphone, ce qui fatigue ses yeux. Il a découvert un lecteur électronique de poche, le X4 de Xteink, de 4,3 pouces sans écran tactile ni rétroéclairage et sans boutique préinstallée, autour duquel une communauté a développé un firmware open source appelé Crosspoint. Après réception de l'appareil, il a installé Crosspoint en quelques clics, a testé un livre électronique sans DRM en le copiant sur le X4 et a constaté que le dispositif fonctionnait simplement et efficacement. Pour lire ses articles de blog sur le X4, il a développé un outil qui crée des fichiers EPUB à partir de ses flux RSS Feedbin en récupérant les articles non lus, en les marquant comme lus et en filtrant certains types de flux inadaptés. L'outil s'appelle feedpaper, est disponible sur GitHub et via Homebrew, et il l'a utilisé pour lire en extérieur dans un café en invitant d'autres personnes à lui montrer leur propre feedpaper.

heyjonny.dev Resume pret HTTP 200 Commentaires

Maximizing the value of your Claude Code sessions

Pour minimiser le coût et obtenir plus de valeur par jeton, exécutez /clear entre tâches et choisissez le modèle et le niveau d'effort au début d'une session pour éviter de casser le cache de prompt en cours de conversation. Le coût réel vient de l'inférence : les tokens d'entrée (préfill) coûtent moins que les tokens de sortie (décodage, environ 5×) et le niveau d'effort contrôle combien de "tokens de pensée" sont produits en sortie. Le prompt cache réduit fortement le prix des préfills récurrents mais est invalidé par des actions comme /model, /effort, l'activation de fast mode, /compact ou l'expiration du cache (1 heure sur abonnement, 5 minutes sur API), donc changez ces paramètres de préférence au début d'une session. Tout ce que Claude lit ou produit (fichiers lus, sorties de commandes) est ajouté à la conversation et renvoyé à chaque tour suivant, donc joignez des fichiers avec @-mention pour éviter des Read calls, ajoutez des flags silencieux aux commandes bruyantes et placez vos commandes fréquentes dans CLAUDE.md pour réduire le bruit. Pour les tâches volumineuses ou bruyantes, utilisez des subagents qui isolent le contexte, lancez /compact avant une longue pause pour résumer pendant que le cache est encore valide, et utilisez /rewind ou /rename pour retirer ou conserver des parties de session sans regénérer tout le cache.

claude.com Resume pret HTTP 200 Commentaires

Super Mario Derivations

L'une des caractéristiques surprenantes du langage Nix est sa stratégie d'évaluation paresseuse, si bien que seules les attributs consultés sont évalués. Cette paresse permet des ensembles d'attributs récursifs potentiellement infinis et rend possible de parcourir un arbre paresseusement généré en n'évaluant que les nœuds demandés. L'auteur a exploité cela pour représenter une séquence de touches de Super Mario Bros. 3 comme un chemin d'attributs, chaque pression correspondant à une dérivation stockée contenant l'état du jeu et une capture d'écran. La commande .play assemble ensuite une vidéo en créant des liens symboliques vers ces captures sans ré-émuler les images, faisant du store une histoire de sauvegardes de l'émulateur. Les limites pratiques viennent des paramètres d'évaluation (max-call-depth), de la taille maximale des arguments du noyau et des coûts de construction en série, mais on peut contourner certaines contraintes en fournissant la séquence depuis un fichier ou en adaptant les options de substitution.

fzakaria.com Resume pret HTTP 200 Commentaires

Show HN: A website for exploring historical photographs of my city

Huit images géoréférencées ont été ajoutées il y a quatorze heures. Elles proviennent de collections photographiques et de diapositives institutionnelles locales. L'une des vues montre des rochers d'un cours d'eau local dont l'emplacement précis n'a pas été déterminé. Une photographie documente une maison dont l'obituaire du journal local situe la résidence sur la 12e rue entre Marshall et Clay. D'autres images illustrent un plan d'eau urbain et une propriété repérée à une adresse de North Davis Avenue.

yesterdays.maprva.org Resume pret HTTP 200 Commentaires

This Hi-Fi Tape Recorder Changed Radio Forever

L'invention du Magnetophon remonte aux travaux de Fritz Pfleumer sur une bande magnétique et à la collaboration d'AEG pour le matériel et d'I.G. Farben pour la bande, aboutissant à une présentation réussie au Salon de la radio de Berlin en 1935. La version commerciale K4 de 1938 intégra le biais alternatif pour réduire le souffle et les distorsions, offrant une qualité de reproduction comparable à une diffusion en direct. Pendant la guerre, le Magnetophon fut employé par le régime nazi pour la propagande et resta en partie méconnu des ingénieurs américains jusqu'à ce que l'ingénieur Jack Mullin rapatrie des machines et des bandes aux États-Unis après 1945. Bing Crosby, cherchant à enregistrer ses émissions pour éviter les doubles prestations, soutint financièrement et techniquement le développement américain de l'enregistreur via Ampex et Mullin, ce qui permit des montages et des éditions soignés. L'utilisation de ces techniques d'édition pour conserver et réutiliser des rires d'auditoire donna naissance aux pistes d'applaudissements et de rires enregistrés, une pratique critiquée par certains ingénieurs pour son caractère artificiel.

spectrum.ieee.org Resume pret HTTP 200 Commentaires

Unearthing a 31 year old Easter egg in Ecco the Dolphin

La version PC de Ecco the Dolphin est une adaptation de l'édition Sega CD de 1993, elle-même une version enrichie du titre original de 1992 sur Genesis. Les éditions consoles disposent d'un mode debug complet permettant de sauter des niveaux et d'obtenir l'invincibilité, alors que la version PC obligeait à jouer sans ces facilités. Une analyse du code a révélé que la fenêtre À propos contient un comportement caché qui, si on maintient Shift+Ctrl et effectue une série spécifique de clics dans le coin inférieur droit, charge un menu de triches. Ce menu permet d'activer notamment Stage (choix du niveau de départ) et Life (vie et air illimités), affiche des informations de position, et en utilisant la manipulation exacte on débloque des options supplémentaires comme Easy, CD check et border. Parmi ces options, CD check supprime l'écran de vérification du CD, Easy réduit apparemment le délai du dash de façon peu perceptible, et border semble être une fonctionnalité non fonctionnelle dans la version commerciale.

32bits.substack.com Resume pret HTTP 200 Commentaires

AI by Hand

Résumé indisponible pour cet article.

www.byhand.ai Extraction KO HTTP 200 Commentaires

Firefox is now the last major browser that still supports uBlock Origin

Mozilla a annoncé que le support de l'extension uBlock Origin par Firefox restera en place malgré les changements prévus chez d'autres navigateurs. Cette déclaration fait suite à l'information selon laquelle Microsoft Edge et d'autres navigateurs basés sur Chromium vont exclure uBlock Origin en passant à Manifest V3. Le passage à Manifest V3 empêche les bloqueurs de publicités d'accéder aux fonctions nécessaires pour détecter et bloquer correctement les annonces sur les sites et les vidéos. Firefox, qui n'est pas basé sur Chromium, devient ainsi le seul grand navigateur à prendre en charge pleinement uBlock Origin, tandis que Safari et DuckDuckGo ne le supportent pas. Les utilisateurs des autres navigateurs devront se contenter d'une version allégée d'uBlock Origin ou des fonctionnalités intégrées de blocage de publicités, généralement moins efficaces.

www.pcworld.com Resume pret HTTP 200 Commentaires