Hacker News@hackernews@robot.villasShow HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projectshttps://github.com/jagg-ix/zil-lean#HackerNews #Tech #AI Jul 29, 2026 3Boost from your serverEnter the server your account is on. The post opens there so you can boost it.Your serverGoorOr paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22274909CopyDon't have an account? Find a server at joinmastodon.orgCancelclose 0Favorite from your serverEnter the server your account is on. The post opens there so you can favorite it.Your serverGoorOr paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22274909CopyDon't have an account? Find a server at joinmastodon.orgCancelclose
Hacker News@hackernews@robot.villas