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
37
posts in
16.3
ms
🔌
Embedded Systems
Sylvain Kerkour
·
3d
3 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
📐
Language Design
galois.com
·
17h
17 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
📊
Data Structures
medium.com
·
1d
1 day 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
🕸️
Graph Algorithms
arXiv
·
3h
3 hours ago
Complementing Emerson-Lei Elevator Automata (Technical Report)
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 Complementing Emerson-Lei Elevator Automata (Technical Report)
🔌
Embedded Systems
ELISA
·
2d
2 days 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
💰
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 ...
🦀
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
🍎
Apple
tlaplus-process-studio.com
·
5d
5 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
📐
Language Design
Konrad Hinsen's blog
·
1d
1 day 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
🤖
LLM
IEEE Spectrum
·
18h
18 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
Discussed on
r/TrueReddit
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
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
Murat Demirbas
·
6d
6 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
🤖
LLM
chapterpal.com
·
2d
2 days 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
🗄️
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
🧮
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)
📐
Language Design
arXiv
·
3h
3 hours ago
Theory-Scale
Auto-Formalization
of Logics for Computer Science
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 Theory-Scale Auto-Formalization of Logics for Computer Science
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
🤖
AI Research
Simons Foundation
·
2d
2 days ago
Letter From the President
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 Letter From the President
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