Notes

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
• 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
• Some exercises from textbooks

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
• Astronomy
• Physics

School stuff

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

• Probability
• Statistics
• 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