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
⚖️ Verification Calculi
Refinement Types, SMT Integration, Program Logic, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
27698
posts in
23.5
ms
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
19h
🔧
Hardware Verification
Refining
Almost-Safe Value Functions on the
Fly
arxiv.org
·
1d
🔒
Type Safety
BankStrategy/SOEL
: An open-ended semantic programming language with no formal syntax
github.com
·
2h
·
Discuss:
Hacker News
🔗
Functional Compilers
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
17h
🔍
Concolic Testing
A Foundation for
Differentiable
Logics
using Dependent Type Theory
arxiv.org
·
1d
🔠
Type-Level Programming
How do you handle domain-specific transformation
logic
without
hardcoding
it?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
10h
🔧
Hardware Verification
Understanding
SMF
properties
davepacheco.net
·
14h
💧
Liquid Types
SOLID in FP:
Liskov
Substitution
, or The Principle That Was Never About Inheritance
cekrem.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🔤
Type Theory
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
F# Weekly #9, 2026 –
Crunching
the Technical Debt with Repo
Assist
sergeytihon.com
·
2d
💧
Liquid Types
Monuses
and
Heaps
doisinkidney.com
·
12h
🧮
Algebraic Datatypes
Differential
Logic
• 15
inquiryintoinquiry.com
·
18h
⚔️
Lean Theorem
In
defence
of
correctness
blog.ploeh.dk
·
4h
·
Discuss:
Lobsters
⚙️
Proof Engineering
Lean
and AI caught a bug in my 2-year-old
TLA
+ spec
medium.com
·
1d
·
Discuss:
Hacker News
🏛️
Agda
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🔗
Functional Compilers
Right-sizes
LLM models to your system's RAM,
CPU
, and GPU
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚡
Cache Theory
Using Aisle to Find Vulnerabilities in Amazon's Crypto Stack:
AWS-LC
and
S2n-TLS
aisle.com
·
1h
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
The
185-Microsecond
Type
Hint
blog.sturdystatistics.com
·
14h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
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