Ghostel.el: Terminal emulator powered by libghostty
Resume indisponible pour cet article.
13 Jul 2026
06:05
Edition quotidienne
Lire vite. Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
13 Jul 2026
06:05
Calculix: A Free Software Three-Dimensional Structural Finite Element Program
La version 2.23 du logiciel est disponible, mise à jour le 1er novembre 2025. Il s'agit d'un paquet de calculs par éléments finis tridimensionnels permettant la modélisation, le calcul et le post-traitement de problèmes statiques, dynamiques et thermiques en linéaire et non linéaire, avec un pré/post-processeur 3D interactif utilisant OpenGL. Le solveur accepte le format d'entrée d'Abaqus et le pré-processeur peut exporter des maillages vers Nastran, Abaqus, Ansys, Code‑Aster ainsi que plusieurs codes CFD libres; des interfaces CAO et un lecteur STEP simples sont également disponibles et le logiciel tourne sur Linux, Irix et Windows. Le paquet a été développé par une équipe d'enthousiastes employée chez MTU Aero Engines à Munich, et des exemples, fichiers d'entrée et pages de téléchargement figurent dans la distribution. La distribution inclut un modèle de petit turboréacteur utilisé pour des études de vitesse de rupture, de fatigue et de fréquences propres, et le programme est distribué sous licence GNU GPL sans garantie.
13 Jul 2026
06:05
Flash-MSA: Accelerating Million-Token Training with Sparse Attention Kernels
L'auteur présente des noyaux d'entraînement open‑source performants pour MiniMax Sparse Attention implémentés en CuTeDSL et testés sur des GPU Hopper et Blackwell (Spheron H100 et B200). MSA diffère des approches précédentes par une sparsité par blocs de 128 sélectionnés par max‑pooling, le remplacement de MLA par GQA, et une spécialisation groupée des têtes proxy pour augmenter l'expressivité. La séquence de kernels fait d'abord un indexeur proxy en streaming qui retient les top‑k et les indices de blocs, puis une attention principale bloc‑sparse en flash qui réutilise ces blocs afin que seule l'étape proxy reste quadratique en longueur de contexte. Le backward fusionne proxy et attention principale en inversant la cartographie des blocs pour exécuter les gradients en temps linéaire, et la contribution KL se calcule simplement comme probabilité proxy moins probabilité principale sans matérialiser les distributions. La mise en œuvre a été vérifiée par comparaison avec une implémentation eager PyTorch (similitudes cosinus élevées) et les travaux futurs ciblent l'amélioration de la parallélisation du backward, des stratégies de parallélisme de contexte (all‑gather ou ring), et des sweeps sur le top‑k et la précision.
13 Jul 2026
06:05
Against Usefulness
L'auteur explique que les entreprises utiles reposent sur des recherches autrefois jugées inutiles et qu'il finance à la fois la recherche fondamentale et son application. Il décrit une démonstration de Folk Computer, un système de calcul physique open source où des feuilles de papier identifiées deviennent des programmes et où la programmation se pratique debout, en collaboration et sans écran. Il retrace la filiation intellectuelle de ce travail depuis Alan Kay et Xerox PARC, en passant par le CDG, Dynamicland et leurs chercheurs, et souligne l'importance d'un recentrage sur la liberté et les horizons de long terme pour l'innovation de paradigme. Il affirme que ce type de recherche paradigmatique dépend de mécènes et de patrons disposés à financer l'inutile initial, car les marchés ne peuvent pas encore en tarifer la valeur. Il lance un appel aux penseurs indépendants et aux financeurs: il propose aide, mise en relation ou financement pour ceux qui travaillent depuis des années sur des questions impopulaires et encourage les personnes disposant de ressources à soutenir des projets comme Folk Computer.
13 Jul 2026
06:05
I love LLMs, I hate hype
L'auteur exprime un enthousiasme marqué pour les progrès récents de l'IA et pour des outils comme les LLM, les voitures autonomes, la génération vidéo et les agents de programmation. Il critique la rhétorique alarmiste qui prétend qu'une fenêtre d'opportunité se ferme et qui cherche à culpabiliser ou à marginaliser des personnes. Il rejette les scénarios de coupure brutale ou de prise de contrôle soudaine par l'IA, en estimant que ces discours servent souvent des intérêts idéologiques ou financiers. Selon lui, la valeur de l'IA découle surtout du progrès général en informatique et non d'un mérite exclusif des grands laboratoires, qui craignent la commodification. Il observe que la programmation évolue grâce aux modèles qui augmentent la productivité tout en pouvant provoquer de la fatigue cognitive, et considère l'IA comme la continuité de la révolution informatique.
13 Jul 2026
06:05
Mechanistic interpretability researchers applying causality theory to LLMs
Resume indisponible pour cet article.
13 Jul 2026
06:05
Profiling the "Abundance" housing bottleneck with real data
L'auteur présente l'idée que de nombreuses règles ajoutées au fil du temps agissent comme des « valves » qui réduisent le débit d'un système malgré la disponibilité des ressources, une dynamique comparable à la dette technique. En comparant Austin, qui a assoupli ses règles depuis 2015, et San Francisco, qui ne l'a pas fait, il observe qu'Austin délivre environ 18 permis de nouveaux logements pour 1 000 habitants contre environ 2 à San Francisco, un écart attribué aux règles. Des projections fondées sur des élasticités mesurées ailleurs montrent les limites d'une extrapolation à long terme et l'auteur note que des chocs de demande imprévus, comme un boom de recrutement en IA, peuvent annuler les effets supposés d'une augmentation de l'offre. Le contraste Vienne‑Londres montre qu'une solution alternative existe : Vienne maintient des loyers bas non pas par la vitesse de permis mais grâce à un parc important de logements publics et associatifs opérant en parallèle au marché privé, ce que Londres n'a pas fait. La conclusion est que « déboucher le tuyau » fonctionne quand l'effet peut être isolé, mais ce n'est pas la seule option utile, d'où la recommandation de vérifier rapidement les chiffres et de profiler le problème avant d'optimiser.
13 Jul 2026
06:04
Automation Without Understanding
L'essai observe que deux évolutions concomitantes apparaissent: les systèmes d'IA commencent à produire des mathématiques de niveau recherche tandis que les États-Unis affaiblissent la filière formant les humains capables de comprendre ces systèmes. L'auteur soutient que la combinaison de ces évolutions constitue une erreur stratégique parce que la capacité mathématique — l'aptitude entraînée à vérifier, interpréter et contester des raisonnements mathématiques — est une infrastructure construite sur des générations. Le texte s'appuie notamment sur la réfutation par une IA en mai 2026 d'une conjecture d'Erdős concernant le problème des distances unitaires dans le plan et sur les perturbations récentes du soutien fédéral aux sciences mathématiques. Il propose de considérer la capacité mathématique comme un actif stratégique au même titre que les capacités en semi-conducteurs. Parmi les mesures préconisées figure l'exigence que les systèmes d'IA produisant des raisonnements à conséquences exposent leurs affirmations décisionnelles sous une forme formelle et vérifiable par machine pour rendre une partie du raisonnement auditable.
13 Jul 2026
06:04
Why Vanilla JavaScript
Resume indisponible pour cet article.
13 Jul 2026
06:04
Count Binface
Il se présente comme un guerrier intergalactique et chef des Recyclons de la planète Sigma IX, arrivé sur Terre en 2017. En 2017 il a affronté la Première ministre Theresa May sous le nom de Lord Buckethead et est devenu viral, puis il a réapparu en 2018 comme Count Binface pour se présenter contre Boris Johnson en 2019, obtenant 69 voix. En 2021 il a recueilli 92 896 voix, dont 24 775 au premier choix, lors de l'élection pour la mairie de Londres, terminant neuvième sur vingt candidats et battant notamment Piers Corbyn et UKIP. En 2023 il s'est classé huitième à la partielle d'Uxbridge and South Ruislip avec 190 voix (une hausse de 275 % depuis 2019), puis en 2024 il a obtenu 24 260 voix pour la mairie de Londres, battant Britain First, et 308 voix face au Premier ministre Rishi Sunak à Richmond et Northallerton. Il défend des thèmes comme la justice, les lasers, des croissants abordables et le retour de Ceefax, apprécie la série Lovejoy, figure dans une fiction télévisée où il reçoit 309 voix, et indique comme loisirs l'invasion de systèmes stellaires et la domination d'espèces « inférieures ».