this is very McLuhan/systemantics of you! all abstractions are leaky, but some abstractions let you look at the leaks.
TIL about setsums - one wonders if `fn setsum([String]) -> Digest` works then "nested setsums" must also work for very large scales.
one thing i missed from this post, which otherwise would score perfect marks for a technology introduciton, is benchmarks vs your comparisons on warpstream and friends.
Looking forward to the benchmarks on using S3 for piece and the design of the scale out architecture.
I'm Robert, one of the authors of wal3. Here to answer any questions or explain more about our engineering philosophy.
Happy hacking, Robert