https://gautier.difolco.dev
•
This is a web feed, also known as an Atom feed. Subscribe by copying the URL from the address bar into your newsreader. Visit About Feeds to learn more and get started. It's free.Visit websiteRecent postsUpdated on $DATEdarkdateGautier DI FOLCOGautier DI FOLCOA software engineer websiteZola2026-04-14T00:00:00+00:00https://gautier.difolco.dev/atom.xmlM, the model2026-04-14T00:00:00+00:002026-04-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-04/m-the-model/Select and Sudoku2026-04-07T00:00:00+00:002026-04-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-04/select-sudoku/Kata: Conference tickets - event validation2026-03-31T00:00:00+00:002026-03-31T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-03/kata-conference-tickets-event-validation/Kata: Conference tickets - purchases2026-03-24T00:00:00+00:002026-03-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-03/kata-conference-tickets-purchase/Kata: Conference tickets2026-03-17T00:00:00+00:002026-03-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-03/kata-conference-tickets/Tests are subjectives2026-03-10T00:00:00+00:002026-03-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-03/tests-subjectives/The weirdest Monad2026-03-03T00:00:00+00:002026-03-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-03/weirdest-monad/Kata: Anagram2026-02-24T00:00:00+00:002026-02-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-02/kata-anagram/Kata: C** de chouette - conclusion2026-02-17T00:00:00+00:002026-02-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-02/kata-cdc-5/Kata: C** de chouette - refactoring and last rules2026-02-10T00:00:00+00:002026-02-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-02/kata-cdc-4/Kata: C** de chouette - sequence2026-02-03T00:00:00+00:002026-02-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-02/kata-cdc-3/Kata: C** de chouette - modes2026-01-27T00:00:00+00:002026-01-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-01/kata-cdc-2/Kata: C** de chouette - multi-players2026-01-20T00:00:00+00:002026-01-20T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-01/kata-cdc-1/Kata: C** de chouette2026-01-13T00:00:00+00:002026-01-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-01/kata-cdc-0/Potter kata2026-01-06T00:00:00+00:002026-01-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-01/kata-potter/2025 retrospective2025-12-30T00:00:00+00:002025-12-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-12/2025-retrospective/A case against feature flags2025-12-23T00:00:00+00:002025-12-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-12/feature-flags/Hard coding2025-12-16T00:00:00+00:002025-12-16T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-12/hard-coding/Do you really make money with Haskell?2025-12-09T00:00:00+00:002025-12-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-12/haskell-money/My LLM usage2025-12-02T00:00:00+00:002025-12-02T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-12/llm-usage/Shift left overload2025-11-25T00:00:00+00:002025-11-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-11/shift-left/A world of failures2025-11-18T00:00:00+00:002025-11-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-11/world-failures/GDCR 2025: My participation summary2025-11-11T00:00:00+00:002025-11-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-11/gdcr-summary/Hacktoberfest 2025: My contributions2025-11-04T00:00:00+00:002025-11-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-11/hacktoberfest-contributions/Infrastructure corporations2025-10-28T00:00:00+00:002025-10-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-10/infrastruture-corps/Reflection on Bloodhound extensibility2025-10-21T00:00:00+00:002025-10-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-10/bloodhound-reflection/Lines of code deflation2025-10-14T00:00:00+00:002025-10-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-10/loc-deflation/Early data modeling mistakes2025-10-07T00:00:00+00:002025-10-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-10/early-data-modeling/Caveman did not build the Eiffel Tower2025-09-30T00:00:00+00:002025-09-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-09/caveman-llm/FOSS is not a flavor2025-09-23T00:00:00+00:002025-09-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-09/oss-flavor/Extreme branchless: Expr without GADTs or sum-types2025-09-16T00:00:00+00:002025-09-16T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-09/extreme-branchless-expr-fields/Extreme branchless: Expr without GADTs2025-09-09T00:00:00+00:002025-09-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-09/extreme-branchless-expr/Seniors are boundaryless2025-09-02T00:00:00+00:002025-09-02T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-09/senior-boundaryless/The thousand years architecture of Venice2025-08-26T00:00:00+00:002025-08-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-08/venice-architecture/Development double feedback loop2025-08-19T00:00:00+00:002025-08-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-08/double-feedback-loop/Workflows design2025-08-12T00:00:00+00:002025-08-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-08/workflows-design/Standard limitations2025-08-05T00:00:00+00:002025-08-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-08/standard-limitations/Retrospective of my time at LivTours2025-07-29T00:00:00+00:002025-07-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-07/livtours-retrospective/Why I do not evangelize anymore2025-07-22T00:00:00+00:002025-07-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-07/evangelization/How to pick a CEO2025-07-15T00:00:00+00:002025-07-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-07/pick-ceo/An old postmortem2025-07-08T00:00:00+00:002025-07-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-07/postmortem/The importance of jargon2025-07-01T00:00:00+00:002025-07-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-07/jargon/Ownership and bottleneck2025-06-24T00:00:00+00:002025-06-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-06/ownership-bottleneck/The other book I did not write2025-06-17T00:00:00+00:002025-06-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-06/book-retrospective/Haskell Implementors' Workshop & ZuriHac 20252025-06-10T00:00:00+00:002025-06-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-06/zurihac/Structure is workflow, workflow is structure2025-06-03T00:00:00+00:002025-06-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-06/structure-workflow/Website migration2025-05-27T00:00:00+00:002025-05-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-05/website-migration/Digital resilience2025-05-20T00:00:00+00:002025-05-20T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-05/digital-resilience/antikythera Unit and runner2025-05-13T00:00:00+00:002025-05-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-05/antikythera-unit-runner/Introducing antikythera2025-05-06T00:00:00+00:002025-05-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-05/antikythera-introduction/Polysemy: RW effects2025-04-29T00:00:00+00:002025-04-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-04/polysemy-rw-effect/Cohesion2025-04-22T00:00:00+00:002025-04-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-04/cohesion/REST is nonsense2025-04-15T00:00:00+00:002025-04-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-04/rest-nonsense/Bug fixing guerilla2025-04-08T00:00:00+00:002025-04-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-04/bug-fixing-guerilla/FP & Network effect2025-04-01T00:00:00+00:002025-04-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-04/fp-network-effect/Nix flake structure2025-03-25T00:00:00+00:002025-03-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-03/nix-flake-structure/NAS Migration2025-03-18T00:00:00+00:002025-03-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-03/nas-migration/Extreme branchless: Retrospective2025-03-11T00:00:00+00:002025-03-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-03/extreme-branchless-retrospective/Extreme branchless: Pagination seven2025-03-04T00:00:00+00:002025-03-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-03/extreme-branchless-pagination-seven/Extreme branchless: Minesweeper2025-02-25T00:00:00+00:002025-02-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-02/extreme-branchless-minesweeper/Extreme branchless: Mastermind2025-02-18T00:00:00+00:002025-02-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-02/extreme-branchless-mastermind/Extreme branchless: Langton Ant2025-02-11T00:00:00+00:002025-02-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-02/extreme-branchless-langton-ant/Extreme branchless: Gilded Rose Part 22025-02-04T00:00:00+00:002025-02-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-02/extreme-branchless-gildedrose-2/Effects systems benchmark2025-01-28T00:00:00+00:002025-01-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-01/effects-systems-benchmark/Extreme branchless: Gilded Rose Part 12025-01-21T00:00:00+00:002025-01-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-01/extreme-branchless-gildedrose-1/Extreme branchless: FooBarQix2025-01-14T00:00:00+00:002025-01-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-01/extreme-branchless-foobarqix/2024 retrospective2025-01-07T00:00:00+00:002025-01-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-01/2024-retrospective/Extreme branchless: Cupcake functional style2024-12-31T00:00:00+00:002024-12-31T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-12/extreme-branchless-cupcake-semigroup/Extreme branchless: Cupcake2024-12-24T00:00:00+00:002024-12-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-12/extreme-branchless-cupcake/Extreme branchless: Bowling2024-12-17T00:00:00+00:002024-12-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-12/extreme-branchless-bowling/Extreme branchless: Supermarket Pricing2024-12-10T00:00:00+00:002024-12-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-12/extreme-branchless-supermarket-pricing/Extreme branchless: Mars Rover2024-12-03T00:00:00+00:002024-12-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-12/extreme-branchless-rover/Extreme branchless: Game of Life2024-11-26T00:00:00+00:002024-11-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-11/extreme-branchless-gol/Hacktoberfest 2024: My contributions2024-11-19T00:00:00+00:002024-11-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-11/hacktoberfest-contributions/GDCR 2024: My participation summary2024-11-12T00:00:00+00:002024-11-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-11/gdcr-summary/Extreme branchless: primitives2024-11-05T00:00:00+00:002024-11-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-11/extreme-branchless-2/Extreme branchless: containers2024-10-29T00:00:00+00:002024-10-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-10/extreme-branchless-1/No value Software Engineer2024-10-22T00:00:00+00:002024-10-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-10/no-value-swe/Coding challenges retrospective2024-10-15T00:00:00+00:002024-10-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-10/coding-challenges/Event sourcing migrations retrospective2024-10-08T00:00:00+00:002024-10-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-10/event-sourcing-migration/10 years mark2024-10-02T00:00:00+00:002024-10-02T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-10/10-years/Designing strongly typed range2024-09-24T00:00:00+00:002024-09-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-09/range/Bowling kata as a zipper2024-09-17T00:00:00+00:002024-09-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-09/bowling-zipper/Haskell Legacy: Adding features2024-09-10T00:00:00+00:002024-09-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-09/api-legacy-adding-features/Retrospective of my time at Autogriff2024-09-03T00:00:00+00:002024-09-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-09/autogriff-retrospective/Haskell Legacy: Pure projection2024-08-27T00:00:00+00:002024-08-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-08/api-legacy-pure-projection/Haskell Legacy: CQRS2024-08-20T00:00:00+00:002024-08-20T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-08/api-legacy-cqrs/Haskell Legacy: Going event-first2024-08-13T00:00:00+00:002024-08-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-08/api-legacy-event-first/Haskell Legacy: Reversing writes2024-08-06T00:00:00+00:002024-08-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-08/api-legacy-reversing-writes/Haskell Legacy: Creating events2024-07-30T00:00:00+00:002024-07-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-07/api-legacy-extract-events/Haskell Legacy: Extracting business logic and introducing effects2024-07-23T00:00:00+00:002024-07-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-07/api-legacy-extract-effects/Haskell Legacy: Testing2024-07-16T00:00:00+00:002024-07-16T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-07/api-legacy-testing/Haskell Legacy: Introduction2024-07-09T00:00:00+00:002024-07-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-07/api-legacy-introduction/Pace in pair programming2024-07-02T00:00:00+00:002024-07-02T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-07/pair-programming-pace/In-depth programming language is not the point2024-06-25T00:00:00+00:002024-06-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-06/pl-knowledge/Haskell Ecosystem Workshop & ZuriHac 20242024-06-18T00:00:00+00:002024-06-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-06/zurihac/The end of a 666 days streak2024-03-24T00:00:00+00:002024-03-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-03/streak/Introduction to GHC's Generics2024-03-20T00:00:00+00:002024-03-20T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-03/generics-introduction/Fix aeson ToJSONKey/FromJSONKey derivation2024-03-17T00:00:00+00:002024-03-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-03/aeson-key/Fizzbuzz kata: branchless version2024-03-13T00:00:00+00:002024-03-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-03/fizzbuzz/OOP has not invented encapsulation2024-03-10T00:00:00+00:002024-03-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-03/c-encapsulation/Types for building and types for running2024-03-06T00:00:00+00:002024-03-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-03/types-building-running/Types strengthening2024-03-03T00:00:00+00:002024-03-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-03/types-strengthening/eDSLs for tests2024-02-28T00:00:00+00:002024-02-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-02/edsls-tests/Type-driven development applied: librarian2024-02-25T00:00:00+00:002024-02-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-02/tydd-applied-librarian/Types and Tests2024-02-21T00:00:00+00:002024-02-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-02/types-tests/Architecture Heuristic YNIA: Events metadata2024-02-18T00:00:00+00:002024-02-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-02/architecture-heuristic-ynia-events-metadata/Haskell: imports vs exports2024-02-14T00:00:00+00:002024-02-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-02/haskell-imports-exports/Haskell refactorings2024-02-11T00:00:00+00:002024-02-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-02/haskell-refactorings/Bypassing Prometheus SDK push model2024-02-07T00:00:00+00:002024-02-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-02/bypassing-prometheus/Naming has a social convention2024-02-04T00:00:00+00:002024-02-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-02/naming-social-convention/Prescriptivism and Descriptivism2024-01-31T00:00:00+00:002024-01-31T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/prescriptivism-descriptivism/Software inventory2024-01-28T00:00:00+00:002024-01-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/software-inventory/Screaming Architecture2024-01-24T00:00:00+00:002024-01-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/screaming-architecture/Personal README2024-01-21T00:00:00+00:002024-01-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/readme/NeoViM: Improve Telescope (last edited) find files2024-01-17T00:00:00+00:002024-01-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/neovim-telescope-last-edited/Access Control: Biscuit2024-01-14T00:00:00+00:002024-01-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/access-control-biscuit/Access Control: topaz2024-01-10T00:00:00+00:002024-01-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/access-control-topaz/Access Control: Open Policy Agent2024-01-07T00:00:00+00:002024-01-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/access-control-opa/Access Control: Capabilities2024-01-03T00:00:00+00:002024-01-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/access-control-capabilities/Access Control: Mandatory vs Discretionary2023-12-31T00:00:00+00:002023-12-31T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-12/access-control-dac-mac/Access Control: Relationship-based Access control2023-12-27T00:00:00+00:002023-12-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-12/access-control-rebac/Access Control: Organisation-based Access control2023-12-24T00:00:00+00:002023-12-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-12/access-control-orbac/Access Control: Graph-based Access control2023-12-20T00:00:00+00:002023-12-20T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-12/access-control-gbac/Access Control: Attribute-based Access control2023-12-17T00:00:00+00:002023-12-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-12/access-control-abac/Access Control: Role-based Access control2023-12-13T00:00:00+00:002023-12-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-12/access-control-rbac/Access Control: Context-based Access control2023-12-10T00:00:00+00:002023-12-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-12/access-control-cbac/Access Control: ACL2023-12-06T00:00:00+00:002023-12-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-12/access-control-acl/Homelab: Monthly certificate regeneration deployment issue2023-12-03T00:00:00+00:002023-12-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-12/homelab-agenix-nginx-monthly-regen/Architecture Heuristic YNIA: Participants2023-11-29T00:00:00+00:002023-11-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-11/architecture-heuristic-ynia-participants/Game of Life kata: branchless Grid2023-11-26T00:00:00+00:002023-11-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-11/gol-branchless-grid/GDCR 2023: My participation summary2023-11-05T00:00:00+00:002023-11-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-11/gdcr-summary/Hacktoberfest 2023: My contributions2023-11-01T00:00:00+00:002023-11-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-11/hacktoberfest-contributions/From custom Monad to Polysemy2023-10-29T00:00:00+00:002023-10-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-10/polysemy-migration/Implementation-oriented Monad2023-10-25T00:00:00+00:002023-10-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-10/implementation-oriented-monad/Homelab: client certificates CRL regeneration2023-10-22T00:00:00+00:002023-10-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-10/homelab-client-certificates-crl-regeneration/Architecture Heuristic YNIA: Queues2023-10-18T00:00:00+00:002023-10-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-10/architecture-heuristic-ynia-queues/Haskell Type Reflection Anti-pattern2023-10-15T00:00:00+00:002023-10-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-10/haskell-type-reflection-anti-pattern/QuasiQuoting Smart Constructors2023-10-11T00:00:00+00:002023-10-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-10/haskell-quasiquoting-smart-constructors/Nix: optimizing Haskell build size2023-10-08T00:00:00+00:002023-10-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-10/nix-build-optimization/Haskell contributions kick-start2023-10-04T00:00:00+00:002023-10-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-10/haskell-contributions-kickstart/Team owned architecture2023-10-01T00:00:00+00:002023-10-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-10/team-owned-architecture/Witness functions2023-09-27T00:00:00+00:002023-09-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-09/witness-functions/Homelab: Monitoring Withings2023-09-24T00:00:00+00:002023-09-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-09/homelab-monitoring-withings/Announcing grafana-dashboards.nix2023-09-20T00:00:00+00:002023-09-20T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-09/announcing-grafana-dashboard-nix/Homelab: Monitoring alerting through AlertManager2023-09-17T00:00:00+00:002023-09-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-09/homelab-monitoring-alerting-through-alertmanager/Homelab: Monitoring alerting2023-09-13T00:00:00+00:002023-09-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-09/homelab-monitoring-alerting/Homelab: Monitoring dashboards2023-09-10T00:00:00+00:002023-09-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-09/homelab-monitoring-dashboards/Homelab: Monitoring introduction2023-09-06T00:00:00+00:002023-09-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-09/homelab-monitoring-introduction/Homelab: Secrets management2023-09-03T00:00:00+00:002023-09-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-09/homelab-secrets-management/Homelab: Regenerating certificates2023-08-30T00:00:00+00:002023-08-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/homelab-certificate-regeneration/Homelab: Intermediate CA2023-08-27T00:00:00+00:002023-08-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/homelab-intermediate-ca/Homelab: client certificates2023-08-23T00:00:00+00:002023-08-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/homelab-client-certificates/Homelab: server certificates2023-08-20T00:00:00+00:002023-08-20T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/homelab-server-certificates/Homelab: current state and plan2023-08-16T00:00:00+00:002023-08-16T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/homelab-init/Test-Driven Development Freedom2023-08-13T00:00:00+00:002023-08-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/tdd-freedom/What a good design is2023-08-09T00:00:00+00:002023-08-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/good-design/My history with ViM2023-08-06T00:00:00+00:002023-08-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/vim/Dependencies management2023-08-02T00:00:00+00:002023-08-02T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/dependencies-management/A case against Haskell immersion2023-07-30T00:00:00+00:002023-07-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/haskell-immersion/My encounter with Caddy2023-07-26T00:00:00+00:002023-07-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/caddy/Bloodhound redesign progress2023-07-23T00:00:00+00:002023-07-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/bloodhound-redesign/Haskell macros2023-07-19T00:00:00+00:002023-07-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/haskell-macros/Nix: optimizing Haskell-based Docker-size2023-07-16T00:00:00+00:002023-07-16T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/nix-docker-optimization/New library: kill-bool2023-07-12T00:00:00+00:002023-07-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/lib-kill-bool/Abaks: OpenAPI2023-07-09T00:00:00+00:002023-07-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/abaks-openapi/Abaks: Views2023-07-07T00:00:00+00:002023-07-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/abaks-views/Abaks: A word on testing2023-07-02T00:00:00+00:002023-07-02T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/abaks-testing-strategy/Abaks: Drivers2023-06-28T00:00:00+00:002023-06-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-06/abaks-drivers/Abaks: Interface Adapters - API2023-06-25T00:00:00+00:002023-06-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-06/abaks-interface-adapters-api/Abaks: Testing Use Cases2023-06-21T00:00:00+00:002023-06-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-06/abaks-testing-use-cases/Abaks: Use Cases2023-06-18T00:00:00+00:002023-06-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-06/abaks-use-cases/Abaks: testing core domain2023-06-14T00:00:00+00:002023-06-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-06/abaks-testing-core/Abaks: commands2023-06-11T00:00:00+00:002023-06-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-06/abaks-commands/Abaks: events2023-06-07T00:00:00+00:002023-06-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-06/abaks-events/Abaks: initial requirements2023-06-04T00:00:00+00:002023-06-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-06/abaks-initial-requirements/Zsh: debugging git remotes completion2023-05-31T00:00:00+00:002023-05-31T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/zsh-git-debug/Polysemy: Scoped2023-05-28T00:00:00+00:002023-05-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-scoped/Polysemy: Opaque2023-05-24T00:00:00+00:002023-05-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-opaque/Polysemy: Onion architecture2023-05-17T00:00:00+00:002023-05-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-onion/Polysemy: Design heuristics: Hiding vs Exposing2023-05-14T00:00:00+00:002023-05-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-design-hiding-vs-exposing/Polysemy: Design heuristics: Dispatcher2023-05-10T00:00:00+00:002023-05-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-design-heuristics-dispatchers/Plutus: Pioneers Program 4th cohort - Lecture 10 - Built with plutus2023-05-07T00:00:00+00:002023-05-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/plutus-c4-l10/Polysemy: Design heuristics: Hiding interpreters2023-05-03T00:00:00+00:002023-05-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-design-heuristics-hiding-interpreters/Plutus: Pioneers Program 4th cohort - Lecture 9 - Stablecoin2023-04-30T00:00:00+00:002023-04-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l9/Design for collaboration2023-04-26T00:00:00+00:002023-04-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/design-for-collaboration/Plutus: Pioneers Program 4th cohort - Lecture 8 - Staking2023-04-23T00:00:00+00:002023-04-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l8/Polysemy: 1.9.0.0 released!2023-04-21T00:00:00+00:002023-04-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/polysemy-v19/A reasonable hiring process2023-04-19T00:00:00+00:002023-04-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/reasonable-hiring-process/Plutus: Pioneers Program 4th cohort - Lecture 7 - Marlowe and hosted smart contracts2023-04-16T00:00:00+00:002023-04-16T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l7/Retrospective of my first CTO experience2023-04-12T00:00:00+00:002023-04-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/cto-retrospective/Plutus: Pioneers Program 4th cohort - Lecture 6 - Testing2023-04-09T00:00:00+00:002023-04-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l6/Polysemy: Design heuristics: Grouping interpreters2023-04-05T00:00:00+00:002023-04-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/polysemy-design-heuristics-grouping-interpreters/Plutus: Pioneers Program 4th cohort - Lecture 5 - Minting2023-04-02T00:00:00+00:002023-04-02T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l5/Polysemy: Design heuristics: Effects layering2023-03-29T00:00:00+00:002023-03-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-design-heuristics-effects-layering/Plutus: Pioneers Program 4th cohort - Lecture 4 - On-chain/Off-chain smart contract code and indexers2023-03-26T00:00:00+00:002023-03-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/plutus-c4-l4/Polysemy: Design heuristics: Split by responsibility2023-03-22T00:00:00+00:002023-03-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-design-heuristics-srp/Plutus: Pioneers Program 4th cohort - Ouroboros2023-03-19T00:00:00+00:002023-03-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/plutus-c4-ouroboros/Polysemy: Design heuristics: IO hunting2023-03-15T00:00:00+00:002023-03-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-design-heuristics-io-hunting/Plutus: Pioneers Program 4th cohort - lecture 3: Tests, Times, and Dapps2023-03-12T00:00:00+00:002023-03-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/plutus-c4-l3/Polysemy: Async gotchas2023-03-08T00:00:00+00:002023-03-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-async-gotchas/Plutus: Pioneers Program 4th cohort kick start2023-03-05T00:00:00+00:002023-03-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/plutus-c4-l1-l2/Polysemy: Strategy internals2023-03-01T00:00:00+00:002023-03-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-strategy-internals/Polysemy: Changing return2023-02-26T00:00:00+00:002023-02-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-changing-return/Polysemy: IO2023-02-22T00:00:00+00:002023-02-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-io/Polysemy: NonDet2023-02-19T00:00:00+00:002023-02-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-nondet/Polysemy: AtomicState2023-02-15T00:00:00+00:002023-02-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-atomicstate/Polysemy: Fixpoint2023-02-12T00:00:00+00:002023-02-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-fixpoint/Polysemy: Bundle2023-02-08T00:00:00+00:002023-02-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-bundle/Polysemy: Higher order Effects and combined interpreters2023-02-05T00:00:00+00:002023-02-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-hoe-combined-interpreters/Polysemy: Final vs Embed2023-02-01T00:00:00+00:002023-02-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-final-vs-embed/Polysemy: Tactics binding deprecated workaround2023-01-29T00:00:00+00:002023-01-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-tactics-binding-deprecated-workaround/Polysemy: Tactics binding2023-01-25T00:00:00+00:002023-01-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-tactics-binding/Polysemy: Strategies binding2023-01-22T00:00:00+00:002023-01-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-strategies-binding/Polysemy: Async2023-01-18T00:00:00+00:002023-01-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-async/Polysemy: Higher-order effects with Final2023-01-15T00:00:00+00:002023-01-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-hoe-final/Polysemy: Final2023-01-11T00:00:00+00:002023-01-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-final/Polysemy: Higher-order effects introductions2023-01-08T00:00:00+00:002023-01-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-hoe-intro/Polysemy: Input2023-01-04T00:00:00+00:002023-01-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-input/Polysemy: Embed2023-01-01T00:00:00+00:002023-01-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-embed/Polysemy: Interceptors to buffer2022-12-28T00:00:00+00:002022-12-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-interceptors-buffering/Polysemy: Introduction to Interceptors2022-12-25T00:00:00+00:002022-12-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-interceptors-intro/Polysemy: Tagged effects2022-12-21T00:00:00+00:002022-12-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-tagged-effects/Polysemy: Interpretation and effects inline injection2022-12-18T00:00:00+00:002022-12-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-interpretation-effects-inline-injection/Polysemy: Interpretation and effects injection2022-12-14T00:00:00+00:002022-12-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-interpretation-effects-injection/Polysemy: Introduction to Effect interpretation2022-12-11T00:00:00+00:002022-12-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-effect-interpretation-intro/Polysemy: Introduction to Effect definition2022-12-07T00:00:00+00:002022-12-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-effect-definition-intro/Polysemy: EffectRow design2022-12-04T00:00:00+00:002022-12-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-effectrow-design/Polysemy: EffectRow2022-11-30T00:00:00+00:002022-11-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/polysemy-effectrow/Polysemy: Introduction to interpreters2022-11-27T00:00:00+00:002022-11-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/polysemy-interpreters-intro/Polysemy: An introduction2022-11-23T00:00:00+00:002022-11-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/polysemy-intro/TDD: optimizing for inputs vs for outputs2022-11-22T00:00:00+00:002022-11-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-11/tdd-optimizing-for-inputs-outputs/Contributors management2022-11-20T00:00:00+00:002022-11-20T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/contributors-management/Local vs Global optimum2022-11-19T00:00:00+00:002022-11-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-11/local-global-optimum/Hacktoberfest 2022: My feedback2022-11-16T00:00:00+00:002022-11-16T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/hacktoberfest-feedback/Problems before solution2022-11-15T00:00:00+00:002022-11-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-11/problems-before-solution/Hacktoberfest 2022: My contributions2022-11-13T00:00:00+00:002022-11-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/hacktoberfest-contributions/Language tourist2022-11-12T00:00:00+00:002022-11-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-11/language-tourist/Write for debug2022-11-09T00:00:00+00:002022-11-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/write-for-debug/User Driven Design2022-11-08T00:00:00+00:002022-11-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-11/user-driven-design/GDCR 2022: My feedback2022-11-06T00:00:00+00:002022-11-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/gdcr-summary/Initial log2022-11-01T00:00:00+00:002022-11-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/initial-log/