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
24268
posts in
951.5
ms
Generative
Type
experiments
brendandawes.com
·
1d
✨
Effect Handlers
DCP-o-matic
• Feature Request for
Verifier
dcpomatic.com
·
11h
🛡️
Archive Verification
On A
Lark
dothemath.ucsd.edu
·
14h
🏛️
Philosophy
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
1d
📏
Code Metrics
New
OpenClaw
AI agent found
unsafe
for use
kaspersky.com
·
14h
🔓
Hacking
Microsoft
boffins
figured
out how to break LLM safety guardrails with one simple prompt
theregister.com
·
1d
🧪
Protocol Fuzzing
Quordle
hints and
answers
for Wednesday, February 11 (game #1479)
techradar.com
·
14h
🎯
Interactive Provers
DCP-o-matic
• Re: Feature Request for
Verifier
dcpomatic.com
·
4h
✅
CDDL Validation
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
4d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Infrastructure as Code in
Practice
: What It
Solves
— and What It Doesn’t
hackernoon.com
·
22h
🧱
Immutable Infrastructure
Toward
Faithful
and Complete Answer Construction from a Single
Document
arxiv.org
·
2d
🎯
Dependent Parsing
System-Level Verification in the
Chiplet
Era: Where Integration Complexity Really
Emerges
dev.to
·
2h
·
Discuss:
DEV
🔧
Hardware Verification
Language
Modeling
and Understanding Through
Paraphrase
Generation and Detection
arxiv.org
·
1d
📝
Text Embeddings
Obsidian
Introduces
Obsidian
CLI
help.obsidian.md
·
13h
·
Discuss:
Hacker News
🛡️
CLI Security
a free-to-use data
modeler/generator
for any database
synthforge.io
·
17h
·
Discuss:
Hacker News
🔄
Schema Evolution
AI
Bookkeeping
Software for Small
Businesses
meetfyno.com
·
1h
·
Discuss:
Hacker News
🔗
Concatenative Programming
Design
Patterns
Catalogue
catalogue.projectsbyif.com
·
1d
·
Discuss:
Hacker News
📱
QR Archaeology
Agentic Coding Is
Draining
Your
Moat
slwip.com
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
SecretSpec
0.7:
Declarative
Secret Generation
devenv.sh
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/NixOS
,
r/programming
🦠
Parasitic Archives
A/B test
Webflow
websites on
autopilot
. Approve winners weekly
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌊
Streaming Systems
Loading...
Loading more...
« Page 7
•
Page 9 »
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