At PLDI 2025 in Seoul for the Programming Languages Mentoring Workshop.