Official Ableton Live manual with workflows, devices, and production techniques.
Docs for Claude Code: setup, workflows, prompts, and editor integrations.
The most comprehensive guide to modern data systems architecture. Covers databases, distributed systems, stream processing, and the fundamental trade-offs in building scalable applications.
Comprehensive introduction to DSP fundamentals. Covers Fourier transforms, filter design, convolution, FFT algorithms, and real-world applications. Free online textbook with practical focus.
Official documentation for Elixir, a functional language built on the Erlang VM. Covers language fundamentals, OTP patterns, metaprogramming with macros, and building concurrent, fault-tolerant applications.
The classic paper listing 21 NP-complete problems and popularising polynomial-time reductions as a hardness toolkit.
The definitive guide to C programming by the language's creators. Known as K&R C, this classic text teaches fundamental programming concepts through C. Essential reading for understanding systems programming and the foundations of modern languages.
Milner's own introduction to the π-calculus, developed from CCS through to mobility. Short, readable, and full of worked examples; the standard entry point for learning the calculus from its inventor.
The original π-calculus papers, published in Information and Computation. Introduces name passing and mobility as extensions of CCS, with the algebraic theory of strong bisimilarity. Dense but historically essential.
Official Obsidian docs covering vaults, linking, plugins, and sync.
Official OCaml language documentation. Covers the core language, standard library, module system, and advanced features like GADTs and first-class modules. Essential reference for functional programming in OCaml.
Short, self-contained treatment of the Dec-POMDP model for cooperative decision-making under uncertainty: the model, the NEXP-completeness result, and the main exact and approximate solution methods.
Practical guide to OCaml programming covering the language, Core library, and building real applications. Teaches functional programming, type-driven development, and OCaml's powerful module system.
The definitive treatment of epistemic logic for distributed and multiagent systems. Develops knowledge and common knowledge over possible-worlds semantics, the coordinated attack impossibility, and knowledge-based protocol analysis.
The official book for learning Rust. Comprehensive coverage of ownership, borrowing, lifetimes, and systems programming concepts. Essential reading for anyone learning Rust.
Official comprehensive documentation for the Rust programming language. Includes the standard library API reference, language reference, error index, and guides for all aspects of Rust development.
The comprehensive reference on the π-calculus. Covers behavioural equivalences, bisimulation proof techniques, typed variants, and encodings of the λ-calculus and higher-order processes. The book to reach for after Milner's introduction.
The mathematically rigorous companion to Wooldridge: game theory, social choice, mechanism design, coalitional games, and the logics of knowledge and belief, developed with full proofs. Freely available online.
Classic MIT textbook teaching fundamental principles of computer science through Scheme. Covers functional programming, interpreters, compilers, and the nature of computation itself.
Deleuze and Guattari's major joint work, source of the concepts of assemblage, rhizome, territorialisation and the machinic. Difficult but rewarding; the introduction ('Rhizome') is self-contained and the usual entry point.
Wadler's distillation of the Caires-Pfenning correspondence: linear logic propositions are session types, proofs are π-calculus processes, and cut elimination is communication, making deadlock-freedom a corollary of typing.
The standard textbook on multiagent systems. Covers agent architectures, communication as speech acts, coordination protocols, negotiation, and game-theoretic foundations. Complements the process-calculus view of interaction with the AI perspective on agency: contains no π-calculus, but explains what agents communicate about and why.