Undergraduate at University of Washington. CS + Math.
Nothing here yet.
Jan 15 · 8 min read · The UW Math Department has a “Math AI” lab that links students with research projects. It uses the computer-assisted proof language Lean quite a bit and seems like a great research opportunity to incorporate the math I’m learning in classes. This win...
Join discussionDec 13, 2025 · 3 min read · Let’s represent a qubit. A classical bit is an object that can have one of two states: 0 or 1. By contrast, a qubit is a vector in a two-dimensional complex vector space (that has an inner product (this is apparently called a Hilbert Space)). By usin...
Join discussionNov 12, 2025 · 2 min read · I’ve been reading the lecture notes for a Caltech course (Physics 229) on Quantum Information and Quantum Computing by John Preskill. I haven’t figured out how to link a .pdf to this blog but it’s on the QOSF’s learning resources page. Note that thes...
Join discussionOct 27, 2025 · 2 min read · This is my first post! Future Leo (and anyone else): the current time is 8:04pm October 26th, 2025. Why I’m starting a blog Thanks to LinkedIn, I’ve heard the phrase “Build, but also build in public” or some version of that for a long time. In a worl...
Join discussion