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
✓ Formal Verification
Proof Assistants, Coq, Model Checking, Theorem Proving
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81134
posts in
1.36
s
A
Proof
of P =
NP
dev.to
·
7h
·
Discuss:
DEV
📊
Algorithms
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
🧩
Constraint Programming
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
2d
🌐
Distributed Systems
Differential
Logic
• 4
inquiryintoinquiry.com
·
18h
🔍
Type Inference
Main
Content ||
Math
∩ Programming
jeremykun.com
·
9h
📊
Algorithms
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
20h
·
Discuss:
DEV
🦙
Ollama
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
🌳
Tree-sitter
Mastering
Authentication
in MCP: An AI Engineer’s Comprehensive Guide
pub.towardsai.net
·
1h
🐛
Fuzzing
I’m experimenting with a
stricter
way to handle AI answers that might not be
justified
.
layal-production.up.railway.app
·
14h
·
Discuss:
r/SideProject
🦙
Ollama
Cascading
Robustness Verification: Toward Efficient
Model-Agnostic
Certification
arxiv.org
·
4d
🌐
Distributed Systems
The Gap Analysis Protocol: Engineering the “
Consultant-in-the-Loop
”
pub.towardsai.net
·
1d
🔄
Systems Thinking
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
9h
·
Discuss:
Hacker News
🦀
Rust Macros
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
20h
·
Discuss:
Hacker News
📊
Algorithms
AI
Workflows
chatprd.ai
·
14h
🤖
Automation
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
4d
🔬
Static Analysis
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
1d
·
Discuss:
Hacker News
🌐
Distributed Systems
The Future of Software Engineering
poberezkin.com
·
12h
·
Discuss:
Hacker News
🏗️
MLIR
ERC-8004
: A
Trustless
Agent Standard for On-Chain AI in Avalanche C-Chain
medium.com
·
1d
🌐
Distributed Systems
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
2d
·
Discuss:
Hacker News
🧩
Constraint Programming
**Abstract:** This paper proposes a novel framework for quantifying the inherent logical
incompleteness
present in
Gödelian
systems by dynamically mapping ax...
freederia.com
·
2d
🧩
Constraint Programming
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