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
520
posts in
8.3
ms
Subscribe
12
interests
·
0
feeds
·
0
likes
Property-based
testing
| Liam DeVoe
⚗️
Property-Based Testing
tybug.dev
·
4d
4 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Linearizability
and State-Machine
Replication
: Is It a Match?
🌐
Distributed Systems
Content type:
Academic
arxiv.org
·
2d
2 days ago
·
Hacker News
Actions for Linearizability and State-Machine Replication: Is It a Match?
The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
✅
Formal Verification
Content type:
Blog
medium.com
·
3h
3 hours ago
Actions for The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
Entra Agent ID: The blueprint
blast
radius
🌪️
Chaos Engineering
securitylabs.datadoghq.com
·
1d
1 day ago
Actions for Entra Agent ID: The blueprint blast radius
Release 0.17.6: Merge pull request #3782 from
tigerbeetle/release-2026-06-05
·
tigerbeetle/tigerbeetle
🎲
Deterministic Testing
Content type:
Code
github.com
·
4d
4 days ago
Actions for Release 0.17.6: Merge pull request #3782 from tigerbeetle/release-2026-06-05 · tigerbeetle/tigerbeetle
I'm building a CI/CD pipeline that
simulates
space hazards — radiation bit-flips, orbital latencies, and satellite blackouts — so developers can
test
before lau...
🧪
Antithesis
thetalogn.github.io
·
2d
2 days ago
·
r/SideProject
Actions for I'm building a CI/CD pipeline that simulates space hazards — radiation bit-flips, orbital latencies, and satellite blackouts — so developers can test before lau...
AI makes most appdev management layers redundant, says Unit4's CTO
🔍
Jepsen
Content type:
News
diginomica.com
·
3d
3 days ago
Actions for AI makes most appdev management layers redundant, says Unit4's CTO
New comment by JustinFairbanks in "Ask HN: Who wants to be hired? (June 2026)"
🌐
Distributed Systems
Content type:
Discussion
news.ycombinator.com
·
3h
3 hours ago
·
Hacker News
Actions for New comment by JustinFairbanks in "Ask HN: Who wants to be hired? (June 2026)"
EC2’s
formally
verified
“isolation engine” provides mathematical assurance of virtual-machine isolation
✅
Formal Verification
Content type:
Blog
amazon.science
·
2d
2 days ago
·
Lobsters
Actions for EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
Deploying Spring PetClinic Microservices on AWS EKS: A Team Story
🌐
Distributed Systems
Content type:
Reference
docs.google.com
·
4h
4 hours ago
·
DEV
Actions for Deploying Spring PetClinic Microservices on AWS EKS: A Team Story
re
:Invent 2022 Building Confidence Through
Chaos
Engineering
on AWS
💥
Fault Injection
Content type:
Blog
blog.domb.net
·
3d
3 days ago
Actions for re:Invent 2022 Building Confidence Through Chaos Engineering on AWS
Fuzz
testing
🐛
Fuzzing
Content type:
Discussion
ziggit.dev
·
1d
1 day ago
Actions for Fuzz testing
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
AWS Nitro Isolation Engine:
Formally
verifying the hypervisor in the AWS Nitro System
✅
Formal Verification
Content type:
Blog
aws.amazon.com
·
1d
1 day ago
Actions for AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System
Ransomware
Simulation
:
Testing
Perimeter Defense with Hardened Repositories
🎲
Deterministic Testing
Content type:
Blog
medium.com
·
14h
14 hours ago
Actions for Ransomware Simulation: Testing Perimeter Defense with Hardened Repositories
47 seconds of
fuzzing
in CI
🐛
Fuzzing
kodraus.com
·
4d
4 days ago
·
r/rust
Actions for 47 seconds of fuzzing in CI
Distributed
Transactions: Saga Pattern vs.
Two-Phase
Commit
(2PC)
🌐
Distributed Systems
Content type:
Blog
medium.com
·
14h
14 hours ago
Actions for Distributed Transactions: Saga Pattern vs. Two-Phase Commit (2PC)
Subversion-Resistance for Free from
Formal
Verification
✅
Formal Verification
lesswrong.com
·
3d
3 days ago
Actions for Subversion-Resistance for Free from Formal Verification
Best Composio Alternatives for Production AI Agents
🌪️
Chaos Engineering
Content type:
Blog
arcade.dev
·
1d
1 day ago
·
Hacker News
Actions for Best Composio Alternatives for Production AI Agents
AI innovation meets a familiar identity security reality
🌪️
Chaos Engineering
techradar.com
·
12h
12 hours ago
Actions for AI innovation meets a familiar identity security reality
Valkey: Unlocked Seattle: The Best
Systems
Let You Sleep At Night
🌐
Distributed Systems
Content type:
Blog
valkey.io
·
1d
1 day ago
Actions for Valkey: Unlocked Seattle: The Best Systems Let You Sleep At Night
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