{"type": "article", "title": "Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/show-hn-lean4-datalog-dsl-based-on-google-zanzibar-for-ai-projects", "original_source": "https://github.com/jagg-ix/zil-lean", "published": "2026-07-29T02:22:04+00:00", "accessed": "2026-07-29", "id": "show-hn-lean4-datalog-dsl-based-on-google-zanzibar-for-ai-projects"}