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
Misc
Physics
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