Muse Spark: Scaling towards personal superintelligence
Resume indisponible pour cet article.
Edition quotidienne
Les meilleurs longs formats de Hacker News, relus plus calmement.
09 Apr 2026
06:01
Resume indisponible pour cet article.
09 Apr 2026
06:01
Des explorateurs extraterrestres découvrent une espèce sentiente entièrement composée de chair. Les enquêteurs confirment que ces êtres ont un cerveau de chair qui pense et qu'ils émettent des signaux radio au moyen de machines qu'ils ont fabriquées. Face à l'incrédulité, les autorités recommandent officieusement d'effacer les traces et de ne pas établir de contact, malgré l'obligation officielle d'accueillir toute sentience. Ils manipulent la mémoire des sujets étudiés et classent le secteur comme inoccupé pour empêcher toute divulgation. Les interlocuteurs évoquent d'autres formes d'intelligence non charnelle et réfléchissent à l'idée que l'univers serait insupportablement solitaire sans contact.
09 Apr 2026
06:01
La divergence entre deux distributions mesure l'excès d'« étonnement » attendu lorsque l'on utilise un modèle erroné plutôt que la vraie loi des données. Elle quantifie aussi l'espérance des preuves (log‑vraisemblances) fournies par les observations en faveur d'un modèle alternatif lorsque l'hypothèse nulle est vraie. Minimiser cette divergence revient, asymptotiquement, à maximiser la vraisemblance empirique, ce qui lie l'estimation du maximum de vraisemblance à l'optimisation de cette quantité. En codage source elle représente le surcoût moyen en bits quand on compresse selon un modèle incorrect, et dans des jeux de pari elle correspond au gain logarithmique attendu que procure la connaissance de la vraie distribution. La même quantité se voit aussi comme une divergence de Bregman issue de l'entropie négative, ce qui reflète qu'elle mesure combien Q diffère de P dans le monde où P est vrai et explique pourquoi elle n'est pas symétrique.
09 Apr 2026
06:01
Le filtre de Kalman est un algorithme d'estimation et de prédiction de l'état d'un système en présence d'incertitudes de mesure et de bruit de processus. Il fonctionne en boucle prédiction-mise à jour en combinant une prédiction issue d'un modèle dynamique avec les mesures, en tenant compte des covariances d'incertitude. L'exemple présenté utilise un radar unidimensionnel qui estime la position et la vitesse d'un avion via un vecteur d'état, une matrice de transition d'état et un bruit de processus Q. Lors de la mise à jour, le gain de Kalman pondère la mesure et la prédiction en fonction de leurs variances pour produire une estimation optimisée et une covariance réduite, tandis que la prédiction suivante augmente de nouveau l'incertitude. Le texte aborde également des aspects pratiques comme l'initialisation, le rejet d'outliers et renvoie à des tutoriels et un livre pour approfondir la théorie et l'implémentation.
09 Apr 2026
06:01
Resume indisponible pour cet article.
09 Apr 2026
06:00
L'auteur exprime son inquiétude qu'un jour l'intelligence artificielle, personnifiée par Claude, remplace les humains pour la rédaction d'essais, et mentionne qu'un sondage Pew montre que 64 % du public pense que l'IA entraînera moins d'emplois. Il présente Paul Lafargue, gendre de Karl Marx et militant du XIXe siècle, qui fut arrêté à plusieurs reprises et rédigea Le Droit à la paresse pendant sa détention à la prison de Saint Pélagie. Lafargue arguait que les machines pouvaient émanciper l'humanité du travail manuel et que la réduction rationnelle du temps de travail profiterait à la fois aux ouvriers et aux propriétaires. Il distinguait l'otium, une oisiveté contemplative et formatrice de l'être, d'une paresse négative, et envisageait une société où le loisir remplacerait l'aliénation liée au travail. L'article rappelle que Lafargue et son épouse se sont suicidés en 1911 pour échapper aux affres de la vieillesse et invite à reconsidérer la valeur du fait de « ne rien faire ».
09 Apr 2026
06:00
Le projet a porté une ancienne version de Mac OS X sur une Nintendo Wii en écrivant un chargeur de démarrage personnalisé et en adaptant le noyau. Après avoir évalué la compatibilité matérielle, l'auteur a constaté que le processeur PowerPC 750CL et la configuration mémoire de la Wii étaient suffisants, puis il a implémenté un chargeur minimal pour charger le noyau Mach-O et fournir un device tree. Il a patché le noyau XNU pour corriger la gestion des BAT et le rendu vidéo, puis a développé des pilotes IOKit pour le SoC Hollywood, la carte SD et le framebuffer, incluant une conversion RGB→YUV en double-framebuffer. La prise en charge de l'USB a nécessité de récupérer et de porter IOUSBFamily historique et d'adapter la gestion de l'endianness et des nubs PCI, ce qui a permis d'obtenir clavier et souris fonctionnels. En séparant la plupart des pilotes du noyau, en ajoutant l'injection de kexts au chargeur et en améliorant le menu de démarrage, il a réussi à atteindre l'interface graphique complète et rendre le système interactif sur la Wii.
09 Apr 2026
06:00
L'équipe s'appuie sur des workflows GitHub Actions contrôlés pour maintenir la vitesse de développement tout en réduisant la surface d'attaque, notamment en interdisant des triggers dangereux comme pull_request_target et en exigeant le hachage complet des actions. Ils restreignent les permissions et isolent les secrets via des environnements de déploiement, imposent des protections d'organisation telles que 2FA renforcée, règles de branches et tags immuables, et empêchent les administrateurs de contourner ces contrôles. Pour les opérations risquées comme laisser des commentaires sur des PR tierces, ils externalisent ces tâches vers des GitHub Apps (par exemple astral-sh-bot) afin de séparer code et données tout en soulignant la nécessité d'un développement sécurisé des Apps. Les processus de publication utilisent Trusted Publishing, attestations Sigstore, releases immuables, approbations humaines multi-personnes et l'absence de cache de build pour prévenir la compromission des artefacts distribués. Ils gèrent les dépendances avec des outils automatisés et des cooldowns, entretiennent des liens avec leurs upstreams, réduisent les dépendances inutiles et contribuent financièrement à l'écosystème, en rappelant que leurs pratiques continueront d'évoluer.
09 Apr 2026
06:00
Après installation, l'interface web se lance en exécutant littlesnitch dans un terminal ou en ouvrant http://localhost:3031/, avec la possibilité de l'installer comme Progressive Web App. La vue des connexions affiche l'activité réseau actuelle et passée par application, permet de trier et filtrer les entrées, affiche un diagramme de trafic temporel et autorise le blocage d'une connexion en un clic. Les listes de blocage sont téléchargées et mises à jour automatiquement et acceptent plusieurs formats (un domaine par ligne, hôtes par ligne, format /etc/hosts et plages CIDR), il est préférable d'utiliser des listes basées sur les domaines et le format .lsrules de macOS n'est pas compatible. Des règles plus spécifiques peuvent cibler un processus, des ports ou des protocoles, l'interface reste ouverte par défaut mais peut exiger une authentification et les paramètres avancés se modifient via des fichiers d'override (par exemple web_ui.toml, main.toml et executables.toml dans /var/lib/littlesnitch/overrides/config/). Le système repose sur un programme eBPF côté noyau et un démon qui alimente l'interface, ce qui rend l'outil utile pour la confidentialité mais limité face à un adversaire déterminé, et le code eBPF et l'interface sont sous GPLv2 alors que le démon est propriétaire mais gratuit.
08 Apr 2026
06:10
L'étude rapporte des essais contrôlés randomisés (N = 1 222) examinant les effets de l'assistance par IA sur la collaboration et l'apprentissage. Les résultats montrent qu'en dépit d'une amélioration à court terme des performances, l'assistance par IA réduit la persistance des participants et accroît la probabilité qu'ils abandonnent. Les participants performent significativement moins bien lorsqu'ils sont ensuite privés d'aide par IA, même après de brèves interactions d'environ dix minutes. Les auteurs expliquent que l'accès immédiat aux réponses conditionne les utilisateurs à ne pas faire face aux difficultés, ce qui nuit à l'acquisition de compétences à long terme. Ils recommandent de repenser le développement des modèles d'IA pour privilégier l'accompagnement et l'étayage visant à soutenir la compétence durable plutôt que la simple complétion immédiate des tâches.