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
mary.boulos's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
514
posts in
10.6
ms
Subscribe
12
interests
·
0
feeds
·
0
likes
Programming Languages Software Award
✅
Formal Verification
sigplan.org
·
2d
2 days ago
Actions for Programming Languages Software Award
The Math Behind Why
Multi-Step
AI Agents
Fail
in Production
🌪️
Chaos Engineering
Content type:
Blog
mirantis.com
·
3d
3 days ago
Actions for The Math Behind Why Multi-Step AI Agents Fail in Production
What
Rafts
Do In 3D Printing – And When They'
re
Worth Using
🤝
Consensus Algorithms
bgr.com
·
5d
5 days ago
Actions for What Rafts Do In 3D Printing – And When They're Worth Using
Pythagoras-Prover
: Advancing Efficient
Formal
Proving via Augmented
Lean
Formalisation
✅
Formal Verification
Content type:
Academic
arxiv.org
·
20h
20 hours ago
Actions for Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
A Six-Meter
Raft
at Scarborough Shoal Pulls Manila and Beijing Back to the Brink
🤝
Consensus Algorithms
easternherald.com
·
2d
2 days ago
Actions for A Six-Meter Raft at Scarborough Shoal Pulls Manila and Beijing Back to the Brink
Midstall/heimdall: Post-silicon hardware verification suite for FPGA's and CPU's
🐛
Fuzzing
Content type:
Code
github.com
·
3h
3 hours ago
·
Hacker News
Actions for Midstall/heimdall: Post-silicon hardware verification suite for FPGA's and CPU's
9. Istio Ambient Mesh Architecture
💥
Fault Injection
Content type:
Blog
medium.com
·
4d
4 days ago
Actions for 9. Istio Ambient Mesh Architecture
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
✅
Formal Verification
lix.polytechnique.fr
·
2d
2 days ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Agentic development hinges on verification. For cloud-native software, that is a runtime problem.
🌐
Distributed Systems
thenewstack.io
·
1d
1 day ago
Actions for Agentic development hinges on verification. For cloud-native software, that is a runtime problem.
When Claude changed, everything changed: Managing AI
blast
radius
in production
🌪️
Chaos Engineering
venturebeat.com
·
6d
6 days ago
Actions for When Claude changed, everything changed: Managing AI blast radius in production
Formal
Verification
in
Spec-Driven
Development — Enterprise Level
✅
Formal Verification
Content type:
Blog
medium.com
·
1d
1 day ago
Actions for Formal Verification in Spec-Driven Development — Enterprise Level
Komodor Brings Autonomous AI to SRE With Reliability-First Cloud Optimization
🌐
Distributed Systems
cloudnativenow.com
·
2d
2 days ago
Actions for Komodor Brings Autonomous AI to SRE With Reliability-First Cloud Optimization
Practice like you play: How Amazon scales
resilience
to new heights (ARC316)
💥
Fault Injection
Content type:
Blog
blog.domb.net
·
3d
3 days ago
Actions for Practice like you play: How Amazon scales resilience to new heights (ARC316)
Neon NTT - (Auto)
formalised
✅
Formal Verification
eprint.iacr.org
·
2d
2 days ago
Actions for Neon NTT - (Auto)formalised
The Split-Brain Problem in Plain English — And the Three Ways Your
Distributed
Cache Handles It Wrong
🌐
Distributed Systems
javacodegeeks.com
·
3d
3 days ago
Actions for The Split-Brain Problem in Plain English — And the Three Ways Your Distributed Cache Handles It Wrong
Hot reload via `zig build --watch`
🎲
Deterministic Testing
Content type:
Discussion
ziggit.dev
·
1d
1 day ago
Actions for Hot reload via `zig build --watch`
Cloud Security Tools: 10 Types Explained for Teams
🌪️
Chaos Engineering
orca.security
·
5h
5 hours ago
Actions for Cloud Security Tools: 10 Types Explained for Teams
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
AWS can now mathematically
prove
your VMs are isolated
✅
Formal Verification
thenewstack.io
·
2d
2 days ago
Actions for AWS can now mathematically prove your VMs are isolated
DIG:
Oracle-Guided
Directed Input Generation for
One-Day
Vulnerabilities
🐛
Fuzzing
Content type:
Academic
arxiv.org
·
20h
20 hours ago
Actions for DIG: Oracle-Guided Directed Input Generation for One-Day Vulnerabilities
The Firefox security harness that fixed 271 bugs no one had found for years
🐛
Fuzzing
ppc.land
·
6d
6 days ago
Actions for The Firefox security harness that fixed 271 bugs no one had found for years
« 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