Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Formal Verification
✓ 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
69
posts in
12.9
ms
Human Judgment as a
Specification
🔬
Static Analysis
Content type:
Blog
blog.brownplt.org
·
2d
2 days ago
Actions for Human Judgment as a Specification
AWS Graviton5 available via M9g and M9gd instances
🔬
Static Analysis
techzine.eu
·
16h
16 hours ago
Actions for AWS Graviton5 available via M9g and M9gd instances
A
Proof
in
Coq
that Core Logic is not Paraconsistent
🔬
Static Analysis
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A Proof in Coq that Core Logic is not Paraconsistent
cryspen/hax: A Rust
verification
tool
🔬
Static Analysis
Content type:
Code
github.com
·
16h
16 hours ago
·
Lobsters
Actions for cryspen/hax: A Rust verification tool
The Orchard Bug and the Unfolding Cybersecurity Reckoning
🔬
Static Analysis
Content type:
News
Content type:
Blog
bengoertzel.substack.com
·
6d
6 days ago
·
Substack
Actions for The Orchard Bug and the Unfolding Cybersecurity Reckoning
Ask HN: What has been the fate of code review?
🔬
Static Analysis
Content type:
Discussion
news.ycombinator.com
·
1d
1 day ago
·
Hacker News
Actions for Ask HN: What has been the fate of code review?
A New Post Quantum Cryptography Standard (
Verification
, etc. Included)
🔬
Static Analysis
zenodo.org
·
1d
1 day ago
·
Hacker News
Actions for A New Post Quantum Cryptography Standard (Verification, etc. Included)
Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
📊
Information Theory
Content type:
Blog
quomodocumque.wordpress.com
·
6d
6 days ago
Actions for Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
Quanta Books Releases The
Proof
in the Code
🔬
Static Analysis
simonsfoundation.org
·
2d
2 days ago
Actions for Quanta Books Releases The Proof in the Code
Researchers discover hidden chip threats and a way to stop them
🔬
Static Analysis
techxplore.com
·
2d
2 days ago
Actions for Researchers discover hidden chip threats and a way to stop them
Introducing Jo — Secure Programming for the AI Era
🐍
Python
Content type:
Blog
jo-lang.org
·
6d
6 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law
🔬
Static Analysis
Content type:
Blog
amazon.science
·
1d
1 day ago
·
Hacker News
Actions for Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
🔬
Static Analysis
Content type:
Discussion
news.ycombinator.com
·
1d
1 day ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
TLA-Prover
: Verifiable
TLA
+
Specification
Synthesis via Preference-Optimized Low-Rank Adaptation
💬
LLMs
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
What is a test case, anyways?
🔬
Static Analysis
Content type:
News
devtips.stribny.name
·
6d
6 days ago
Actions for What is a test case, anyways?
Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
🔬
Static Analysis
Content type:
Blog
aws.amazon.com
·
1d
1 day ago
·
Hacker News
Actions for Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
The
Proof
in the Code
🔬
Static Analysis
quantabooks.org
·
1d
1 day ago
Actions for The Proof in the Code
bmc4j/bmc4j: Bounded
model
checking
for JVM tests, powered by JBMC -
prove
your Java or Kotlin code correct for every input, as easily as writing a JUnit test
🔬
Static Analysis
Content type:
Code
github.com
·
6d
6 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
When Claude changed, everything changed: Managing AI blast radius in production
🔬
Static Analysis
venturebeat.com
·
5d
5 days ago
Actions for When Claude changed, everything changed: Managing AI blast radius in production
NOVA microhypervisor brings AMD DMA isolation to shared AI infrastructure
💬
LLMs
helpnetsecurity.com
·
1d
1 day ago
Actions for NOVA microhypervisor brings AMD DMA isolation to shared AI infrastructure
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
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
Save / unsave
s
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