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
✓ Formal Verification
Type Theory, Correctness Proofs, Program Analysis, Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
146422
posts in
41.5
ms
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
11h
✅
Model Checking
Invariant-Driven
Automated
Testing
arxiv.org
·
23h
🧬
Mutation Testing
What every computer science major should know
matt.might.net
·
4h
·
Discuss:
Hacker News
🔬
Static Analysis
Maximally minimal specialization: always
applicable
impls
smallcultfollowing.com
·
16h
🔗
Dependent Types
CIll
:
CTI-Guided
Invariant Generation via LLMs for Model Checking
arxiv.org
·
23h
👻
Phantom Types
Lytok
2.0: A New Way to Handle Data Structures in
JS/TS
dev.to
·
1h
·
Discuss:
DEV
🔥
DataFusion
extended C*-
algebra
in
nLab
ncatlab.org
·
8h
∘
Category Theory
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
6h
·
Discuss:
Hacker News
λ
Functional Programming
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🧵
Loom
Differential
Logic
• 15
inquiryintoinquiry.com
·
10h
∘
Category Theory
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🦀
Rust
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
2h
💬
Prompt Engineering
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
9h
·
Discuss:
Hacker News
📏
Linear Types
Why We Built (and
Open-Sourced
) a New
RoughTime
Implementation
blog.sturdystatistics.com
·
3h
·
Discuss:
r/programming
🐅
TigerBeetle Protocol
Best
Practices
for Secure Error
Handling
in Go
blog.jetbrains.com
·
18h
🛡️
Error Handling
Mastering
Technical Interviews A Practical Guide to the Algorithms That
Appear
Again and Again
dev.to
·
10h
·
Discuss:
DEV
⏭️
Skip Lists
TypeScript
Decorators
: From
Basics
to Advanced
slicker.me
·
22h
·
Discuss:
r/typescript
📘
TypeScript
Understanding the Go
Compiler
internals-for-interns.com
·
20h
🎯
Escape Analysis
#635, March 2nd 2026
llvmweekly.org
·
8h
🏗️
MLIR
Agentic
Engineering: Building Without
Writing
dehora.net
·
7h
🔲
Cellular Automata
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