HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11427 articles Page 1033/1143 Sans filtre

How to install and start using LineageOS on your phone

Ce document présente la structure du manuel LineageOS, en indiquant des avertissements et en répertoriant de nombreuses sections techniques ainsi que des lacunes marquées par des TODO. Il explique comment construire LineageOS à partir du dépôt Git avec repo, décrit Git, les outils build Soong, ckati, ninja et le rôle des fichiers Android.bp et Make, tout en signalant des pièges et en proposant des astuces comme l’activation de ccache. La partie 1 expose les bases de l’architecture Android, notamment le noyau, VINTF, HAL, AIDL/HIDL, les partitions, Treble, les APEx et les propriétés système, tout en notant les zones mal documentées. Le texte détaille l’utilisation de LineageOS sur un appareil, avec ADB, fastboot et recovery, la création et l’adaptation de modules, l’extraction de binaires et la gestion du débogage. Il aborde aussi le transplant d’une application sur LineageOS et les particularités OnePlus, en fournissant des exemples de débogage, des ajustements SELinux et des procédures pour déployer des composants matériels.

lockywolf.net Resume pret HTTP 200 Commentaires

Hacking Super Mario 64 using covering spaces

Un espace de couverture d'un espace topologique X est un espace C muni d'une application continue surjective p:C→X telle que pour tout x∈X il existe un voisinage ouvert U de x avec p−1(U) ≅ F×U et la restriction de p à chaque composante de p−1(U) est une homeomorphie sur U. Une homeomorphisme entre X et Y est une bijection f:X→Y dont l'inverse est continu, ce qui fait de X et Y des espaces topologiques identiques. Un revêtement universel est un revêtement qui est simplement connexe et unique à isomorphisme près, et il sert de « objet universel » dans la catégorie des revêtements. Le groupe fondamental π1(X,x0) est l'ensemble des classes d'homotopie de boucles basées en x0, avec la concaténation comme operation; par exemple π1(S^1∨S^1) ≅ F2, le groupe libre sur deux générateurs. L article relie ces notions à des exemples issus des jeux vidéo comme Super Mario 64, en décrivant comment des « univers parallèles » et des dépliements partiels émergent des détails de l’arithmétique des flottants et des collisions, et évoque aussi les modèles géométriques hyperboliques.

happel.ai Resume pret HTTP 200 Commentaires

AI and the Ship of Theseus

L’article examine comment la baisse des coûts de création de code permet des réimplementations par IA et entraîne des choix de conception différents même lorsque les fonctionnalités restent similaires. Il mentionne le cas de chardet, réimplémenté par le nouveau mainteneur en se basant sur l’API et sur la suite de tests, avec pour motivation le passage de LGPL à MIT. Le texte met en lumière le débat sur la question de savoir si une IA qui réécrit du code constitue une œuvre dérivée ou une œuvre nouvelle. Il décrit les arguments et les tensions entre copyleft et licences permissives, ainsi que les implications potentielles pour l’émergence de logiciels sous des licences plus ouvertes ou en open source. L’auteur adopte une position favorable à l’ouverture et prévoit d’éventuels combats autour des licences et des enjeux liés à l’IA, tout en reconnaissant les dimensions sociales et juridiques.

lucumr.pocoo.org Resume pret HTTP 200 Commentaires

Structured AI (YC F25) Is Hiring

Ce poste associe le jugement d’ingénierie professionnel à une IA de pointe axée produit. En collaboration avec le CTO et le CPO, il s’agit de traduire les systèmes HVAC, les codes du bâtiment et la coordination MEP en agents IA autonomes. La mission vise à assurer une précision de niveau professionnel tout en atténuant les risques pour les grands cabinets d’ingénierie. Les responsabilités couvrent l’encodage de l’expertise, la co-conception produit, la livraison stratégique et l’élargissement des systèmes pour des vérifications automatisées. Le profil recherché est un veteran de l’industrie avec au moins 2 ans d’expérience en construction ou MEP et une expérience QA/QC, doté d’une pensée systémique et d’un esprit hacker, avec des atouts en coordination pluridisciplinaire ou IA/ML; le poste offre un visa CPT éligible et une rémunération de 80 000 à 85 000 dollars, avec une option de consulting.

www.ycombinator.com Resume pret HTTP 200 Commentaires

Show HN: Jido 2.0, Elixir Agent Framework

Après dix-huit mois de développement, Jido 2.0 a été expédié et est désormais disponible sur Hex. Jido est né comme BotHive en 2024 et le BEAM est présenté comme le runtime idéal pour les systèmes d’agents. La version 2.0 propose des API plus simples et une architecture d’agents purement fonctionnelle où l’agent est une donnée et où les effets secondaires sont décrits comme des directives. L’exécution se fait via Jido.AgentServer, qui enveloppe chaque agent dans un GenServer supervisé avec routing des signaux, exécution des directives et hiérarchies parent–enfant. L’écosystème s’étoffe autour de Jido avec le support Ash, l’intégration ReqLLM et divers outils, et il est possible d’en savoir plus sur jido.run/ecosystem.

jido.run Resume pret HTTP 200 Commentaires

Data Does Not Speak to You

L'essai soutient que l'enquête empirique est inévitablement conditionnée par la formation intellectuelle du chercheur, et que les données ne parlent pas sans l'interprétation préexistante qu'impose cette formation. À partir de l'étude de la fécondité, il montre que les cadres économiques et sociologiques, fondés sur l'optimisation et l'autonomie individuelle, éclairent les faits de manière contradictoire selon la formation qui les anime. L'auteur décrit le cercle herméneutique selon lequel toute lecture des données est guidée par une précompréhension qui détermine ce qui compte comme explication. Il avance que le cadre d'optimisation ne révèle pas seulement des choix économiques mais conditionne aussi ce qui peut être connu, rendant invisibles les questions posées par des formations rivales. En fin de compte, il affirme que les prédictions et les jugements éthiques dépendent de la formation du lecteur, invitant à reconnaître la dimension constitutive des cadres plutôt que d'aspirer à une objectivité déliée de tout contexte.

tantaman.com Resume pret HTTP 200 Commentaires

Remotely unlocking an encrypted hard disk

Le texte explore une approche consistant à intervenir dès le démarrage du système en injectant des services réseau et d’accès à distance dans l’initramfs. Le plan prévoit que tailscale et un serveur SSH fonctionnent dans l’initramfs pour permettre une prise en main précoce du système. Des contraintes de sécurité sont abordées, notamment la gestion des clés, leur expiration et la nécessité de limiter les accès SSH à l’étape de déverrouillage. Les étapes techniques décrites incluent l’installation des paquets nécessaires, la modification des hooks mkinitcpio, la configuration réseau et la génération de clés, puis la reconstruction de l’initramfs. La conclusion rappelle qu’il faut évaluer les risques et évoque une morale controversée sur l’utilisation de la violence, en insistant sur les aspects éthiques et sécuritaires.

jyn.dev Resume pret HTTP 200 Commentaires