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.
Actually, I got kind of overwhelmed organizing these once they grew to a certain point, so I declared bankruptcy and returned to more local drafts.
Docket
CS
- Computer Architecture / Assembly
- Crypto, Protocols, Relational Specs, Concurrency
- Concurrency
- Constraint Programming
- Databases
- Hybrid Systems
- Mathematical Programming
- Optimization
- Automata, Regex, Coinduction, Bisimulation
- Termination
Languages
- C++
- C
- Coq
- HOL
- Java
- Julia
- .NET
- Rust
- Agda / Idris
- Assembly
- Functional Logic Programming
- Dafny
- Datalog
- Egglog
- Erlang
- Haskell
- Javascript
- Lean
- Scheme Racket Lisp
- Lua
- Matlab
- Ocaml
- Other Languages
- Prolog
- Python
- Smalltalk
- Verilog / FPGA
- Wasm/Emscripten
- Zig
Logic
- Binding Forms
- Proof Theory
- Type Theory
- Answer Set Programming
- Automated Theorem Proving
- E-graphs
- Mathematical Logic
- Non Classical Logic
- SAT Solvers
- SMT Solvers
- Software Verification
- Synthesis
- Term Rewriting
- TPTP dump
- Typeclasses
- Unification
Math
- Abstract Algebra
- Calculus/Analysis
- Category Theory
- Complex Analysis
- Computer Algebra
- Computer Numbers
- Differential Equations
- Discrete Mathematics
- Geometry
- Graph Theory
- Linear Algebra
- Nonlinear Algebra / Algebraic Geometry
- Probability
- Topology
Misc
- Cooking
- Books
- Github stars
- Goodreads
- Google Keep
- Hikes
- History
- Music
- Puzzles
- SEO
- Woodworking
- Youtube
Physics
- Mechanics
- Chemistry
- Electricity and Magnetism
- Relativity
- Optics
- Physics Sims
- Quantum Mechanics
- Solid State Physics
- Statistical Mechanics
- Themodynamics
- Waves and Vibrations
Programming
- Compilers
- Modules
- CAD
- Functional Languages Implementation
- Parsing and Lexing
- Automatic Differentiation
- Bioinformatics
- Continuations and Effects
- Incremental Computation
- Linkers and Loaders
- Macros & Partial Evaluation
- Memory Management
- Network
- Parallelism
- Performance
- Programs
- Web Stuff