Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⏰ Temporal Logic
LTL, CTL, Model Checking, System Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23272
posts in
543.8
ms
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
1d
✅
Formal Methods
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2h
·
Discuss:
Lobsters
🧠
Lisp Dialects
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
The proof theory and
semantics
of second-order (
intuitionistic
) tense logic
arxiv.org
·
2d
👑
Isabelle/HOL
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
DCP-o-matic
• (Feature) Request for
Verifier
dcpomatic.com
·
9h
✅
Document Verification
Testing Agent Skills
Systematically
with
Evals
developers.openai.com
·
12h
⚡
Proof Automation
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
1d
⚙️
TLA+
Differential
Logic
• 3
inquiryintoinquiry.com
·
4d
⚡
Circuit Design
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
7h
🦀
Rust Verification
The Seven
Qualification
Tests for an AI
Scientist
hackernoon.com
·
3h
⚡
Proof Automation
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
14h
·
Discuss:
Blogger
⚡
CPU Microarchitecture
Large Language Models for
Mortals
book
andrewpwheeler.com
·
8h
💻
Local LLMs
Certificate Automation: The
ACME
Protocol coming soon at
Gandi
news.gandi.net
·
7h
🔐
Certificate Analysis
CodeSOD
:
Cover
Up
thedailywtf.com
·
11h
🔓
Decompilation
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
2d
🔗
Functional Compilers
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
1h
·
Discuss:
Hacker News
🔐
Quantum Security
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
7h
💻
Local LLMs
The
Univalence
Principle
golem.ph.utexas.edu
·
15h
🔶
Cubical Type Theory
Palantir: N Of 1,
Industrializing
Autonomy Via
Zero-Marginal-Cost
AI Integration
seekingalpha.com
·
2h
🎯
Proof Tactics
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