HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11333 articles Page 51/1134 Sans filtre

Gemini 4 Argon

Google annonce le nouveau modèle frontier Gemini 4 Argon, accessible d'abord à des défenseurs cyber de confiance via le programme Fairwind et soumis au processus volontaire d'accès préalable avec les autorités américaines. Conçu pour soutenir un raisonnement profond sur des workflows longs et complexes, il affiche des performances de pointe en ingénierie logicielle, en travail de connaissance d'entreprise (juridique, finance) et en défense cybersécuritaire. Au sein de Google, le modèle aide à l'optimisation d'algorithmes quantiques, à des gains massifs de mémoire et à des migrations à grande échelle de code (par exemple C/C++ vers Rust), et il augmente la limite de sortie à 1 million de tokens pour gérer des trajectoires longues. Il obtient des scores de tête sur plusieurs benchmarks sectoriels (DeepSWE, Vals Index, AutomationBench, LVBench) et sera proposé à un prix d'introduction de 2 $ par million de tokens d'entrée et 10 $ par million de tokens de sortie, avec une forte remise pour les tokens mis en cache. Avant un déploiement élargi, Google renforce des garde-fous pour prévenir les usages abusifs et les injections de prompt, surveille la chaîne de raisonnement et durcit les environnements sandbox, puis élargira progressivement l'accès aux clients payants et aux abonnés Google AI Ultra.

blog.google Resume pret HTTP 200 Commentaires

Mathematicians Harness Randomness to Crack a 55-Year-Old Conjecture

Ronald Graham, mathématicien et jongleur, a posé en 1971 une conjecture demandant si, pour tout ensemble d'entiers non nuls considérés modulo un nombre premier p, on peut les réordonner de sorte que toutes les sommes partielles soient distinctes. Il est trivial que la propriété tient si tous les nombres sont positifs ou si on autorise des signes opposés, mais la difficulté principale concernait l'arithmétique cyclique où les valeurs se répètent modulo p. Quatre articles récents ont finalement résolu la conjecture pour des p extrêmement grands en traitant séparément les cas d'ensembles très petits, très grands et de taille intermédiaire, en combinant méthodes probabilistes et constructions correctives. La percée décisive de Lisa Sauermann et Huy Tuan Pham a utilisé des estimations d'anti-concentration et l'analyse de Fourier pour montrer qu'un ordre aléatoire peut être ajusté pour éliminer, avec haute probabilité, les sous-séquences de somme nulle problématiques. La démonstration demeure essentiellement asymptotique en exigeant un p très grand, de sorte que la version pour tous les p ou des applications pratiques de jonglage avec périodes raisonnables reste encore ouverte.

www.quantamagazine.org Resume pret HTTP 200 Commentaires

Galaxy Game

Spacewar!, créé sur le PDP‑1 au MIT en 1962, s'est propagé vers d'autres machines et sites disposant d'un affichage pour l'exécuter. En 1971 deux approches commerciales ont émergé : Bushnell et Dabney ont produit Computer Space en logique TTL et télévision modifiée, tandis que Bill Pitts et Hugh Tuck ont développé une version d'arcade fidèle à Stanford. Installée au Tresidder Union en septembre 1971, la borne de Pitts utilisait un PDP‑11/20 avec 8 kilo-octets de mémoire, un interface de tracé et un écran électrostatique HP 1300A, a été remaniée en 1972 pour piloter plusieurs consoles et a fonctionné jusqu'en 1979 avant d'être relancée en 1997. La restauration en cours à l'ICM a permis de remettre en état l'alimentation du PDP‑11, mais les tubes électrostatiques de 20 kV et les circuits de déviation, la multiplication de haute tension et la focalisation nécessitent une remise en état pour retrouver des vecteurs nets et lumineux. La machine est visible à l'ICM et jouable via MAME, et les responsables sollicitent des soutiens financiers pour poursuivre la restauration.

icm.museum Resume pret HTTP 200 Commentaires

Show HN: Ledge.sh – Runnable Markdown Notes

Cette semaine nous avons enregistré 38 nouvelles souscriptions, correspondant à une augmentation de 2 682 $ de MRR. La répartition des plans est de 24 Pro, 11 Team et 3 Business depuis lundi dernier. Les sources d'acquisition principales sont la newsletter (17), la documentation (12) et les parrainages (9), selon la base de données. Côté produit et infra, la release 2.5.0 est prête à être taggée après la période de stabilisation et il reste à suivre la checklist du runbook et la vérification des déploiements. Actions recommandées pour la semaine : vérifier la clé Stripe et les endpoints, confirmer la coupure 2.4.2 depuis le serveur, et reproduire le bug d'arrondi de facturation pour corriger les écarts de centimes.

ledge.sh Resume pret HTTP 200 Commentaires

Someone Still Has to Buy Your Product

L'auteur note que les outils d'IA réduisent fortement le temps et le coût de tâches autrefois réalisées par des agences et des freelances. Des mesures comme l'horizon de réalisation des tâches de METR montrent que l'IA peut aujourd'hui accomplir des travaux qui prendraient plus de seize heures à un humain, par exemple le montage vidéo, la conception de sites et le portage de code. Quand des solutions basées sur l'IA sont dix à vingt fois moins chères, les structures de coûts existantes deviennent intenables car des charges fixes comme salaires, loyers et dettes ne disparaissent pas. Cela risque d'affecter particulièrement les travailleurs indépendants et les petites entreprises créatives et de services, qui peuvent perdre massivement des clients au profit d'offres IA-first. La perte de revenus se transmet en cascade dans l'économie via l'effet multiplicateur, et bien que de nouveaux équilibres et activités puissent émerger à long terme, de nombreuses entreprises ne survivront peut‑être pas à la transition.

mayt.substack.com Resume pret HTTP 200 Commentaires

Show HN: TurboGPT: train 22KiB transformer in 13s

Le projet fournit des instructions de compilation pour Linux/NixOS via nix-build et pour Windows avec Visual Studio 2022 C++ tools et CUDA 13.4. CudaArch correspond à la compute capability du GPU selon la liste NVIDIA CUDA. L'exécutable peut être lancé par exemple avec .\build\turbogpt.exe --data hn1g.txt --log-to runs/ctx4, ce qui crée des points de contrôle et des rapports de log. Le point de contrôle runs/ctx4/ctx4.pt contient l'état du modèle, de l'optimiseur, du scheduler et du trainer, et l'option --load permet de reprendre l'entraînement. Après 1,5 milliard de tokens d'entraînement sur hn1g, le résultat reporté est de 2,5295 bits par octet (BPB), avec des logs compatibles TensorBoard et un fichier report.json dérivé du répertoire de logs.

github.com Resume pret HTTP 200 Commentaires

What if Jev spoke Arrow?

TypeSafe a présenté Jev, un modèle conçu pour transformer langage naturel et état d'application en décisions typées qui renvoie des choix, scores et probabilités utilisables directement par du code via une API JSON. L'équipe décrit une architecture nouvelle, un échantillonneur parallèle et un entraînement par Reinforcement Learning for Calibrated Decisions qui produit des probabilités en parallèle et améliore vitesse et coût par rapport aux LLM généraux, et elle illustre des motifs comme le speculative fan-out, le confidence-gated routing, le composite scoring et l'intent routing. Pour éviter la "taxe JSON" sur les pipelines de données structurées, les auteurs ont modélisé les réponses de Jev avec un schéma Apache Arrow (types Choice, Noul, Score) afin que des outils comme pandas, Polars ou DuckDB puissent consommer les buffers Arrow sans désérialisation. Comme l'API TypeSafe ne propose pas d'appel groupé, ils ont développé Jevaro, un proxy Python qui accepte plusieurs états et une map de questions, appelle Jev pour chaque état en parallèle et renvoie un flux Arrow IPC en maintenant l'ordre d'entrée tout en gérant connexions persistantes, fenêtres asynchrones et retries. Avec Jevaro ils ont mesuré environ 10 000 réponses en 21,5 secondes (~464 états/s) pour un coût estimé basique, mais restent limités par une requête HTTP et la sérialisation JSON par état, d'où leur souhait d'une API native de batch retournant Arrow pour améliorer encore le débit et l'efficacité.

columnar.tech Resume pret HTTP 200 Commentaires

Solving a corn puzzle with CP-SAT

Un vendredi au RC, l'auteur a joué avec un puzzle imprimé en 3D composé d'un épi blanc rainuré et de pièces "maïs" formées de groupes de grains destinés à s'emboîter. Fatigué de le résoudre à la main, il a demandé à Claude d'automatiser la solution; après avoir précisé certaines formes de pièces, Claude a écrit un script Python qui a trouvé une solution efficace. Au lieu du backtracking récursif attendu, le script utilisait OR-Tools CP-SAT et modélisait le problème par des variables binaires indiquant chaque placement possible et des contraintes assurant que chaque pièce soit placée une fois et que chaque case soit couverte une fois. L'article détaille la formulation mathématique par des sommes égales à un pour chaque pièce et chaque espace et montre que l'appel au solveur devient simple une fois toutes les positions énumérées. L'auteur et ses collègues ont ensuite appliqué la même méthode au Sudoku, obtenu une résolution rapide et retenu qu'il vaut mieux utiliser un solveur industriel plutôt que de réinventer la roue.

thill.me Resume pret HTTP 200 Commentaires