Shortest Path, Network Analysis, Graph Traversal, Social Networks
Discover
๐ Mathematics & Statistics
theoretical computer science, complexity theory, algorithms, computability
Z3 Applications, SMT Integration, Optimization, Automated Reasoning
Graph Theory, Social Networks, Complex Systems, Connectivity
dependent type theory, Idris, Agda, Pi types, Sigma types
bayesian statistics, prior, posterior, probabilistic reasoning
liquid types, type refinement, LiquidHaskell, verified types
Bayesian inference, probability theory, stochastic, distributions
Satisfiability, Logic Programming, Optimization, Search
P vs NP, Computational Complexity, Circuit Complexity, Randomized Algorithms
sabermetrics, baseball stats, player performance, Statcast
Programming Language Theory, Lambda Calculus, Semantics, Formal Methods
Immutable Collections, Structural Sharing, Clojure, Version Control
numerical analysis, finite differences, automatic differentiation, differentiable programming
prediction markets, superforecasting, probabilistic thinking, Tetlock
algorithms, data structures, complexity, computer science
SAT Solvers, Constraint Programming, Optimization, Linear Programming
operations research, scheduling, optimization algorithms, combinatorics
lambda calculus, functional programming theory, Church encoding, beta reduction
Probabilistic Models, MCMC, Inference, Uncertainty