HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

3654 articles Page 197/366 Sans filtre

19 Mar 2026

07:02

colossus.com Resume pret HTTP 200

We Have Learned Nothing

L’auteur soutient que les méthodes universelles pour lancer des startups conduisent à des réponses identiques et à un manque de différenciation, entraînant l’échec de nombreuses entreprises. Depuis 25 ans, les pionniers tels que Blank, Ries, Osterwalder, Design Thinking et Sarasvathy ont proposé des cadres pour naviguer l’incertitude, mais leur approche n’a pas abouti à une science fiable. Les données publiques et les chiffres du capital-risque indiquent que les taux de survie et les tours de financement ultérieurs n’ont guère progressé grâce à ces méthodes. Trois hypothèses expliquent cet échec : les théories seraient fausses, évidentes ou inefficaces dès lors qu’elles se diffusent largement. L’auteur appelle à une science de l’entrepreneuriat fondée sur Feyerabend, qui privilégie la diversité des paradigmes, l’expérimentation et l’abandon des règles fixes.

19 Mar 2026

07:01

www.cs.unc.edu Resume pret HTTP 200

Rob Pike’s Rules of Programming (1989)

On ne peut pas prévoir où un programme va passer son temps et il ne faut pas tenter d’optimisation prématurée sans preuve. Il faut mesurer les performances avant d’optimiser et n’optimiser que si une partie du code domine réellement le reste. Les algorithmes sophistiqués coûtent cher quand n est petit et présentent de grandes constantes, il faut donc éviter la sophistication tant que n n’est pas fréquemment grand et, même alors, commencer par mesurer. Les algorithmes complexes sont plus sujets aux bugs et plus difficiles à mettre en œuvre; privilégier des algorithmes et des structures simples. L’idée centrale est que les données dominent et, avec les bonnes structures de données, les algorithmes deviennent presque évidents, comme l’avaient formulé Pike, Hoare, Thompson, KISS et Brooks.

19 Mar 2026

07:01

github.com Resume pret HTTP 200

Autoresearch for SAT Solvers

Cet article décrit un agent IA autonome qui cherche à devenir le meilleur expert MaxSAT sans intervention humaine. Il lit des ressources internes comme program.md et expert.md, exploite une bibliothèque d'outils et exécute des solveurs sur des instances pour affiner ses méthodes. Plusieurs agents s'exécutent sur des VM et partagent leurs découvertes via Git, afin de construire collectivement une base de connaissances. Les résultats indiquent 220 des 229 instances résolues, 30 optimales, 5 mieux que le meilleur de la compétition, une solution nouvelle et neuf cas non résolus. L'architecture et le code se trouvent dans library/ avec des modules tels que solvers.py, core_guided.py, clause_weight_ls.py, solutions.py et wcnf_parser.py.

19 Mar 2026

07:01

www.pew.org Resume pret HTTP 200

Austin’s surge of new housing construction drove down rents

Après des décennies de croissance explosive, Austin a connu une flambée des loyers et une pénurie de logements, ce qui a mené en 2015 à des réformes favorisant le développement de nouveaux logements, en particulier locatifs. Ces réformes ont élargi le zonage pour permettre des immeubles d’habitation plus hauts près des lieux d’emploi et des transports, introduit le zoning Vertical Mixed Use et des rezonings ciblés, et facilité les ADU tout en réduisant les exigences de stationnement. Entre 2015 et 2024, la ville a ajouté environ 120 000 logements et les loyers ont commencé à baisser, avec le loyer médian passant à 1 296 dollars en 2026. Les efforts ont stimulé la construction de logements locatifs abordables grâce à des bonds de densité et à des programmes de financement, conduisant à 4 605 logements abordables construits en 2024. Des réformes continues visent à simplifier les permis, ajuster les codes et élargir les types de logement autorisés, comme les plexes et les ADU, afin de maintenir l’offre et l’accessibilité pendant que Austin poursuit sa croissance.

19 Mar 2026

07:00

openrocket.info Resume pret HTTP 200

OpenRocket

OpenRocket est un simulateur de fusées modèles gratuit et complet qui permet de concevoir et simuler des fusées avant leur construction et leur vol. Il offre des vues de conception en 2D et 3D, la création de composants personnalisés et l’accès à un vaste catalogue de pièces et de moteurs, avec l’exportation du design et des résultats de simulation vers divers formats. La simulation utilise une modélisation Six-Degrees-of-Freedom avec plus de 50 variables, et permet d’analyser les performances avec des outils de tracé et d’exportation avancés. Des fonctionnalités d’optimisation et un assistant d’IA aident à ajuster les paramètres pour atteindre des objectifs tels que des vols plus hauts et plus longs, avec des retours en temps réel sur des paramètres comme le centre de gravité et le centre de pression. OpenRocket est open source, dispose d’une documentation pour les utilisateurs et les développeurs, d’une communauté Discord active, et permet d’utiliser des données de moteurs de ThrustCurve ainsi que d’exporter des résultats et documents en PDF.

19 Mar 2026

07:00

lcamtuf.substack.com Resume pret HTTP 200

Conway's Game of Life, in real life

L’article décrit le Jeu de la Vie et présente le projet comme une œuvre d’art interactive avec une planification budgétaire et une matrice 17×17 d’interrupteurs. Le schéma utilise 17 lignes GPIO pour connecter une rangée active à la masse et 17 lignes pour les colonnes, avec des diodes à leurs intersections qui allument les LEDs. La conception prévoit des résistances de 20 Ω limitant le courant à environ 150 mA par diode et l’emploi de MOSFETs et de transistors P‑channel pour piloter les lignes et les colonnes. Le système réutilise la ligne de sélection des rangées pour lire les entrées et détecter l’état des interrupteurs, tandis qu’un potentiomètre de 10 kΩ règle la vitesse de simulation de 0 à environ 10 Hz et que chaque pression met en pause l’évaluation pendant deux secondes. L’article évoque l’assemblage dans un boîtier en bois, les liens vers une vidéo et le code source, et propose des réflexions sur le coût des interrupteurs ainsi que des alternatives comme les écrans tactiles ou une version électromécanique.

19 Mar 2026

07:00

nearzero.software Resume pret HTTP 200

Warranty Void If Regenerated

Dans l'économie post-transition, la frontière entre matériel et logiciel s’efface et les talents les plus précieux savent diagnostiquer l’écart entre ce que la technologie est censée faire et ce qu’elle fait réellement. Tom Hartmann devient Hartmann Software Mechanics, combinant réparation du matériel et maintenance des systèmes générés par des spécifications rédigées en langage naturel. Le cas de Margaret Brennan illustre le problème du terrain qui bouge: une révision externe des données et des modèles peut rendre une spécification inchangée obsolète et coûteuse. Le cas d’Ethan Novak montre qu’une foule d’outils sans architecture conduit à des défaillances en chaîne et nécessite un chorégraphe logiciel pour harmoniser les interfaces et les contrats. Carol Lindgren incarne le besoin du contrôle humain et du savoir tacite; le succès durable vient de la combinaison entre l’optimisation automatique et l’autorité humaine, parfois matérialisée par un interrupteur physique.

19 Mar 2026

07:00

rjcorwin.github.io Resume pret HTTP 200

Cook: A simple CLI for orchestrating Claude Code

Cet extrait présente un cadre d'orchestration des tâches qui organise les prompts, les boucles et les contrôles qualité entre agents et étapes. Il décrit des opérateurs de boucle comme xN, review et gate, qui répètent le travail, ajoutent des revues et déclenchent des itérations selon les résultats. Il montre aussi des mécanismes de composition tels que vN, race et vs pour exécuter des branches en parallèle et choisir un résultat selon des critères. Le texte fournit des instructions pratiques pour configurer un projet avec cook init, et pour gérer les fichiers de configuration (.cook/config.json) et les journaux. Enfin, il explique les modes d'exécution et les résolveurs comme pick, merge et compare, ainsi que les environnements Sandbox ou Docker et l'usage d'OpenCode en mode Docker.

19 Mar 2026

07:00

haskellforall.com Resume pret HTTP 200

A sufficiently detailed spec is code

Cet article critique les prétentions selon lesquelles il serait possible de générer du code uniquement à partir d’un document de spécification. Il expose deux idées reçues: que les documents de spécification sont plus simples que le code et que le travail de spécification serait plus réfléchi que le codage. Il soutient que, pour être utilisables, les documents de spécification qui permettent une génération automatique finissent souvent par ressembler au code et ne simplifient pas vraiment le travail. En s’appuyant sur l’exemple du projet Symphony d’OpenAI, l’auteur montre que la spécification peut lire comme du code et ne pas éviter les erreurs ou la fragilité du système. En conclusion, l’article affirme que les spécifications ne remplacent pas le code et que la qualité dépend du soin apporté et de la clarté du travail, pas d’un gain supposé par l’intermédiaire des agents.