mary.boulos's Feed

Feeds to Scour
SubscribedAll
Scoured 513 posts in 13.4 ms

Introducing Verifiable Execution in Dapr 1.18

 🌐Distributed Systems  Content type: Blog
cncf.io·

Beyond the Mega-Cluster: How We Rebuilt Our Infrastructure for Global Scale

 🌪️Chaos Engineering  Content type: Blog
medium.com
·

SagaMind: Formal Verification, Transactional Rollback, and Cognitive Memory for LLM Agents

 Formal Verification  Content type: Blog

Breaking free of a single datacenter: Practical geo-distributed AI operations with the k0smos platforms

 🌐Distributed Systems  Content type: Blog
cncf.io·

Lakehouse Demystified — Part 5: Just enough about Managed Service for Apache Airflow

 🌐Distributed Systems  Content type: Blog
medium.com
·

just good enough

 🌪️Chaos Engineering  Content type: Blog
waylonwalker.com·

Building a serializable database in Rust, and measuring what it costs

 🎲Deterministic Testing

Dr. Renata Goncalves recognized with Outstanding Manuscript Award

 Formal Verification  Content type: Academic
hsph.harvard.edu·

puck-security/geiger: Detection tells you a key is real; geiger tells you whether it's dangerous.

 🌪️Chaos Engineering  Content type: Code
github.com··Hacker News

Faster Leader-Based Consensus via Certificates of Exclusivity and Overlapping Iterations

 🤝Consensus Algorithms
eprint.iacr.org·

The Server That Does Nothing Is Often the Most Critical

 🌐Distributed Systems
siliconopera.com·

Proof System Timelines

 Formal Verification  Content type: Blog
klatz.co·

Operationalizing Property-Based Testing for Data-Intensive Scalable Computing Systems

 ⚗️Property-Based Testing  Content type: Academic
arxiv.org·

Must- Know Deployment Strategies: From Big-Bang to Progressive Delivery

 🌪️Chaos Engineering  Content type: News  Content type: Blog
blog.bytebytego.com
·

Designing for High Availability: The Operational Reference for Running a Geo-Replicated ACR

 🌐Distributed Systems

Hot reload when serving html

 🎲Deterministic Testing  Content type: Discussion
ziggit.dev·

Asghar Farhadi’s Cannes Film ‘Parallel Tales’ Sells Across Europe, Asia-Pacific, Latin America and Canada Through Charades (EXCLUSIVE)

 🤝Consensus Algorithms  Content type: News
variety.com·

Frontier AI models could be an adversary's force multiplier

 🌪️Chaos Engineering
computerweekly.com
·

Altitude Sickness Brings Stocks Down — Hard

 🤝Consensus Algorithms  Content type: News

Most Virtual Labs Feel Like Slideshows. So I Built One Where You Can Actually Explore Science.

 🧪Antithesis
Sign up or log in to see more results

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help