• Very-busy expression analysis

  April 14, 2025

• Who invents things?

  February 7, 2025

• Two kinds of programming

  January 19, 2025

• The kernel trick

  April 29, 2024

• BIO 2021 question 1

  February 5, 2022

• Constraint-based type inference

  October 21, 2021