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
✅ Formal Verification
formal verification, TLA+, model checking, theorem proving, Coq
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
171741
posts in
25.8
ms
Formal
Verification
Best Practices
semiwiki.com
·
2d
🖥️
Systems Programming
Can LLMs Reason Like Automated Theorem
Provers
for Rust Verification?
VCoT-Bench
: Evaluating via Verification Chain of Thought
arxiv.org
·
12h
🦀
Rust
Formal verification of tree-based machine learning models for
lateral
spreading
arxiv.org
·
1d
🌍
Spanner
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
1d
🕸️
Distributed Systems
Specification-Driven
Development: The Four
Pillars
dev.to
·
1d
·
Discuss:
DEV
🕸️
Distributed Systems
Linear
algebra
knowledge review, with
proofs
(2)
quinns.bearblog.dev
·
10h
🕸️
Distributed Systems
Proof
powerlineblog.com
·
4h
🌍
Spanner
LongCat-Flash-Prover
: A new frontier for Open-Source Formal Reasoning.
huggingface.co
·
1h
·
Discuss:
r/LocalLLaMA
🌍
Spanner
kingbootoshi/tla-precheck
: Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
github.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
familial
2-monad
in
nLab
ncatlab.org
·
4h
🦀
Rust
Generative Specification: A
Pragmatic
Programming Paradigm for the
Stateless
Reader
zenodo.org
·
1d
·
Discuss:
DEV
🕸️
Distributed Systems
Exploring
Descartes
’ Rule of Signs
themathdoctors.org
·
4h
🕸️
Distributed Systems
Android developer verification:
Balancing
openness
and choice with safety
android-developers.googleblog.com
·
1d
·
Discuss:
android-developers.googleblog.com
,
Lobsters
,
Hacker News
,
r/Piracy
☁️
Cloud Infrastructure
From
Logical
Verification to Structural
Ontology
:
medium.com
·
19h
🕸️
Distributed Systems
Alpha-Guardian/Engram
: An offline Tiny Expert for edge constraints:
audited
ESP32-C3 board proof, benchmark capability, and forensic trust evidence.
github.com
·
1d
·
Discuss:
Hacker News
🔌
Embedded Systems
Probability theory
revisit
, and
proofs
quinns.bearblog.dev
·
2d
🕸️
Distributed Systems
Modeling Token Buckets in
PlusCal
and
TLA
+
muratbuffalo.blogspot.com
·
4d
·
Discuss:
Lobsters
,
Blogger
🕸️
Distributed Systems
Toward an MCP
Observability
Specification
dev.to
·
1d
·
Discuss:
DEV
📊
Observability
In search of
falsehood
– using
Opus
4.6 to prove False
tristan.st
·
1d
·
Discuss:
Hacker News
🕸️
Distributed Systems
When a Small Language Model Beat Our LLM in Production —
Avni
Bhatt
at AI Engineer Melbourne 2026
webdirections.org
·
17h
📈
Performance Engineering
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