Blog
Subscribe to get an email whenever I publish a new post:
An Advanced Guide to Rethlas: How to Run Rethlas Manually
A hands-on guide to preparing problems and references, running Rethlas manually, and examining its reasoning trajectories.
A Guide to Basic Terminal Use and Agentic Workflows for Mathematicians
A beginner-friendly introduction to terminal commands, tmux, Git, Overleaf integration, and AI-assisted mathematical writing
A Guide to Rethlas: How to Run Rethlas with AI (No CS Knowledge Assumed)
A step-by-step guide to setting up, running, and monitoring Rethlas with an AI coding agent—no computer science knowledge required.
Welcome to my blog
First post — how this blog and its comment section work.