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

• SU-CS242 SEP242024

Combinator Calculus

• SU-CS242 SEP262024
• SU-CS242 OCT012024

Lambda Calculus

• SU-CS242 OCT032024
• SU-CS242 OCT102024
• SU-CS242 OCT152024
• SU-CS242 OCT172024

Objects

• SU-CS242 OCT242024

Programming Abstractions and Logic Programming

• SU-CS242 OCT312024
• SU-CS242 NOV072024
• SU-CS242 NOV142024
• SU-CS242 NOV192024

Contravariance

• SU-CS242 NOV212024
• SU-CS242 DEC032024

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

• Ask questions
• Talk to each other
• Make mistakes
• From Riley: know the Proof Design Patterns

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.

Safety as a property is dependent on the being used. Meaning: “AI safety focuses on technical solutions to ensure that AI systems operate safely and reliably.”

• preventing accidents, misuse, and harmful consiquences
• machine ethics and AI alignment
• monitoring systems for risks
• developing norms and policies that promote safety

Logistics

Lectures

• SU-CS120 SEP242024
• SU-CS120 OCT082024
• SU-CS12 0OCT102024

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.

A Differential Equation is a function-valued algebreic equation whose unknown is an entire function \(y(x)\), where the equation involves a combination of derivatives $y(x), y’(x), …$.

See Differential Equations Index

and Uniqueness and Existance