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
Proof Assistants, Coq, Lean, Program Correctness
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19
posts in
11.9
ms
A Relativistic Explanation for the
Dearth
of
Circumbinary
Planets
centauri-dreams.org
·
14h
📐
Type Theory
The
FDA
should not change its
mind
last minute
writingruxandrabio.com
·
17h
📦
Package Managers
Bannerman
, the Father of Gun
Collecting
: Tales from the Golden Age of Surplus
forgottenweapons.com
·
19h
🎲
ttrpgs
Two-Ocean
War
Ch2
navalgazing.net
·
19h
🧠
Memory Models
The Two-Speed EU of the Future
zeihan.com
·
20h
🧠
Memory Models
Number
Builder
: can you build up from 1 to the target?
aperiodical.com
·
2d
⚡
Systems Programming
Is Venezuela Ready to Move On?
zeihan.com
·
1d
🔄
Language Evolution
Which Customer Are You? (w/ Mike
Branson
of
Gideon
Optics)
forgottenweapons.com
·
2d
🔗
Language Interop
Why does
hell
exist
?
defenderofthebasic.substack.com
·
3d
·
Discuss:
Substack
🔧
Functional Programming
Museum
of
Flight
navalgazing.net
·
3d
🕸️
WebAssembly
February Updates
andrewkrowe.wordpress.com
·
3d
🎲
ttrpgs
Three Chinese
Halal
Dishes to
Smother
Over Rice
chinesecookingdemystified.substack.com
·
6d
·
Discuss:
Substack
🔧
Functional Programming
Eunification
: a
Historical
Perspective
250bpm.com
·
4d
🔄
Language Evolution
A New Tool for
Exoplanet
Detection and
Characterization
centauri-dreams.org
·
5d
🧮
Theorem Proving
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