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
🧮 Theorem Provers
SMT Solvers, Z3, Automated Reasoning, Formal Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123611
posts in
1.53
s
Databases
joodaloop.com
·
1d
🎓
Educational Databases
Rewrote
my Node.js data generator in Rust. 20x faster, but the 15MB binary (vs 500MB node_
modules
) is the real win.
algomimic.com
·
1d
·
Discuss:
r/rust
📋
Tablegen
Langfuse
- Open Source LLM Engineering Platform
langfuse.com
·
1d
🎮
Language Ergonomics
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
1d
·
Discuss:
Hacker News
⚡
Performance
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
2d
🎨
Domain-Specific Languages
A
pattern
for safe
database
access with AI coding agents
docs.getpochi.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🏰
Capability Machines
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
2d
🪜
Recursive Descent
Let Your Agents
Instantly
Understand Any Git
Repo
instagit.com
·
2d
·
Discuss:
Hacker News
🔄
Incremental Parsers
2025
Q4
and 2026 Q1
Newsletter
odin-lang.org
·
1d
🔄
Forth Metacompiler
ZKBoost
: Zero-Knowledge Verifiable Training for
XGBoost
eprint.iacr.org
·
3d
🔗
Hash Functions
Vibe
Coding for Scientists
vibe-coding-101-iota.vercel.app
·
1d
🎭
Program Synthesis
AI
Workflows
chatprd.ai
·
3d
🎭
Program Synthesis
🥇Top AI
Papers
of the Week
nlp.elvissaravia.com
·
3d
🌱
Minimal ML
Monday AI
Radar
#12 by Against
Moloch
greaterwrong.com
·
1d
🏁
Language Benchmarks
An automated geometric space
curve
approach for designing dynamically
corrected
gates
nature.com
·
1d
⚡
Control Synthesis
The Role of
Supervised
Fine-Tuning
in AI
hackernoon.com
·
2d
🎭
Program Synthesis
**Machine‑Learning‑Assisted Formal Verification of
DAO
Treasury Smart Contracts: A Risk‑Aware Optimization Framework** — ### Abstract Decentralized
Aut
...
freederia.com
·
5d
🧩
SAT Solvers
supabase-community/copycat
: Generate deterministic fake values: The same input will always generate the same fake-output.
github.com
·
6h
🛡️
Parser Security
Stress-Testing Alignment
Audits
With Prompt-Level Strategic
Deception
lesswrong.com
·
1d
🎲
Parser Fuzzing
😸 What are the agent tools (
besides
OpenClaw
) you should actually use?
theneurondaily.com
·
12h
💬
Interactive REPLs
Loading...
Loading more...
« Page 11
•
Page 13 »
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