Finite State Machines, Turing Machines, Regular Languages, Computability
Discover
๐ Mathematics & Statistics
ADTs, sum types, product types, pattern matching, discriminated unions
agda, dependent types, proof assistant, Martin-Lรถf
static analysis, program semantics, lattice theory, dataflow analysis
Computational Geometry, Spatial Indexing, Document Layout, Geographic Analysis
typeface, font, type design, typographic hierarchy
Randomized BST, Binary Heap, Cartesian Tree, Priority Search
topological spaces, manifolds, homology, continuous maps
SMT Solvers, Z3, Automated Reasoning, Formal Verification
LTL, CTL, Model Checking, System Verification
String Matching, Text Processing, Linear Construction, Pattern Recognition
Space-Efficient Algorithms, Rank-Select, Wavelet Trees, Compressed Indices
data streams, online sketching, frequency estimation, reservoir sampling
random processes, Markov chains, Wiener process, stochastic calculus
Bayesian Methods, Hypothesis Testing, Causal Inference, Probabilistic Models
Regression, Classification, Model Selection, Cross-Validation
Information Bounds, Optimal Coding, Channel Capacity, Compression Limits
Self-Balancing Trees, BST, Tree Rotations, Invariants