We have a 99% email reputation, but Gmail disagrees
Resume indisponible pour cet article.
13 Apr 2026
06:04
Edition quotidienne
Lire vite. Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
13 Apr 2026
06:04
Is math big or small?
L'auteur examine comment le choix d'échelle dans les illustrations mathématiques influence la perception et les analogies employées. L'exemple des "train tracks" de Thurston montre qu'une même structure peut être rendue comme un paysage vaste à parcourir ou comme un objet miniature manipulable. En topologie symplectique, la vision "grande" d'Eliashberg sur les courbes pseudoholomorphes et la symplectisation a conduit à des conventions graphiques (cylindres, bâtiments pseudoholomorphes) adaptées au travail des chercheurs. L'analogie "géographie et botanique" distingue l'étude des valeurs possibles d'invariants (géographie) de la classification précise des objets pour des valeurs données (botanique), illustrée par l'île isopérimétrique et des exemples comme les surfaces de Riemann et les surfaces complexes. L'article conclut en invitant à réfléchir à l'échelle des visualisations mathématiques et à expérimenter le passage du grand au petit (et inversement) pour mieux communiquer et comprendre les structures.
13 Apr 2026
06:03
Uncharted island soon to appear on nautical charts
L'équipe bathymétrique a travaillé avec d'autres groupes à bord pour suivre des masses d'eau du large au plateau continental et étudier la colonisation du fond marin, mettant en évidence un déclin des eaux profondes antarctiques par rapport aux séries HAFOS depuis 2002 et permettant de préciser les voies d'écoulement d'eau froide du Larsen. Ces masses d'eau ont une influence importante sur les courants océaniques mondiaux et sur la fonte de la banquise, notamment au niveau du plateau continental. La banquise du nord-ouest de la mer de Weddell a fortement régressé depuis 2017, avec une grande variabilité d'épaisseur — jusqu'à quatre mètres sur le plateau peu profond à l'ouest en raison de déformation, et environ 1,5 m à l'est provenant des plateformes de Ronne et Filchner. Les observations montrent une fonte de surface marquée, une perte importante de neige, peu d'étangs de fonte mais des surfaces bleu-gris, et de grandes quantités d'eau douce de fonte sous la glace détectées par des sondes de turbulence et biologiques. Des analyses et modélisations post-expédition évalueront la contribution des organismes vivant dans et sous la glace au cycle du carbone, l'expédition se terminant aux Malouines le 9 avril 2026 avant le transit vers Bremerhaven mi-mai.
13 Apr 2026
06:03
Show HN: Oberon System 3 runs natively on Raspberry Pi 3 (with ready SD card)
Le système Oberon a été porté en natif sur Raspberry Pi 3B et une image prête à flasher (oberon-rpi3.img) est fournie pour exécution sur carte SD. Des fichiers de démarrage, un toolchain précompilé pour Linux x64 et des scripts de compilation et de flash sont fournis pour permettre de reconstruire ou flasher le système. La même image est signalée comme compatible avec Raspberry Pi 2B (≥ v1.2) et Zero 2, et la migration vers Raspberry Pi 4 est considérée comme faisable. La couche cœur et les pilotes pour ARMv7 ont été portés, le système démarre sous QEMU 10.2 en machine raspi2b et une compilation complète avec l’outil C99 personnalisé prend moins d’une minute. La version i386 est jugée suffisamment stable avec 355 des 358 modules compilés, une image QEMU et l’outil de construction sont fournis, et l’étape suivante vise le débogage JTAG sur matériel réel et éventuellement la migration du pilote réseau.
13 Apr 2026
06:03
I gave every train in New York an instrument
Resume indisponible pour cet article.
13 Apr 2026
06:03
State of Homelab 2026
L'auteur a commencé sur un OrangePI 5 puis a migré vers un NUC GMKTec (32 Go RAM, NVMe 1 To) tout en hébergeant des services 24/7 sur une machine virtuelle Hetzner et sans NAS ni RAID pour l'instant. La connectivité s'appuie sur des tunnels Cloudflare outbound, un reverse-proxy Traefik et des conteneurs Docker sur Debian protégés par UFW, avec Authentik comme fournisseur d'identité. L'automatisation est organisée via des rôles Ansible pour l'infrastructure-as-code et la reproductibilité, tandis que SOPS (avec age) est utilisé pour chiffrer les valeurs sensibles dans le dépôt Git. Le catalogue de services comprend la pile *arr (Prowlarr, Radarr, Lidarr, Transmission), Jellyfin, Navidrome, Calibre Web, LibreChat, Immich, Syncthing, MinIO, Miniflux et des outils maison comme un exporteur de surlignages et des bots Telegram. La supervision repose sur Beszel et Statsping, mais il manque encore des sauvegardes fiables, une configuration RAID et des alternatives à Cloudflare, la gestion restant manuelle et orientée vers l'apprentissage et la commodité plutôt que la robustesse maximale.
13 Apr 2026
06:03
Most people can't juggle one ball
Resume indisponible pour cet article.
13 Apr 2026
06:03
A Perfectable Programming Language
Lors d'une conversation l'auteur énumère de nombreux langages de programmation avant d'affirmer que Lean est le meilleur. Lean est présenté comme «perfectible» parce qu'il combine types dépendants et infrastructure permettant d'exprimer et de prouver des propriétés directement dans le langage. Sa métaprogrammation et la possibilité de définir une syntaxe personnalisée permettent de créer des APIs conviviales compilées, illustrées par un exemple de plateau de morpion évalué à la compilation. La capacité à démontrer l'égalité de fragments de code offre des opportunités d'optimisation qui peuvent améliorer considérablement les performances du compilateur. La communauté Lean est en croissance et l'auteur soutient qu'elle est la plus prometteuse parmi les langages à types dépendants, rendant l'écosystème pratique pour la programmation vérifiée.
13 Apr 2026
06:03
Apple's accidental moat: How the "AI Loser" may end up winning
L'auteur soutient que l'intelligence artificielle se commoditise parce que la course aux meilleurs modèles réduit l'écart entre les leaders et les alternatives open source et rend possible l'exécution locale de modèles puissants. Il critique les dépenses massives de certains laboratoires et grandes entreprises, illustrées par OpenAI et le projet Sora, qui ont montré comment des produits très coûteux peuvent brûler du capital sans générer des revenus durables et perturber la chaîne d'approvisionnement. Des modèles récents comme Gemma 4 démontrent que des performances proches de l'état de l'art peuvent désormais être obtenues sur des appareils personnels, modifiant la dépendance aux centres de données lourds. Apple apparaît bien positionné sans avoir misé massivement sur l'infrastructure AI, grâce à ses 2,5 milliards d'appareils fournissant un contexte utilisateur riche, son approche de traitement local et l'architecture à mémoire unifiée de ses puces. En combinant l'accès cloud pour les calculs lourds, une plateforme matérielle optimisée pour l'inférence locale et une proposition de confidentialité axée sur l'appareil, Apple pourrait devenir un acteur central de l'écosystème AI, même si l'issue reste incertaine.
13 Apr 2026
06:02
DIY Soft Drinks
En 2020 l'auteur a commencé à fabriquer ses propres boissons gazeuses et publie les recettes sur GitHub, en s'inspirant de formulations comme Open Cola et Cube Cola. La méthode consiste à préparer une émulsion d'huiles essentielles mesurées au microlitre, à la stabiliser avec de la gomme arabique puis à ajouter colorant caramel, acide citrique et éventuellement caféine pour obtenir un concentré dilué ensuite en sirop. Il a expérimenté différents édulcorants et proportions — cyclamate+saccharine, sucralose ou sucre — en ajustant les doses pour réduire l'amertume et l'intensité sucrée selon les versions. Plusieurs variantes ont été développées, notamment une orange et une boisson amande+orange sanguine, avec des améliorations d'outillage, filtrage des impuretés plastiques et comparaisons gustatives avec du Coca‑Cola décaféiné. Les recettes sont versionnées avec un changelog sur un dépôt Git, des ressources supplémentaires sont citées pour la chimie alimentaire et l'auteur invite les retours et de nouvelles idées de parfums à explorer.