Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects July 29, 2026 · Hacker News Read full story at source