HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6286 articles Page 154/629 Sans filtre

06:06

Chess invariants

Le jeu d'échecs comporte de nombreuses règles et peut se voir comme un système concurrent à exécution intercalée où les joueurs jouent à tour de rôle. Dans l'analyse formelle on modélise le jeu et on distingue les invariants d'état (propriétés sur un seul état) des invariants de transition (propriétés sur une paire état→état), ces derniers aidant à raisonner sur les changements. Parmi les invariants d'état figurent des contrôles de type et de présence des rois, la parité du tour (les blancs aux coups pairs, les noirs aux impairs) et l'exigence que le joueur ayant fini son coup ne soit pas en échec. Les invariants de transition imposent que le compteur de coups augmente et que le tour alterne, interdisent l'apparition de pièces ex nihilo, limitent les captures à une par coup et peuvent affirmer qu'exactement deux cases changent par mouvement. Des coups spéciaux modifient ces contraintes : le roque affecte quatre cases, l'en passant capture une pièce hors de la case d'arrivée, la promotion de pion change la nature de la pièce sans augmenter le nombre total, et il est noté historiquement que l'interdiction de promouvoir en roi a été clarifiée au XIXe siècle.

06:06

The Making of Indian Statistics

Mahalanobis a créé un institut situé en dehors du gouvernement mais lié à lui, dont le fonctionnement reposait sur son autorité personnelle et le patronage de Nehru, ce qui a permis des travaux statistiques rigoureux dans les premières décennies. Après la mort de Nehru et la perte progressive de l'influence de Mahalanobis, l'ISI s'est peu à peu bureaucratisé, et des enquêtes ont critiqué ses méthodes budgétaires et son style de gestion. Les causes identifiées de ce déclin incluent l'absence d'une autorité statistique centrale, le sous-investissement informatique, l'affaiblissement du rôle des technocrates et le manque de boucles de rétroaction publiques qui auraient signalé la détérioration de la qualité. La suppression du rapport de dépenses de consommation de 2017-18, la refonte non comparable de l'enquête HCES 2022-23 et l'absorption du NSSO dans le NSO ont rompu la série de consommation tenue depuis 1950 et fragilisé la confiance dans les estimations de pauvreté. Depuis 2024-2026, des mesures pour réparer la capacité statistique ont été prises, avec le règlement des arriérés d'enquêtes, la publication d'un calendrier de diffusion, la relance du recensement et le déploiement d'outils techniques du NSO, mais l'histoire montre que les institutions fondées sur des individus restent fragiles.

06:06

TorQ: Kdb+ Production Framework

Le framework fournit une base pour des systèmes kdb+ en production en implémentant des fonctionnalités et utilitaires centraux afin que les développeurs se concentrent sur la logique métier. L'accent est mis sur les bonnes pratiques, notamment la performance, la gestion des processus, le diagnostic, la maintenabilité et l'extensibilité, en réutilisant quand possible du code contribué depuis code.kx.com. Pour démarrer un processus il faut définir des variables d'environnement et indiquer le type et le nom du processus en ligne de commande, avec des options utiles comme -debug et -load et des scripts d'exemple fournis. La documentation se met à jour via mkdocs (mkdocs gh-deploy) et peut être testée localement avec mkdocs build puis mkdocs serve; des Starter Packs et un groupe Google complètent l'aide. Le journal des versions montre une évolution continue depuis 2014 avec ajouts majeurs tels que WDB et IDB, API Data Access, intégration AWS FinSpace, support Kafka, outils de monitoring et de permissioning, ainsi que de nombreux correctifs.

06:05

Show HN: ShadowCat – file transfer through QR Codes in a Browser

Cette page HTML autonome et entièrement hors ligne permet de transférer des données entre deux appareils par QR codes en ciblant notamment les téléphones anciens dont les radios sont hors service mais dont la caméra et le navigateur fonctionnent encore. L'interface offre des onglets pour générer et scanner un seul QR, envoyer un fichier en le découpant en trames cycliques avec pause/reprise et démarrage à un index donné, afficher une trame précise pour la retransmission et recevoir un fichier avec détection automatique d'en-tête et grille des trames manquantes. Le protocole utilise des messages textuels de type QRX1|H|<total>|<filename>|<sizeBytes>|<crc32hex> pour l'en-tête et QRX1|D|<idx>|<base64chunk> pour les données, avec base64 sans '|' pour un parsing par split('|'), indexation 1-based, suivi et déduplication des trames côté récepteur et vérification CRC de l'en-tête. Pour les téléphones anciens la caméra réclame HTTPS ou localhost (ou servir via python3 -m http.server et accéder par l'IP du PC), et iOS Safari exige HTTPS pour l'accès cross-device, auquel cas un serveur local avec caddy ou un certificat auto-signé est recommandé. En pratique la vitesse est limitée (environ 500 caractères × 3 fps ≈ 1,1 Ko/s en base64 ≈ 0,83 Ko/s utile, soit ≈ 2 minutes par boucle pour 100 Ko) et on peut améliorer la décodabilité en réduisant la taille des chunks, en baissant la FPS ou en augmentant l'ECC (par exemple Q) si les appareils ont du mal.

06:05

Circle Medical (YC S15) Is Hiring a Mobile Engineer

Circle Medical est une organisation de soins primaires virtuelle visant à améliorer l'accès et l'expérience des patients aux États‑Unis en combinant technologie, données et rendez‑vous en personne lorsque nécessaire. L'équipe recherche un ingénieur mobile senior pour diriger la feuille de route technique de l'application Android et collaborer avec designers, cliniciens et ingénieurs pour développer des fonctionnalités orientées patient. Les responsabilités comprennent la maintenance de la stabilité et de la sécurité de l'application Android, l'alignement fonctionnel avec iOS, l'amélioration du pipeline CI/CD et la production de logiciels conformes aux exigences HIPAA. Le poste exige plus de sept ans d'expérience en développement mobile, une solide maîtrise de Kotlin et Jetpack Compose, une bonne connaissance des architectures modernes (MVVM, programmation réactive) et d'outils comme Dagger. La rémunération est transparente et indexée sur le marché avec des fourchettes salariales pour Montréal (161 000–197 000 CAD) et les États‑Unis (142 000–180 000 USD), et l'offre inclut assurances, congés, régimes de retraite et budget formation.

06:05

TikTok disproportionately served anti-Democratic videos during the 2024 election

Une étude publiée dans Nature montre que le système de recommandation de TikTok expose davantage les utilisateurs à du contenu conservateur et hostile aux démocrates qu'à du contenu libéral, indépendamment des intérêts politiques initiaux. Des chercheurs de NYU Abu Dhabi ont mené une audition avec 323 comptes automatisés sur 27 semaines, en simulant de jeunes adultes placés virtuellement dans trois États et en entraînant certains comptes à regarder jusqu'à 400 vidéos partisanes. Ils ont collecté plus de 280 000 vidéos, extrait 40 264 transcriptions analysées par un ensemble de modèles linguistiques validés par des étudiants, et constaté que les comptes formés sur des vidéos républicaines recevaient ~11,5 % de contenu pro-parti supplémentaire tandis que les comptes formés sur des vidéos démocrates voyaient ~7,5 % de contenu de l'autre camp en plus. Le déséquilibre se caractérise surtout par une poussée de contenu anti-démocrate dirigée vers les comptes démocrates et se concentre sur des thèmes comme l'immigration, la criminalité et la politique étrangère, tandis que le contenu pro-républicain évoquait davantage l'avortement, et un sondage d'utilisateurs a corroboré ces perceptions. Les auteurs précisent que l'étude mesure l'exposition et non l'influence, n'établit pas d'intention de la plateforme, comporte des limites (comptes nouveaux, vidéos en anglais seulement, possible différence d'offre de contenu) et propose d'étendre les audits avec des données réelles et des analyses audio-visuelles et inter-plateformes.

06:05

DeepSeek makes the V4 Pro price discount permanent

Un token est l'unité minimale de texte et la facturation se fait sur le nombre total de tokens d'entrée et de sortie. Deux versions du modèle sont listées (DeepSeek-V4-Flash et DeepSeek-V4-Pro) avec modes thinking et non-thinking, URLs d'API et compatibilité avec d'anciens noms. La fenêtre de contexte est de 1 million de tokens, la sortie maximale est de 384k et les fonctionnalités incluent sortie JSON, appels d'outils et complétion de préfixe de chat en bêta. Les prix sont indiqués par tranche de 1M tokens : pour DeepSeek-V4-Flash l'entrée en cache coûte 0,0028 $/1M, l'entrée hors cache 0,14 $/1M et la sortie 0,28 $/1M, le modèle Pro a une remise promotionnelle de 75% et un ajustement tarifaire annoncé. Le coût est égal au nombre de tokens multiplié par le prix, les frais sont déduits du solde approvisionné ou du solde accordé en priorité, et DeepSeek peut modifier les tarifs, il est donc conseillé de surveiller la page de tarification et d'approvisionner en fonction de l'utilisation.

06:04

SpaceX launches Starship v3 rocket

SpaceX a connu des événements contrastés récemment, avec le lancement réussi d'un prototype de Starship et l'annulation d'un essai d'une version ultérieure. La mission Artemis II a été qualifiée d'historique et son équipage est revenu sain et sauf après un survol lunaire, partageant des récits émotionnels de l'expérience. Les autorités ont communiqué de nouveaux éléments sur la prochaine mission autour de la Lune, Artemis III, et ont souligné que le succès précédent n'était pas le fruit du hasard. Le Pentagone a publié une série d'archives déclassifiées portant sur des observations d'objets aériens non identifiés couvrant plusieurs décennies. Parmi les autres actualités figurent le développement des premières stations spatiales commerciales, le 36e anniversaire du télescope Hubble et la mort d'Ed Buckbee, fondateur du centre spatial et de la fusée des États-Unis.