2025
an archive of posts from this year
| Jun 21, 2025 | Lean 4 Notes |
|---|---|
| Apr 24, 2025 | Probability Review I - Definition |
| Apr 12, 2025 | Reinforcement Learning Notes II - Policy Gradients & Actor-Critic Methods |
| Apr 11, 2025 | Reinforcement Learning Notes I - Introduction & Imitation Learning |
| Apr 09, 2025 | Reinforcement Learning as a Co-Design of Product and Research |
| Apr 01, 2025 | Deep Learning Notes I - Introduction |
| Mar 30, 2025 | Parallel Computing and Distributed Systems |