How does IKEA come up with names for its products?
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Solo – a .so loader for static Linux binaries
Un chargeur embarqué permet à un exécutable statiquement lié avec musl de mapper à l'exécution des bibliothèques système glibc (par exemple les pilotes Vulkan/GL) sans lancer un conteneur ni charger un second libc. Il implémente un chargeur ELF utilisateur pour x86-64 et aarch64 et une passerelle ABI glibc sur musl qui gèrent le mapping des segments, la résolution de symboles versionnés, les relocations, TLS et les IFUNCs. Le dépôt inclut une preuve complète : un binaire statique charge le ICD Vulkan installé sur la machine, exécute un shader de calcul et écrit un PNG, vérifié sur AMD, Intel, NVIDIA et Apple M1 sous Asahi Linux. Plutôt que de booter ld-linux ou de maintenir deux runtimes C, la solution conserve une seule instance musl, assure l’interposition et le passage d’exceptions entre mondes, et fournit des stubs explicites qui échouent bruyamment pour les appels glibc non supportés. La portée se limite à Linux sur x86-64 et aarch64, le chargement est permanent (dlclose ne décharge pas), il faut charger les modules initial-exec avant de créer des threads, et la CI tente de charger les quelques milliers de bibliothèques glibc des paquets Debian les plus installés.
The Vietnam Binh Chau (Chau Tan) Late Tang Wreck
Résumé indisponible pour cet article.
Scientists stunned by children's lung recovery in ultra low emission zone
Une étude a suivi plus de 3 400 enfants de 6 à 9 ans à Londres et à Luton pendant cinq ans pour mesurer la fonction pulmonaire avant et après l’instauration de la zone à très faibles émissions (Ulez) en 2019. Les chercheurs ont constaté que la croissance pulmonaire des enfants londoniens, auparavant réduite par la pollution, s’est rapidement accélérée après l’Ulez et a rattrapé presque la capacité pulmonaire des enfants de Luton au bout de quatre ans. La proportion d’enfants jugés cliniquement atteints a diminué à Londres de 14 % à 9 % et l’exposition au dioxyde d’azote a baissé plus vite à Londres qu’à Luton, ce qui suggère un lien entre amélioration de la qualité de l’air et reprise de la croissance pulmonaire. Des experts indépendants ont toutefois souligné que d’autres facteurs, comme les effets du Covid‑19 et des changements de comportements (marche, vélo), pourraient aussi expliquer une partie des améliorations observées. Les auteurs concluent que les zones propres ambitieuses peuvent rapidement réduire certains effets nocifs de la pollution sur les enfants, mais que la pollution demeure au‑dessus des recommandations de l’OMS et que des efforts supplémentaires sont nécessaires.
Cerebras CS-4
Résumé indisponible pour cet article.
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
C'est une mouche 3D qui vit sur le bureau macOS et dont le comportement est commandé par une simulation de spikes en temps réel fondée sur le connectome FlyWire. L'interface affiche 23 210 positions de soma réelles et exécute un circuit de 668 neurones avec environ 19 000 synapses dans un simulateur LIF à 1 kHz, incluant des cellules visuelles LC4/LPLC2, les Giant Fibers de fuite et des neurones de marche, de direction et de toilettage. L'échappée n'est pas scriptée : l'approche du curseur génère une entrée de looming vers les LC4/LPLC2 et la mouche s'envole seulement si le Giant Fiber déclenche réellement, reproduisant des latences de l'ordre de 4 ms. Le corps est généré procéduralement avec marche tripode, battement d'ailes, postures de sommeil et de toilettage, et l'écologie du bureau (bords de fenêtres, apparitions, clics, frappe au clavier, température, rythme circadien) influence le circuit sans demander d'autorisations. Le projet se compile sur macOS 13+ depuis GitHub, le code est sous licence MIT et les données dérivées de FlyWire sont sous CC BY-NC 4.0, l'auteur précisant que la connectivité provient des données réelles tandis que la dynamique LIF et d'autres choix sont des approximations de modélisation.
Palomar: A registry of Lean verified mathematics
Résumé indisponible pour cet article.
Supersonic Trebuchet [video]
Résumé indisponible pour cet article.
OpenLogi
OpenLogi est une alternative open source et locale écrite en Rust qui permet de configurer des souris Logitech sans compte ni télémétrie. L'application pilote les appareils via HID++ pour remapper les boutons, régler le DPI, gérer SmartShift et appliquer des profils par application. Elle communique avec des appareils connectés par récepteur Bolt, Unifying ou Lightspeed, par Bluetooth ou par câble USB et prend en charge plusieurs modèles de souris et périphériques Logitech. Toutes les configurations sont stockées en clair dans un fichier TOML éditable, les actions intégrées sont nombreuses et l'interface propose un diagramme interactif pour lier les fonctions aux boutons. OpenLogi est distribuée pour macOS, Linux et Windows avec builds signés, sous licences MIT et Apache-2.0, et n'est pas affiliée ni soutenue par Logitech.
Meta's blockbuster trial draws parallels to big tobacco
Résumé indisponible pour cet article.