12108 MAI21:01
articleLobstersil y a 10 j
5 min de lecturejank now has its own custom IR
Decrit un IR personnalise pour jank, base sur les semantiques Clojure (SSA/CFG) et une generation C++.
[⋯]Chargement
Le meilleur du dev et de l'IA, scoré chaque jour par un agent. Filtré, résumé, classé. Aucune couleur, aucun bruit — juste la matière.
Decrit un IR personnalise pour jank, base sur les semantiques Clojure (SSA/CFG) et une generation C++.
Argue que Claude doit produire du HTML au lieu de Markdown pour des explications riches: diagrams SVG, navigation en page et explications interactives.
Analyse les approches de gestion de secrets sur NixOS (sops-nix vs agenix), souligne les risques du stockage world-readable et propose des patterns concrets et des choix ergonomics
Analyse des méthodes d'alignement Claude: constitution, données de qualité et scénarios OOD, avec le dataset 'difficult-advice'.
Affirme qu’un modèle 4B local, fin-tuné pour CTI (CWE/CVE), peut égaler un 8B spécialiste sur GPU grand public; décrit benchmarks et recette.
Sony présente l’IA comme outil d’appoint pour les jeux, via Mockingbird et Bandai Namco, afin d’accélérer l’animation et les flux de production sans remplacer les talents humains.
Présente EMO, un MoE qui fait émerger la modularité des données via un routage par documents, autorisant l'usage sélectif d'experts tout en conservant les performances.
Analyse pourquoi l'obligation Sync s'impose via un Future + Send d'un trait async, illustre le piège avec Cell, et propose &mut self comme solution.
Montre comment héberger un site sur Raspberry Pi Zero 1.3 entièrement en RAM, via Alpine diskless, lbu et darkhttpd/nginx, avec un VPS pour TLS.
Rapport détaillant Dirty Frag, une LPE universelle sur Linux combinant deux vulnérabilités, sans patch CVE, avec démonstration technique et mesures d’atténuation immédiates.
OpenAI lance le mode 'Trusted Contact', avertissant une personne de confiance lors de discussions sur l'auto-mutilation ou le suicide, avec vérification humaine et partage limité.
Montre comment Mozilla a utilisé Claude Mythos pour repérer et corriger des centaines de vulnérabilités Firefox, et les méthodes d’orchestration IA.
Récit de l'utilisation de rubyfmt pour formater 25 millions de lignes en une seule nuit, détaillant les défis techniques et les gains de productivité.
Analyse le pacte xAI/Anthropic sur Colossus et expose les risques environnementaux et les incertitudes liées à la chaîne d’approvisionnement et à Grok.
Analyse des tensions de capacité chez Anthropic, des petites équipes ai-forward et du pricing GitHub, avec implications pour les devs.
Plaide pour un controle de flux deterministe et des validations en runtime, plutot que des prompts, avec Babysitter/Auditor/Prayer comme garde-fous.
Notes de version jj v0.41.0: ajout du formatage par plage de lignes, nouveau --no-integrate-operation, améliorations et corrections, dépréciations.
Présente ds4, moteur d'inférence local Metal pour DeepSeek v4 Flash, avec quantification 2-bit, KV-cache sur disque et API HTTP/CLI.
Les pénuries alimentées par l’IA et la réduction de la production de puces font chuter les ventes de cartes mères et révisent à la baisse les prévisions des principaux fabricants.
Présente AlphaEvolve, un agent d’optimisation Gemini-powered, et ses impacts mesurables sur la santé, le réseau électrique et les sciences.