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
🔮 Proof Search
Automated Reasoning, Tactic Languages, Resolution, Unification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23265
posts in
656.7
ms
SHIELD.md
: A Security Standard for
OpenClaw
and AI Agents
blog.securitybreak.io
·
2d
🛡️
CLI Security
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
2d
📏
Code Metrics
Fragments
: February 9
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
CReact
:
JSX
meta-execution engine v0.3.0
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
A Guide to building Advanced
RAGs
🏗️
dev.to
·
4d
·
Discuss:
DEV
⚙️
Build Archaeology
Let
Lambda
Come Over
yamlscript.org
·
4d
⬆️
Lambda Lifting
Reasoning
aligns
language models to human
cognition
arxiv.org
·
1d
🔗
Constraint Handling
Learning to
Self-Verify
Makes Language Models Better
Reasoners
arxiv.org
·
1d
🔍
Z3 Parsing
DSA
Interview Questions: What Really Gets Asked (and How to
Prepare
Smart)
dsa-interview-questions.pages.dev
·
2d
·
Discuss:
Hacker News
🎯
Threat Hunting
Learn
Weird
Programming
Languages
okienko.day
·
2d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Minions
:
Stripe
’s one-shot, end-to-end coding agents
stripe.dev
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
3d
·
Discuss:
Hacker News
⚡
Incremental Computation
Building the Future with AI That
Acts
devxt.com
·
3d
·
Discuss:
Hacker News
🏠
Homelab Orchestration
How We Give AI Agents Long-Term Memory Without
Blowing
the Budget
metaduck.com
·
2d
·
Discuss:
DEV
,
Hacker News
🗄️
Database Internals
We created
documents
for selling AI Agent
Skills
skly.ai
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
When Models Examine Themselves: Vocabulary-Activation
Correspondence
in
Self-Referential
Processing
zenodo.org
·
1d
·
Discuss:
Hacker News
💾
Floppy Imaging
Building AI for Lumber’s
Messiest
Paperwork
medium.com
·
1d
·
Discuss:
Hacker News
🤖
Archive Automation
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
Show HN:
Self-healing
data pipeline for F1
telemetry
(Python and Type Inference)
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🎯
Gradual Typing
Show HN: Applying
OAuth/RBAC
patterns to secure AI agents
macawsecurity.ai
·
2d
·
Discuss:
Hacker News
🔒
Language-based security
Loading...
Loading more...
« Page 10
•
Page 12 »
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