Index

Index Index

Last edited: August 8, 2025

Here’s a list of all indexes:

This should be reflected on a fancier way on my home page.

Linear Algebra Index

Last edited: August 8, 2025

The bible stays the same: (Axler 1997)

We will be less exploratory, Axler will pretty much tell us. However, we should try to say stuff in the class every single class period.

There is a ban on numbers over 4 on this class.

Best Practices

Non-Axler but Important

Things we explicitly are told to know, but is not immediately in Axler. You bet you determinants are going to be here.

PL Index

Last edited: August 8, 2025

Key ideas

  • appreciating PL as a techincal field
    • OS people cares only about dynamic system—build a good runtime/OS, etc.
    • PL people cares only about static system—build a compiler, etc.
  • think systematically about PL tools
  • what we can do, what we can’t do, what will be able to do
  • basics of active research in PL

equal in expressive power

  • SKI calculus
  • Lambda calculus
  • Turing machines

Lectures

Combinator Calculus

Lambda Calculus

Objects

Programming Abstractions and Logic Programming

Contravariance

Production Index

Last edited: August 8, 2025

This is a work-in-progress page listing all of my production projects.

Fireside: Blog

Fireside Index

20MinuteRants: Blog

https://medium.com/20minuterants

(finished) Project80: Podcast

See .

(finished) Yappin: Podcast

https://anchor.fm/yappin/