complex systems, emergence, chaos theory, systems theory
Discover
๐ Mathematics & Statistics
bidirectional type checking, type inference, elaboration, checking vs synthesis
Theorem Proving, SAT Solvers, Lean
Binary Decision Diagrams, Sparse Sets, Combinatorial Structures, Set Operations
SMT Solving, Satisfiability, Theorem Proving, Constraint Solving
weighted automata, semiring, probabilistic automata, formal languages
Universal Constructions, Non-Blocking Progress, Helping Mechanisms, Consensus Numbers
Refinement Types, SMT Integration, Program Logic, Type Safety
ELBO, variational Bayes, mean field approximation, VI methods
Integer Sets, Predecessor Queries, Logarithmic Operations, Priority Queues
Type Inference, Pattern Matching, Logic Programming, Term Unification
Pattern Matching, Type Inference, Constraint Solving, Algorithms
Radix Trees, Patricia Tries, Compressed Tries, String Indexing
Dependency Resolution, Build Systems, Package Management, Graph Algorithms
Surface Codes, Homological Error Correction, Quantum Preservation, Information Topology
Real-Time Systems, Clock Constraints, Uppaal, Model Checking, Temporal Properties
Sequential Grammar, Linear Syntax, Magnetic Semantics, Format Theory
Sequential Logic, Linear Computation Models, Magnetic State Machines, Storage Algebras
Sequential Computation Models, Magnetic Recording Theory, Linear Processing, Storage Mathematics
Regular Languages, Algebraic Automata Theory, Star-free Languages, Recognition