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
24210
posts in
918.0
ms
Magic
Words
daverupert.com
·
1d
⚡
Proof Automation
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
2d
⚡
Proof Automation
Writing a new worker task for
Debusine
(by Carles Pina i
Estany
)
freexian.com
·
1d
🦀
Rust Macros
Grumpy
Julio
plays with CLI coding agents
blogsystem5.substack.com
·
1d
·
Discuss:
Substack
⚡
Proof Automation
Matchlock
: Linux-based
sandboxing
for AI agents
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Inside the
OWASP
Agentic AI Top 10:
Exploitation
and Architecture in Autonomous Systems
infosecwriteups.com
·
13h
🔒
WASM Capabilities
Quordle
hints and
answers
for Wednesday, February 11 (game #1479)
techradar.com
·
17h
🎯
Interactive Provers
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
4d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Introducing
ThinkLang
: A Programming Language Where AI Is a First-Class
Citizen
dev.to
·
2d
·
Discuss:
DEV
⚡
Proof Automation
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚖️
Verification Calculi
Wheeler
Bisimulations
arxiv.org
·
1d
🔍
Type Inference
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
1d
⚡
Hardware Transactional Memory
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
3d
📝
Concrete Syntax
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
1d
·
Discuss:
Hacker News
✅
Archive Fixity
a free-to-use data
modeler/generator
for any database
synthforge.io
·
19h
·
Discuss:
Hacker News
🔄
Schema Evolution
A live view of
OpenClaw
instances
brought to you by the STRIKE Research Team
declawed.io
·
1d
·
Discuss:
Hacker News
🎯
Threat Hunting
File based project management for AI agents
markdownprojects.com
·
1d
·
Discuss:
Hacker News
🤖
Archive Automation
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
💻
Programming languages
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
1d
·
Discuss:
Hacker News
📋
Document Grammar
Loading...
Loading more...
« Page 4
•
Page 6 »
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