Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Formal Methods
📋 Formal Methods
formal verification, proof assistants, TLA+, model checking
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
42
posts in
14.9
ms
📐
Language Design
arXiv
·
6d
6 days ago
Process-Verified
Reinforcement
Learning
for
Theorem
Proving via Lean
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Process-Verified Reinforcement Learning for Theorem Proving via Lean
📐
Language Design
galois.com
·
7h
7 hours ago
Formal
Verification
Benchmarks Are the Key to Ironclad Software Infrastructure
Covers
2 stories
See all stories this covers
including
Arc AGI 2025
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formal Verification Benchmarks Are the Key to Ironclad Software Infrastructure
🔌
Embedded Systems
Sylvain Kerkour
·
2d
2 days ago
Announcing the
CoQ
protocol: Control over QUIC
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Announcing the CoQ protocol: Control over QUIC
📊
Data Structures
medium.com
·
16h
16 hours ago
Both the shortest available
proof
and the most structurally elegant
proof
at equal depth
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Both the shortest available proof and the most structurally elegant proof at equal depth
🔌
Embedded Systems
ELISA
·
1d
1 day ago
Recap –
Modernizing
Software
Verification
– Craig Christianson, United States Air Force
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Recap – Modernizing Software Verification – Craig Christianson, United States Air Force
🏀
NBA
WWD
·
6d
6 days ago
EXCLUSIVE:
Le
Coq
Sportif Marks Maradona Milestone With Capsule as It Kicks Off New Era
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for EXCLUSIVE: Le Coq Sportif Marks Maradona Milestone With Capsule as It Kicks Off New Era
📐
Language Design
Konrad Hinsen's blog
·
20h
20 hours ago
Cultures of making and relating
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Cultures of making and relating
🦀
Rust
Simons Foundation
·
2d
2 days ago
From Trust to
Verification
:
Lean
’s Impact on Mathematics
Covers
Lean: Programming Language and Theorem Prover
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for From Trust to Verification: Lean’s Impact on Mathematics
💰
US Economy
fark.com
·
3d
3 days ago
France sizzles in a week of punishing heat that is already causing deaths, with some reports stating that it's so hot you could braise a
Coq
a Vin with lardons ...
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for France sizzles in a week of punishing heat that is already causing deaths, with some reports stating that it's so hot you could braise a Coq a Vin with lardons ...
🍎
Apple
tlaplus-process-studio.com
·
4d
4 days ago
Show HN:
TLA
+ Process Studio
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Show HN: TLA+ Process Studio
🤖
LLM
stunning-naiad-817d91.netlify.app
·
2d
2 days ago
AI and Math State of the Art
Covers
9 stories
See all stories this covers
including
An OpenAI model has disproved a central conjecture in discrete geometry
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AI and Math State of the Art
🤖
LLM
IEEE Spectrum
·
7h
7 hours ago
What it Means to Be a Mathematician When AI Does the Math
Covers
6 stories
See all stories this covers
including
An OpenAI model has disproved a central conjecture in discrete geometry
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for What it Means to Be a Mathematician When AI Does the Math
⌨️
CLI Tools
Linuxiac
·
6d
6 days ago
IETF Standardizes HTTP QUERY as Proposed Standard
Covers
RFC proposed standard: HTTP Query Method
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for IETF Standardizes HTTP QUERY as Proposed Standard
🤖
LLM
chapterpal.com
·
1d
1 day ago
Sakana Fugu Technical Report
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Sakana Fugu Technical Report
🤖
LLM
Murat Demirbas
·
5d
5 days ago
Our Collective Bike Shed Moment
Discussed on
Blogger
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Our Collective Bike Shed Moment
🧮
Algorithms
dijkstrascry.com
·
1d
1 day ago
Edsger Dijkstra's Library (Housed and Archived in Leuven, Belgium)
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Edsger Dijkstra's Library (Housed and Archived in Leuven, Belgium)
🗄️
Database Internals
longevity.technology
·
6d
6 days ago
BPGbio advances potential first-ever treatment for primary CoQ10 deficiency
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for BPGbio advances potential first-ever treatment for primary CoQ10 deficiency
🧠
LLMs
arXiv
·
2d
2 days ago
Probabilistic
Model
Checking
via Families of Deterministic and Unambiguous Finite Automata
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata
Less-relevant results
📊
Statistics
Rapamycin Longevity News
·
1d
1 day ago
The Body Runs on a Battery — and Aging Is the Internal Resistance Climbing
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Body Runs on a Battery — and Aging Is the Internal Resistance Climbing
🤖
LLM
ulam.ai
·
5d
5 days ago
ErdosBench
Leaderboard
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ErdosBench Leaderboard
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report