About

Gautier DI FOLCO

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.

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 LeadershipFunctional EcosystemSystems & 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