formal logic, logical fallacies, deductive reasoning, informal logic
Browse Popular Interests
Browse:
๐ 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
bayesian statistics, prior, posterior, probabilistic reasoning
sabermetrics, baseball stats, player performance, Statcast
liquid types, type refinement, LiquidHaskell, verified types
computer science theory, computability, complexity theory, automata
Satisfiability, Logic Programming, Optimization, Search
Bayesian inference, probability theory, stochastic, distributions
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
Probabilistic Models, MCMC, Inference, Uncertainty
Programming Language Theory, Lambda Calculus, Semantics, Formal Methods
primes, modular arithmetic, analytic number theory, Diophantine