Summer Vacation Projects

Programming
Books
Author

Anvit Aggarwal

Published

May 29, 2025

These are the projects and books I plan to explore during the summer.

  1. Mathematics in Lean
  2. The Hitchhiker’s Guide to Logical Verification
  3. Introduction to the Theory of Computation - Michael Sipser
  4. Structure and Interpretation of Computer Programs
  5. Crafting Interpreters
  6. The Art of Computer Programming
  7. Concrete Mathematics
  8. Introduction to Algorithms
  9. The Hundred-Page ML book - Andriy Burkov
  10. The Art and Craft of Problem Solving
  11. The Pleasure of Finding Things Out
  12. Six Easy Pieces
  13. Linux
  14. Web Development
  15. Game Development
  16. Cybersecurity
  17. Finance
  18. 10-minute Standup script
  19. Get back to playing the guitar
  20. Read 5 books from diverse topics
  21. Competitive Programming
  22. Open-Source contributions
  23. Master some magic tricks