https://jo3-l.dev/ Recent content on Joe's Blog Hugo -- 0.118.2 en Content licensed under CC-BY-SA Fri, 08 Aug 2025 00:00:00 +0000 https://jo3-l.dev/reading-log/favorites/ Fri, 09 Aug 2024 00:00:00 +0000 https://jo3-l.dev/reading-log/favorites/ A collection of my favorite technical content—pieces that influence the way I think about programming. https://jo3-l.dev/posts/python-countdown/ Fri, 08 Aug 2025 00:00:00 +0000 https://jo3-l.dev/posts/python-countdown/ Counting down, seemingly without loops or recursion, in the language of the snakes https://jo3-l.dev/posts/proptest/ Sun, 11 Aug 2024 00:00:00 +0000 https://jo3-l.dev/posts/proptest/ Tests that expose gaps in your thinking instead of confirming what you already know https://jo3-l.dev/reading-log/aug-2024/ Thu, 01 Aug 2024 00:00:00 +0000 https://jo3-l.dev/reading-log/aug-2024/ CPU caches and false sharing; dynamic dispatch with vtables; property-based testing; why π² is approximately g; and more... https://jo3-l.dev/posts/shiki-hugo/ Sat, 27 Jul 2024 00:00:00 +0000 https://jo3-l.dev/posts/shiki-hugo/ A guide on using Shiki for syntax highlighting in Hugo websites https://jo3-l.dev/posts/pressure-and-chemical-eqm/ Tue, 18 Jul 2023 00:00:00 +0000 https://jo3-l.dev/posts/pressure-and-chemical-eqm/ Examining the effect of changes in pressure on equilibrium position mathematically https://jo3-l.dev/posts/sum-of-exponents/ Sun, 24 Apr 2022 00:00:00 +0000 https://jo3-l.dev/posts/sum-of-exponents/ Some practice with induction: a proof of the sum of exponents law for integer exponents https://jo3-l.dev/about/ Mon, 01 Jan 0001 00:00:00 +0000 https://jo3-l.dev/about/ Hi! I’m Joseph Liu, a second-year computer science student at the University of Waterloo. I love to program in my free time, and have built and contributed to various projects over the years—more on those below. Aside from programming, I also enjoy reading, writing, math puzzles, and the occasional anime. Programming experience and projects Nowadays, I primarily work with Rust and Go on backend projects; however, I am comfortable working across the entire stack and have experience in Python, TypeScript, Swift, Java, and C++ among other technologies.