News
Projects
Talks
Posts
Portfolio
CV
Contact
Jun 29, 2026
Confession: I just had to look up how to merge a git branch to main. 😅