Carlos Hurtado

icon company Amazon icon location Mexico

Results 1 issues of Carlos Hurtado

Broken link for **Use of Automated Reasoning for S3 Strong Consistency Launch**

2 comment

Link for **Use of Automated Reasoning for S3 Strong Consistency Launch** is broken. Right now it points to https://www.twitch.tv/videos/962963706?t=0h15m15s ([code pointer](https://github.com/p-org/P/blob/369b8a92cb9ab1607a7a498679754412b87188c0/Docs/docs/casestudies.md?plain=1#L22)) but content is now unavailable: This is part of...