Frequency Estimation, Stream Analytics, Space Efficiency, Approximate Counting
Discover
📐 Mathematics & Statistics
formal correctness, program correctness, invariants, safety properties
concurrency theory, CSP, pi calculus, process calculi, actor model
cache-oblivious algorithms, cache efficiency, memory hierarchy, van Emde Boas
Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Sound Computation, Signal Processing Theory, Acoustic Abstractions, Digital Audio Math
Perceptual Coding, Transform Coding, Rate-Distortion, Lossless Audio
mathematics, numerical methods, combinatorics, computational math
GIPF Project, Combinatorial Games, Pure Strategy, Mathematical Games