Marc Brooker
@marcbrooker.bsky.social
Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Check out my blog: https://brooker.co.za/blog/
In DynamoDB, writes and their preconditions are evaluated atomically, and are linearizable. You could say that makes them strict serializable transactions, but that's not the most useful mental model for the app developer.
August 18, 2025 at 4:20 PM
In DynamoDB, writes and their preconditions are evaluated atomically, and are linearizable. You could say that makes them strict serializable transactions, but that's not the most useful mental model for the app developer.
TL;DR Despite the similar name, Dynamo and DynamoDB have fairly little in common architecturally, and make some very different decisions.
August 16, 2025 at 1:43 AM
TL;DR Despite the similar name, Dynamo and DynamoDB have fairly little in common architecturally, and make some very different decisions.
Check it out on YouTube (youtube.com/watch?v=UGdM...), Apple Podcasts (podcasts.apple.com/us/podcast/t...), or Spotify (open.spotify.com/show/5GtS7mZ...).
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
YouTube video by Antithesis
youtube.com
August 6, 2025 at 5:27 PM
Check it out on YouTube (youtube.com/watch?v=UGdM...), Apple Podcasts (podcasts.apple.com/us/podcast/t...), or Spotify (open.spotify.com/show/5GtS7mZ...).
I hear TPC-C is the best, most representative, benchmark for modern analytics applications.
July 16, 2025 at 8:35 PM
I hear TPC-C is the best, most representative, benchmark for modern analytics applications.
And be sure to try out kiro.dev
Kiro
The AI IDE for prototype to production
kiro.dev
July 14, 2025 at 11:18 PM
And be sure to try out kiro.dev
TIL that software deployment safety (brooker.co.za/blog/2022/01...) is the polar opposite of a story about Coelacanths (brooker.co.za/blog/2020/07...).
Software Deployment, Speed, and Safety - Marc's Blog
brooker.co.za
July 12, 2025 at 12:55 AM
TIL that software deployment safety (brooker.co.za/blog/2022/01...) is the polar opposite of a story about Coelacanths (brooker.co.za/blog/2020/07...).