Notes

More fluid than posts. Unfinished thoughts. Link Dumps. I will hopefully continually rearrange and crosslink these.

• Floating Point
• Performance, Algorithms
• Invariants - Constrained Horn Clauses
• Unification
• Rust
• Binding Forms
• CTF stuff
• Partial Evaluation Tricks
• Continuations, Implementing Functional Languages
• Julia
• Compilers
• Computer Architecture / Assembly
• Crypto, Protocols, Relational Specs, Concurrency
• Concurrency
• Imperative Proving
• Scheme Racket Lisp
• Bidirectional Typing
• Lean
• Linkers
• Wasm Emscripten
• Modules
• Synthesis
• C/C++
• Circuits
• Cooking
• Coq
• Mechanics
• Differential Equations
• Proof Theory
• Type Theory
• Assembly
• Gettin' Bappin' with Bap
• Databases
• Datalog
• Macros
• Network
• Ocaml
• Phsics Engines
• Prolog
• Python
• SEO
• SMT Solvers
• Themodynamics
• Verilog