Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📋 Datalog
Logic Programming, Recursive Queries, Static Analysis, Souffle
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
185124
posts in
9.1
ms
Mastering
SQL: A Guide to Joins and Window
Functions
dev.to
·
9h
·
Discuss:
DEV
📈
Query Optimization
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
21h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🪜
Recursive Descent
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
6h
·
Discuss:
Hacker News
🤐
Zipper Structures
Show HN:
Dbcli
– Database
CLI
Built for AI Agents
news.ycombinator.com
·
11h
·
Discuss:
Hacker News
📋
Tablegen
manifold/manifold-deps-parent/manifold-sql
at master
github.com
·
10h
·
Discuss:
Hacker News
🗃️
Query Compilation
Differential
Logic
• 15
inquiryintoinquiry.com
·
10h
🧩
Constraint Logic
Lytok
2.0: A New Way to Handle Data Structures in
JS/TS
dev.to
·
1h
·
Discuss:
DEV
🌈
Gradual Languages
Agentic
Engineering: Building Without
Writing
dehora.net
·
7h
💬
Interactive REPLs
Data Engineering for
Beginners
(
Wiley
)
i-programmer.info
·
12h
📋
Souffle Datalog
Programming
in K
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Grammar-Constrained (
CFL
) Reachability:
Subcubic
Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics
arxiv.org
·
23h
🔗
Lexical Scoping
From
19k
to 4.2M events/SEC: story of a SQLite query
optimisation
mnt.io
·
1d
·
Discuss:
Hacker News
📊
Memory Profilers
Beyond the
Basics
: 5 Game-Changing Secrets of SQL Joins and Window
Functions
datawithbaraa.com
·
21h
·
Discuss:
DEV
📈
Query Optimization
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
11h
📈
Monotonic Logic
Show HN:
Btrc
– I built a language with AI in a few weeknights that outputs
C11
github.com
·
10h
·
Discuss:
Hacker News
🧸
Toy Compilers
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🎯
Constraint Solving
From
Relational
Algebra
to Document Semantics
dl.acm.org
·
3d
·
Discuss:
DEV
📋
S-Expression
How to
efficiently
learn the
necessary
tools and methods _around_ programming itself?
en.wikipedia.org
·
9h
·
Discuss:
r/learnprogramming
📐
Mathematical Computing
Data Engineering for the LLM Age
kdnuggets.com
·
13h
📋
Souffle Datalog
Empirical
, a language for time-series analysis
empirical-soft.com
·
5h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
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