Curry-Howard, Proposition Types, Constructive Logic, Verification
Discover
📐 Mathematics & Statistics
homogeneous coordinates, epipolar geometry, projective transform, homography
Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking
belief propagation, factor graphs, variational inference, probabilistic programming
convex optimization, gradient descent, duality, stochastic optimization, convergence
mathematical optimization, gradient descent, combinatorial optimization, heuristics
Information Measures, Statistical Dependencies, Feature Selection, Entropy Estimation
String Matching, Pattern Search, Knuth-Morris-Pratt, Text Processing
Simulation, Random Sampling, Risk Analysis, Probability
Dataflow Analysis, Forward Inference, Lattice Theory, Program Analysis
Number Theory, Cryptography, Finite Fields, Group Theory
first-order logic, Tarski, structures, completeness
Necessity, Possibility, Kripke Semantics, Temporal Logic, Epistemic Logic
Self-Referential Systems, Magic Squares, Recursive Illusions, Mathematical Magic
Matter protocol, Matter over Thread, CSA Matter, smart home standard
Stochastic Processes, State Transitions, Probability Models
lattices, partial orders, join semilattice, abstract algebra
position sizing, bankroll, bet sizing, expected log wealth
State Estimation, Tracking, Noise, Prediction