PKM
Last edited: August 8, 2025A PKM is a tool (like this one!) to help manage your nodes and knowledge.
- storing AND processing; just storing is just PIM not PKM
- PKM = PIM (personal info management) + GTD + knowledge management
- goal: narrowing “flood” and focus on useful areas
- move from passive => active consumption
- create, not just regurgitate
PKM and Context
- store info based on context
Strategy
- What are you trying to organize
- what are the inputs?
- email? lectures?:
- “reference” type emails
- lecture notes
- tasks?
- email? lectures?:
- what are you trying to make?
- test? essays?
- a time blocking schedule
- studying for tests (i.e. for linear, etc.)
- test? essays?
- what does your process look like?
- mishmash of topic based notes and content based notes
- what parts of it would you like to improve?
- article capture workflow: how to process random readings topic wise?
- knowledge capture: how to come across new content and capture them somewhere?
- todo/notes integration: task management and note taking currently lives separately, how to unify them?
PL Index
Last edited: August 8, 2025Key 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
planning
Last edited: August 8, 2025A decision making method using search on a model of the problem to be able tom make decisions.
- create a (usually deterministic, but for CS238 we care only about non-deterministic cases) model of the problem or a good approximation thereof
- use the model to plan for possible next actions to yield for a good solution
contrast v. explicit programming
explicit programming requires you to plan for the action
Planning for Learning
Last edited: August 8, 2025point selection
Last edited: August 8, 2025then collect
