frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Triplox, a distributed Datalog engine with incremental queries

https://github.com/fiV0/triplox
2•fiv0•1h ago
I have been working on a distributed Datalog engine à la Datomic on top of object storage. The system is called Triplox. I am using https://github.com/slatedb/slatedb at the storage layer. The main ideas are roughly the following (in no particular order):

- Object storage centric. In its final version Triplox should simply need a single (or likely two) S3 bucket(s) for deployment.

- The Datomic data model and API as main inspiration.

- A client/server architecture.

- Incremental Datalog queries. You can dynamically subscribe and unsubscribe from live Datalog queries. This is the most experimental part of Triplox and will need more effort to scale. Standard connectives (`and`, `or`, `not`) are already supported. You can find an intro here: https://triplox.xyz/incremental-queries/overview/.

The incremental query angle is likely the most interesting aspect for people considering such a solution. If you have an incremental Datalog problem or are working on sync engines, Triplox might be of interest.

Website: https://triplox.xyz/

Comments

panick21_•2m ago
Wow cool, commenting so I remember.

There was a team that did something like this, I saw a talk about it once. But I think they did in JS with Datomic in browser that somebody wrote. I might update this comment later with the relevant links.

But its really cool idea and I think very useful for some applications.

Show HN: Ardent, a code-first agent for non-engineering work

https://ardent.ai/
4•nkohari•24m ago•2 comments

Show HN: A searchable, timestamped index of 1,124 AI Engineer talks

https://aietalks.com/
8•strickvl•42m ago•1 comments

Show HN: Real-time AI news aggregator with daily digest

https://aibriefs.news
3•michelmi•46m ago•0 comments

Show HN: Instantly get the transcript from the agent that wrote any line of code

https://github.com/ctxrs/ctx/blob/main/README.md
4•luca-ctx•1h ago•1 comments

Show HN: Keydris - Check what an agent is allowed to do before it runs

https://keydris.com
3•ahmed89•1h ago•0 comments

Show HN: VT Code – My attempt at building a coding-agent harness

https://github.com/vinhnx/VTCode
3•vinhnx•1h ago•1 comments

Show HN: A benchmark for flight search intent

https://fjmatrix.github.io/flight-search-intent-eval/
3•rabbit_1•1h ago•0 comments

Show HN: Triplox, a distributed Datalog engine with incremental queries

https://github.com/fiV0/triplox
2•fiv0•1h ago•1 comments

Show HN: Royalty free UI avatars for Figma/React

https://radianui.com/resources/avatar
3•Ashmit72•1h ago•0 comments

Show HN: The cheapest GPU cloud – H100s at $2.04/HR, H200s at $3/HR

https://compute.cheap/
40•EmiCorleone•12h ago•16 comments

Show HN: I made text selection on macOS programmable

https://github.com/ganeshmshetty/openclip
4•ganeshmshetty•3h ago•3 comments

Show HN: I built my first MCP to manage Google Ads

https://adchestra.com/
8•MichalKrk•3h ago•9 comments

Show HN: Oconee Runtime – Policy enforcement for browser AI and coding agents

https://www.oconeeruntime.com/news/policy-enforcement-for-browser-ai-and-coding-agents
2•hthomas4•3h ago•0 comments

Show HN: Play Hide and Seek vs. a Self-Improving Agent Using WebMCP

https://lightcone-webmcp.netlify.app/
6•bearfjellstad•4h ago•0 comments

Show HN: HN Match Maker – Matching "Who Wants to Be Hired?" With "Who's Hiring?"

https://hnmatchmaker.com/
112•all2•1d ago•45 comments

Show HN: OwnTime – a chess clock for your day's priorities

https://owntime.app/
90•fmos•1d ago•51 comments

Show HN: asciiQuake

https://asciiquake.wtf/
12•apresmoi•1d ago•6 comments

Show HN: Weedout – Safari extension that hides YouTube AI-labeled videos

https://masteranza.github.io/weedout/
179•masteranza•1d ago•81 comments

Show HN: Open source ML programming language playground

https://sw-ml-study.github.io/sw-mlpl/
9•softwarewright•17h ago•0 comments

Show HN: Running 104GB Qwen3.8-Flash-Next on 48GB Mac with at ~12 tok/s

https://github.com/carloslfu/slotstream
227•carloslfu•1d ago•114 comments

Show HN: Skatanica – Browse and share skate clips by location

https://skatanica.com/runs
13•ralusek•22h ago•3 comments

Show HN: Kekoso – On-device dictation and transcription for macOS

https://kekoso.app/
8•a_chmerev•22h ago•3 comments

Show HN: I Have Been Clawed – Index of coding agent incidents

https://ihavebeenclawed.com/
22•nezhar•1d ago•5 comments

Show HN: Laser Graffiti

https://laser.consti.de
252•con•5d ago•61 comments

Show HN: Aura – a Rust agent that investigates and fixes production incidents

https://github.com/mezmo/aura
21•jvogt•23h ago•3 comments

Show HN: Claude and ChatGPT need a datacenter. This runs on my phone

https://llmobi.pages.dev
18•12ziyad•1d ago•5 comments

Show HN: Convert Anything to Markdown

https://anyto.md/
7•vlucas•1d ago•0 comments

Show HN: FrontierHarness Eval – 9 harness, same model, cost per pass varies 17x

https://frontierharness.org
76•shiqimei•23h ago•55 comments

Show HN: Redactle LLM Leaderboard

https://redactle.net/llm-leaderboard
5•pampas•15h ago•1 comments

Show HN: Newton's Orchard – Browser-based space/gravity playground

https://newtonsorchard.app
28•andrewchilds•1d ago•3 comments