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

    All You Need to Know About React Compiler

    I'll tell you what has changed in React Compiler since the release a year ago, whether the bugs from the first release have been fixed, when you can stop using useMemo yourself, and what pitfalls you need to be aware of when using React Compiler to delegate the useMemo removal to a coding agent.

    Talk

    The Approach to Web Test Automation You’ll Love

    In this talk, we will explore why web testing often turns into a box-checking exercise, what teams mistakenly call end-to-end testing, and how to build a practical engineering approach to tests. The main focus will be on hands-on examples with functions, React hooks, and components, giving you techniques you can apply to real projects the very next day.

    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.

    Workshop

    Multiplayer on JS

    Game developers constantly complain that graphics and network interactions are the most difficult aspects of game development. Meanwhile, all we do on the web is send bytes over the network and paint pixels.

    Are all game developers so mediocre? Or is there something we don't know about how deep the rabbit hole goes?

    Talk

    Build Your Own ML in JS: a Model that Spots Bad UI

    We'll train a local model in JS that looks at the rendered component and tells good markup from bad, then wire it into an MCP server that renders whatever the agent produced, runs it through the model, and returns not a vague "doesn't match the design" but a concrete score the agent can use to correct itself.