Systems Correctness Practices at Amazon Web Services

Re:Systems Correctness Practices at Amazon Web Services by amazingamazing on Friday May 30, 2025 @01:46PM (#44138443)

Trust me, I love FDB, but that's not the same thing. The FDB team IIRC had to write their own programming language to do this. It's not a agnostic layer above the application.

The problem with coupled tooling is that no one will use it. That's what is cool about antithesis. If they're able to complete their goal, that's basically what will be achieved.

[ Parent | on HN ]

Re:Systems Correctness Practices at Amazon Web Services by Lwerewolf on Friday May 30, 2025 @04:07PM (#44139473)

I guess you meant to say "only the people working on the software coupled to the tooling will use it". It's not just FDB & Amazon that are using something like this, and it is a ridiculously powerful type of tool for debugging distributed systems.

[ Parent | on HN ]

Re:Systems Correctness Practices at Amazon Web Services by amazingamazing on Friday May 30, 2025 @04:11PM (#44139506)

ah, yes.

[ Parent | on HN ]

Re:Systems Correctness Practices at Amazon Web Services by bit_razor on Friday May 30, 2025 @02:35PM (#44138836)

Fiar point. I was thinking about antithesis, but it's not open source (yet?). Turns out I also didn't read your comment well enough. Back to lurking I go.

[ Parent | on HN ]