Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
28190
posts in
13.7
ms
How Claude Code
Automates
Software Development: A Deep-Dive Into AI-Powered Engineering
Workflows
buymeacoffee.com
·
9h
·
Discuss:
DEV
🌳
Incremental Parsing
danilocaffaro/ai-agent-team-guide
: Build your personal AI agent team in 30 minutes. Free
templates
+ workflows.
github.com
·
7h
·
Discuss:
Hacker News
⚔️
Lean Tactics
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
2h
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
Replacing Multi-Step Assembly of Data
Preparation
Pipelines with One-Step LLM Pipeline Generation for Table
QA
arxiv.org
·
1d
🌳
Context free grammars
Building
Production-Grade
RAG Systems for
Document
AI: What It Actually Takes
hackernoon.com
·
1d
📄
Document AI
Differential
Logic
• 12
inquiryintoinquiry.com
·
2d
⚙️
Proof Engineering
Deterministic
Programming
with LLMs
mcherm.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
Local
KTAE
and the
IDA
Pro plugin
kaspersky.com
·
1d
🏺
Kerberos Archaeology
Let’s stop
copying
C
eev.ee
·
1d
🔗
Concatenative Programming
Inside AWS Security Agent: A multi-agent architecture for
automated
penetration
testing
aws.amazon.com
·
1d
🕵️
Penetration Testing
Pytest
parameter
functions
nedbatchelder.com
·
1d
🎯
Automata theory
An
Introduction
to
Lean
4
uv.es
·
8h
⚔️
Lean Tactics
glittercowboy/taches-cc-resources
: A collection of my favorite custom Claude Code resources to make life easier.
github.com
·
17h
⚔️
Lean Tactics
Supercharge your AI agents: The New
ADK
Integrations
Ecosystem
developers.googleblog.com
·
1d
🔌
Interface Evolution
Reviewing
workshops
with AI
grahamdumpleton.me
·
17h
🤖
AI Curation
Qwen3.5-35B-A3B-GGUF
from
Unsloth
huggingface.co
·
1h
·
Discuss:
Hacker News
📝
ABNF Parsing
Mitigating
Legibility
Tax with Decoupled
Prover-Verifier
Games
arxiv.org
·
1d
🛡️
Proof-Carrying Data
Computer
Forensic
Tools
Comparison
2026
cybertriage.com
·
15h
🚨
Incident Response
Full Report: What Claude Code Actually
Chooses
amplifying.ai
·
17h
📏
Code Metrics
Beyond skills: a typed
DSL
for
executable
AI methods
mthds.ai
·
2d
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
Loading...
Loading more...
Page 2 »
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