Show HN: Signet – Autonomous wildfire tracking from satellite and weather data
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Show HN: GDSL – 800 line kernel: Lisp subset in 500, C subset in 1300
Les réflexions portent sur l’ampleur et les compromis des compilateurs modernes, qui couvrent le traitement du texte jusqu’au backend pour faire tourner un système, et sur l’idée que les petits compilateurs se réduisent par leurs choix fonctionnels. L’auteur relate avoir écrit un sous-ensemble de C en 1500 lignes, puis, sur le même noyau sans modification, un compilateur Lisp en 500 lignes, démontrant qu’un code relativement court peut être utile sans devenir fragile. Cette expérience le pousse à se demander ce que font les autres compilateurs pour atteindre des millions de lignes, et il propose une explication fondée sur des notions comme les coutures, les paysages et les kludges. Seize mois d’efforts concrets — creuser le béton, plier des tuyaux et vivre dans des halls — pour bâtir une parcelle de terrain, et la nommer avec une plaque attestant son existence. Enfin, il annonce planter les premiers jalons et que le travail portera le nom Modern GDSL.
Hollywood Enters Oscars Weekend in Existential Crisis
Un groupe de jeunes assistants de WME discutait de leurs choix de carrière lors d'une soirée au Desert 5 Spot à Hollywood, reflétant les inquiétudes du secteur. Depuis des décennies, le cinéma est décrit comme au bord du gouffre, avec des licenciements, des délocalisations de production et la crainte que l'intelligence artificielle transforme le métier. Pour Warner Bros. Discovery, l’actualité des Oscars est éclipsée par le projet d’acquisition par Paramount Skydance, marquant une troisième vente du studio en moins d’une décennie. Les studios dépensent moins pour les films après les grèves de 2023 et réorientent des budgets vers le sport et les événements en direct, ce qui freine le volume des productions. Des initiatives comme l’utilisation de l’IA et des partenariats pour réduire les coûts cherchent à créer de nouvelles formes de narration et à attirer les jeunes vers les salles.
Type systems are leaky abstractions: the case of Map.take!/2
L’article examine comment ajouter un système de types à un langage dynamique et utilise Map.take!/2 comme exemple des restrictions que les systèmes de types peuvent imposer à l’expressivité des programmes. Il rappelle que Map.take/2 renvoie uniquement les clés présentes et que Map.take!/2 viserait à lever une KeyError si une clé manque, posant ainsi un problème de signature de type plus précise. Des tentatives en TypeScript montrent que des signatures comme Pick et des unions rendent les types fragiles ou insuffisants lorsque les clés varient dynamiquement, menant à des incohérences entre typage et exécution. Différentes pistes sont discutées, notamment des signatures distribuées, as const, et même des macros, qui pourraient garantir la sécurité des clés mais complexifient le système et son ergonomie. Le texte conclut que les programmes dynamiques restent expressifs mais difficiles à vérifier statiquement, et qu’il faut peser les compromis entre expressivité, complexité et outils comme les macros.
Clock-accurate FPGA replacement for NES PPU
Il décrit un remplacement FPGA bon marché et à horloge précise du PPU, obtenu par rétro-ingénierie. Le concepteur visait une alternative FPGA à bas coût au RGB-PPU, car le design d'origine nécessitait une carte à 4 couches coûteuse. La solution utilise une PCB double face de taille NESRGB et un FPGA Cyclone I EP1C3T100C8N en boîtier 100 broches, avec un DAC R2R discret et une gestion de couleur en six bits plus un bit d'accentuation par canal. Le prototype intègre trois palettes internes basculables par des jumpers, et peut supporter jusqu’à quatre palettes sans augmenter le nombre de pins FPGA utilisés. La documentation comprend des projets et des fichiers pour Lattice et Quartus, des instructions JTAG imposant le chargement du fichier jic et des informations sur les ressources utilisées par les CYCLONE I et le LCMXO2-1200H.
In Memoriam: John W. Addison, my PhD advisor
Résumé indisponible pour cet article.
An experiment to use GitHub Actions as a control plane for a PaaS
Il s’agit d’une plateforme auto-hébergée qui transforme un serveur Debian unique en une machine de déploiement multi‑applications, avec GitHub comme plan de contrôle. Un script bootstrap installe Docker, Caddy, PostgreSQL, Redis et Grafana, rendant la plateforme prête à l’emploi. Il est possible de créer une application à partir d’un modèle et de pousser pour déclencher le déploiement via GitHub Actions. La solution permet un hébergement multi‑applications sur un seul serveur avec des sous-domaines, des bases de données, du stockage et des conteneurs isolés. Elle offre un TLS automatique, une observabilité intégrée et des sauvegardes quotidiennes, avec des mises à jour de sécurité et des règles de pare-feu préconfigurées.
What is agentic engineering?
Le texte présente l’ingénierie agentique comme la pratique consistant à développer des logiciels avec l’aide d’agents capables d’écrire et d’exécuter du code. Ces agents fonctionnent en boucle, appelant une LLM, fournissant des définitions d’outils et utilisant les outils demandés pour atteindre un objectif. Pour le codage, l’exécution du code est la capacité déterminante qui permet d’itérer et de démontrer que le logiciel fonctionne réellement. L’auteur rappelle que, même avec des agents générant du code, l’humain décide du problème à traiter, des choix et des compromis, et doit guider le processus avec précision. Le texte insiste sur l’amélioration via l’instruction et le montage des outils, l’apprentissage continu et l’ambition accrue, tout en distinguant le vibe coding du code destiné à la production.
A Plain Anabaptist Story: The Hutterites
Tout commence à Zurich en 1525 lorsque Conrad Grebel, Felix Manz et un petit groupe pratiquent les baptêmes adultes en rupture avec l'Église catholique et l'établissement réformé, plaidant pour une séparation entre Église et État. Les autorités persécutent ces groupes et les morts se multiplient; le Martyrs Mirror, publié pour la première fois en 1660, rassemble leurs exécutions et leurs témoignages. De ce terreau émergent trois mouvements, dont les Hutterites, qui instaurent la Gütergemeinschaft et des Bruderhöfe sous Jakob Hutter en Moravie entre 1530 et 1590. Après des périodes de déclin et de persécution, un renouveau survient en 1755 à Alwinz grâce à des réfugiés luthériens, la communauté des biens est rétablie en 1761, et la population se déplace ensuite vers la Russie puis vers l’Amérique du Nord. Aujourd’hui, environ 58 000 Hutterites vivent dans 544 colonies en Amérique du Nord, répartis entre Schmiedeleut, Dariusleut et Lehrerleut, et la fécondité a fortement décliné depuis son pic du milieu du XXe siècle pour se situer autour de 3–4 enfants par femme.
Bandit: A 32bit baremetal computer that runs Color Forth [video]
Résumé indisponible pour cet article.