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
• Coinduction / Bisimulation
• Constraint Programming
• Databases
• Hybrid Systems
• Mathematical Programming
• Operating Systems
• Optimization
• Termination

Languages

• C++
• C
• Coq
• Rust
• Assembly
• Datalog
• Haskell
• Lean
• Ocaml
• Python
• Prolog
• Julia
• Wasm/Emscripten
• Scheme Racket Lisp
• Verilog

Logic

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

Math

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

Misc

• Cooking
• SEO

Physics

• Mechanics
• Physics Sims
• Themodynamics

Programming

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

Engineering

• Circuits