Accueil
- 2022-01-02 - Tester et prouver (Haskell, Idris)
- 2021-11-29 - Typer des URL avec Haskell Servant
- 2021-11-27 - Typer des requêtes SQL (Haskell)
- 2021-10-14 - Getters/setters, UFCS et lens (Nim + Haskell)
- 2021-10-12 - Animations 2D interactives, en Haskell/Gloss
- 2021-09-25 - Quelques ressources pour apprendre/utiliser Haskell
- 2021-09-12 - Interopérabilité Haskell/C, avec Nix
- 2021-08-19 - L'inférence de type (C++, Haskell)
- 2021-05-23 - IA de jeux, Conclusion
- 2021-05-22 - IA de jeux, Performances de code, en Haskell
- 2021-05-21 - IA de jeux, Implémenter une IA arborescente, en Haskell
- 2021-05-20 - IA de jeux, Implémenter une IA basique, en Haskell
- 2021-05-19 - IA de jeux, Implémenter un Puissance 4, en Haskell
- 2021-05-18 - IA de jeux, Performances de code, en C++
- 2021-05-17 - IA de jeux, Implémenter une IA arborescente, en C++
- 2021-05-16 - IA de jeux, Implémenter une IA basique, en C++
- 2021-05-15 - IA de jeux, Implémenter un Puissance 4, en C++
- 2021-05-14 - IA de jeux, Introduction
- 2021-04-27 - Implémenter un DSL de HTML, en Haskell
- 2021-04-16 - L'approche Tagless Final, en Haskell
- 2021-04-02 - Le design pattern ReaderT, en Haskell
- 2021-03-29 - Monade State, Transformateur et MTL, en Haskell
- 2021-03-19 - Introduction aux transformateurs de monades, en Haskell
- 2021-03-14 - Introduction aux DSL, en Haskell
- 2021-03-06 - Parsing et monade, en Haskell
- 2021-02-26 - Foncteur, applicative et monade, en Haskell
- 2021-02-17 - Introduction à DeriveGeneric en Haskell, exemple avec le format JSON
- 2021-02-13 - Classes de types et Functor, en Haskell
- 2021-02-08 - Type fantôme et datakind, pour sauver des sondes spatiales avec Haskell
- 2021-02-06 - Type algébrique et GADT, en Haskell
- 2021-02-04 - Fonction pure et fonction totale, en Haskell
- 2020-12-29 - Créer un bot Discord avec Haskell
- 2020-12-04 - Les rollbacks avec Manjaro, Btrs et Timeshift
- 2020-12-01 - NixOS vs Guix System, premiers pas
- 2020-11-23 - Les rollbacks avec NixOS, ou comment casser son système
- 2020-11-22 - Installer Chromium sur Ubuntu via Nix
- 2020-11-09 - NixOS 20.09 - Présentation, installation, configuration, utilisation
- 2020-01-22 - Gestion de paquets et DevOps avec Nix, tour d'horizon sur un cas concret
- 2019-12-23 - Flatpak et Nix
- 2019-12-22 - Configurer VSCode pour Haskell (Debian/Nix/NixOS)
- 2019-12-22 - Configure VSCode for Haskell (Debian/Nix/NixOS)
- 2019-12-21 - Comprendre Go en 5 minutes, en Haskell
- 2019-12-21 - Understand Go in 5 minutes, in Haskell
- 2019-11-12 - Gérer son environnement utilisateur NixOS, avec Home-manager
- 2019-11-11 - Étendre ou modifier sa logithèque Nix avec les overlays
- 2019-11-10 - Cachix, un service de cache binaire basé sur Nix
- 2019-11-09 - NixOS 19.09
- 2019-11-02 - Les templates variadiques en C++
- 2019-11-01 - Introduction aux templates C++
- 2019-05-13 - Installer GNU Guix 1.0.0
- 2019-03-02 - Web fullstack en C++ et en Haskell, application de dessin collaboratif
- 2018-12-16 - Une appli web de dessin. JavaScript, Haskell Miso, C++ Wt ou WebAssembly ?
- 2018-12-02 - Quelques frameworks web C++
- 2018-11-08 - Deploy a C++ web app on Heroku using Docker and Nix
- 2018-10-17 - Installation et utilisation de Tensorflow (suite et fin), Archlinux
- 2018-10-16 - Installer et utiliser Tensorflow + Cuda sur Debian et sur NixOS
- 2018-10-14 - NixOS 18.09
- 2018-09-08 - Installer Node.js sur Debian : binaires, Nix ou Docker ?
- 2018-08-25 - A webcam server in 35 lines of Haskell
- 2018-08-17 - Développement web frontend en Haskell, Elm et Purescript
- 2018-07-01 - Déployer une application Haskell/PostgreSQL sur Heroku
- 2018-06-27 - Personnaliser une image Docker de NixOS pour de l'intégration continue
- 2018-06-10 - Déployer un blog avec Hakyll, Gitlab-ci, Nix
- 2018-04-28 - Nix, programmation et loi de Murphy
- 2018-04-25 - Créer et partager des paquets Nix
- 2018-04-21 - Archlinux vs Voidlinux
- 2018-04-06 - Migrer un système NixOS (de 17.09 à 18.03)
- 2018-04-01 - Développement web en Haskell
- 2018-03-10 - Développement/déploiement web (apache, php, postgresql) avec nixops
- 2018-03-04 - Liaison de fonction dynamique (ou pas)
- 2018-02-25 - Curryfication et évaluation partielle (javascript/haskell)
- 2018-01-13 - Développer avec Nix en composant des projets C++/Python
- 2018-01-02 - Introduction au langage Haskell
- 2017-12-29 - Configuration utilisateur avec Nix (paquets, vim...)
- 2017-12-28 - Intro au déploiement web avec Haskell/Nix/Nixops
- 2017-12-27 - Exécuter du code Haskell avec Nix (ou pas)
- 2017-12-27 - Personnaliser un paquet avec Nix
- 2017-12-26 - Développer en Python avec Nix
- 2017-12-25 - Compilation et installation d'un programme avec Nix
- 2017-12-24 - Utilisation des canaux avec Nix/NixOS
- 2017-12-23 - Installation de Nix sur Debian
- 2017-12-22 - Gestion de paquets avec Nix
- 2017-12-21 - Installation de NixOS
- 2017-07-06 - Nix pour les développeurs
- 2017-05-06 - L’heure du test — fork 1 — Void (Linux)