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
- Cryptography
- Databases
- Game Theory
- Hybrid Systems
- Machine Learning
- Mathematical Programming
- Operating Systems
- Optimization
- Automata, Regex, Coinduction, Bisimulation
- Termination
Languages
- C++
- C
- Coq
- HOL
- Java
- Rust
- Julia
- Agda
- Assembly
- Functional Logic Programming
- Dafny
- Datalog
- Egglog
- Erlang
- Haskell
- Lean
- Prolog
- Scheme Racket Lisp
- Ocaml
- Python
- Verilog
- Wasm/Emscripten
- Why3
Logic
- Binding Forms
- Proof Theory
- Type Theory
- Answer Set Programming
- Automated Theorem Proving
- Cyclic Proofs
- E-graphs
- Mathematical Logic
- Non Classical Logic
- SAT Solvers
- SMT Solvers
- Software Verification
- Term Rewriting
- TPTP dump
- Typeclasses
- Unification
Math
- Abstract Algebra
- Calculus
- Category Theory
- Complex Analysis
- Computer Algebra
- Computer Numbers
- Differential Equations
- Discrete Mathematics
- Geometry
- Graph Theory
- Linear Algebra
- Nonlinear Algebra
- Probability
- Topology
Misc
Physics
- Mechanics
- Electricity and Magnetism
- Optics
- Physics Sims
- Quantum Mechanics
- Quantum Computing
- Relativity
- Solid State Physics
- Statistical Mechanics
- Themodynamics
- Waves
Programming
- Performance
- CTF stuff
- Partial Evaluation
- Compilers
- Modules
- Graphics
- Functional Languages Implementation
- Parsing and Lexing
- Automatic Differentiation
- Gettin' Bappin' with Bap
- Bioinformatics
- Continuations and Effects
- Ghidra
- Linkers and Loaders
- Macros
- Memory Management
- Network
- Parallelism
- Web Stuff