RSSAmplifier

Blog

Gautier DI FOLCO

A software engineer website

gautier.difolco.dev ↗RSS feed ↗259 posts

Latest posts

Event-sourcing and GDPR

Introducing numerus-closus

3 lies of LLMs

How to fail a hackathon

Factor in Haskell - quotations

Factor in Haskell - Introduction and simple functions

The hardest part of software engineering

HSRT next projects

The Haskell Blueprint

Haskell Workshops & ZuriHac 2026

Prolog in Haskell - Compile-time parsing and conclusion

Prolog in Haskell - Basic parsing

Prolog in Haskell - High-order predicates

Prolog in Haskell - Unification-related predicates

Prolog in Haskell - Refining unification

Prolog in Haskell - Ergonomics, Terms, and Unification

Prolog in Haskell - Introduction and simple predicates

M, the model

Select and Sudoku

Kata: Conference tickets - event validation

Kata: Conference tickets - purchases

Kata: Conference tickets

Tests are subjectives

The weirdest Monad

Kata: Anagram

Kata: C** de chouette - conclusion

Kata: C** de chouette - refactoring and last rules

Kata: C** de chouette - sequence

Kata: C** de chouette - modes

Kata: C** de chouette - multi-players

Kata: C** de chouette

Potter kata

2025 retrospective

A case against feature flags

Hard coding

Do you really make money with Haskell?

My LLM usage

Shift left overload

A world of failures

GDCR 2025: My participation summary

Hacktoberfest 2025: My contributions

Infrastructure corporations

Reflection on Bloodhound extensibility

Lines of code deflation

Early data modeling mistakes

Caveman did not build the Eiffel Tower

FOSS is not a flavor

Extreme branchless: Expr without GADTs or sum-types

Extreme branchless: Expr without GADTs

Seniors are boundaryless