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
Abstract Interpretation
🔍 Abstract Interpretation
Specific
static analysis, program analysis, abstract domains, Cousot
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
39
posts in
11.1
ms
Subversion-Resistance for Free from
Formal
Verification
💻
Programming
lesswrong.com
·
1d
1 day ago
Actions for Subversion-Resistance for Free from Formal Verification
Hessian-informed, Coordinate Friendly Hamiltonian Monte Carlo in Linear Time
λ
Functional Programming
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Hessian-informed, Coordinate Friendly Hamiltonian Monte Carlo in Linear Time
Less-relevant results
AWS can now mathematically prove your VMs are isolated
✅
Proof Assistants
thenewstack.io
·
2h
2 hours ago
Actions for AWS can now mathematically prove your VMs are isolated
Zcash Developers Weigh New Shielded Pool After Orchard Bug
✅
Proof Assistants
cointelegraph.com
·
5d
5 days ago
Actions for Zcash Developers Weigh New Shielded Pool After Orchard Bug
Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
📐
PLT
Content type:
News
wwd.com
·
1d
1 day ago
Actions for Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
Ask HN: What has been the fate of code review?
💻
Programming
Content type:
Discussion
news.ycombinator.com
·
4h
4 hours ago
·
Hacker News
Actions for Ask HN: What has been the fate of code review?
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Π
Dependent Types
lix.polytechnique.fr
·
9h
9 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
✅
Proof Assistants
Content type:
News
coindesk.com
·
5d
5 days ago
Actions for Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
Researchers discover hidden chip threats and a way to stop them
✅
Proof Assistants
techxplore.com
·
1d
1 day ago
Actions for Researchers discover hidden chip threats and a way to stop them
Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
✅
Proof Assistants
Content type:
Blog
aws.amazon.com
·
4h
4 hours ago
·
Hacker News
Actions for Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons
✅
Proof Assistants
4sysops.com
·
5d
5 days ago
Actions for AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons
We Cut Semgrep's Taint
Analysis
Time by 75%
λ
Functional Programming
Content type:
Blog
semgrep.dev
·
2d
2 days ago
·
Hacker News
Actions for We Cut Semgrep's Taint Analysis Time by 75%
View from Bangladesh: India forcing people across the border is becoming a test of ties
🌏
Expat Life
Content type:
News
scroll.in
·
15h
15 hours ago
Actions for View from Bangladesh: India forcing people across the border is becoming a test of ties
The Orchard Bug and the Unfolding Cybersecurity Reckoning
✅
Proof Assistants
Content type:
News
Content type:
Blog
bengoertzel.substack.com
·
5d
5 days ago
·
Substack
Actions for The Orchard Bug and the Unfolding Cybersecurity Reckoning
AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances
✅
Proof Assistants
siliconangle.com
·
4h
4 hours ago
Actions for AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances
Design Reliable, Scalable Distributed Systems
✅
Formal Verification
fizzbee.io
·
6d
6 days ago
Actions for Design Reliable, Scalable Distributed Systems
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
💻
Programming
Content type:
Discussion
news.ycombinator.com
·
19h
19 hours ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
💻
Programming
sdtimes.com
·
17h
17 hours ago
Actions for Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
Formal
verification
of the S-two AIR
✅
Proof Assistants
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Formal verification of the S-two AIR
Zcash teams propose Ironwood pool to restore supply
verification
after Orchard flaw
✅
Proof Assistants
cointelegraph.com
·
2d
2 days ago
Actions for Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw
Page 2 »
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