HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6570 articles Page 210/657 Sans filtre

17 May 2026

06:06

github.com Resume pret HTTP 200 Commentaires

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover

Le projet vise à implémenter la première version publiée d'un programme historique de démonstration de théorèmes en logique propositionnelle développé par Allen Newell, J. C. Shaw et Herbert A. Simon. Les auteurs commencèrent à l'écrire vers la fin de 1955 en le simulant d'abord à la main, puis le firent tourner en IPL-II sur la JOHNNIAC en août 1956 après un premier pseudocode IPL-I non implémenté. Le code IPL-I publié en 1956 comportait des coquilles et n'était pas immédiatement exécutable, et le dépositaire du projet a tenté de le réparer et d'ajouter des outils pour extraire et vérifier les preuves. Le système logique mis en œuvre suit Principia Mathematica, utilisant la négation et le OU comme opérateurs de base, l'implication définie par (~p \/ q), cinq axiomes et les règles de détachement, de substitution et de chaînage. Le dépôt contient un interpréteur IPL-I en Python (logic.py), des scripts utilitaires (run_logic.py, analyze_output.py), des fichiers sources transcrits et un ensemble de tests, ainsi que des références et liens vers les archives numériques de la CMU pour documentation complémentaire.

17 May 2026

06:06

www.seangoedecke.com Resume pret HTTP 200 Commentaires

DeepSeek-V4-Flash means LLM steering is interesting again

L'auteur est fasciné par le concept de steering, qui consiste à guider les sorties des grands modèles en manipulant directement leurs activations pendant l'inférence. La sortie récente de DwarfStar 4, une version de llama.cpp optimisée pour DeepSeek‑V4‑Flash, rend désormais pratique pour de nombreux ingénieurs l'expérimentation locale du steering. Le steering peut se faire en calculant des différences d'activations sur paires d'invites pour créer un "steering vector" réinjectable, ou via un second modèle (par exemple des autoencodeurs creux) qui identifie et amplifie des caractéristiques comportementales plus profondes. L'approche séduit parce qu'elle promet un panneau de contrôle pour ajuster des traits comme la verbosité, mais elle est limitée par le fait que les grands laboratoires préfèrent entraîner ou modifier les poids, que l'accès aux activations est souvent fermé par les API et que le prompt engineering reproduit fréquemment les mêmes effets. L'auteur reste sceptique sur la possibilité d'extraire des concepts très complexes ou coûteux en tokens (comme l'« intelligence » ou la connaissance approfondie d'un codebase), tout en notant que la communauté open source pourrait dévoiler des usages pratiques et que le steering a déjà été évoqué pour supprimer des refus ou "uncensor" certains modèles ouverts.

17 May 2026

06:06

buttondown.com Resume pret HTTP 200 Commentaires

Points are a weird and inconsistent unit of measure

L'auteur refait des diagrammes et a découvert que LaTeX et Inkscape emploient des définitions de « point » légèrement différentes, provoquant des écarts de mise en page. LaTeX utilise traditionnellement 1/72,27 pouce (≈0,3515 mm) tandis qu'Inkscape/PostScript prend 1/72 pouce (≈0,3528 mm), soit une différence d'environ 0,4 %. Cette divergence trouve ses racines dans l'histoire des unités typographiques et dans des choix de normalisation distincts, Donald Knuth ayant d'ailleurs ajusté la définition de TeX pour faciliter les calculs (72,27 pt = 1 in). PostScript a fixé l'unité de l'espace utilisateur à 1/72 pouce, norme reprise ensuite par le Web (CSS, SVG) et par des éditeurs vectoriels comme Inkscape. Des outils comme Frink quantifient ces écarts comme extrêmement faibles (de l'ordre de 5·10^-17 m, soit environ 50 attomètres), insignifiants pour la plupart des usages mais détectables dans des travaux de précision.

17 May 2026

06:05

refractor.io Resume pret HTTP 200 Commentaires

Fecal transplants for autism deliver success in clinical trials (2019)

Des recherches établissent des liens entre le microbiote intestinal et divers aspects de la santé, y compris des associations émergentes avec l'autisme. Une équipe de l'Arizona State University a testé une thérapie par transplantation fécale après préparation colique, avec des administrations quotidiennes pendant sept à huit semaines pour augmenter la diversité microbienne chez des personnes autistes. Un suivi à deux ans de l'étude initiale a montré une réduction moyenne des symptômes autistiques évalués par des professionnels d'environ 45 % par rapport à la baseline et une amélioration notable des classifications cliniques de sévérité. Les chercheurs ont breveté une formulation bactérienne, créé la société Gut-Brain Axis Therapeutics et rapportent des résultats positifs d'un essai contrôlé par placebo en phase 2 chez l'adulte, avec des améliorations marquées sur les symptômes gastro-intestinaux et le langage réceptif. L'équipe cherche actuellement des financements pour lancer des essais de phase 3 à grande échelle en vue d'une autorisation finale par la FDA, et l'article a été mis à jour au 7 avril 2025.

17 May 2026

06:05

github.com Resume pret HTTP 200 Commentaires

After 8 years, I rewrote my open-source PyTorch curvature library

Ce module fournit une manière efficace et évolutive de calculer l'eigendecomposition du Hessien et d'autres matrices de courbure (GGN, empirical Fisher) pour des modèles PyTorch. Il obtient les plus grandes valeurs propres et vecteurs propres via Lanczos ou itération de puissance stochastique, fournit des estimations de trace avec Hutch++ et la densité spectrale par quadrature de Lanczos stochastique. L'approche repose sur des produits Hessien‑vecteur calculables en mémoire linéaire, supporte des opérateurs alternatifs et un chemin par différence finie pour les HVP, et permet de restreindre l'analyse à des sous-ensembles de paramètres. Le package fonctionne sur des modèles à grande échelle comme ceux de HuggingFace et TransformerLens, propose des noyaux fusionnés (Triton ou torch.compile) pour accélérer et réduire l'empreinte mémoire, et inclut des exemples et une documentation en ligne. La version alpha 1.0.0a1 remplace l'API 0.x (pensez à fixer la version 0.0.2 si nécessaire), le code est open source sous licence MIT et des références ainsi que des remerciements aux travaux et contributeurs antérieurs sont fournis.

17 May 2026

06:05

www.ycombinator.com Resume pret HTTP 200 Commentaires

Kyber (YC W23) Is Hiring a Founding Marketer

La plateforme AI-native transforme les workflows de documents réglementaires pour les entreprises, permettant de générer et collaborer sur des avis complexes en automatisant la production, en consolidant jusqu'à 80 % des modèles et en réduisant de 65 % le temps de rédaction tout en compressant les cycles de communication par 5. L'entreprise a connu une croissance importante (40x du chiffre d'affaires sur 18 mois), est rentable, a signé plusieurs contrats pluriannuels à six et sept chiffres avec des acteurs majeurs de l'assurance, et a noué des partenariats stratégiques avec des éditeurs comme Guidewire, Majesco et Twilio Sendgrid, tout en étant soutenue par des fonds de capital-risque de la Silicon Valley. Le poste recherché est celui d'un·e Founding Marketer chargé·e de la stratégie Contenu et Communauté, qui doit maîtriser la production d'événements, la création de contenu multiformat, l'animation communautaire, la logistique de conférences et l'automatisation marketing alimentée par l'IA, avec des déplacements mensuels fréquents. Les responsabilités incluent la conception et l'exécution d'expériences remarquables (dîners, pop-ups, formats différenciants en conférence), la création d'un moteur de bouche-à-oreille via des contenus partageables sur plusieurs canaux, l'automatisation des tâches numériques avec des outils d'IA pour scaler la production, et la mesure systématique de ce qui génère du pipeline. La société met en avant des valeurs telles que « possible jusqu'à preuve du contraire », l'amour du client, la fierté du travail bien fait et la bienveillance, propose salaire compétitif, actions et assurance santé, dentaire et vision prises en charge à 100 %, et recommande d'appuyer sa candidature par une recommandation d'une personne ayant travaillé avec vous.

17 May 2026

06:05

github.com Resume pret HTTP 200 Commentaires

Accelerate – Embedded language for high-performance array computations

Data.Array.Accelerate définit un langage embarqué pour exprimer des calculs sur des tableaux réguliers multidimensionnels en Haskell. Les calculs sont formulés comme des opérations collectives paramétrées (par exemple map, réduction et permutation) et peuvent être compilés à la volée pour s'exécuter sur différentes architectures. Des backends LLVM incluent accelerate-llvm-native pour CPU multicœur et accelerate-llvm-ptx pour GPU NVIDIA, et de nombreux paquets additionnels fournissent prises en charge d'E/S, FFT, BLAS, sérialisation et autres utilitaires. Le projet propose de la documentation Haddock, un paquet d'exemples contenant des noyaux et applications (détection de contours, Mandelbrot, N-corps, LULESH, etc.) et encourage la contribution d'exemples utilisateurs. Le développement est assuré par une équipe académique active avec une liste de diffusion et un dépôt GitHub, et des articles de recherche associés sont fournis pour référence et citation dans un cadre académique.

17 May 2026

06:04

futhark-lang.org Resume pret HTTP 200 Commentaires

Futhark by example (2020)

Le document propose une introduction pratique à Futhark composée de programmes commentés qu'on peut charger dans l'interpréteur et renvoie vers un manuel plus formel, des benchmarks et une liste de projets. Il présente les caractéristiques de base du langage, depuis les valeurs primitives, les fonctions et les conversions de type jusqu'aux tableaux, au parallélisme, aux scans et réductions, ainsi qu'aux tuples, enregistrements et types somme. Une section de techniques de programmation illustre des idiomes et algorithmes courants comme les tris, la multiplication de matrices, le calcul d'histogrammes, les recherches, les moyennes mobiles et les mises à jour in-place. Le texte traite également de la différentiation automatique (mode avant, mode inverse et méthode de Newton), de l'usage littéraire de Futhark pour générer vidéos et tracés (gnuplot) et de la lecture/écriture de fichiers, avec des intégrations comme Python pour certains exemples. Des exemples portés depuis Dex et plusieurs projets réels — jeux, traceurs de rayons, simulateurs, fonctions de hachage et même un compilateur — illustrent des utilisations concrètes de Futhark, citant notamment Diving Beet, Futball, Futcam, Futracer, Futswirl, Neptune, Palathark et Pareas.