Gautier DI FOLCO
FOSS Contributions
Activities
Hire me
Talks
Posts
Categories
Tags
haskell
3rd December 2024
Extreme branchless: Mars Rover
haskell
code kata
coding dojo
functional programming
Read more
→
26th November 2024
Extreme branchless: Game of Life
haskell
code kata
coding dojo
functional programming
Read more
→
5th November 2024
Extreme branchless: primitives
haskell
code kata
coding dojo
functional programming
Read more
→
29th October 2024
Extreme branchless: containers
haskell
code kata
coding dojo
functional programming
Read more
→
24th September 2024
Designing strongly typed range
haskell
design
Read more
→
17th September 2024
Bowling kata as a zipper
haskell
code kata
coding dojo
Read more
→
10th September 2024
Haskell Legacy: Adding features
haskell
design
legacy
polysemy
Read more
→
27th August 2024
Haskell Legacy: Pure projection
haskell
design
legacy
polysemy
Read more
→
20th August 2024
Haskell Legacy: CQRS
haskell
design
legacy
polysemy
Read more
→
13th August 2024
Haskell Legacy: Going event-first
haskell
design
legacy
polysemy
Read more
→
6th August 2024
Haskell Legacy: Reversing writes
haskell
design
legacy
polysemy
Read more
→
30th July 2024
Haskell Legacy: Creating events
haskell
design
legacy
polysemy
Read more
→
23rd July 2024
Haskell Legacy: Extracting business logic and introducing effects
haskell
design
legacy
polysemy
Read more
→
16th July 2024
Haskell Legacy: Testing
haskell
design
legacy
Read more
→
9th July 2024
Haskell Legacy: Introduction
haskell
design
legacy
Read more
→
25th June 2024
In-depth programming language is not the point
engineering
haskell
algorithms
Read more
→
18th June 2024
Haskell Ecosystem Workshop & ZuriHac 2024
foss
engineering
haskell
retrospective
Read more
→
20th March 2024
Introduction to GHC's Generics
haskell
Read more
→
17th March 2024
Fix aeson ToJSONKey/FromJSONKey derivation
haskell
Read more
→
13th March 2024
Fizzbuzz kata: branchless version
haskell
code kata
coding dojo
Read more
→
6th March 2024
Types for building and types for running
haskell
design
engineering
type-driven design
Read more
→
3rd March 2024
Types strengthening
haskell
design
engineering
type-driven design
Read more
→
28th February 2024
eDSLs for tests
haskell
design
engineering
type-driven design
test-driven development
Read more
→
25th February 2024
Type-driven development applied: librarian
haskell
design
engineering
type-driven design
test-driven development
Read more
→
21st February 2024
Types and Tests
haskell
design
engineering
type-driven design
test-driven development
Read more
→
14th February 2024
Haskell: imports vs exports
software engineering
design
haskell
Read more
→
11th February 2024
Haskell refactorings
software engineering
design
haskell
Read more
→
7th February 2024
Bypassing Prometheus SDK push model
software engineering
design
monitoring
lgtm-stack
haskell
Read more
→
31st January 2024
Prescriptivism and Descriptivism
software engineering
design
haskell
functional programming
object-oriented programming
Read more
→
3rd January 2024
Access Control: Capabilities
haskell
access control
security
draft concepts
Read more
→
27th December 2023
Access Control: Relationship-based Access control
haskell
access control
security
draft concepts
Read more
→
24th December 2023
Access Control: Organisation-based Access control
haskell
access control
security
draft concepts
Read more
→
20th December 2023
Access Control: Graph-based Access control
haskell
access control
security
draft concepts
Read more
→
17th December 2023
Access Control: Attribute-based Access control
haskell
access control
security
draft concepts
Read more
→
13th December 2023
Access Control: Role-based Access control
haskell
access control
security
draft concepts
Read more
→
10th December 2023
Access Control: Context-based Access control
haskell
access control
security
draft concepts
Read more
→
6th December 2023
Access Control: ACL
haskell
access control
security
draft concepts
Read more
→
26th November 2023
Game of Life kata: branchless Grid
haskell
code kata
coding dojo
Read more
→
29th October 2023
From custom Monad to Polysemy
haskell
design
polysemy
Read more
→
25th October 2023
Implementation-oriented Monad
haskell
design
Read more
→
15th October 2023
Haskell Type Reflection Anti-pattern
haskell
design
Read more
→
11th October 2023
QuasiQuoting Smart Constructors
haskell
design
Read more
→
8th October 2023
Nix: optimizing Haskell build size
haskell
nix
build
CI
optimization
Read more
→
4th October 2023
Haskell contributions kick-start
foss
contributions
haskell
Read more
→
27th September 2023
Witness functions
haskell
design
engineering
refactoring
Read more
→
13th August 2023
Test-Driven Development Freedom
haskell
design
engineering
test-driven development
Read more
→
30th July 2023
A case against Haskell immersion
haskell
engineering
career
Read more
→
23rd July 2023
Bloodhound redesign progress
haskell
Read more
→
19th July 2023
Haskell macros
haskell
Read more
→
16th July 2023
Nix: optimizing Haskell-based Docker-size
haskell
nix
docker
optimization
Read more
→
12th July 2023
New library: kill-bool
haskell
design
library
Read more
→
9th July 2023
Abaks: OpenAPI
haskell
design
project
abaks
Read more
→
7th July 2023
Abaks: Views
haskell
design
project
abaks
Read more
→
2nd July 2023
Abaks: A word on testing
haskell
design
project
abaks
Read more
→
28th June 2023
Abaks: Drivers
haskell
design
project
abaks
Read more
→
25th June 2023
Abaks: Interface Adapters - API
haskell
design
project
abaks
Read more
→
21st June 2023
Abaks: Testing Use Cases
haskell
design
project
abaks
Read more
→
18th June 2023
Abaks: Use Cases
haskell
design
project
abaks
Read more
→
14th June 2023
Abaks: testing core domain
haskell
design
project
abaks
Read more
→
11th June 2023
Abaks: commands
haskell
design
project
abaks
Read more
→
7th June 2023
Abaks: events
haskell
design
project
abaks
Read more
→
4th June 2023
Abaks: initial requirements
haskell
design
project
abaks
Read more
→
28th May 2023
Polysemy: Scoped
haskell
polysemy
design
effects systems
Read more
→
24th May 2023
Polysemy: Opaque
haskell
polysemy
design
effects systems
Read more
→
17th May 2023
Polysemy: Onion architecture
haskell
polysemy
design
effects systems
Read more
→
14th May 2023
Polysemy: Design heuristics: Hiding vs Exposing
haskell
polysemy
design
effects systems
Read more
→
10th May 2023
Polysemy: Design heuristics: Dispatcher
haskell
polysemy
design
effects systems
Read more
→
7th May 2023
Plutus: Pioneers Program 4th cohort - Lecture 10 - Built with plutus
haskell
cardano
smart contracts
Read more
→
3rd May 2023
Polysemy: Design heuristics: Hiding interpreters
haskell
polysemy
design
effects systems
Read more
→
30th April 2023
Plutus: Pioneers Program 4th cohort - Lecture 9 - Stablecoin
haskell
cardano
smart contracts
Read more
→
23rd April 2023
Plutus: Pioneers Program 4th cohort - Lecture 8 - Staking
haskell
cardano
smart contracts
Read more
→
21st April 2023
Polysemy: 1.9.0.0 released!
haskell
polysemy
design
effects systems
Read more
→
16th April 2023
Plutus: Pioneers Program 4th cohort - Lecture 7 - Marlowe and hosted smart contracts
haskell
cardano
smart contracts
Read more
→
9th April 2023
Plutus: Pioneers Program 4th cohort - Lecture 6 - Testing
haskell
cardano
smart contracts
Read more
→
5th April 2023
Polysemy: Design heuristics: Grouping interpreters
haskell
polysemy
design
effects systems
Read more
→
2nd April 2023
Plutus: Pioneers Program 4th cohort - Lecture 5 - Minting
haskell
cardano
smart contracts
Read more
→
29th March 2023
Polysemy: Design heuristics: Effects layering
haskell
polysemy
design
effects systems
Read more
→
26th March 2023
Plutus: Pioneers Program 4th cohort - Lecture 4 - On-chain/Off-chain smart contract code and indexers
haskell
cardano
smart contracts
Read more
→
22nd March 2023
Polysemy: Design heuristics: Split by responsibility
haskell
polysemy
design
effects systems
Read more
→
19th March 2023
Plutus: Pioneers Program 4th cohort - Ouroboros
haskell
cardano
smart contracts
Read more
→
15th March 2023
Polysemy: Design heuristics: IO hunting
haskell
polysemy
design
effects systems
Read more
→
12th March 2023
Plutus: Pioneers Program 4th cohort - lecture 3: Tests, Times, and Dapps
haskell
cardano
smart contracts
Read more
→
8th March 2023
Polysemy: Async gotchas
haskell
polysemy
design
effects systems
Read more
→
5th March 2023
Plutus: Pioneers Program 4th cohort kick start
haskell
cardano
smart contracts
Read more
→
1st March 2023
Polysemy: Strategy internals
haskell
polysemy
design
effects systems
Read more
→
26th February 2023
Polysemy: Changing return
haskell
polysemy
design
effects systems
Read more
→
22nd February 2023
Polysemy: IO
haskell
polysemy
design
effects systems
Read more
→
19th February 2023
Polysemy: NonDet
haskell
polysemy
design
effects systems
Read more
→
15th February 2023
Polysemy: AtomicState
haskell
polysemy
design
effects systems
Read more
→
12th February 2023
Polysemy: Fixpoint
haskell
polysemy
design
effects systems
Read more
→
8th February 2023
Polysemy: Bundle
haskell
polysemy
design
effects systems
Read more
→
5th February 2023
Polysemy: Higher order Effects and combined interpreters
haskell
polysemy
design
effects systems
Read more
→
1st February 2023
Polysemy: Final vs Embed
haskell
polysemy
design
effects systems
Read more
→
29th January 2023
Polysemy: Tactics binding deprecated workaround
haskell
polysemy
design
effects systems
Read more
→
25th January 2023
Polysemy: Tactics binding
haskell
polysemy
design
effects systems
Read more
→
22nd January 2023
Polysemy: Strategies binding
haskell
polysemy
design
effects systems
Read more
→
18th January 2023
Polysemy: Async
haskell
polysemy
design
effects systems
Read more
→
15th January 2023
Polysemy: Higher-order effects with Final
haskell
polysemy
design
effects systems
Read more
→
11th January 2023
Polysemy: Final
haskell
polysemy
design
effects systems
Read more
→
8th January 2023
Polysemy: Higher-order effects introductions
haskell
polysemy
design
effects systems
Read more
→
4th January 2023
Polysemy: Input
haskell
polysemy
design
effects systems
Read more
→
1st January 2023
Polysemy: Embed
haskell
polysemy
design
effects systems
Read more
→
28th December 2022
Polysemy: Interceptors to buffer
haskell
polysemy
design
effects systems
Read more
→
25th December 2022
Polysemy: Introduction to Interceptors
haskell
polysemy
design
effects systems
Read more
→
21st December 2022
Polysemy: Tagged effects
haskell
polysemy
design
effects systems
Read more
→
18th December 2022
Polysemy: Interpretation and effects inline injection
haskell
polysemy
design
effects systems
Read more
→
14th December 2022
Polysemy: Interpretation and effects injection
haskell
polysemy
design
effects systems
Read more
→
11th December 2022
Polysemy: Introduction to Effect interpretation
haskell
polysemy
design
effects systems
Read more
→
7th December 2022
Polysemy: Introduction to Effect definition
haskell
polysemy
design
effects systems
Read more
→
4th December 2022
Polysemy: EffectRow design
haskell
polysemy
design
effects systems
Read more
→
30th November 2022
Polysemy: EffectRow
haskell
polysemy
design
effects systems
Read more
→
27th November 2022
Polysemy: Introduction to interpreters
haskell
polysemy
design
effects systems
Read more
→
23rd November 2022
Polysemy: An introduction
haskell
polysemy
design
effects systems
Read more
→
22nd November 2022
TDD: optimizing for inputs vs for outputs
haskell
code kata
coding dojo
Read more
→
←
All tags