LineageOS Statistics
Résumé indisponible pour cet article.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Résumé indisponible pour cet article.
Aleph Void, LLC diffuse en continu sur Twitch une radio dédiée à la musique chiptune inspirée des puces sonores 8 bits. La programmation met en avant des compositions pour SID, NES APU, Game Boy et la scène tracker qui entretient ces traditions. Le flux fonctionne en permanence et est conçu pour accompagner le travail, la rétro-ingénierie ou l'écoute en fond. Le projet est une initiative parallèle d'Aleph Void, une entreprise spécialisée en sécurité logicielle et en rétro-ingénierie. Les auditeurs peuvent se connecter sur Twitch pour suivre la diffusion et découvrir la playlist.
Cet outil de régression symbolique recherche une formule mathématique interprétable liant des variables à une cible, conçu pour de petits jeux de données expérimentales (≤10 variables, 100–5000 points) et implémenté en pur Python/NumPy. Il produit des formules lisibles plutôt que des boîtes noires, inclut une validation par hold-out, une sélection parcimonieuse et un accès au front de Pareto, et propose des modes d'extrapolation et de prévision. La version 0.2 intègre un ajustement de constantes par Levenberg–Marquardt, des redémarrages multiples avec fusion d'archives, un mode robuste contre les outliers (perte de Huber + IRLS) et des motifs de composition préconfigurés. Des exemples montrent la redécouverte de la troisième loi de Kepler et l'extraction d'une loi de dégradation de batterie avec R² validation = 0,996, et des benchmarks rapportent de fortes performances sur des équations physiques de référence. L'outil est particulièrement adapté aux lois physiques ou d'ingénierie interprétables et aux petits jeux de données bruyantes, mais moins adapté aux suites chaotiques, aux problèmes à plus de 15–20 variables ou aux très grands jeux de données où l'interprétabilité est secondaire.
Davit est une application macOS native en SwiftUI qui fournit une interface graphique pour la plateforme de conteneurs d'Apple et nécessite un Mac Apple silicon sous macOS 15 ou ultérieur. Elle permet de gérer images, conteneurs, volumes et réseaux avec démarrage/arrêt, journaux en streaming, graphiques de ressources en direct, navigation de systèmes de fichiers et ouverture d'un terminal intégré en un clic. Davit communique directement avec le démon de conteneurs via XPC sans Electron ni agents d'arrière-plan, et peut installer la plateforme signée d'Apple pour l'utilisateur sans droits administrateurs. L'application est libre et open source sous licence MIT, signée et notarisée par Apple, et gère les identifiants de registres privés en les stockant dans le trousseau macOS. Par rapport à Docker Desktop, elle utilise le moteur d'Apple avec des VM légères par conteneur pour une empreinte réduite (application d'environ 17 Mo) et se positionne comme une alternative gratuite à des solutions commerciales comme OrbStack.
Herdr permet d'exécuter et de gérer plusieurs agents de codage depuis un seul terminal, localement ou à distance via SSH, chaque agent s'exécutant dans son propre vrai PTY. Le logiciel persiste les sessions sur un serveur pour que les agents continuent de tourner après la fermeture du terminal et permet de se rattacher depuis d'autres machines ou un téléphone. Il propose une interface TUI réactive et mobile-first affichant l'état sémantique des agents (blocked, working, done) et des volets cliquables sans réimplémenter l'émulateur de terminal ni passer par un tableau de bord web. Herdr expose une CLI et une API socket JSON, supporte les intégrations avec de nombreux agents en ligne de commande et fournit des commandes pour créer des workspaces, onglets et volets persistants. L'outil s'installe via un script curl ou PowerShell, fonctionne sur Linux et macOS (aperçu Windows) et se distingue des gestionnaires d'agents desktop et des multiplexeurs comme tmux en combinant persistance PTY et connaissance sémantique des agents.
L'article distingue le travail ponctuel (« I got it working ») du travail accretif, ce dernier visant à rendre le code lisible, réutilisable et susceptible d'être amélioré. Il introduit la métaphore des centaures (travailleurs qui pilotent l'automatisation) et des reverse centaurs (travailleurs contraints à servir des systèmes d'IA) pour expliquer l'écart d'expérience entre praticiens. L'auteur critique l'industrie de l'IA qui incite au licenciement massif et à la production de reverse centaurs, au détriment des tâches de nettoyage et de canonisation nécessaires à des logiciels durables. Le bulletin rassemble aussi une sélection de liens et d'articles (actualités, archives et chroniques) sous la rubrique « object permanence » ainsi que des trouvés et recommandations diverses. Il informe enfin des prochaines apparitions publiques, des livres parus et à paraître, et des modalités de distribution et de licence de la publication.
Résumé indisponible pour cet article.
Résumé indisponible pour cet article.
Résumé indisponible pour cet article.
Résumé indisponible pour cet article.