Mattia Ferrini - Type Driven Development for human and AI reasoning, Wed, Jun 17, 2026, 6:00 PM | Meetup

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 devel