Grand Public
IA en local et calcul scientifique
Déployer un LLM open‑weight pour développer un solveur de Navier–Stokes
Formalisation Mathématique en Lean
Après une introduction générale aux mathématiques assistées par ordinateur, je me concentrerai sur l’assistant de preuve Lean et …
VS Code: bien plus qu'un éditeur de texte
VS Code est devenu en quelques années l’environnement de développement que l’on voit partout. Il est utilisé par les …
Documentation de code et sites web avec Sphinx
Quand on développe du code et qu’on souhaite le diffuser/partager, la question de générer la documentation se pose très vite.
Dans le …
