Fernanda Andrade
@andradefer.bsky.social
Building things with code. Madrid.
Learning operational semantics felt like discovering magic. Getting the theorems into LaTeX? That was the real magic trick!
February 25, 2025 at 7:34 PM
Learning operational semantics felt like discovering magic. Getting the theorems into LaTeX? That was the real magic trick!
Using my time wisely: vermouth + nice bar
February 24, 2025 at 2:38 PM
Using my time wisely: vermouth + nice bar