Accueil
- 2025-02-11 - AOC 2024 en Idris 2 (5/5), Structures de données
- 2025-01-25 - AOC 2024 en Idris 2 (4/5), Monade State
- 2025-01-13 - AOC 2024 en Idris 2 (3/5), Parsers et types d'enregistrement
- 2025-01-12 - AOC 2024 en Idris 2 (2/5), Premiers exemples
- 2025-01-11 - AOC 2024 en Idris 2 (1/5), Retour d'expérience
- 2024-06-07 - Architectures de code en Haskell (6/6), ReaderT Design Pattern
- 2024-06-04 - Architectures de code en Haskell (5,5/6), Transformateurs de free monade
- 2024-06-02 - Architectures de code en Haskell (5/6), Free monades
- 2024-05-30 - Architectures de code en Haskell (4/6), Transformateurs de monade
- 2024-05-29 - Architectures de code en Haskell (3/6), Système d'effets
- 2024-05-24 - Architectures de code en Haskell (2/6), Handle Pattern
- 2024-05-23 - Architectures de code en Haskell (1/6), Fonctions
- 2024-03-06 - Interfaces et Generics, en OCaml (3/3)
- 2024-03-05 - Interfaces et Generics, en Haskell (2/3)
- 2024-03-01 - Interfaces et Generics, en C++ (1/3)
- 2024-01-22 - Continuation-Passing Style, en Haskell (2/2)
- 2024-01-20 - Continuation-Passing Style, en Haskell (1/2)
- 2023-12-19 - Streaming en Haskell (4/4), Application
- 2023-12-15 - Streaming en Haskell (3/4), La bibliothèque Streaming
- 2023-12-11 - Streaming en Haskell (2/4), Implémentation
- 2023-12-09 - Streaming en Haskell (1/4), Introduction
- 2023-10-26 - Manipuler du texte en Haskell
- 2023-07-22 - Installation graphique de NixOS
- 2023-07-20 - Interfaces utilisateur avec Arrow et Yampa, en Haskell
- 2023-07-18 - Classe Arrow et type Circuit, en Haskell
- 2023-07-13 - La classe de types Arrow, en Haskell
- 2023-04-03 - Utiliser un ECS pour développer des jeux, en Haskell
- 2023-02-28 - Développer en Haskell avec Nix, en 2023
- 2023-01-31 - Exemple "d'Haskellisation" de code
- 2022-11-27 - Développer en Haskell avec ghcup et vscode, en 2022
- 2022-11-07 - Itérateurs avec Traversable, en Haskell
- 2022-10-22 - Réductions avec Foldable, en Haskell
- 2022-05-19 - Vérifier l'implémentation d'un monoïde (Haskell, Idris2)
- 2022-05-13 - Semigroup et Monoid, en Haskell
- 2022-04-04 - Interfaces graphiques natives, en Haskell
- 2022-03-11 - Free Monad (ou pas) en Haskell (2)
- 2022-03-10 - Free Monad (ou pas) en Haskell (1)
- 2022-01-31 - Comment utiliser Nix pour développer en Haskell
- 2022-01-17 - Variables mutables, ST, STM (Haskell)
- 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-21 - Comprendre Go en 5 minutes, en 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)