Datalog's been on my reading list for a while thanks to systems like datomic and @joe_hellerstein's line of work on CALM/BLOOM/etc, and kubernetes OPA. Also learned that rust's borrow-checker has a simple Datalog formulation ( https://t.co/fagJtfzaoX), which was one of Yihan's

Up first tonight we have Yihao Sun talking about Journey to GPU Datalog!

wild futuristic technology from @sync_conf 2025 - query-driven replication datalog local-first database in Rust????? THEY GOT ALL MY FAVORITE WORDS!!!! low key i wanna rebuild notion around this

Wondering about the game's mechanics in detail? Look no further than the datalog - it explains weapons, upgrades, and more. #ASTRONAUTILUS #indiedev

To our clients, partners & the #Treasury ecosystem: thank you for your trust. In 2025, we anticipated change, co-designing with users to empower better decisions. In 2026: faster SaaS transformation, smarter AI automation & global growth. Let’s make it exceptional. #FinTech #SaaS

As 2025 wraps up, the Datalog Finance team thanks the #Finance & #Treasury community. Security & compliance (#AI, #VoP, ISO 20022), deeper expertise with v5.2, and flexible SaaS/On-Prem, always with UX first. Onward to 2026 🚀

deductive database programming language built on Datalog, handles data from multiple sources

CS software datalog thrash time. Few laps in and my adrenaline is absolutely CRANKIN'. Shaky as hell. 😂 Swapping the M4 LCI CS trans fw for M2 CS was a mistake - way too cautious on mid-yaw shifts. Some take a full second. 😬

Bittensor SN123 MANTIS Update @Barbarian7676 keeps refining the ultimate signal machine. Starting tomorrow, inactive hotkeys (offline >72h) will be pruned from the DataLog, no more ghosts clogging the network. ⚡ Top miners can re-register without losing their embeddings

Coming back to Yihao's talk, most of it unfortunately went over my head, but he did claim to beat all modern datalog engines (souffle etc) on a few benchmarks (polonius and DOOP) by using GPU tricks. Somewhat surprising to me, as my intuition says that GPUs would only work on

DATALOG OVERVIEW Your cloud setup’s running fine, then sudden spikes, slowdowns, weird errors popping up everywhere. It happens all the time. That’s when @datadoghq shows up, pretty much like the go-to sidekick for engineering teams who need to see what’s really going on.

For those who don't know Datalog, my current understanding is that it sits somewhere in between SQL and Prolog. Yihao mentioned that with recursive CTEs ( https://t.co/bh6n7dmkR8), SQL is almost equivalent to Datalog, except for the fact that Datalog allows for mutually recursive

Datalog Finance will be at AFTE Annual Days (booth 44) tomorrow & Friday at CNIT La Défense. Discuss VoP and AI-powered TMS. Book a meeting >> https://t.co/sHxFS7ZfhY #JAFTE2025 #TreasuryManagementSystem #fintech

@HanchungLee @sarahcat21 then someone will realize datalog/prolog/middleoutdog maybe also worth checking out after seeing Spec_Final_Draft7_Golden.md lol

🌍 SaaS and Corporate Treasury: #WhitePaper > #SaaS is part of your current or future strategy❓ > You are curious about SaaS, IaaS & co❓ > You are considering a transformation to SaaS but not sure where to start❓ > You want to discover the ROI of a migration ❓

i want a decent graph database (or something adjacent, like datalog) to use for a personal knowledge base. should be fast, should support backward chaining & complex nested predicates without too much extra work. anyone have recommendations?

So the following recursive datalog horn rules are not reproducible in SQL: reachable(X, Y) :- edge(X, Y). reachable(X, Y) :- reachable(X, Z), path(Z, Y). path(X, Y) :- edge(X, Y). path(X, Y) :- path(X, Z), reachable(Z, Y).

A remake where they actually integrated more of the datalog info into the story and made Etro a more apparent linking into 13-2 more seamlessly, and my personal wish is more fang and Vanille development. Even though I have all these gripes, I'm hopelessly in love with the trilogy

i really wanna figure out how to merge e-graph, datalog , prolog with TSP, MILP and other solvers fr