Top
New
🔦
mjb
joined 2/25/2010, 4:25 PM has 3,320 karma
POSTS
Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries
by
mjb
on 11/20/2024, 11:57 PM with
0
comments
Bélády's Anomaly Doesn't Happen Often
by
mjb
on 6/24/2023, 5:25 PM with
0
comments
Snapchange: An Open Source KVM-Backed Snapshot Fuzzing Framework
by
mjb
on 5/10/2023, 5:58 PM with
0
comments
Building and Operating a Pretty Big Storage System (My Adventures in Amazon S3)
by
mjb
on 3/16/2023, 6:52 PM with
0
comments
The Insane Precision of the National Institute of Standards and Technology
by
mjb
on 3/6/2023, 4:19 PM with
0
comments
NoSQL: The Baby and the Bathwater
by
mjb
on 2/1/2023, 2:23 PM with
2
comments
Lambda Snapstart, and snapshots as a tool for system builders
by
mjb
on 11/29/2022, 6:21 PM with
0
comments
What Is Backoff For?
by
mjb
on 8/11/2022, 7:55 PM with
0
comments
Amazon DynamoDB: A Scalable, Performant, and Managed NoSQL Database Service
by
mjb
on 7/12/2022, 6:15 PM with
0
comments
Formal methods only solve half my problems
by
mjb
on 6/2/2022, 3:16 PM with
29
comments
Distilling the Real Cost of Production Garbage Collectors [pdf]
by
mjb
on 4/28/2022, 1:36 PM with
156
comments
Scaling Containers on AWS in 2022
by
mjb
on 4/13/2022, 2:06 PM with
0
comments
Will circuit breakers solve my problems?
by
mjb
on 2/16/2022, 5:40 PM with
0
comments
Treehouse: A Case for Carbon-Aware Datacenter Software
by
mjb
on 1/14/2022, 8:45 PM with
0
comments
The Bug in Paxos Made Simple
by
mjb
on 11/17/2021, 5:45 PM with
13
comments
P, a Modular and Safe Programming for Distributed Systems
by
mjb
on 11/3/2021, 5:58 PM with
0
comments
Metastable Failures in Distributed Systems
by
mjb
on 6/14/2021, 6:19 PM with
11
comments
Metastable Failures in Distributed Systems
by
mjb
on 5/24/2021, 9:49 PM with
0
comments
The State of the Serverless Art (2020)
by
mjb
on 2/9/2021, 10:09 PM with
3
comments
Raft does not guarantee liveness in the face of network faults
by
mjb
on 12/15/2020, 2:44 PM with
0
comments
Getting Big Things Done
by
mjb
on 10/20/2020, 6:34 PM with
0
comments
Consensus is harder than it looks
by
mjb
on 10/5/2020, 5:20 PM with
0
comments
The State of the Serverless Art (2020)
by
mjb
on 8/14/2020, 5:49 PM with
0
comments
Code only says what it does
by
mjb
on 7/6/2020, 4:41 PM with
114
comments
Code only says what it does
by
mjb
on 6/23/2020, 4:06 PM with
0
comments
How AWS’s Firecracker virtual machines work
by
mjb
on 3/4/2020, 4:07 PM with
0
comments
AWS Lambda Cold Start Language Comparisons
by
mjb
on 9/8/2019, 7:52 PM with
11
comments
Kindness, Wickedness and Safety
by
mjb
on 8/12/2019, 4:13 PM with
0
comments
AWS VPC and Link Encryption
by
mjb
on 6/25/2019, 6:01 PM with
0
comments
by
mjb
on 6/17/2019, 8:33 PM with
comments
Chernobyl – Why INSAG has still got it wrong (1995)
by
mjb
on 6/12/2019, 3:15 PM with
0
comments
Fixing Faults in C and Java Source Code: Abbreviated vs. Full-Word Names
by
mjb
on 1/12/2018, 8:31 PM with
0
comments
Flexible Paxos: Quorum intersection revisited
by
mjb
on 8/25/2016, 1:46 AM with
0
comments
CALISDO: Threat Modeling for Distributed Designs
by
mjb
on 6/22/2015, 3:33 PM with
0
comments
How Amazon Web Services Uses Formal Methods
by
mjb
on 3/30/2015, 2:56 PM with
0
comments
Electoral Trouble in Sybilania
by
mjb
on 3/4/2015, 3:43 PM with
0
comments
Two Farmers and Common Knowledge
by
mjb
on 11/30/2014, 9:05 PM with
1
comments
Ice Cream and Distributed Systems
by
mjb
on 10/25/2014, 10:45 PM with
5
comments
The Essential Barbara Liskov
by
mjb
on 9/21/2014, 6:35 PM with
0
comments
CAP and PACELC: Thinking More Clearly About Consistency
by
mjb
on 7/19/2014, 1:32 PM with
0
comments
CAP and PACELC: Thinking More Clearly About Consistency
by
mjb
on 7/17/2014, 6:51 PM with
0
comments
Two traps in iostat: %util and svctm
by
mjb
on 7/5/2014, 2:41 PM with
0
comments
The Operations Gradient: Improving Safety in Complex Systems
by
mjb
on 6/29/2014, 8:37 PM with
0
comments
Viewstamped Replication: The Less-Famous Consensus Protocol
by
mjb
on 5/20/2014, 7:16 PM with
2
comments
Viewstamped Replication: The Less-Famous Consensus Protocol
by
mjb
on 5/20/2014, 5:13 AM with
0
comments
The Essential Leslie Lamport
by
mjb
on 3/31/2014, 12:55 AM with
0
comments
Snark, Chord, and Trust in Algorithms
by
mjb
on 3/8/2014, 11:44 PM with
0
comments
Distributed Consensus: Beating Impossibility with Probability One
by
mjb
on 1/12/2014, 10:35 PM with
2
comments
Restricted Transactional Memory on Haswell
by
mjb
on 12/17/2013, 4:27 PM with
0
comments
Consistency Tradeoffs in Modern Distributed Database System Design
by
mjb
on 12/16/2013, 6:30 PM with
0
comments
Hardware Lock Elision on Haswell
by
mjb
on 12/15/2013, 2:31 AM with
4
comments
Mathematical Definition, Mapping, and Detection of (Anti)Fragility
by
mjb
on 11/23/2013, 10:54 PM with
0
comments
Beyond iostat: Storage performance analysis with blktrace
by
mjb
on 7/16/2013, 3:48 AM with
0
comments
Murphy Was An Optimist: Byzantine Failures in Real Systems
by
mjb
on 5/28/2013, 11:22 PM with
0
comments
Distributed Locking: When to use it? How?
by
mjb
on 5/25/2013, 11:29 PM with
0
comments
Some Patterns of Engineering Design Meetings
by
mjb
on 5/25/2013, 5:50 PM with
0
comments
Exploring TLA+ and two-phase commit
by
mjb
on 1/20/2013, 9:53 PM with
0
comments
Volatile reads are not really free on the JVM
by
mjb
on 9/10/2012, 2:56 PM with
0
comments
Pat Helland - Idempotence Is Not a Medical Condition
by
mjb
on 4/24/2012, 1:10 AM with
1
comments
The Five-Minute Rule Ten Years Later (1997)
by
mjb
on 3/13/2012, 5:01 PM with
0
comments
The Bleak Future of NAND Flash Memory
by
mjb
on 2/17/2012, 4:23 PM with
0
comments
Two different conclusions about drive failures and temperature
by
mjb
on 2/12/2012, 2:24 AM with
0
comments
David Patterson - Latency lags bandwidth (2004)
by
mjb
on 2/12/2012, 1:56 AM with
0
comments
Clayton M. Christensen - How will you measure your life?
by
mjb
on 10/28/2011, 2:05 AM with
0
comments