Index

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/

Projects Index

Last edited: August 8, 2025

Projects Index is a index that contains a list of almost all projects for which I have ever worked on. Major categories are highlighted from chapter titles.

Research Projects

I end up doing a lot of research these days, and so have isolated that to a different, academic homepage.

For a list of my recent research, please head to my academic homepage. For concision they are NOT repeated here.

Large-Scale Endeavors

Condution

An open-source task management app. Website.

Software Engineering Index

Last edited: August 8, 2025

process of Engineering: chronological order

Other topics

  • Query optimization (TODO)

Fucking acronyms to know

fundamental trade-off of Software Engineering

The MIT vs. New Jersey problem: in Software Engineering, you can only choose one of FAST or ROBUST.