Hey there!

I’m Joseph Liu, a first-year CS student at the University of Waterloo. Welcome to my small slice of the web :) Here, I occasionally blog about math, programming, and whatever else piques my interest.

If you would like to know more about me or my projects, head over to my about page. To contact me, email me at jliu1602 [at] gmail.com; I am also active on Discord as jo3_l.

Property-Based Testing is Magical

An exploration of property-based testing—a powerful technique for building robust test suites with minimal tedium.

Highlighting Code with Shiki in Hugo

A guide on using Shiki for syntax highlighting in Hugo websites.

Pressure and Chemical Equilibrium

Examining the effect of changes in pressure on equilibrium position mathematically.

Exploring the Sum of Exponents Law

Some practice with induction: a proof of the sum of exponents law for integer exponents.