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 Verification
✓ Formal Verification
Proofs, Correctness, Model Checking, Specifications
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
247
posts in
6.4
ms
Xiaomi launches a portable coffee machine that can brew up to 400 cups on a charge
🖥️
RISC-V
gizmochina.com
·
8h
8 hours ago
Actions for Xiaomi launches a portable coffee machine that can brew up to 400 cups on a charge
Zcash Developers Weigh New Shielded Pool After Orchard Bug
🎲
Property Testing
cointelegraph.com
·
6d
6 days ago
Actions for Zcash Developers Weigh New Shielded Pool After Orchard Bug
The books I read in May
⚙️
CompTime
Content type:
Blog
superlemon.bearblog.dev
·
2d
2 days ago
Actions for The books I read in May
Oxygen Effect on Deformation Mechanism and Mechanical Behavior of Pure Ti at 77K
🧮
Heterogeneous Computing
Content type:
Academic
sciencedirect.com
·
5d
5 days ago
Actions for Oxygen Effect on Deformation Mechanism and Mechanical Behavior of Pure Ti at 77K
Majorana
modes
withstand disorder in atomic chains, boosting fault-tolerant quantum computing
🔓
Lock-free Algorithms
phys.org
·
1d
1 day ago
Actions for Majorana modes withstand disorder in atomic chains, boosting fault-tolerant quantum computing
High impact resistance in a high-entropy
alloy
with thermally stable hierachical heterostructures
🧮
Heterogeneous Computing
Content type:
Academic
nature.com
·
6d
6 days ago
Actions for High impact resistance in a high-entropy alloy with thermally stable hierachical heterostructures
A
Proof
in
Coq
that
Core
Logic is not Paraconsistent
🔗
Dependent Types
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A Proof in Coq that Core Logic is not Paraconsistent
Formula V Line Showcases Its Ergonomic Gaming Chairs at Computex 2026
🧮
Heterogeneous Computing
techpowerup.com
·
19h
19 hours ago
Actions for Formula V Line Showcases Its Ergonomic Gaming Chairs at Computex 2026
x-shaped telescopic freestanding clothes drying rack, foldable movable aluminum
alloy
laundry rack, heavy duty metal large drying stand for clothes, blankets & ...
🔢
Linear Types
temu.com
·
5d
5 days ago
Actions for x-shaped telescopic freestanding clothes drying rack, foldable movable aluminum alloy laundry rack, heavy duty metal large drying stand for clothes, blankets & ...
2005 Mercedes-Benz SL600 at No Reserve
⏩
SIMD
bringatrailer.com
·
2d
2 days ago
Actions for 2005 Mercedes-Benz SL600 at No Reserve
The last light tank the Army had actually wasn’t bad
🦀
Rust
taskandpurpose.com
·
4h
4 hours ago
Actions for The last light tank the Army had actually wasn’t bad
Programming
Languages Software Award
🔗
Dependent Types
sigplan.org
·
1d
1 day ago
Actions for Programming Languages Software Award
Mazda CX-60 3.3L MHEV in Malaysia – inline-6 cylinder turbo petrol mild-hybrid, CBU Japan; RM252k OTR
🤖
AI
paultan.org
·
5h
5 hours ago
Actions for Mazda CX-60 3.3L MHEV in Malaysia – inline-6 cylinder turbo petrol mild-hybrid, CBU Japan; RM252k OTR
DB Nerds – Try this out
🔍
Static Analysis
kesseldb.com
·
6d
6 days ago
·
Hacker News
Actions for DB Nerds – Try this out
cryspen/hax: A Rust
verification
tool
🔗
Dependent Types
Content type:
Code
github.com
·
9h
9 hours ago
·
Lobsters
Actions for cryspen/hax: A Rust verification tool
Xiaomi launches premium nose hair trimmer with USB-C charging, aluminum body & 150 min battery
🖥️
RISC-V
gizmochina.com
·
2d
2 days ago
Actions for Xiaomi launches premium nose hair trimmer with USB-C charging, aluminum body & 150 min battery
Photocurable 3D‐Printed Zinc
Alloy
Anodes: A Topology‐Guided Dendrite‐Suppressing Design for High‐Rate Zinc Batteries
🖥️
RISC-V
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
What happened to the Readmoo Mooink V Foldable?
🧵
Coroutines
Content type:
Blog
goodereader.com
·
9h
9 hours ago
Actions for What happened to the Readmoo Mooink V Foldable?
Cheaper brass coatings for aircraft parts and pipelines move closer to real-world field repairs
🦀
Rust
techxplore.com
·
2d
2 days ago
Actions for Cheaper brass coatings for aircraft parts and pipelines move closer to real-world field repairs
Introducing – The Chopard Mille Miglia Classic Chronograph Raticosa
🎮
ECS
monochrome-watches.com
·
2h
2 hours ago
Actions for Introducing – The Chopard Mille Miglia Classic Chronograph Raticosa
« 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
