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 Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23302
posts in
206.6
ms
DCP-o-matic
• Re: Feature Request for
Verifier
dcpomatic.com
·
16h
✅
Document Verification
Generative
Type
experiments
brendandawes.com
·
2d
✨
Effect Handlers
Microsoft
boffins
figured
out how to break LLM safety guardrails with one simple prompt
theregister.com
·
1d
🧪
Protocol Fuzzing
Deploying
Rust to production
checklist
kerkour.com
·
11h
·
Discuss:
Hacker News
🦀
Rust Borrowing
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
4d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
3d
·
Discuss:
DEV
👑
Isabelle
Infrastructure as Code in
Practice
: What It
Solves
— and What It Doesn’t
hackernoon.com
·
1d
🧱
Immutable Infrastructure
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
a free-to-use data
modeler/generator
for any database
synthforge.io
·
1d
·
Discuss:
Hacker News
🔄
Schema Evolution
Design
Patterns
Catalogue
catalogue.projectsbyif.com
·
2d
·
Discuss:
Hacker News
📱
QR Archaeology
DSA
Interview Questions: What Really Gets Asked (and How to
Prepare
Smart)
dsa-interview-questions.pages.dev
·
1d
·
Discuss:
Hacker News
🎯
Threat Hunting
AI-Driven
SRE
Tools.
Please
stop.
yesthatblog.com
·
4h
·
Discuss:
Hacker News
🐛
Fuzzing
SecretSpec
0.7:
Declarative
Secret Generation
devenv.sh
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/NixOS
,
r/programming
🦠
Parasitic Archives
SubJS
: JavaScript
Runtime
for Agents. Let your agent do what it does best
emi0x7d1.dev
·
17h
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
Using Claude Code as a general agent
raahelbaig.com
·
2d
·
Discuss:
Hacker News
👑
Isabelle
Code has _
always
_ been the easy part
laughingmeme.org
·
2d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Stack
Overflow
for AI Coding Agents
shareful.ai
·
2d
·
Discuss:
Hacker News
,
Hacker News
🔗
Constraint Handling
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
I Let AI Agents Train Their Own Models. Here's What Actually
Happened
.
hamzamostafa.com
·
2d
·
Discuss:
Hacker News
🔲
Cellular Automata
Loading...
Loading more...
« Page 9
•
Page 11 »
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