ICLR2025 Index
Last edited: August 8, 2025Sessions
- ICLR2025 Keynote
- ICLR2025 Adaptive Computation
- ICLR2025 Tokenizer-Free Approaches
- ICLR2025 Context and Retrieval
- ICLR2025 MoE
- ICLR2025 HAIC
Posters
Surprises/Takes
- best safety is to actually unlearn the danger
- LLMs: averages representations; Robotics: current point planning
- substitute data for understanding
Index Index
Last edited: August 8, 2025Here’s a list of all indexes:
This should be reflected on a fancier way on my home page.
Linear Algebra Index
Last edited: August 8, 2025The 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.
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
Production Index
Last edited: August 8, 2025This is a work-in-progress page listing all of my production projects.
Fireside: Blog
20MinuteRants: Blog
https://medium.com/20minuterants
(finished) Project80: Podcast
See .
