» Tag
datalog
2 postsPlatypusDB: A Bitemporal, Agent-Native Database Built for WunderOS
PlatypusDB pairs a Gleam control plane with a Zig data plane in a bitemporal, Merkle-WAL-based database purpose-built for agentic memory in WunderOS.
My Reasoning Engine Proved 114 Is Prime: A Negation Bug Story
An open-source reasoning engine's negation bug proved that 114 is prime; a race condition in forward chaining and its fix via stratification are explained.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com