Home | Blog | Wiki | About

Highly unorganized notes on some topics from what I understood…

May be wrong. Corrections appreciated!

---

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

• Other years' OPLSS

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
• Problem complexity
• Computer architecture with RISC-V
• Compilers
• Some numbers and constants
• Functions and relations
• Logic
• General stuff

---

• PVS theorem prover
• Agda
• Idris2

Programming languages

• Bluespec
• VHDL
• Verilog
• Standard ML
• Haskell
• Rust
• OCaml
• Scala
• Prolog
• APL
• Java
• Racket
• elisp
• Lua
• Python

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