Logic Programming, Recursive Queries, Static Analysis, Souffle

Feeds to Scour
SubscribedAll
Scoured 77937 posts in 496.1 ms
Functional Logic Program Transformations
arxiv.org·1d
🏭Functional Compilers
Preview
Report Post
From logical reasoning to code in C and PHP
dev.to·18h·
Discuss: DEV
🧩Constraint Logic
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·13h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Gleam
Preview
Report Post
TLSQL: Table Learning Structured Query Language
arxiv.org·1d
📊Datalog Engines
Preview
Report Post
Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI
news.ycombinator.com·12h·
Discuss: Hacker News
📋Souffle Datalog
Preview
Report Post
Rainbow Query Language
rbql.org·1d
📊Query Optimizers
Preview
Report Post
Postmortem on TreeTracker Join: Simple, Optimal, Fast
zhu45.org·1d·
Discuss: Hacker News
🌳Tree Algorithms
Preview
Report Post
Datomic - Datomic at Clojure/Conj 2025
blog.datomic.com·1d
🌲Deforestation
Preview
Report Post
basejump-ai/basejump: Chat with your data. Reliably. A "batteries-included" approach to building your own AI application to talk with your database.
github.com·7h·
Discuss: r/opensource
🚂Cranelift Backend
Preview
Report Post
GNU C Language Manual
gnu.org·10h
🪄C Metaprogramming
Preview
Report Post
Databases are magic ... until ...
silvestreperret.com·20h·
Discuss: Hacker News
📈Query Optimization
Preview
Report Post
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·17h
🏗️Cranelift
Preview
Report Post
Implementing Dino from Scratch
logits.bearblog.dev·23h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
Filtering as domain logic
blog.ploeh.dk·2d·
Discuss: r/programming
🌸Bloom Filters
Preview
Report Post
Why not tail recursion?
futhark-lang.org·2d·
🔄Tail Recursion
Preview
Report Post
MCPToolbox for Databases: A Practical Guide to Bridging LLMs and Your Data
analyticsvidhya.com·20h
📋Souffle Datalog
Preview
Report Post
Building an Automated Data Pipeline
dev.to·14h·
Discuss: DEV
📋JSON Parsing
Preview
Report Post
On Learning Elixir
denvaar.dev·1d
🚂Error Propagation
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·1h
🧪Compiler Testing
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help