@ayb@mathstodon.xyz
Joined: 29/06/2025
Student in Computer Science at École normale supérieure
Interested in (but not only) the theory and implementation of programming languages and related topics such as (optimising) compilation and interpretation, WebAssembly, logic, type theory and category theory
{username} has no public lists
{username} has no activity yet