S7aba Podcast

بزاف ديال المهندسين (Engineers) ف الـ Backend كايغلطو ف هاد المفاهيم الأساسية. واش السيستيم ديالك غيبقى خدام إلا تّشق فيه شي "Fault"؟ واش هاديك الـ Moyenne (الأرقام المتوسطة) اللي كاتشوف ف الـ Dashboard هي اللي كاتشرح الحقيقة؟ open.spotify.com/episode/6pVu8F…

We made to Spotify Wrapped 😊

النهار الإنترنت طاح 🤯 ماشي هجوم إلكتروني. كان غير فيشي كونفيگراسيون (Cloudflare) و نظام تحكم مركزي (AWS US-EAST-1). فهاد الحلقة، كنفكو الأسباب التقنية الحقيقية والغامضة لأكبر أعطال الكلاود. #AWS #Cloudflare #SRE #DevOps 🎧 سمع الحلقة كاملة دابا! buff.ly/BekR3CE

Sneak peek of upcoming episode .. stay tuned

في هاد الحلقة الجديدة من S7aba Podcast، غادي نهضرو على Platform Engineering التخصص اللي ولا ضروري فعالم التقنية. غادي نشوفو كيفاش Platform Engineers كيبنيو و كيصيانو Internal Developer Platforms (#IDP) باش يزيدو من سرعة المطورين و يحسنو التجربة ديالهم⁠ open.spotify.com/episode/2b1HAE…

واش عندك مشكل مع التطبيقات ديالك مللي بزاف ديال الناس كيخدمو بيها فدقة وحدة؟ هاد الفيديو غيشرح ليك "Distributed Locks" باش تفهم كيفاش التطبيقات الكبيرة كتبقى مقادة: Made with ❤️ for Las9 lmofid @geeksblabla youtube.com/watch?v=vvUAaY…

I just received 4 coffees from Ayoub Moustaid on @buymeacoffee! buymeacoffee.com/soubai/c/14733…

سلام عليكم الخوت و الخوات! مرحبا بكم ف هاد الحلقة الجديدة ديالنا. ف هاد الحلقة، غادي ندويو على هاد الـ feature الجديدة من Amazon S3، اللي غادي تغيّر بزاف ف تخزين و الإستعمال ديال "Vector Embeddings" open.spotify.com/episode/1MtM0q…

الأمان ماشي اختيار، راه ضرورة، خاصة في الخدمات العمومية اللي كتخدم الملايين ديال المغاربة. open.spotify.com/episode/398wXE…

S7aba podcast use @bashnota btw

Hi All 👋 KDebug! Debug your Kubernetes clusters like never before using conversational AI. Interact with your workload through natural language via #MCP. Learn more and simplify your K8s debugging! #Kubernetes #Debugging #DevOps github.com/soub4i/kdebug-…

اليوم غادي نشوفو كيفاش Kubernetes كايدير ثورة فخدمات AI وكيفاش تقدر تستافد من GPUs باش تزير الموديلات ديال الماشين ليرنينغ ديالك. إلا كنتي مهندس AI، داتا ساينتيست، ولا بروفيشنال ف DevOps، فهاد الحلقة موجهة ليك! open.spotify.com/episode/0uYkyQ…

Thank you fans We surpassed 10k streams on Spotify

اليوم غادي نهضرو على AWS لي جات للمغرب! شنو غادي تجيب للتكنولوجيا فبلادنا؟ 🇲🇦 استمعو للحلقة الجديدة: buff.ly/40GZMSD #AWS #Cloud #المغرب Spotify: buff.ly/49xYeOU Youtube: buff.ly/3EoyTbG

Want the full story? Dive into the paper: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. 📖 A treasure trove for anyone interested in system reliability. Link: buff.ly/3BMeXlj

Amazon’s experience shows that formal methods can work in fast-moving engineering environments. By focusing on usability and automation, they mainstreamed these techniques into their development workflow.

Full formal verification—proving mathematically that a system is correct—is great but impractical for large, dynamic systems like ShardStore (40,000+ lines of Rust code). Instead, Amazon used lightweight formal methods.

ShardStore is a key-value storage node within S3, storing customer data across distributed nodes. It’s fast-moving, feature-rich, and underpins one of the most trusted cloud storage systems. But how do you ensure such a complex system is correct?

🧵 A thread on how Amazon used this approach to ensure ShardStore's reliability.