Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

First screen, captured 2 months ago.

Looks similar

Screenshot of github.com: Show HN: Komi-learn – continuous memory and self-improvement for coding agents

Show HN: Komi-learn – continuous memory and self-improvement for coding agents (github.com)

14 points by rainxchzed 4 months ago | 2 comments

Screenshot of github.com: Show HN: ZSE – Open-source LLM inference engine with 3.9s cold starts

Show HN: ZSE – Open-source LLM inference engine with 3.9s cold starts (github.com)

54 points by zyoralabs 8 months ago | 7 comments

Screenshot of github.com: Jank Lang Hit Alpha

Jank Lang Hit Alpha (github.com)

232 points by makemethrowaway 9 months ago | 33 comments

Screenshot of github.com: Running a 68060 CPU in Quadra 650

Running a 68060 CPU in Quadra 650 (github.com)

63 points by zdw 11 months ago | 37 comments

Screenshot of github.com: Lexbor – An open source HTML Renderer library

Lexbor – An open source HTML Renderer library (github.com)

224 points by bratao 2 years ago | 21 comments

Screenshot of github.com: Zep: Fast, scalable building blocks for production LLM apps

Zep: Fast, scalable building blocks for production LLM apps (github.com)

91 points by roseway4 3 years ago | 11 comments