Welcome to Marta’s Recursive Thoughts! Here, I share things I care about in a delightfully messy way.
In practice, that means you'll find content somewhere between Programming Languages, Formal Methods, and the chaotic joy of PhD life. It’s nerdy, yes. But personal too. I might talk about lambda calculus one week and burnout the next. Or how my proof failed but my kickflip didn’t.
Basically, if I’ve overanalyzed it, it might end up here.
(This image has no relevance to the blog, but I stand by it.)
When I’m skating, surfing, or trying to learn anything, I have the need to understand how it all works, to its core, until nothing feels like magic anymore. This is how my brain works, so it makes sense that I ended up researching Programming Languages and Formal Methods. I can’t settle for programs that just work, I need to know the story behind their correctness. To hold proof in my hands, not just results.
But what does that actually mean, Programming Languages and Formal Methods?