Discover

Shortest Path, Network Analysis, Graph Traversal, Social Networks

Z3 Applications, SMT Integration, Optimization, Automated Reasoning

Graph Theory, Social Networks, Complex Systems, Connectivity

theoretical computer science, complexity theory, algorithms, computability

economic forecasting, predictive modeling, time series, projections

dependent type theory, Idris, Agda, Pi types, Sigma types

P vs NP, Computational Complexity, Circuit Complexity, Randomized Algorithms

bayesian statistics, prior, posterior, probabilistic reasoning

liquid types, type refinement, LiquidHaskell, verified types

Bayesian inference, probability theory, stochastic, distributions

Satisfiability, Logic Programming, Optimization, Search

sabermetrics, baseball stats, player performance, Statcast

operations research, scheduling, optimization algorithms, combinatorics

SAT Solvers, Constraint Programming, Optimization, Linear Programming

Programming Language Theory, Lambda Calculus, Semantics, Formal Methods

Immutable Collections, Structural Sharing, Clojure, Version Control

numerical analysis, finite differences, automatic differentiation, differentiable programming

lambda calculus, functional programming theory, Church encoding, beta reduction

algorithms, data structures, complexity, computer science

Probabilistic Models, MCMC, Inference, Uncertainty