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