Notes
More fluid than posts. Unfinished thoughts. Link Dumps. I will hopefully continually rearrange and crosslink these. It can look way more cogent in the markdown sources. I don’t really look at the rendered version often.
CS
- Computer Architecture / Assembly
- Crypto, Protocols, Relational Specs, Concurrency
- Synthesis
- Concurrency
- Complexity
- Constraint Programming
- Databases
- Game Theory
- Hybrid Systems
- Machine Learning
- Mathematical Programming
- Operating Systems
- Optimization
- Automata, Regex, Coinduction, Bisimulation
- Termination
Languages
- C++
- C
- Coq
- HOL
- Java
- Rust
- Agda
- Functional Logic Programming
- Dafny
- Datalog
- Erlang
- Haskell
- Ocaml
- Prolog
- Python
- Verilog
- Wasm/Emscripten
- Why3
- Julia
- Assembly
- Lean
- Scheme Racket Lisp
Logic
- Binding Forms
- Constrained Horn Clauses - Invariants
- Imperative Proving
- Proof Theory
- Separation Logic
- Type Theory
- Answer Set Programming
- Automated Theorem Proving
- Cyclic Proofs
- E-graphs
- Mathematical Logic
- Non Classical Logic
- SAT Solvers
- SMT Solvers
- Term Rewriting
- Typeclasses
- Unification
Math
- Abstract Algebra
- Calculus
- Category Theory
- Complex Analysis
- Computer Algebra
- Computer Numbers
- Differential Equations
- Geometry
- Linear Algebra
- Nonlinear Algebra
- Topology
Misc
Physics
- Mechanics
- Electricity and Magnetism
- Optics
- Physics Sims
- Quantum Mechanics
- Relativity
- Solid State Physics
- Statistical Mechanics
- Themodynamics
- Waves
Programming
- Performance
- Partial Evaluation
- CTF stuff
- Compilers
- Modules
- Graphics
- Functional Languages Implementation
- Parsing and Lexing
- Automatic Differentiation
- Gettin' Bappin' with Bap
- Continuations and Effects
- Ghidra
- Linkers and Loaders
- Macros
- Memory Management
- Network
- Parallelism
- Web Stuff