Mattia Ferrini - Type Driven Development for human and AI reasoning
Details
AI is changing the way we develop software. Mattia’s talk takes a fresh look at Type-Driven Development (TDD), and how types facilitate not only the work of human developers but also LLM reasoning.
The talk with be hands-on with code examples and open discussions
Agenda:
- What is Type-Driven Development
- An overview of F#’s type system
- How TDD facilitates human developers with AI tools
- LLM Tooling with types
- LLM reasoning with types
- Compositionality and reasoning traces
Mattia is a data scientist fighting a losing battle: replacing Python with languages featuring richer type systems. As the co-founder of Entropy42, a Zurich-based startup, he specializes in the verification of ontologies and mathematical optimization programs. There, Mattia leverages type systems and provers to sharpen the performance of specialized small language models.
