Welcome to my blog!

Here are some recent posts I wrote:

Posts

• Cracking Jane Street's Puzzles with SMT Solvers: Part 1 - August 26, 2025
• Using Manim to make slides for a PhD defense - July 29, 2025