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
🗃️ Query Compilation
SQL Optimization, Code Generation, Database Engines, Vectorization
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82984
posts in
670.5
ms
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
1d
🔒
Rust Borrowing
jnidzwetzki/pg-dev-container
: Visual Studio Code - Development Container - PostgreSQL
github.com
·
1d
·
Discuss:
Hacker News
📋
Tablegen
Why RAG Failed Us for
SRE
and How We Built Dynamic Memory
Retrieval
Instead
drdroid.io
·
22h
·
Discuss:
Hacker News
🧠
Memory Ordering
Streamlining
Production Databases: A Python-Driven Open Source Solution for Clearing
Clutter
dev.to
·
2d
·
Discuss:
DEV
🗄️
Database Engines
Overview
datomic.com
·
1d
🎓
Educational Databases
One Size Does NOT Fit All: On the Importance of Physical
Representations
for
Datalog
Evaluation
arxiv.org
·
1d
📊
Datalog Engines
(50)
Set-Roster
vs Set-Builder
notation
youtube.com
·
6h
🎭
Racket
Does "AI-Ready Data"
simply
mean "Good Data
Modeling
"?
motherduck.com
·
1d
🌳
Pattern Match Compilation
Mastering
Query
Optimization in Enterprise Python Applications
dev.to
·
3d
·
Discuss:
DEV
📈
Query Optimization
annotate
–> preview –> code generation
intentify.dev
·
1d
·
Discuss:
Hacker News
⚡
Live Coding
Simple
vanilla
restaurant
booking
system
vanillife.substack.com
·
3d
·
Discuss:
Substack
⚙️
Configuration Parsing
How to
effectively
write
quality code with AI
heidenstedt.org
·
17h
·
Discuss:
Hacker News
🎭
Program Synthesis
Learning
Zig
and writing an
editor
, just for fun
noahwbaldwin.me
·
9h
·
Discuss:
r/Zig
📝
Text Editors
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
20h
·
Discuss:
Hacker News
🚂
Error Monads
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
12h
·
Discuss:
Hacker News
,
Hacker News
📚
Stack Allocation
Next Generation
DB
Ingestion
at Pinterest
medium.com
·
1d
📮
Message Queues
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
1d
·
Discuss:
Hacker News
⚡
Tokenizer Optimization
Semantic
Operators
: Run LLM
Queries
Directly in SQL
tacnode.io
·
4d
·
Discuss:
Hacker News
📋
Souffle Datalog
sysmaya/SQLite-web-Editor
:
SQLite
web editor 100% Javascript client-side
github.com
·
20h
·
Discuss:
r/javascript
⚡
Incremental Parsing
Loading...
Loading more...
« Page 2
•
Page 4 »
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