Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct, store and evaluate, have it under git and improve without big engines or relaying on external infrastructure. Google's Zanzibar paper: https://storage.googleapis.com/gweb-research2023-media/pubto...
Lean4 Datalog DSL Based on Google Zanzibar for AI Projects launched on July 29, 2026 with 18 votes, #947 of 24,623 launches that month and more than 90% of that year's launches.
In plain words
Lean4 Datalog DSL is a domain-specific language based on Google Zanzibar that enables developers to build and manage knowledge bases by describing concepts and their relationships. It works with Lean4 and other languages, allowing users to construct, store, and evaluate knowledge bases entirely through code tracked in version control. The tool eliminates the need for external infrastructure or heavyweight engines, making it suitable for AI projects that require flexible, maintainable knowledge representation.
written from the facts on this page · September 2026
From the sources
ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain - jagg-ix/zil-lean
Does a similar job
all alternatives →
Turn any website into a knowledge base for LLMs2024 · embedding.io · ▲305I built this tool because I wanted a way to just take a bunch of URLs or domains, and query their content in RAG applications. It takes away the pain of crawling, extracting content, chunking, vectorizing, and updating periodically. I'm curious to see if it can be useful to others. I meant to launch this six months ago but life got in the way...
Open-source ETL framework to sync data from SaaS tools to vector stores2023 · github.com · ▲63Hey hacker news, we launched a few weeks ago as a GPT-powered chatbot for developer docs, and quickly realized that the value of what we’re doing isn’t the chatbot itself. Rather, it’s the time we save developers by automating the extraction of data from their SaaS tools (Github, Zendesk, Salesforce, etc) and helping transform it to contextually relevant chunks that fit into GPT’s context window. A lot of companies are building prototypes with GPT right now and they’re all using some combination of Langchain/Llama Index + Weaviate/Pinecone + GPT3.5/GPT4 as their stack for…
- WDWasp – DSL/framework for building full-stack web apps – now in beta2022 · ▲115
Hey HN! Wasp (https://wasp-lang.dev/) is a simple config language (DSL) and framework for building full-stack web apps. You describe the high-level features you want (auth, CRUD, async jobs, …) using the Wasp DSL, and write the rest of your logic in React, Node.js, and Prisma. We’re focused on simplifying developer experience and ensuring best practices. Everything is open source. Why another full-stack framework? And why a config language/DSL? We were still experiencing a lot of boilerplate (repetitive tasks) using other frameworks—things like duplicating data models…
- MBMthds – Beyond skills: a typed DSL for executable AI methodsFeb 2026 · mthds.ai · ▲23
Bin - AI business intelligence analyst that turns data into dashboards2025 · bi.new · ▲59Bin is an AI business intelligence analyst that turns data into dashboards. Our goal is to make creating dashboards simpler to do than no-code alternatives like PowerBI and Tableau while preserving the powerful customization abilities of raw SQL and Python. Here’s a quick demo: https://www.youtube.com/watch?v=Fsh8M3hIjDA. Customers from our previous product wanted custom dashboards but didn’t want to spend on technical staff to build them. They wanted customizability of the dashboard yet simplicity of the building experience. So, we studied the approaches of Devin, Claude…
More ai this month
the category →
Paintings by AI models: programs run through a simulation of oil paint.
AI · 21d ago · stillwet.art
PixVerse R2▲381A real-time world model you can explore and change
AI · 30d ago · world.pixverse.video
Source: Show HN post ↗
Launched alongside, July 2026
the whole month →- IR
I might be the only SRE on Earth with his own bowling center. It's a more in-depth gig than you'd think. My family and I bought an abandoned 8-lane bowling center in the rural mid-west. In our small town there weren't many recreation options for families. You've heard of a food desert? This is an R&R desert. It had been abandoned for a good reason. The roof leaks, the electrical system was constantly surging, and my 70-year-old bowling equipment (still) doesn't work perfectly. The system that keeps your score is particularly interesting to me. It's the thing you watch during your game, but…
Life & fun · Jul 2026
18 Words▲1,160Play 18 Words, the free daily word puzzle. The official home is 18words.com. Tap Play now to open today
Life & fun · Jul 2026 · 18words.com
- BA
Over the past few months, our team has been building more and more slidedecks using web frontend technologies with coding harnesses like Claude Code, but a common complaint is to make even small edits we need to edit the code either manually or via the harness. To avoid this loop, I ended up creating Bento, a single HTML file with everything you need in a slide tool including animations and shared editing. There's no install or cloud login, everything works offline. The default deck is around 560 KB and it doesn't need to fetch anything once you got it. Open it in a browser and then you can…
Dev tools · Jul 2026 · bento.page
A few days ago I found myself trying out GLM 5.2 and was really positively impressed. The capabilities and security I was getting from this LLM are similar to those I've gotten from models like Claude or GPT, and this really surprised me. But then I thought, "I wonder how it would work on a normal computer like mine," and above all, "I wonder if it would work without going into OOM on a computer like mine." So I started working with the help of agents to test this possibility. I started converting the model to int4, understanding MTP usage, and if possible implementing DSA for long context.…
AI · Jul 2026 · github.com
OpenSEO▲928Hello! For the last 2 months, I've been building OpenSEO. It's a user friendly UI wrapping the DataForSEO API which has high quality SEO data for keywords, backlinks, AI SEO and competitor research. Instead of paying $100+ per month, you buy DataForSEO credits and pay only for usage. The coolest thing about the project so far has been hearing about what people are building on top of it. People are using coding agents to quickly integrate with Google Search Console, Google Ads and building their own AI SEO and reporting features. Many were already building their own custom solutions around…
Dev tools · Jul 2026 · openseo.so