Schedule

The time in the program is for your time zone .

Program is filling up

Program is filling up

New talks are published weekly. Follow updates or secure your ticket early.

  1. October 23

  2. October 24

    Talk

    From Aristotle to Runtime: Formally Provable TypeScript and AI That Verifies Its Own Code

    Large language models can generate convincing code, but they cannot reliably determine whether it actually works. In this talk, I will demonstrate two ways to give AI an engineering feedback loop: a formal specification based on types and category theory, and a runtime verification system in which generated code is instrumented, executed, inspected, and corrected before it reaches the user.

    We will travel from Aristotle’s syllogisms and Church encodings to TypeScript, advanced prompting, and AI-agent architecture. Finally, I will share how I tested these approaches at Avito, including correctness metrics, iteration count, token usage, latency, cost, and the practical limitations of automated verification.

    Talk

    Color Theory and Flexible Code Practices

    Interfaces without color theory are like JavaScript without algorithms.

    The talk will guide developers from theory to practice, from generating the right shades to working with themes. It will introduce techniques that allow you to write more flexible color theory-based code right now.

    Talk

    Mnemonica Project

    I will tell you about the insights I gained during the development process. I will summarize the results achieved. I will show you the functionality and explain how to use it.