Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
28463
posts in
18.8
ms
Signal Temporal Logic Verification and Synthesis Using Deep
Reachability
Analysis and
Layered
Control Architecture
arxiv.org
·
2d
⚡
Circuit Verification
Secure
LLM
Scripting
. Finally
mlld.ai
·
1h
·
Discuss:
Hacker News
⚡
Proof Automation
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
7h
🔗
Functional Compilers
Differential
Logic
• 12
inquiryintoinquiry.com
·
3d
⚙️
Proof Engineering
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
Programming Advice (
experienced
programmers
only)
forums.anandtech.com
·
9h
🏗️
Compiler Archaeology
Verification of
Unbounded
Client-Server Systems with
Distinguishable
Clients
arxiv.org
·
2d
🌐
NetworkProtocols
Verilog
Testbench
Essentials
hackster.io
·
3h
🔍
FPGA Verification
nobutakayamauchi/RTS
: ai-agents llm-ai gpt-workflows ai-audit execution-logging ai-research
reproducibility
observability provenance ai-operations research-infrastructure operational-memory
github.com
·
14h
·
Discuss:
Hacker News
⚙️
Proof Engineering
Codegate
CTF
2026 Preliminary
ctftime.org
·
7h
🛡️
CBOR Security
Lil' Fun
Langs
'
Guts
taylor.town
·
1d
·
Discuss:
Hacker News
,
r/programming
🔗
Functional Compilers
Zevi
's AI Development
Workflow
shorthaired-billboard-f9a.notion.site
·
5h
⚡
Proof Automation
Swapping
NULL for
NUL
- a better way to find nothing!
research.exoticsilicon.com
·
2d
🧠
Lisp Dialects
Arduino
Spaceship
Alert Interface System
hackster.io
·
1d
🔌
Single Board PC
Gödel
,
slowly
…
logicmatters.net
·
1d
λ
Lambda Formalization
Independent
blind
pairwise
testing for AI safety
tsarena.ai
·
5h
·
Discuss:
Hacker News
🎯
Threat Hunting
An Agentic
Formal
Verifier
. Innovation in Verification
semiwiki.com
·
4d
🔧
Hardware Verification
Optimizing LLM Inference: Sparse Activation, MoE, and
Gated-MLP
Efficiency
hackernoon.com
·
3d
💻
Local LLMs
Show HN:
Veracity-Cryptographic
data integrity proofs for AI compliance
veracity.resethiq.com
·
12h
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
Differential
Logic
• 13
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
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