Blog Archive Other 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