LCLeo Carlininleoca42-learning.hashnode.dev·Jan 15 · 8 min readLean(ing over)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...00
LCLeo Carlininleoca42-learning.hashnode.dev·Dec 13, 2025 · 3 min readQubits as VectorsLet’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...00
LCLeo Carlininleoca42-learning.hashnode.dev·Nov 12, 2025 · 2 min readQuantum...Information...Computing...What?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...00
LCLeo Carlininleoca42-learning.hashnode.dev·Oct 27, 2025 · 2 min readQuantum Computing + Learning: Post #1This 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...00