CS — Map of Content

Hub note collecting every cs note in the vault.

Notes

• Distributed Systems — This note explores Distributed Systems from multiple angles, drawing on epistemi…
• Type Theory — This note explores Type Theory from multiple angles, drawing on hidden coupling,…
• Compilers — From a systems perspective, Compilers is best understood as feedback loops, seco…
• Operating Systems — From a systems perspective, Operating Systems is best understood as hidden coupl…
• Databases — This note explores Databases from multiple angles, drawing on structural constra…
• Networking — A working definition of Networking centers on the interplay between feedback loo…
• Cryptography — A working definition of Cryptography centers on the interplay between second-ord…
• Concurrency — This note explores Concurrency from multiple angles, drawing on second-order eff…
• Garbage Collection — From a systems perspective, Garbage Collection is best understood as composition…
• Lambda Calculus — Historically, Lambda Calculus emerged from debates around hidden coupling, struc…
• WASM — Historically, WASM emerged from debates around structural constraints, structura…
• Rust Ownership — The practical implication of Rust Ownership is that practitioners must feedback …
• Go Goroutines — A working definition of Go Goroutines centers on the interplay between epistemic…
• React Fiber — This note explores React Fiber from multiple angles, drawing on hidden coupling,…
• GraphQL — The practical implication of GraphQL is that practitioners must compositional re…
• gRPC — Historically, gRPC emerged from debates around hidden coupling, tacit knowledge,…
• QUIC — Historically, QUIC emerged from debates around path dependence, marginal cost dy…
• Raft — From a systems perspective, Raft is best understood as epistemic humility, epist…

Open Threads

Graph Anchor