Show HN: Are You in the Weights?
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
.gitignore Isn't the only way to ignore files in Git
Il existe trois niveaux de fichiers d'ignore dans Git : .gitignore, .git/info/exclude et ~/.config/git/ignore. Le fichier .gitignore est commité avec le dépôt et sert à ignorer les fichiers pertinents au projet. Le fichier .git/info/exclude se trouve dans .git du dépôt et n'est pas commité, utile pour des exclusions spécifiques à un dépôt. Le fichier ~/.config/git/ignore est un ignore global au niveau de la machine et peut être personnalisé via git config --global core.excludesFile ou réinitialisé avec git config --global --unset core.excludesFile. La commande git check-ignore -v chemin indique quel fichier et quelle ligne ignorent un fichier donné et ne produit aucune sortie si rien ne l'ignore.
Hospitals and universities repurposing drugs at lower cost
Un système de recherche "caché" mené en dehors du système des brevets par des hôpitaux et des universités a un fort potentiel pour fournir régulièrement des traitements abordables à la société. Des exemples incluent l'utilisation d'un médicament contre le cancer pour traiter une cause majeure de cécité, la transformation d'un médicament du traitement à la prévention du cancer du sein, et le recours à un ancien anti‑inflammatoire pour soigner la Covid‑19. Une étude dirigée par King's College London et publiée dans le Cambridge Law Journal montre que ces établissements réalisent un nombre substantiel d'essais cliniques tardifs financés à moins de 10 % des coûts déclarés par les entreprises pharmaceutiques. Les barrières à l'innovation — expertise, risque et capital — sont moins élevées pour le repurposing de médicaments génériques car ces molécules sont bien étudiées, déjà produites, les projets sont choisis selon l'expertise locale et les essais sont soumis à des financements et comités d'éthique, ce qui réduit aussi le risque financier pour les institutions. Alors que l'industrie obtient en moyenne 32 nouvelles autorisations d'usage par an en début de cycle commercial mais se désintéresse des molécules devenues génériques, les hôpitaux et universités exploitent ces versions bon marché pour poursuivre le repurposing en s'appuyant sur des motivations cliniques et académiques.
Horizons JPL Solar System Data Demo and NASA DSN Updates: Datastar, Common Lisp
Résumé indisponible pour cet article.
Flexport (YC W14) Is Hiring in Indonesia, India, and Thailand
La mission de l'entreprise est de faciliter le commerce mondial en construisant une chaîne logistique autonome pilotée par agents d'IA, en déployant des modèles d'IA sur des données et intégrations propriétaires. Elle affiche une forte croissance (2,9 fois le chiffre d'affaires net depuis 2024), estime le marché logistique mondial à 8,6 billions de dollars et sert environ 13 000 clients dans plus de 147 pays parlant plus de 70 langues. Ses activités combinent opérations réelles — transport maritime, aérien, routier et ferroviaire, dédouanement et financement de stocks — avec une technologie intégrée pour automatiser et optimiser le déplacement des marchandises. La culture d'entreprise met l'accent sur l'obsession client, l'intégrité à long terme, l'esprit d'entrepreneur, la simplification des processus, le travail d'équipe, l'apprentissage continu et une forte éthique de travail. L'entreprise privilégie la promotion interne et la méritocratie, propose des postes dans de nombreux bureaux mondiaux et invite les candidats, y compris ceux sans expérience logistique préalable, à postuler.
Show HN: Talos – Open-source WASM interpreter for Lean
Talos est un interpréteur WebAssembly écrit en Lean 4 qui utilise les mêmes définitions pour l'exécution et pour les preuves, évitant ainsi un interpréteur de spécification séparé. L'objectif est de fournir une sémantique exécutable et complète pour Wasm qui sert aussi d'objet formel permettant d'exécuter des programmes et de raisonner sur leur comportement dans Lean. Le projet privilégie la clarté pour le raisonnement plutôt que les performances et s'appuie sur le calcul des préconditions faibles (WP) pour construire des preuves structurées et compositionnelles. Le dépôt est organisé en trois paquets (interpreter, codelib, programs), avec des instructions pour l'utilisation comme dépendance via Lake et codelib réexportant les éléments nécessaires pour les preuves. Talos est en développement actif, fournit des instructions de construction et de test, dépend de Lean 4 et wasm-tools, et est distribué sous licence GNU Affero General Public License v3.0.
CS 6120: Advanced Compilers: The Self-Guided Online Course (2020)
Cours de niveau doctorat dirigé par Adrian Sampson portant sur l'implémentation des langages de programmation et les compilateurs. Le programme couvre des sujets fondamentaux tels que les représentations intermédiaires, l'analyse de flot de données et les optimisations classiques ainsi que des thèmes de recherche comme la parallélisation, la compilation juste-à-temps et la gestion de la mémoire. L'apprentissage s'appuie sur la lecture d'articles, des vidéos et des notes écrites, et des travaux pratiques open source utilisant LLVM et un IR pédagogique conçu pour le cours. La version auto-dirigée propose une chronologie linéaire de leçons avec des tâches ouvertes sans contraintes de délai ni accès aux discussions officielles, et demande un projet final non noté visant à appliquer les concepts. Le cours est open source sur GitHub, invite à signaler des bugs, et les participants sont priés de remplir un formulaire de retour après avoir terminé.
Cell-based architecture for resilient payment systems
American Express a conçu son écosystème de paiements noyau pour traiter des transactions mondiales en garantissant une haute disponibilité, une faible latence et des performances prévisibles. La résilience est intégrée dès la conception via une architecture basée sur des cellules indépendantes qui isolent les pannes et permettent un redémarrage rapide. Chaque cellule contient ses propres microservices et bases de données, avec réplication locale des données statiques et routage déterministe des données dynamiques assuré par le Global Transaction Router. En cas de défaillance, les transactions sont réacheminées et relancées dans d'autres cellules plutôt que reprises à travers les frontières, en s'appuyant sur l'idempotence et des points de non-retour bien définis. La limitation stricte des frontières, la minimisation des dépendances critiques à la périphérie, l'observabilité locale et la réplication asynchrone permettent de réduire le rayon d'impact tout en conservant l'évolutivité et une faible latence.
Ubiquiti: Enterprise NAS, Built on ZFS
ENAS propose une plateforme de stockage locale et privée conçue pour la performance, la scalabilité et la simplicité, sans les coûts et la complexité souvent associés aux infrastructures d'entreprise. La solution associe l'architecture ZFS, un cache optionnel M.2 NVMe L2ARC et une plateforme ARM Neoverse N2 (8 cœurs, 64 Go ECC) avec des caches NVMe doubles pour offrir fiabilité et performances pour les charges exigeantes. Conçue pour évoluer, l'offre intègre 16 baies de disques extensibles au-delà d'un pétaoctet, une compatibilité ouverte des disques, des ports SFP28 25 Gb doubles et des alimentations redondantes pour la résilience. L'administration est centralisée via l'intégration UniFi sans frais de licence récurrents, avec une gestion unifiée des fichiers et sauvegardes, l'intégration des fournisseurs d'identité et des contrôles d'accès basés sur les rôles, ainsi qu'un accès natif sur postes et mobiles. Des fonctions d'orchestration de sauvegarde multi-site à venir, des capacités de snapshot et un support iSCSI natif pour le stockage partagé permettent la protection des données, la reprise après sinistre et l'utilisation dans des environnements virtualisés compatibles Proxmox, VMware et Hyper-V.
Datasette Apps: Host custom HTML applications inside Datasette
Le projet a lancé le plugin datasette-apps qui permet d'exécuter des applications HTML+JavaScript autonomes dans des iframes fortement restreints hébergés par Datasette. Ces apps peuvent exécuter des requêtes SQL en lecture (et en écriture via des requêtes stockées) grâce à une API contrôlée, tout en étant confinées par sandbox et par une en-tête CSP injectée pour empêcher l'accès aux cookies, localStorage et aux hôtes externes non autorisés. La communication sécurisée entre l'iframe et le parent utilise désormais MessageChannel plutôt que postMessage et inclut des journaux visibles pour les requêtes et les erreurs afin de faciliter le débogage. Le système propose un formulaire avec un prompt copiable permettant à des modèles LLM de générer des apps, et de nombreux composants du plugin ont été développés avec une aide importante d'outils d'IA. Des mesures de sécurité supplémentaires ont été ajoutées après audit, notamment la permission apps-set-csp et la configuration allowed_csp_origins, pour prévenir les risques d'exfiltration de données et encadrer les autorisations.