Blog Archive Other January 2026 - Post 3: Data-Parallel Functional Programming in Datalog February 2025 - Post 2: NSF PPoSS Status Update–2024 Year in Review May 2024 - Post 1: Datalog, Chain-Forward Computation, and Relational Algebra May 2024 - Modern Deduction Blog 0: Introduction