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
23300
posts in
680.4
ms
Proving Grounds Linux Box
Extplorer
( Road to
OSCP
)
infosecwriteups.com
·
23h
🏠
Homelab Pentesting
Ethereum Signature Schemes Explained: ECDSA, BLS,
XMSS
, and Post-Quantum
leanSig
with Rust Code Examples
blog.lambdaclass.com
·
1d
🔗
Hash Chains
Magic
Words
daverupert.com
·
2d
⚡
Proof Automation
When is a
bug
not a
bug
?
blog.zarfhome.com
·
14h
🧪
Binary Fuzzing
My Claude Code
workflow
invertedpassion.com
·
2d
⚡
Proof Automation
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
2d
⚡
Proof Automation
Document
Clustering
with LLM Embeddings in
Scikit-learn
machinelearningmastery.com
·
1d
🧮
Vector Embeddings
Microsoft researchers
crack
AI
guardrails
with a single prompt
techradar.com
·
23h
💾
Persistence Strategies
The End of CI/CD
Pipelines
: The
Dawn
of Agentic DevOps
hackernoon.com
·
1d
⚙️
Proof Engineering
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚖️
Verification Calculi
Wheeler
Bisimulations
arxiv.org
·
1d
🔍
Type Inference
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
5d
🤝
Consensus Protocols
How I Built My Project in
Haskell
dev.to
·
3d
·
Discuss:
DEV
🔗
Functional Compilers
Making
Waffles
with Group
Theory
hmpcabral.com
·
2d
·
Discuss:
Hacker News
🔄
Graph Rewriting
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
2d
·
Discuss:
Hacker News
🎯
Gradual Typing
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
1d
·
Discuss:
Hacker News
✅
Archive Fixity
Show HN: 0x – A language that
compiles
to React, Vue, and
Svelte
(80% less code)
0xlang.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
SubJS
: JavaScript
Runtime
for Agents. Let your agent do what it does best
emi0x7d1.dev
·
17h
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
1d
·
Discuss:
Hacker News
📋
Document Grammar
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
2d
·
Discuss:
Hacker News
📏
Code Metrics
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