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.
Nueva Courses Index
Last edited: August 8, 2025NUS Secondary School Other Duties
- AP Statistics Index
- AP Phys C Mech Index
- AP Phys C EM Index
- Tuning Forks
- bioinformatics
- PKM
- Intersession 2023
NUS-MATH580 QIC
| Date | Topic |
|---|---|
| physical qubits, manipulating physical qubits | |
| making qubits interact | |
| Chiara Marletto | |
| Strong Free Will |
NUS-CS223 Algorithms
Backlog: Finite State Machine
| Date | Topic |
|---|---|
| stable matching problem, stable matching algorithm | |
| dynamic programming, relaxation | |
| distributed algorithum, randomized algorithum, complexity theory |
NUS-HIST301 American History
Backlog: New Deal, Franklin D. Roosevelt (FDR), Works Progress Administration, effects of the New Deal, Great Depression, Herber Hoover, disinformation, Guilded Age
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