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
81145
posts in
1.14
s
Exposing
Weaknesses
of Large Reasoning Models through Graph Algorithm Problems
arxiv.org
·
7h
🌐
Distributed Systems
How to Design LLM
Applications
for Production: A System Design Guide
dev.to
·
6h
·
Discuss:
DEV
⚙
Programming Language Design
ValkDB/postgresparser
: ANTLR-based PostgreSQL query parser for Go. Extracts tables, columns, joins, CTEs, parameters, DDL actions, and full column-usage metadata from SQL into a structured IR.
github.com
·
3h
·
Discuss:
r/golang
⚙
Programming Language Design
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
7h
⚙
Programming Language Design
Differential
Logic
• 4
inquiryintoinquiry.com
·
23h
🧩
Logic
From
Chunks
to
Connections
: The Case for Graph RAG
pub.towardsai.net
·
13h
🦀
Rust
A
Proof
of P =
NP
dev.to
·
11h
·
Discuss:
DEV
🌐
Distributed Systems
AI-augmented
data quality engineering
infoworld.com
·
2h
💎
Materialized Views
Early History of a Perfect Join
Algorithm
remy.wang
·
1d
🌐
Distributed Systems
The Return of
Algol
68
jxself.org
·
15h
⚙
Programming Language Design
freedesktop.org
data-server standard; what to do?
freedesktop.org
·
3h
·
Discuss:
r/linux
🗄
databases
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚙
Programming Language Design
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
22h
·
Discuss:
Hacker News
🔨
Compilers
Main
Content ||
Math
∩ Programming
jeremykun.com
·
13h
⚙
Programming Language Design
*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological
Invariants
in High‑Dimensional Random
Simplicial
Complexes*
freederia.com
·
2d
🌐
Distributed Systems
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
1h
·
Discuss:
Hacker News
⚙
Programming Language Design
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
40m
🔨
Compilers
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
·
2d
🦀
Rust
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
1d
·
Discuss:
r/golang
💾
Database Systems
Event-Flo
: AI-Powered Event
Planning
event-flo.vercel.app
·
4h
·
Discuss:
DEV
⚙
Programming Language Design
Loading...
Loading more...
Page 2 »
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