🧩 Datalog

Logic Programming, Query Languages, Recursive Queries, Program Analysis

Feeds to Scour
SubscribedAll
Scoured 2565 posts in 102.1 ms
Railway Oriented Programming
fsharpforfunandprofit.com·17h·
Discuss: Hacker News
💻Programming
The control layer for AI
blog.dottxt.ai·8h·
Discuss: Hacker News
🤖AI Codegen
stdlib v7.2
erlang.org·19h·
Discuss: Hacker News
🐘PostgreSQL
The Engineering Discipline That Made AI Actually Useful
multigres.com·2d·
Discuss: Hacker News
🤖AI Codegen
ahead-of-time wasm gc in wastrel
wingolog.org·16h·
Discuss: Lobsters, Hacker News
🌐WebAssembly
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🤖AI Codegen
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
🔬AI
Automatic Programming Returns
cyber-omelette.com·6h·
Discuss: Hacker News
🔬AI
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
⚡Systems Programming
Waterloo Style
theprogrammersparadox.blogspot.com·14h·
Discuss: Hacker News
⚡Systems Programming
Get me out of data hell
ludic.mataroa.blog·1d·
Discuss: Hacker News
💻Programming
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·2d·
Discuss: Hacker News
🔬AI
codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com·18h·
Discuss: Hacker News
🌐WebAssembly
Turning Coding Tasks into Feedback Loops
feipeng.substack.com·1d·
Discuss: Substack
🤖AI Codegen
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
link.springer.com·12h·
Discuss: Hacker News
🔬AI
Continual learning and the post monolith AI era
baseten.co·10h·
Discuss: Hacker News
🤖AI Codegen
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·15h·
Discuss: Hacker News
💻Programming
I Am Not a Functional Programmer
blog.daniel-beskin.com·2d·
Discuss: Hacker News, r/programming
💻Programming
The Rise of Spec Driven Development
dbreunig.com·16h·
Discuss: Hacker News
🤖AI Codegen
LLMs could be, but shouldn't be compilers
alperenkeles.com·18h·
Discuss: Hacker News
🤖AI Codegen

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