Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📊 Datalog
Logic Programming, Query Languages, Graph Algorithms, Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74006
posts in
484.4
ms
One Size Does NOT Fit All: On the Importance of Physical
Representations
for
Datalog
Evaluation
arxiv.org
·
4d
🔍
Datalog Engines
On the Expressive Power of
GNNs
for Boolean
Satisfiability
arxiv.org
·
13h
🧮
SMT Solvers
Uncovering
Hidden
Informations
whiteravendev.itch.io
·
1d
🔍
Reverse Engineering
Naughty
is
Nice
!
yamlscript.org
·
3d
🔨
Compiler Design
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
2d
⚖️
Y-Fast Tries
🔗
Processing
11 million
rows
in minutes instead of hours
yellowduck.be
·
2d
📊
Vectorized Query Execution
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
2d
·
Discuss:
Hacker News
🐛
Fuzzing
Excel
Forever - by Marc
Rubinstein
netinterest.co
·
2d
💰
TigerBeetle
LISP
:
Symbolic
Architecture and the Evolution of Agentic Systems
notebooklm.google.com
·
4d
🔄
Concurrency Models
Querying
Dataverse
Using AI Builder’s Grounded Prompts
dev.to
·
1d
·
Discuss:
DEV
🎨
ART Trees
Scaling AI Agents: Mastering
Elasticity
, State, and
Throughput
with C#
dev.to
·
22h
·
Discuss:
DEV
⚡
Seastar
Why “Context Lake”
Matters
For
Agentic
AI
forrester.com
·
1d
🌀
Naiad
A
practical
guide to information
architecture
(2nd edition)
maadmob.com.au
·
2d
🏗️
Information Architecture
Building a Dynamic
Multilanguage
System Without
Rebuilds
kuldeepmodi.vercel.app
·
2d
·
Discuss:
DEV
🍱
Nom
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
λ
Functional Programming
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
hanig/engram
: Personal knowledge graph and automation system
github.com
·
2d
🗂️
Obsidian
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
🤖
Automation
The Gap Analysis Protocol: Engineering the “
Consultant-in-the-Loop
”
pub.towardsai.net
·
2d
💬
Prompt Engineering
LLMs Are Prediction
Machines
kaelandt.github.io
·
1d
·
Discuss:
Hacker News
💬
Prompt Engineering
Loading...
Loading more...
« Page 9
•
Page 11 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help