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 Verification
✅ Formal Verification
model checking, theorem proving, TLA+, formal methods
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
44
posts in
16.8
ms
🏗️
Compiler Design
arXiv
·
1d
1 day ago
KBSpec: LLM-driven
Formal
Specification
Generation with Evolving Domain Knowledge Base
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 KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base
🐝
eBPF
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
λ
Type Theory
Sylvain Kerkour
·
1d
1 day 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
λ
Type Theory
WWD
·
5d
5 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
🔧
Electronics
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
λ
Type Theory
fark.com
·
2d
2 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 ...
🔐
Cryptography
tldrsec.com
·
6d
6 days ago
Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting
Spec
Covers
8 stories
See all stories this covers
including
Midjourney Ultrasonic CT Scanner
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 Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
λ
Type Theory
dijkstrascry.com
·
11h
11 hours 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)
λ
Type Theory
Simons Foundation
·
1d
1 day 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
♿
Web Accessibility
Linuxiac
·
5d
5 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
Less-relevant results
🕸️
Distributed Systems
chapterpal.com
·
21h
21 hours 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
🚨
AI Criticism
stunning-naiad-817d91.netlify.app
·
1d
1 day 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
🔐
Cryptography
arXiv
·
22h
22 hours ago
Cryptographic certificates of validity for trustworthy AI
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 Cryptographic certificates of validity for trustworthy AI
⚙️
Systems Programming
Murat Demirbas
·
4d
4 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
🚨
AI Criticism
stng.substack.com
·
1d
1 day ago
Why Software Requirements Get Easier in an AI Economy
Discussed on
Substack
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 Why Software Requirements Get Easier in an AI Economy
λ
Type Theory
Rapamycin Longevity News
·
6h
6 hours 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
λ
Type Theory
longevity.technology
·
5d
5 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
🕸️
Distributed Systems
arXiv
·
22h
22 hours ago
Bit-Precise Conformance Testing of Simulink
Model
Checkers
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 Bit-Precise Conformance Testing of Simulink Model Checkers
🕸️
Distributed Systems
ulam.ai
·
4d
4 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
🏗️
Compiler Design
Simons Foundation
·
1d
1 day 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