Home | Blog | Wiki | About

Highly unorganized notes on some topics from what I understood…

May be wrong. Corrections appreciated!

---

• OPLSS: Notes from OPLSS summer school

• Computational algebra and number theory (lot of mistakes, corrections welcome)
• Proofs, programs, types

CS

Stuff that I had (or should've) learnt during my undergrads..

• Type theory and programming languages
  • TAPL exercises
• Lambda calculus
  • Fun with λ-calculus
• Random math stuff
• Theory of computation
• Modular arithmetic
• Category theory
• Graph theory
• Computer architecture with RISC-V
• Compilers
• Some numbers and constants
• Functions and relations
• Logic
• General stuff

• Programming languages and tools

---

Remnants of old notes:

• Synthesis of digital systems
• Group theory and related

Random

• AI and ML
• Quantum computing
• Flip flops and registers
• Adders and subtractors
• Basic electronics
• Boolean arithmetic
• Non CS topics

• Runtime verification
• Algorithms

—

• IPA
• French

School stuff

Stuff that I had learned at school but keep forgetting..

• Statistics and probability
• Integration and differentiation
• Trigonometry
• Triangle congruence and similarity criteria
• Arithmetic and geometric progessions
• Permutations and combinations
• Resistor colour code
• Simple and compound interest
• Periodic table