I'll link one of my favourite documentaries about the history of Dragon Quest from DATALOG. Excellent new-ish YT channel.
The COMPLETE History of DRAGON QUEST
YouTube video by DATALOG
www.youtube.com
May 27, 2026 at 10:32 AM
I'll link one of my favourite documentaries about the history of Dragon Quest from DATALOG. Excellent new-ish YT channel.
DATALOG is one I've started watching in the last couple of months and been steadily devouring their vids. They're deeper-than-usual dives into Japanese RPG history, very chill watches, and not too long for each episode.
The COMPLETE History of DRAGON QUEST
YouTube video by DATALOG
www.youtube.com
August 16, 2026 at 3:20 PM
DATALOG is one I've started watching in the last couple of months and been steadily devouring their vids. They're deeper-than-usual dives into Japanese RPG history, very chill watches, and not too long for each episode.
Yihao's ASPLOS '25 paper, "Optimizing Datalog for the GPU," is now up on the ACM DL! dl.acm.org/doi/10.1145/...
Optimizing Datalog for the GPU | Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1
dl.acm.org
February 7, 2025 at 4:33 PM
Yihao's ASPLOS '25 paper, "Optimizing Datalog for the GPU," is now up on the ACM DL! dl.acm.org/doi/10.1145/...
I dont know Tifa, check the datalog
October 24, 2025 at 8:04 AM
I dont know Tifa, check the datalog
Spent the evening making this poster about some of our recent work
May 14, 2025 at 7:56 AM
Spent the evening making this poster about some of our recent work
with all the buzz around harness engineering and self-driving codebases, i keep returning to this text:
petevilter.me/post/datalog...
petevilter.me/post/datalog...
Codebase as Database: Turning the IDE Inside Out with Datalog | Pete Vilter
Introspectable and extensible IDEs with logic programming
petevilter.me
March 1, 2026 at 8:37 PM
with all the buzz around harness engineering and self-driving codebases, i keep returning to this text:
petevilter.me/post/datalog...
petevilter.me/post/datalog...
Agent memory as a deductive database instead of a vector store. Lemmalog is a Rust Datalog engine with bi-temporal facts, provenance on every derivation, why() proof trees, and an MCP server. The README carries an honest status table of what actually shipped.
github.com/JordyZomer/l...
github.com/JordyZomer/l...
GitHub - JordyZomer/lemmalog: A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.
A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain. - JordyZomer/lemmalog
github.com
September 25, 2026 at 11:00 AM
Agent memory as a deductive database instead of a vector store. Lemmalog is a Rust Datalog engine with bi-temporal facts, provenance on every derivation, why() proof trees, and an MCP server. The README carries an honest status table of what actually shipped.
github.com/JordyZomer/l...
github.com/JordyZomer/l...
If you're curious: hazelsworld.neocities.org/datalog
May 27, 2026 at 12:24 AM
If you're curious: hazelsworld.neocities.org/datalog
Multi-Node Multi-GPU Datalog at ICS '25 sidharthkumar.io/publications...
May 17, 2025 at 1:38 AM
Multi-Node Multi-GPU Datalog at ICS '25 sidharthkumar.io/publications...
i posted a small post about using Datalog to export self-contained graph data, and drawing SVGs inconvergent.net/2023/datalog...
November 5, 2023 at 11:02 PM
i posted a small post about using Datalog to export self-contained graph data, and drawing SVGs inconvergent.net/2023/datalog...
Accepted at VLDB '25, "Datalog with First-Class Facts," we present a massively-parallel Datalog engine geared towards computing over tree-structured data. (github.com/harp-lab/slo...). We will post a preprint soon.
November 15, 2024 at 2:59 PM
Accepted at VLDB '25, "Datalog with First-Class Facts," we present a massively-parallel Datalog engine geared towards computing over tree-structured data. (github.com/harp-lab/slo...). We will post a preprint soon.
Congrats to Yihao Sun (@StarGazerMiao on X :-) on his AAAI '25 paper (his fourth paper this term!). We present our latest GPU Datalog engine, which beats a SOTA CPU-based system by up to 250x, and our previously-SOTA GPU Datalog (ASPLOS '25) by 2.5x. Code is here: github.com/harp-lab/fvlog
December 9, 2024 at 11:16 PM
Congrats to Yihao Sun (@StarGazerMiao on X :-) on his AAAI '25 paper (his fourth paper this term!). We present our latest GPU Datalog engine, which beats a SOTA CPU-based system by up to 250x, and our previously-SOTA GPU Datalog (ASPLOS '25) by 2.5x. Code is here: github.com/harp-lab/fvlog
Our new paper, “Datalog with First-Class Facts,” will appear at VLDB ‘25. We are very excited about this work, which harmonizes concepts from functional programming and databases.
Vol:18 No:3 → Datalog with First-Class Facts
👥 Authors: Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, Kristopher Micinski
📄 PDF: https://www.vldb.org/pvldb/vol18/p651-micinski.pdf
👥 Authors: Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, Kristopher Micinski
📄 PDF: https://www.vldb.org/pvldb/vol18/p651-micinski.pdf
April 3, 2025 at 4:26 PM
Our new paper, “Datalog with First-Class Facts,” will appear at VLDB ‘25. We are very excited about this work, which harmonizes concepts from functional programming and databases.
Now that I'm back from the woods, I'm trying Jev with my datalog engine to tag identifiers with whether they correspond to sensitive data (PII, secrets, etc), to use as part of taint tracing, and it's really promising so far.
This is the part of static analysis that always needed a human before
This is the part of static analysis that always needed a human before
September 22, 2026 at 7:01 PM
Now that I'm back from the woods, I'm trying Jev with my datalog engine to tag identifiers with whether they correspond to sensitive data (PII, secrets, etc), to use as part of taint tracing, and it's really promising so far.
This is the part of static analysis that always needed a human before
This is the part of static analysis that always needed a human before
The preprint of our ASPLOS '25 paper, "Optimizing Datalog for the GPU," is here: arxiv.org/pdf/2311.02206
arxiv.org
November 19, 2024 at 6:31 AM
The preprint of our ASPLOS '25 paper, "Optimizing Datalog for the GPU," is here: arxiv.org/pdf/2311.02206
If you're intent on building automation around this, the effort should probably go into automated reasoning: not an LLM, but rather something like a Datalog model.
Daunting challenge? Damn right it is
Daunting challenge? Damn right it is
September 8, 2026 at 5:14 AM
If you're intent on building automation around this, the effort should probably go into automated reasoning: not an LLM, but rather something like a Datalog model.
Daunting challenge? Damn right it is
Daunting challenge? Damn right it is
Yihao presents his work on column-oriented Datalog at AAAI ‘25 :D
February 27, 2025 at 8:11 PM
Yihao presents his work on column-oriented Datalog at AAAI ‘25 :D
The preprint of our VLDB '25 paper, "Datalog with First-Class Facts," is here: arxiv.org/pdf/2411.143...
arxiv.org
November 22, 2024 at 2:45 PM
The preprint of our VLDB '25 paper, "Datalog with First-Class Facts," is here: arxiv.org/pdf/2411.143...
[New Blog Post] Compositional Datalog on SQL: Relational Algebra of the Environment #datalog #database #sql www.philipzucker.com/compose_data...
Compositional Datalog on SQL: Relational Algebra of the Environment
I spent sone time making Datalogs that translated into SQL. https://www.philipzucker.com/tiny-sqlite-datalog/
www.philipzucker.com
August 26, 2025 at 4:19 AM
[New Blog Post] Compositional Datalog on SQL: Relational Algebra of the Environment #datalog #database #sql www.philipzucker.com/compose_data...
some time back i wrote a post about my graph "database" that i use for plotter art. it includes a Datalog-like query language inconvergent.net/2022/graph-d...
October 31, 2024 at 5:31 PM
some time back i wrote a post about my graph "database" that i use for plotter art. it includes a Datalog-like query language inconvergent.net/2022/graph-d...
hooked my datalog engine into the LSP too and now it renders statically computed supervision trees for the application by analyzing the compiled bytecode
July 18, 2026 at 12:04 AM
hooked my datalog engine into the LSP too and now it renders statically computed supervision trees for the application by analyzing the compiled bytecode
🫵😶
"The story [of] Crystalis is one about a team who was attempting to operate on multiple fronts. SNK thought their pedigree in the arcades would suit the RPG genre well, but things didn't quite work out according to their plan."
🎮 #nes 🕹️ #gamedev #promosky #art #love ⚔️
youtu.be/Sh9bMZCfqCg?...
"The story [of] Crystalis is one about a team who was attempting to operate on multiple fronts. SNK thought their pedigree in the arcades would suit the RPG genre well, but things didn't quite work out according to their plan."
🎮 #nes 🕹️ #gamedev #promosky #art #love ⚔️
youtu.be/Sh9bMZCfqCg?...
Crystalis: SNK’s Forgotten Answer to Zelda
YouTube video by DATALOG
youtu.be
September 26, 2026 at 11:24 PM