@ayb@mathstodon.xyz
Joined: 06/29/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, logic, type theory and category theory
Currently working on WebAssembly
ayb has no public lists
ayb has no activity yet