HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

3081 articles Page 23/309 Sans filtre

13 Apr 2026

06:03

github.com Resume pret HTTP 200

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

mrlokans.work Resume pret HTTP 200

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

alok.github.io Resume pret HTTP 200

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

adlrocha.substack.com Resume pret HTTP 200

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

blinry.org Resume pret HTTP 200

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.

13 Apr 2026

06:02

essays.johnloeber.com Resume pret HTTP 200

Bring Back Idiomatic Design (2023)

L'auteur, issu de l'ère du logiciel de bureau, regrette la cohérence de design passée et introduit le concept d'idiome de conception en citant l'exemple de la case à cocher. Durant l'ère desktop, les interfaces étaient homogènes grâce à des conventions partagées (menus File/Edit/View, raccourcis clavier, barres d'état et libellés textuels) qui facilitaient l'apprentissage et l'usage sans réflexion. Avec le passage au web, les interfaces sont devenues hétérogènes : sites et applications offrent des dizaines de manières différentes pour les mêmes tâches (sélecteurs de date, saisie de carte, raccourcis), ce qui empêche la mise en place d'habitudes et nuit au flux de travail. Les causes évoquées sont la nécessité de supporter à la fois écrans tactiles et bureautiques, la vitesse d'évolution des outils frontend et la multiplication de composants JavaScript qui réimplémentent ou cassent les idiomes HTML et les comportements natifs du navigateur, tandis que des plateformes comme Apple montrent qu'un système centralisé peut imposer des idiomes cohérents. Le texte recommande aux concepteurs de suivre les idiomes HTML et du navigateur, d'éviter les réimplémentations inutiles, de privilégier la clarté (mots plutôt qu'icônes, éléments visuellement évidents) et exprime le souhait d'une convergence future vers des composants standardisés et des raccourcis uniformes.

13 Apr 2026

06:02

boringbar.app Resume pret HTTP 200

Show HN: boringBar – a taskbar-style dock replacement for macOS

L'application organise les fenêtres par bureau et offre des aperçus instantanés, un changement de bureau en un clic et un lanceur d'applications consultable. Elle n'affiche que les fenêtres du bureau actif, permet de basculer entre bureaux en faisant défiler la barre, propose des vignettes au survol, des badges de notification et une animation lorsque qu'une application réclame votre attention. Les options de personnalisation comprennent la taille ajustable de la barre, le regroupement des fenêtres par application, l'affichage complet ou réduit des titres des puces, la possibilité de cacher le Dock et de montrer la barre sur plusieurs écrans. Le logiciel requiert macOS 14 (Sonoma) et deux autorisations : Accessibilité pour gérer fenêtres et bureaux, et Enregistrement d’écran utilisé uniquement pour récupérer les vignettes de fenêtres. Un essai gratuit de 14 jours est disponible ; la licence personnelle est un paiement unique de 40 $ pour 2 appareils et 2 ans de mises à jour, tandis que les licences professionnelles sont annuelles avec tarification dégressive par siège.

13 Apr 2026

06:02

arxiv.org Resume pret HTTP 200

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

Les auteurs proposent une méthode d'optimisation de la division entière non signée sur 32 bits par des constantes, adaptée aux processeurs 64 bits. Cette méthode améliore la technique de Granlund et Montgomery en tirant parti des capacités 64 bits que le code généré pour 32 bits n'exploite pas entièrement. Des correctifs ont été implémentés pour LLVM et GCC afin d'appliquer cette optimisation dans des compilateurs réels. Les microbenchmarks rapportent des accélérations atteignant 1,67× sur un Intel Xeon w9-3495X et 1,98× sur un Apple M4. Le correctif LLVM a déjà été fusionné dans llvm:main, attestant de la faisabilité pratique de l'approche.