Here’s a list of all indexes:

• Projects Index
• Research Index
• Production Index
• About

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

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.

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

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/

process of Engineering: chronological order

• User Interviews + User Stories
• Requirements Analysis
• Documentation and Specification
• Build the damned thing
  • Project Management and Development Methodology (SDLC)
  • Task Estimation
  • Software Design and Architecture Patterns
  • Testing
• Build and Release engineering (TODO)

Other topics

• Query optimization (TODO)

Fucking acronyms to know

• AAA Method
• SOLID principles
• STAR method: state behaviorals in Situation, Task, Action, Results

fundamental trade-off of Software Engineering

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