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
🔍 Formal Verification
TLA+, Model Checking, Safety Properties, Specifications
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8166
posts in
103.8
ms
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
3d
🛡️
seL4
ModelWisdom
: An Integrated Toolkit for
TLA
+ Model Visualization, Digest and Repair
arxiv.org
·
5h
⏳
LTL
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
14h
·
Discuss:
Lobsters
⚙️
Compiler Design
models have some pretty
funny
attractor
states
lesswrong.com
·
13h
🔲
Cellular Automata
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
15h
✓
Automated Theorem Proving
I built a
zero-noise
AI code review agent using Claude Code
medium.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
AI-native software
factory
with the
Phoenix
Architecture
gist.github.com
·
7h
·
Discuss:
Hacker News
🤖
Program Synthesis
The
Redundancy
Paradox
mihirdeshpande.com
·
17h
·
Discuss:
Hacker News
👁️
System Observability
OpenClaw
Hub: A Platform for
Managing
OpenClaw
Skills
openclawskill.net
·
1h
·
Discuss:
Hacker News
🔧
DevOps
Realworld
benchmark between Codex 5.3 and
Opus
4.6
swe-agi.com
·
11h
·
Discuss:
Hacker News
🔧
ppx
The
Fourth
Wave
of Computing
lucibrowser.com
·
43m
·
Discuss:
Hacker News
🐫
Embedded OCaml
Find the right local LLM for your
exact
hardware
localclaw.io
·
3h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Validate
AI agent
endpoints
across 8 protocols in one URL
agentprobe.xyz
·
3h
·
Discuss:
Hacker News
🔒
Protocol Verification
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
State of
HLSL
: February 2026
abolishcrlf.org
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
TileIR
ianbarber.blog
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
1d
·
Discuss:
Hacker News
🛡️
seL4
The system for product development
linear.app
·
10h
·
Discuss:
Hacker News
📦
Opam
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
PL Implementation
Loading...
Loading more...
« Page 1
•
Page 3 »
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