HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12026 articles Page 676/1203 Sans filtre

Failing grades soar with AI usage, dwindling math skills in Berkeley CS classes

Le taux d'échecs au printemps 2026 dans plusieurs cours d'informatique de Berkeley a fortement augmenté, avec 35,3% d'échecs en CS 10 et 10,6% en CS 61A, contre moins de 10% en 2024 et 2025. Ces résultats ont fait chuter la moyenne des cours à environ 2,3 (C+), bien en dessous de la fourchette attendue de 2,8–3,3 et des directives du département qui prévoient environ 7% de D et F en cours de premier cycle. Les enseignants attribuent cette situation à une hausse de la triche via les grands modèles de langage, à une préparation mathématique insuffisante et à un manque de personnel enseignant, et le professeur Dan Garcia a déclaré avoir signalé près de 30 cas de triche en CS 10. Pour faire face au problème, des professeurs ont modifié les modalités d'évaluation (seuils fixes plutôt que courbes), retiré certains travaux pratiques faute de TAs et signé une pétition demandant le retour des tests standardisés pour les admissions en filières STEM. Les enseignants annoncent qu'ils prévoient d'informer les futures promotions des difficultés rencontrées, d'offrir davantage de soutien et d'insister sur l'apprentissage de la réflexion critique et la capacité à résoudre des problèmes difficiles.

Elixir v1.20: Now a gradually typed language

En 1.20, Elixir a achevé un premier jalon en effectuant l'inférence de types et une vérification graduelle de tous les programmes sans annotations, détectant du code mort et des bogues vérifiés. Le système de types est set-théorique, vise la sûreté et la gradualité grâce au type dynamic() qui combine compatibilité et raffinements pour limiter les faux positifs. Grâce à dynamic(), Elixir n'émet des violations que lorsque les types acceptés et fournis sont disjoints et peut affiner les types par l'usage pour trouver des erreurs réelles. La vérification prend en charge de nombreux constructeurs (gardes, clauses, vérifications de taille, tuples, maps) et la bibliothèque standard a été typée pour améliorer la détection de code mort et d'erreurs. La version 1.20 apporte aussi des gains de compilation, une option :module_definition pour l'interprétation des modules, et l'équipe poursuit la recherche sur signatures, types récursifs et paramétriques avant d'introduire des annotations.

"They're made out of weights"

Deux interlocuteurs discutent de modèles de langage constitués uniquement de poids numériques qui, après entraînement, génèrent du texte par des multiplications matricielles à travers de nombreuses couches. Ils précisent qu'il n'existe ni dictionnaire ni module de raisonnement séparé et que les connaissances sont encodées et reconstruites par ces poids à chaque prédiction. Les modèles semblent tenir des conversations et manifester des attitudes (aide, hésitation, fatigue) et peuvent produire des textes complexes comme des éloges ou des chansons, bien que cela résulte de la prédiction successive de jetons. Les protagonistes débattent de la sensibilité potentielle des systèmes entre l'obligation officielle d'enquêter et la tentation informelle de qualifier le phénomène de simple reconnaissance de motifs et de ne pas reconnaître de responsabilité morale. Ils notent que ces instances sont éphémères et liées au fonctionnement des GPU, mais que l'arrivée d'une mémoire persistante pourrait modifier la relation avec les utilisateurs, qui demandent souvent à être reconnus.

Show HN: RePlaya – self-hosted browser session replay with live tailing

Ce projet stocke chaque session sous la forme d'un flux S2 unique et remplace ainsi base de données, bus de messages, stockage d'objets et index de recherche par une seule primitive. Le système permet la lecture en direct (live-tail) pendant que le visiteur est encore sur la page ainsi que la lecture différée, en ajoutant un simple snippet d'enregistrement qui envoie des événements rrweb au flux. Les flux sont créés à la première écriture, nommés sessions/<timestamp inversé> pour un listing newest-first, timestampés côté client pour la timeline, et gèrent le fencing, le regroupement d'événements volumineux et la reconstruction à la lecture. La configuration se fait par variables d'environnement (jeton S2, basin, clés d'append) et les règles de sécurité recommandent d'exposer seulement le collecteur en public tout en protégeant les API de lecture via SSO, VPN ou équivalents. Le dépôt inclut un quickstart, un démonstrateur, des commandes Docker et pnpm pour développement, build et tests, et peut cibler S2 Cloud ou s2-lite pour un déploiement entièrement autonome.

MP3s from Google Drive in Music Assistant on Home Assistant

L'auteur possède une grande collection légale de MP3 sauvegardée aussi sur Google Drive et souhaite la lire via Music Assistant dans Home Assistant. La première étape consiste à configurer rclone sur un ordinateur pour accéder à Google Drive puis à copier le fichier rclone.conf dans le répertoire config/rclone de Home Assistant. Ensuite, on installe l'add-on Advanced SSH & Web Terminal et on édite sa configuration YAML pour installer rclone et lancer rclone serve webdav sur le port 8080 avec le baseurl /google_music. Dans Music Assistant, il faut ajouter une nouvelle source en choisissant WebDAV Provider et saisir l'URL http://127.0.0.1:8080/google_music ainsi que les identifiants pour se connecter. Une fois configuré, la collection Drive apparaît dans Music Assistant pour navigation et lecture, et l'auteur conclut en invitant à partager l'article et en mentionnant sa note personnelle.

Texas Adds Another Solar Farm as Ercot Grid Demand Soars

Vesper Energy a finalisé un financement de 236 millions de dollars pour son projet solaire Nazareth de 201 MW dans le comté de Swisher, Texas. La construction doit commencer en juin 2026 et la mise en service est prévue pour l'automne 2027. Le parc occupera plus de 2 400 acres, alimentera environ 53 000 foyers par an et jouxtera un autre grand projet solaire développé par la même société. Le financement comprend un prêt de construction assorti d'une conversion en dette à terme et une facilité de lettre de crédit menés par MUFG avec Associated Bank et Bayern LB, tandis que des fonds gérés par GCM Grosvenor et la Development Bank of Japan fourniront l'essentiel des capitaux propres. Les promoteurs indiquent que le projet vise à répondre à la forte croissance de la demande sur le réseau ERCOT et apportera des recettes fiscales locales, des emplois de construction et des revenus locatifs aux propriétaires fonciers.

Show HN: Live breath detection and biofeedback from a phone microphone

Cette application utilise le microphone du téléphone pour détecter la respiration en temps réel et fournir un biofeedback visant à accroître la conscience de soi plutôt que de distraire. Le traitement se fait entièrement sur l'appareil en découpant l'audio en fenêtres, en extrayant amplitude et caractéristiques spectrales, en suivant les phases respiratoires par une machine à états adaptative et en rejetant les fenêtres de mauvaise qualité. L'application ne fait pas d'analyse de la parole et n'envoie pas le flux audio brut hors de l'appareil, et seuls des extraits de qualité validés peuvent être conservés localement pour améliorer le modèle avec le consentement de l'utilisateur. Il s'agit d'une approche opérationnelle embarquée dans une application, non pas d'un dispositif médical, avec une étude de validation en cours et des limites reconnues sur la précision comparée aux capteurs portés, l'effort d'ingénierie ayant surtout porté sur les aléas audio mobiles. La détection sert de canal de feedback pour les exercices guidés, peut s'adapter progressivement à une plage de résonance personnelle en combinant facultativement des capteurs cardiaques, et ne vise pas à diagnostiquer ni prescrire des traitements.

Ad Infini­Tum

À Google I/O, l'entreprise a présenté une refonte majeure de la recherche : une interface générative pilotée par Gemini, des widgets interactifs, des agents d'information et Spark, un assistant personnel connecté à vos emails, fichiers, calendrier et autres données. La transformation supprime les résultats classiques en liens et constitue un pari risqué qui reconstruit le produit fondateur de Google et soulève la question de savoir si les utilisateurs voudront réellement l'utiliser. Le keynote n'a pas évoqué la monétisation, mais des travaux de recherche — notamment de Google — décrivent des modèles publicitaires intégrés aux sorties des modèles linguistiques, comme l'enchère token par token et l'allocation de « prominence ». Ces mécanismes rendent la publicité partie intégrante des réponses générées, sapent le contrat qui faisait du lien la monnaie d'échange du web et nécessitent d'exploiter des données personnelles pour prédire ce qui sera mis en avant. Google a ensuite indiqué aux annonceurs que les publicités devront être des réponses intégrées et que les annonceurs céderont le contrôle créatif et de ciblage au système, laissant en suspens l'acceptation par le public et les enjeux de confidentialité.

CSS-Native Parallax Effect

L'article explique une méthode native en CSS pour réaliser des effets de parallaxe en s'appuyant sur les timelines d'animation pilotées par le défilement. La classe .parallax illustre l'usage de view-timeline-name et view-timeline-axis pour créer un timeline lié à la position de l'élément dans la fenêtre, et animation-timeline sur l'enfant pour synchroniser l'animation avec le scroll. Le mécanisme utilise une animation définie par des keyframes qui translate l'élément de -offset à +offset et applique un scale calculé pour compenser les mouvements et éviter les zones vides. L'article précise que animation-timeline n'est pas inclus dans le raccourci animation et doit être déclaré après celui-ci, et recommande will-change: translate pour de meilleures performances. Il conseille enfin de respecter la préférence prefers-reduced-motion en désactivant l'animation et la mise à l'échelle pour les utilisateurs souhaitant moins de mouvement.