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 $DATEdarkdatehaskellGautier DI FOLCO - haskellA software engineer websiteZola2026-08-04T00:00:00+00:00https://gautier.difolco.dev/tags/haskell/atom.xmlEvent-sourcing and GDPR2026-08-04T00:00:00+00:002026-08-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-08/event-source-gdpr/Introducing numerus-closus2026-08-04T00:00:00+00:002026-08-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-08/numerus-closus/Factor in Haskell - quotations2026-07-14T00:00:00+00:002026-07-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-07/factor-1/Factor in Haskell - Introduction and simple functions2026-07-07T00:00:00+00:002026-07-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-07/factor-0/HSRT next projects2026-06-23T00:00:00+00:002026-06-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-06/hrst-future/Haskell Workshops & ZuriHac 20262026-06-09T00:00:00+00:002026-06-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-06/zurihac/Prolog in Haskell - Compile-time parsing and conclusion2026-06-02T00:00:00+00:002026-06-02T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-06/prolog-6/Prolog in Haskell - Basic parsing2026-05-26T00:00:00+00:002026-05-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-05/prolog-5/Prolog in Haskell - High-order predicates2026-05-19T00:00:00+00:002026-05-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-05/prolog-4/Prolog in Haskell - Unification-related predicates2026-05-12T00:00:00+00:002026-05-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-05/prolog-3/Prolog in Haskell - Refining unification2026-05-05T00:00:00+00:002026-05-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-05/prolog-2/Prolog in Haskell - Ergonomics, Terms, and Unification2026-04-28T00:00:00+00:002026-04-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-04/prolog-1/Prolog in Haskell - Introduction and simple predicates2026-04-21T00:00:00+00:002026-04-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-04/prolog-0/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/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/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/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/Haskell Implementors' Workshop & ZuriHac 20252025-06-10T00:00:00+00:002025-06-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-06/zurihac/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/FP & Network effect2025-04-01T00:00:00+00:002025-04-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-04/fp-network-effect/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/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/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/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/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/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/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/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/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/Prescriptivism and Descriptivism2024-01-31T00:00:00+00:002024-01-31T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-01/prescriptivism-descriptivism/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: 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/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/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/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/Witness functions2023-09-27T00:00:00+00:002023-09-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-09/witness-functions/Test-Driven Development Freedom2023-08-13T00:00:00+00:002023-08-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-08/tdd-freedom/A case against Haskell immersion2023-07-30T00:00:00+00:002023-07-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-07/haskell-immersion/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/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/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/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/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/