Home | Blog | Wiki | About

Highly unorganized notes on some topics from what I understood…

May be wrong. Corrections appreciated!

---

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

CS

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

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

Programming languages

• PVS theorem prover

• Bluespec

• VHDL

• Standard ML

• Haskell

• Rust

• OCaml

• Prolog

• APL

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
• Triangle congruence criterion
• Resistor colour code
• Simple and compound interest