About
Hi, I'm Gautier.
I am a Staff Software Engineer and Functional Programming specialist currently building secure communication at Wire.
My career is driven by a simple belief: Software should be built to last. I don't just write code; I design systems that are maintainable, provable, and aligned with business goals. Whether I'm working as a freelancer, a mentor, or a lead developer, I focus on bridging the gap between high-level architectural theory and pragmatic, day-to-day delivery.
What I Bring to a Team
- Technical Rigor: I specialize in the Haskell ecosystem (Polysemy, Servant) and NixOS, using advanced type systems to eliminate entire classes of bugs before they reach production.
- Trusted Leadership: With a proven track record in remote-first environments, I lead by example—fostering collaboration, performing deep-dive architectural reviews, and mentoring the next generation of engineers.
- A "Craftsman" Mindset: I am an active contributor to the FOSS community and a frequent speaker. For me, engineering is a continuous journey of learning and sharing.
Current Focus & Technologies
I am currently deepening my expertise in Observability, Product Management, and Rust, ensuring that the systems I build aren't just technically sound, but also product-aware and highly visible.
My Daily Toolkit:
- Languages: Haskell (Expert), Nix, Java (Legacy/Architecture), Rust (Learning)
- Infrastructure: AWS, Kubernetes, Terraform, GitHub Actions
- Data: PostgreSQL, Cassandra, ElasticSearch
Let’s Connect
I am always open to discussing functional programming, backend architecture, or how to build better engineering cultures.
- Email:
gautier [at] difolco [dot] dev - Professional: LinkedIn / Passeport.dev
- Open Source: GitHub
⚡ Fun fact: I am an unbeatable pasta eater and a firm believer that the best engineering problems are solved over a good meal.
Technologies currently used
- Haskell (Servant, Polysemy), Nix(OS)
- Github Actions
- Terraform
- Cassandra
- ElasticSearch
- PostGreSQL
- AWS
- Kubernetes
Executive Summary
Staff Software Engineer & Functional Programming Specialist with over 12 years of experience building resilient, high-performance distributed systems. I specialize in bridging the gap between complex mathematical theory (Haskell, Category Theory) and pragmatic business value. I am a strong advocate for Software Craftsmanship, frequent open-source contribution, and fostering engineering cultures that prioritize maintainability and rigor.
Core Competencies
| Technical Leadership | Functional Ecosystem | Systems & DevOps |
|---|---|---|
| • Software Architecture | • Haskell (Production Grade) | • Nix & NixOS |
| • Mentorship & Tech Lead | • Advanced Type Systems | • Kubernetes/AWS |
| • Domain-Driven Design (DDD) | • Distributed Systems | • CI/CD Automation |
| • Engineering Heuristics | • Effect Systems | • PostgreSQL & Data Design |