https://jpyamamoto.com/ https://jpyamamoto.com/blog/ https://jpyamamoto.com/blog/page/1/ https://jpyamamoto.com/blog/quantum-computing/complex-numbers/ 2021-09-12T23:27:00-05:00 https://jpyamamoto.com/blog/quantum-computing/preludio/ 2021-09-12T22:38:00-05:00 https://jpyamamoto.com/blog/quantum-computing/vector-spaces/ 2022-07-17T23:50:43-05:00 https://jpyamamoto.com/projects/dependent-types/ 2024-05-17 https://jpyamamoto.com/projects/github-workshop/ 2022-11-11 https://jpyamamoto.com/projects/lazy-programmer/ 2021-04-20 https://jpyamamoto.com/projects/linear-types/ 2025-05-13 https://jpyamamoto.com/projects/proof-theory-categories/ 2023-12-15 https://jpyamamoto.com/projects/research-tla/ 2023-12-13