This is the personal website of Jason Zhang.
Code++ is a club dedicated to learning advanced computer science topics. In the 2025-2026 school year, I serve the role of Vice-President within the club.
This was a guest lecture for the Code++ club and centered around a friendly introduction into \(\lambda\)-calculus.
Here are some lectures that may be scrapped.
The following is an incomplete lecture about logic and proofs. I decided to include it because it is partly complete (the entire proof section is), and it is possible that it will be scrapped.