HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11707 articles Page 886/1171 Sans filtre

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.

alok.github.io Resume pret HTTP 200 Commentaires

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.

adlrocha.substack.com Resume pret HTTP 200 Commentaires

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.

blinry.org Resume pret HTTP 200 Commentaires

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.

essays.johnloeber.com Resume pret HTTP 200 Commentaires

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.

boringbar.app Resume pret HTTP 200 Commentaires

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.

arxiv.org Resume pret HTTP 200 Commentaires

All elementary functions from a single binary operator

L'article montre qu'un unique opérateur binaire eml(x,y)=exp(x)-ln(y), associé à la constante 1, suffit à engendrer l'ensemble standard des fonctions d'une calculatrice scientifique. Cet opérateur permet de construire les constantes e, π et i ainsi que les opérations arithmétiques et les fonctions transcendantes et algébriques usuelles. L'auteur donne des constructions explicites, par exemple exp(x)=eml(x,1) et ln(x)=eml(1,eml(eml(1,x),1)), et prouve de manière constructive que tout élément de la base peut être obtenu. La forme EML conduit à des expressions en arbres binaires uniformes décrits par la grammaire simple S -> 1 | eml(S,S), découverte via une recherche exhaustive systématique. Cette structure permet aussi une régression symbolique basée sur le gradient en traitant les arbres EML comme circuits entraînables avec des optimisateurs standards, permettant de récupérer exactement des formules élémentaires à faibles profondeurs d'arbre (jusqu'à 4).

arxiv.org Resume pret HTTP 200 Commentaires

Volunteers turn a fan's recordings of 10K concerts into an online treasure trove

Aadam Jacobs a commencé à enregistrer des concerts en 1984 et a discrètement capté, notamment le 8 juillet 1989, le premier passage de Nirvana à Chicago sur un magnétophone cassette. Au fil de quatre décennies il a accumulé plus de 10 000 enregistrements couvrant la scène indie, punk et alternative, incluant des prestations rares de R.E.M., The Cure, The Pixies, Depeche Mode, Sonic Youth, Björk et d'autres. Un groupe de bénévoles aux États‑Unis et en Europe numérise méthodiquement les bandes, les restaure et les met progressivement en ligne sur l'Internet Archive, où l'on peut désormais trouver ces concerts nettoyés et téléchargeables gratuitement. Le processus implique la collecte mensuelle de boîtes de cassettes, la numérisation en temps réel par des techniciens comme Brian Emerick, puis le mixage, le mastering et la documentation des listes de morceaux par des ingénieurs bénévoles. La majorité des artistes semblent favorable à la préservation des enregistrements, les questions juridiques sont limitées étant donné l'absence de profit, et Jacobs a ralenti ses activités pour des raisons de santé mais apprécie désormais ces archives en ligne.

apnews.com Resume pret HTTP 200 Commentaires

Now is the best time to write code by hand

L'adoption généralisée des LLMs permet à davantage de personnes de produire du code tout en réduisant le nombre de personnes capables d'en écrire manuellement, ce qui entraîne l'atrophie des compétences d'ingénierie. Trois incitations poussent à un usage intensif des modèles: la pression sociale des succès rapides, la démonstration de la qualité du code généré et la paresse humaine qui privilégie l'efficacité immédiate. Ces facteurs augmentent la quantité de code produit mais diminuent la pratique délibérée, ce qui devrait réduire le nombre d'ingénieurs hautement compétents. À court et moyen terme, les meilleures entreprises continueront de rechercher des ingénieurs capables de résoudre des problèmes algorithmiques, construire des systèmes manuellement et discuter des choix d'architecture, car la compréhension des fondamentaux reste cruciale. Sur le plan individuel, les ingénieurs utilisant principalement des agents peuvent voir leurs compétences décliner et devenir interchangeables, tandis que des entrepreneurs peuvent soit réussir et monétiser une idée, soit produire des produits faibles qui ne prouvent pas une maîtrise technique, et l'abandon généralisé des fondamentaux avantage finalement ceux qui persistent à s'entraîner.

sitebloom.ch Resume pret HTTP 200 Commentaires