في رأيي، في قطاع الإنترنت باللغة الروسية، لم تتم تغطية موضوع التحقق الرسمي بشكل كافٍ، وهناك بشكل خاص نقص في الأمثلة البسيطة والواضحة. سأعطي مثالا من مصدر أجنبي، وأضيف الحل الخاص بي للمشكلة المعروفة المتمثلة في عبور الذئب والماعز والملفوف إلى الجانب الآخر من النهر. ولكن أولاً، سأصف بإيجاز ماهية التحقق الرسمي ولماذا […]
التحقق الرسمي هو التحقق من برنامج أو خوارزمية باستخدام برنامج أو خوارزمية أخرى. تعد هذه إحدى أقوى الطرق التي تتيح لك العثور على جميع نقاط الضعف في البرنامج أو إثبات عدم وجودها. يمكن رؤية وصف أكثر تفصيلاً للتحقق الرسمي في مثال حل مشكلة الذئب والماعز والملفوف في مقالتي السابقة. في هذا المقال قمت […]
سأخبرك في هذه المقالة بكيفية استخدام pinba مع Clickhouse وgrafana بدلاً من pinba_engine وpinboard. في مشروع PHP، ربما تكون pinba هي الطريقة الوحيدة الموثوقة لفهم ما يحدث للأداء. صحيح أن pinba لا يتم تنفيذه عادةً إلا عند ملاحظة المشكلات بالفعل وليس من الواضح "مكان الحفر". في كثير من الأحيان لا أحد لديه أي فكرة عن عدد المرات في الثانية / الدقيقة […]
هذه قصة قصيرة من الممارسة الحقيقية، عندما تتحول مشكلة صغيرة، مقنعة جيدًا بالتسامح مع الخطأ، إلى صداع. التصرف الصغير: فرع صغير، لديه نظام PBX خاص به (علامة النجمة + FreePBX) يعتمد على أجهزة سطح المكتب ونفس الخادم الطرفي المحلي مع 1C، وتفريغ الملفات ووحدة تحكم مجال RO الافتراضية. الإنترنت يوزع Mikrotik. الفرع صغير وهذا يكفيهم. بدأ كل شيء […]
هذا هو الجزء الثاني من سلسلة الملخصات الأسبوعية حول التكنولوجيا والأشخاص وكيفية تأثيرهم على بعضهم البعض. آندي جونز (Wealthfront، Facebook، Twitter، Quora سابقًا) يتحدث عن كيفية تحقيق نمو متناغم للمنتجات في الشركات الناشئة. أفكار وإحصائيات وأمثلة رائعة من أفضل شركات التكنولوجيا في صناعاتها. كتاب إلكتروني مكون من 19 صفحة، ينصح بقراءته لأي شخص […]
أعلن مشروع TrueOS عن اختبار الإصدارات التجريبية لـ FreeBSD 12-STABLE وFreeBSD 13-CURRENT، والتي تحول النظام الأساسي المتجانس إلى مجموعة من الحزم المترابطة. تم تطوير الإصدارات كجزء من مشروع pkgbase، الذي يوفر أدوات لاستخدام مدير حزم pkg الأصلي لإدارة الحزم التي تشكل النظام الأساسي. يتيح لك التسليم في شكل حزم منفصلة تبسيط عملية تحديث الأساسيات بشكل كبير […]
ظهرت صورة لسفينة المستكشف الشهير إرنست شاكلتون، الذي درس القطب الجنوبي، على صفحة تويتر الرسمية لشركة Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 أبريل 2019 تم تعليق الصورة بتاريخ 9 مايو ولا يوجد وصف، لذلك لا يمكننا إلا تخمين كيفية اتصال سفينة شاكلتون الاستكشافية بمساحة جيف شركة بيزوس. ويمكن الافتراض [...]
أعلنت شركة ASRock عن اللوحة الأم Z390 Phantom Gaming 4S، والتي يمكن استخدامها لتشكيل محطة ألعاب مكتبية متوسطة المدى. تم تصنيع المنتج الجديد بتنسيق ATX (305 × 213 مم) استنادًا إلى منطق نظام Intel Z390. يدعم معالجات الجيل الثامن والتاسع الأساسية في المقبس 1151. ويتم توفير إمكانيات التوسعة من خلال فتحتين PCI Express 3.0 x16 […]
أجرى علماء من معهد أكسفورد للإنترنت (OII) دراسة وجدوا فيها أنه بحلول عام 2070، قد يتجاوز عدد مستخدمي فيسبوك القتلى عدد الأحياء، وبحلول عام 2100، سيكون 1,4 مليار مستخدم للشبكة الاجتماعية ميتين. وفي الوقت نفسه، يقال إن التحليل يقدم سيناريوهين متطرفين. الأول يفترض أن عدد المستخدمين سيبقى عند مستوى 2018 […]
أعلنت مؤسسة Apache أنها أكملت العمل على دمج بنيتها التحتية مع GitHub وترحيل جميع خدمات git الخاصة بها إلى GitHub. في البداية، تم تقديم نظامين للتحكم في الإصدار لتطوير مشاريع Apache: نظام التحكم في الإصدار المركزي Subversion والنظام اللامركزي Git. منذ عام 2014، تم إطلاق مرايا مستودع Apache على GitHub، وهي متاحة في وضع القراءة فقط. الآن […]
أصدرت شركة Palit Microsystems مسرع الرسومات GeForce GTX 1650 StormX OC، والذي ظهرت معلومات حول إعداده بالفعل على الإنترنت. دعونا نتذكر بإيجاز الخصائص الرئيسية لمنتجات GeForce GTX 1650. تستخدم هذه البطاقات بنية NVIDIA Turing. عدد نوى CUDA هو 896، وحجم ذاكرة GDDR5 مع ناقل 128 بت (التردد الفعال - 8000 ميجاهرتز) هو 4 جيجابايت. الساعة الأساسية […]
في بداية شهر أبريل، نشر موقع CashKaro.com صورًا لهاتف موتورولا الذكي القادم المزود بكاميرا رباعية. والآن، بفضل الشراكة مع المصدر الموثوق OnLeaks، قامت بمشاركة تصميمات CAD حصرية تهدف إلى إظهار المظهر النهائي لجهاز Apple الرائد التالي، iPhone XI. بادئ ذي بدء، تصميم الجهاز، الذي لم يتغير على الإطلاق على مدار العام، مع وحدة الكاميرا الثلاثية المعاد تصميمها والغريبة إلى حد ما، […]
