Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Formal Methods
📐 Formal Methods
TLA+, model checking, formal verification, invariants
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
251
posts in
7.7
ms
The Ugliest Thing in Your EDC Kit is your AirTag. This Japanese Carabiner Finally Fixes That - Yanko Design
🔭
Distributed Tracing
yankodesign.com
·
1d
1 day ago
Actions for The Ugliest Thing in Your EDC Kit is your AirTag. This Japanese Carabiner Finally Fixes That - Yanko Design
Zcash Developers Weigh New Shielded Pool After Orchard Bug
✅
Model Checking
cointelegraph.com
·
6d
6 days ago
Actions for Zcash Developers Weigh New Shielded Pool After Orchard Bug
2008 Mercedes-Benz E350 Sedan at No Reserve
🗂️
Query Optimization
bringatrailer.com
·
1d
1 day ago
Actions for 2008 Mercedes-Benz E350 Sedan at No Reserve
The last light tank the Army had actually wasn’t bad
🛡️
SRE
taskandpurpose.com
·
15h
15 hours ago
Actions for The last light tank the Army had actually wasn’t bad
Complementary thermodynamic mechanisms of boron and carbon segregation at grain boundaries in nickel
alloys
🌪️
Chaos Engineering
Content type:
Academic
nature.com
·
1d
1 day ago
Actions for Complementary thermodynamic mechanisms of boron and carbon segregation at grain boundaries in nickel alloys
DB Nerds – Try this out
🧪
Simulation Testing
kesseldb.com
·
6d
6 days ago
·
Hacker News
Actions for DB Nerds – Try this out
FIAT The Truth About Money – 2nd Edition (unedited) $59.95 At last, the real truth about money. This book on FIAT is perhaps the most definitive work on this su...
🔐
Crypto
armstrongeconomics.com
·
10h
10 hours ago
Actions for FIAT The Truth About Money – 2nd Edition (unedited) $59.95 At last, the real truth about money. This book on FIAT is perhaps the most definitive work on this su...
Light rewrites magnetic memory in one pulse, opening path to lower-power AI chips
🌪️
Chaos Engineering
techxplore.com
·
6h
6 hours ago
Actions for Light rewrites magnetic memory in one pulse, opening path to lower-power AI chips
Photocurable 3D‐Printed Zinc
Alloy
Anodes: A Topology‐Guided Dendrite‐Suppressing Design for High‐Rate Zinc Batteries
✅
Model Checking
advanced.onlinelibrary.wiley.com
·
6d
6 days ago
Actions for Photocurable 3D‐Printed Zinc Alloy Anodes: A Topology‐Guided Dendrite‐Suppressing Design for High‐Rate Zinc Batteries
AWS can now mathematically
prove
your VMs are isolated
✅
Model Checking
thenewstack.io
·
1d
1 day ago
Actions for AWS can now mathematically prove your VMs are isolated
The microstructure evolution and ultra-high electromagnetic interference shielding enhancement mechanism of laser-clad novel Fe-Co-based
alloy
🌪️
Chaos Engineering
Content type:
Academic
sciencedirect.com
·
8h
8 hours ago
Actions for The microstructure evolution and ultra-high electromagnetic interference shielding enhancement mechanism of laser-clad novel Fe-Co-based alloy
IPSM-Bench: A New Intermediate Phase Segmentation Benchmark in Microstructure Images of Zinc-Based Absorbable Biomaterials
✅
Model Checking
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for IPSM-Bench: A New Intermediate Phase Segmentation Benchmark in Microstructure Images of Zinc-Based Absorbable Biomaterials
MSI's new Strike
Alloy
has almost every gaming keyboard buzzword thrown at it, with TMR, 8k, and rapid trigger, and you can even use it underwater
🌪️
Chaos Engineering
Content type:
News
pcgamer.com
·
6d
6 days ago
Actions for MSI's new Strike Alloy has almost every gaming keyboard buzzword thrown at it, with TMR, 8k, and rapid trigger, and you can even use it underwater
2005 Mercedes-Benz SL600 at No Reserve
✅
Model Checking
bringatrailer.com
·
2d
2 days ago
Actions for 2005 Mercedes-Benz SL600 at No Reserve
What happened to the Readmoo Mooink V Foldable?
🐛
Fuzzing
Content type:
Blog
goodereader.com
·
20h
20 hours ago
Actions for What happened to the Readmoo Mooink V Foldable?
A Robust Pomegranate‐Like CuSn@N,O‐C Anode for Superior Sodium‐Ion Storage
🛡️
SRE
advanced.onlinelibrary.wiley.com
·
6d
6 days ago
Actions for A Robust Pomegranate‐Like CuSn@N,O‐C Anode for Superior Sodium‐Ion Storage
Programming Languages Software Award
🔐
Crypto
sigplan.org
·
1d
1 day ago
Actions for Programming Languages Software Award
cryspen/hax: A Rust
verification
tool
🔐
Crypto
Content type:
Code
github.com
·
20h
20 hours ago
·
Lobsters
Actions for cryspen/hax: A Rust verification tool
Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
⛓️
Web3
Content type:
News
coindesk.com
·
6d
6 days ago
Actions for Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
Jetour T2 i-DM PHEV open for booking in Malaysia – 1.5T, 2 motors, 3-speed DHT, 1,200 km, RM169k est
💹
DeFi
paultan.org
·
18h
18 hours ago
Actions for Jetour T2 i-DM PHEV open for booking in Malaysia – 1.5T, 2 motors, 3-speed DHT, 1,200 km, RM169k est
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
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
Save / unsave
s
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