Notes

More fluid than posts. Unfinished thoughts. Link Dumps. I will hopefully continually rearrange and crosslink these.

CS

• Computer Architecture / Assembly
• Crypto, Protocols, Relational Specs, Concurrency
• Synthesis
• Concurrency
• Automata
• Coinduction / Bisimulation
• Complexity
• Constraint Programming
• Databases
• Game Theory
• Hybrid Systems
• Machine Learning
• Mathematical Programming
• Operating Systems
• Optimization
• Termination

Languages

• C++
• C
• Coq
• HOL
• Java
• Rust
• Agda
• Dafny
• Datalog
• Erlang
• Lean
• Ocaml
• Prolog
• Julia
• Assembly
• Haskell
• Python
• Scheme Racket Lisp
• Verilog
• Wasm/Emscripten
• Why3

Logic

• Binding Forms
• Constrained Horn Clauses - Invariants
• Proof Theory
• Separation Logic
• Imperative Proving
• Type Theory
• Automated Theorem Proving
• Cyclic Proofs
• E-graphs
• Floating Point and Numerical verification
• Linear Logic
• Mathematical Logic
• SAT Solvers
• SMT Solvers
• Typeclasses
• Unification

Math

• Category Theory
• Complex Analysis
• Differential Equations
• Geometry
• Linear Algebra
• Nonlinear Algebra
• Topology

Misc

• Cooking
• SEO

Physics

• Mechanics
• Physics Sims
• Themodynamics

Programming

• CTF stuff
• Partial Evaluation
• Compilers
• Performance
• Modules
• Graphics
• Functional Languages Implementation
• Parsing and Lexing
• Automatic Differentiation
• Gettin' Bappin' with Bap
• Continuations and Effects
• Ghidra
• Linkers
• Macros
• Memory Management
• Network
• Parallelism

Engineering

• Circuits