DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
FlowLog - Efficient and Extensible Datalog | FlowLog
FlowLog: Efficient and Extensible Datalog via Incrementality
Datalog
Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. Datalog has been applied to problems in data integration, networking, program analysis, and more.
vlpds/README.md at main · jazware/vlpds
Very Large PDS, a world-scale, incredibly efficient, incredibly resilient, atproto personal data server - jazware/vlpds
I accidentally turned LLM memory into program analysis :: pwning.systems
Why I stopped trying to give LLM agents a better memory and instead built Lemmalog, a Datalog engine that maintains an agent's knowledge as analysis state, with provenance, retractions and incremental evaluation, plus what happened when I benchmarked it on LongMemEval and LoCoMo.
Varv: Reprogrammable Interactive Software as a Declarative Data Structure
This summary was generated using automated tools and was not authored or reviewed by the article's author(s). It is provided to support discovery, help readers assess relevance, and assist readers from adjacent research areas in understanding the work. It is intended to complement the author-supplied abstract, which remains the primary summary of the paper. The full article remains the authoritative version of record. Click here to learn more.
Software Is Made Between Commits
From the Zed Blog: Agents turned the conversation into the real source of our software. DeltaDB is the version control built for it.
Coding sessions in Linear – Changelog
Linear changelog - New updates and improvements to Linear.
Universal Virtual Computer
The specification of an hypothetical computer designed to decode and preserve some form of computation over time.
Devlog ⚡ Zig Programming Language
This page contains a curated list of recent changes to main branch Zig.
Adversarial Spaces - Pardy Time DevLog
Thinking about how records move through space
The Topos of Programming | Yon
A topos-oriented programming language. Native via MLIR and LLVM, with a content-addressed heap on the Leech lattice.
Kyle Mathews on Twitter / X
D2TS enables really powerful streaming joins, aggregations, etc. and will be powering a lot of Electric features in the future!This is an early preview but very cool tech. First Typescript implementation of Differential Dataflow afaik. https://t.co/i4qSJnVZWV— Kyle Mathews (@kylemathews) February 28, 2025
Semantics-Driven Development (SDD): A brief introduction
A method for building software: agree on the meaning first, write it as mathematics, and prove that the code obeys it.
Query logs and traces with SQL in Observability Analytics | Google Cloud Blog
Observability Analytics, formerly Log Analytics, lets you query logs and traces with SQL, and manage buckets programmatically with its API.
