Bienvenue sur mon blog personnel, mis à jour le mercredi, dont l'objectif est de vulgariser quelques concepts autour des langages de programmation. Il est conseillé de lire les articles dans l'ordre de parution, car les explications sont données au fur et à mesure afin de progressivement aborder des questions plus subtiles. Bonne lecture !

• • 12 juillet 2017 • Introduction au pourquoi et au comment des langages de programmation

  Une nouvelle linguistique

• • 19 juillet 2017 • Différences entre langages statiques et dynamiques

  Un dynamisme trompeur

• • 26 juillet 2017 • Plongée au cœur du processeur et de son langage

  Assemblage d'instructions

• • 2 août 2017 • Gestion de la mémoire, manuelle ou automatique

  Miettes mnémoniques

• • 9 août 2017 • La programmation orientée objet

  Objectification des données

• • 16 août 2017 • Organisation de la pile et du tas

  Pile ou face, un tas de problèmes

• • 6 septembre 2017 • La programmation fonctionnelle

  En fonction du langage

• • 25 octobre 2017 • Allocation de registres

  Coloriages pour compilateurs

• • 1^er novembre 2017 • Classification des systèmes de type

  De chic types

• • 22 novembre 2017 • Arbres de syntaxe abstraits

  La syntaxe pousse sur les arbres

• • 13 décembre 2017 • Conditionelles et graphe de flot de contrôle

  Sur le flot du contrôle

• • 24 janvier 2018 • Relations entre informatique et logique

  Mathématypes

• • 26 décembre 2018 • Techniques d'optimisation par duplication de code

  Dupliquer c'est optimiser

• • 16 avril 2019 • Apporter la vérification déductive à Rust

  Rust: au delà des types

• • 16 avril 2019 • Étude de cas: un formulaire verifié

  Chroniques de Rox* #1

• • 16 avril 2019 • Étude de cas: le filtre de Bloom

  Chroniques de Rox* #2

• • 20 décembre 2019 • Rétro-ingénierie du code des impôts et analyse par preuve automatique

  Vers une imposition formalisée⠀?

• • 1^er mars 2021 • Du code libre en OCaml à la DGFiP

  Avancer lentement et ne rien casser