Créer une machine virtuelle en Rust
Aperçu # Pour m’aider à apprendre le langage Rust, j’ai décidé de réaliser un interpréteur pour Lox, le langage de script que Robert Nystrom a créé à des fins pédagogiques pour son livre Crafting Interpreters. Je m’intéresse aux langages de script qui sont destinés à être embarqués dans des applications, et cet exercice m’a semblé un bon moyen d’en savoir plus sur la construction de ce type de langage. Le livre de Nystrom présente, étape par étape, le développement de deux versions de l’interpréteur. Alors que la première, en Java, parcourt un arbre de syntaxe abstraite (AST) pour exécuter un script, la deuxième, en C, comporte une machine virtuelle qui exécute du bytecode. Cette deuxième version m’intéressait davantage. Au fil des ans, j’avais réalisé deux interpréteurs qui parcourent des arbres de syntaxe abstraite, en commençant par Apache FreeMarker, ainsi qu’un compilateur source à source optimisant utilisant l’inférence de types. Mais je n’avais pas encore fait de machine virtuelle. L’idée me rappelait de bons souvenirs de programmation en assembleur sur l’Apple II quand j’avais quinze ans. Le jeu d’instructions de la machine virtuelle de Nystrom est plus simple que celle du processeur Motorola 6502 de l’Apple II, mais le principe est le même. J’ai donc sauté la première partie du livre pour aller directement à celle où il s’agit de la machine virtuelle.
Calculer des mesures de centralité avec le réseau de transport en commun parisien
J’ai pensé qu’il serait intéressant d’essayer un peu d’analyse de réseau élémentaire en utilisant le réseau du métro et du RER parisiens, en commençant par des indices de centralité. Il s’agit de mesures qui classent les sommets d’un graphe en fonction de leur importance, selon une définition quelconque de l’importance. Par exemple, dans un réseau de transport, la centralité d’une station pourrait donner une indication de la probabilité que les passagers passent par cette station au cours de leur itinéraire. Un opérateur de transports en commun pourrait utiliser ces informations pour évaluer les inconvénients que causerait la fermeture de certaines stations, par exemple en raison d’inondations ou de travaux, et pour l’aider à identifier les moyens les plus efficaces d’améliorer la résilience du réseau. J’utiliserai ici Python, networkx et SQLite.
Mal partum
En 2024 j’ai fait les sous-titres anglais du court-métrage Mal partum, un beau documentaire sur la dépression post-partum. Émilie D. s’est appuyée sur son expérience personnelle pour réaliser un film qui apporte des connaissances pratiques dont nous pouvons tous nous servir.
Shady Lewis, Sur le méridien de Greenwich
Le roman Sur le méridien de Greenwich, de l’écrivain égyptien Shady Lewis, est sorti en 2019. Depuis que je l’ai lu en arabe en 2023, j’ai offert la version arabe originale ou la traduction française à plusieurs amis (il y a assi une traduction allemande), et je vais maintenant offrir à d’autres amis la traduction anglaise qui sortira le mois prochain. Avec une grande sensibilité, Lewis a écrit un roman comique très drôle sur l’immigration, le racisme et la bureaucratie à Londres, où il est travailleur social. Lors d’une conférence à l’Institut du monde arabe à Paris en avril 2023, il a dit que, lorsque l’actualité nous abreuve d’horreurs tous les jours au point de nous y habituer, l’humour peut raviver nos sentiments. Le traitement m’a fait beaucoup de bien.
Sherif Younis, La marche sacrée
[Version française du texte publié en espagnol.1] Sherif Younis, الزحف المقدس: مظاهرات التنحي وتشكل عبادة ناصر [La marche sacrée : les manifestations contre la démission de Nasser et la formation de son culte], 1ère édition, Le Caire, Dar Mirit, 2005. 2ème édition revue et corrigée, Beyrouth et Le Caire, Dar al-Tanwir, 2012, 196 pages. En juin 1967, lorsque la dictature militaire égyptienne de Gamal Abdel Nasser a subi une défaite militaire écrasante lors de la guerre des Six Jours contre Israël, le président Nasser a immédiatement annoncé sa démission. Peu après, des foules ont manifesté pendant deux jours dans toute l’Égypte pour le supplier de revenir sur cette décision, et Nasser a répondu au tollé en restant en fonction. Dans La Marche sacrée, l’historien égyptien Sherif Younis s’interroge sur ce qui a poussé le peuple égyptien à réclamer le maintien de Nasser au pouvoir. Comment un régime autoritaire et impitoyable envers la population, qui exigeait la passivité politique sous peine d’emprisonnement et de torture, a-t-il pu susciter une telle ferveur ? Certains historiens du nassérisme soutiennent que ces manifestations répondaient aux émotions sincères des manifestants, alors que d’autres pensent qu’elles ont été organisées par le régime. Adoptant une approche originale dans l’étude du nassérisme, Younis se démarque de ces deux interprétations. Pour lui, les manifestations de soutien au président, sans doute spontanées, étaient aussi un produit de l’idéologie que le régime avait mis en place après le coup d’État militaire de 1952.