به نظر من، در بخش روسی زبان اینترنت، موضوع تأیید رسمی به اندازه کافی پوشش داده نشده است، و به ویژه کمبود مثال های ساده و واضح وجود دارد. من یک مثال از منبع خارجی می زنم و راه حل خودم را به مشکل معروف عبور گرگ، بز و کلم به آن سوی رودخانه اضافه می کنم. اما ابتدا به طور خلاصه توضیح خواهم داد که تأیید رسمی چیست و چرا [...]
تأیید رسمی تأیید یک برنامه یا الگوریتم با استفاده از برنامه دیگر است. این یکی از قدرتمندترین روش هایی است که به شما امکان می دهد تمام آسیب پذیری های یک برنامه را پیدا کنید یا ثابت کنید که وجود ندارند. شرح دقیق‌تری از تأیید رسمی را می‌توان در مثال حل مشکل گرگ، بز و کلم در مقاله قبلی من مشاهده کرد. در این مقاله من […]
در این مقاله به شما می گویم که چگونه به جای pinba_engine و pinboard از pinba با کلیک هاوس و گرانا استفاده کنید. در یک پروژه PHP، pinba شاید تنها راه قابل اعتماد برای درک آنچه با عملکرد اتفاق می افتد باشد. درست است، pinba معمولاً فقط زمانی اجرا می شود که مشکلات از قبل مشاهده شده باشد و مشخص نیست "کجا باید حفاری شود". اغلب هیچ کس نمی داند چند بار در ثانیه در دقیقه […]
این یک داستان کوتاه از تمرین واقعی است، زمانی که یک مشکل کوچک، که به خوبی با تحمل خطا پنهان شده است، به سردرد تبدیل می شود. Small Diposition: یک شعبه کوچک، دارای PBX خود (ستاره + FreePBX) بر اساس سخت افزار دسکتاپ و همان سرور ترمینال محلی با 1C، یک فایل dump و یک کنترل کننده دامنه RO مجازی. اینترنت میکروتیک را توزیع می کند. شاخه کوچک است، برای آنها کافی است. همه چیز آغاز شد […]
این دومین مورد از یک سری خلاصه هفتگی در مورد فناوری، افراد و نحوه تأثیرگذاری آنها بر یکدیگر است. اندی جونز (Wealthfront سابق، فیس بوک، توییتر، 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 مه نوشته شده است و هیچ توضیحی در آن وجود ندارد، بنابراین ما فقط می توانیم حدس بزنیم که کشتی اعزامی Shackleton چگونه به فضای جف متصل شده است. شرکت بزوس می توان فرض کرد [...]
ASRock مادربرد Z390 Phantom Gaming 4S را معرفی کرده است که می تواند برای ایجاد یک ایستگاه بازی دسکتاپ میان رده استفاده شود. محصول جدید با فرمت ATX (305 × 213 میلی متر) بر اساس منطق سیستم Intel Z390 ساخته شده است. از پردازنده های نسل هشتم و نهم Core در سوکت 1151 پشتیبانی می کند. قابلیت های توسعه توسط دو اسلات PCI Express 3.0 x16 ارائه شده است.
دانشمندان موسسه اینترنت آکسفورد (OII) مطالعه ای انجام دادند که در آن دریافتند تا سال 2070، تعداد کاربران مرده فیس بوک ممکن است از تعداد کاربران زنده بیشتر شود و تا سال 2100، 1,4 میلیارد کاربر این شبکه اجتماعی مرده خواهند بود. در عین حال، گفته می شود که این تحلیل دو سناریو افراطی را ارائه می دهد. فرض اول این است که تعداد کاربران در سطح سال 2018 باقی خواهد ماند […]
بنیاد آپاچی اعلام کرد که کار روی ادغام زیرساخت خود با GitHub و انتقال همه سرویس‌های git خود به GitHub را تکمیل کرده است. در ابتدا، دو سیستم کنترل نسخه برای توسعه پروژه های آپاچی ارائه شد: سیستم کنترل نسخه متمرکز Subversion و سیستم غیرمتمرکز Git. از سال 2014، آینه های مخزن آپاچی در GitHub راه اندازی شده اند که در حالت فقط خواندنی در دسترس هستند. اکنون […]
Palit Microsystems شتاب دهنده گرافیکی GeForce GTX 1650 StormX OC را منتشر کرده است که اطلاعات مربوط به آماده سازی آن قبلاً در اینترنت ظاهر شده است. اجازه دهید ویژگی های کلیدی محصولات GeForce GTX 1650 را به طور خلاصه یادآوری کنیم. چنین کارت هایی از معماری NVIDIA Turing استفاده می کنند. تعداد هسته های CUDA 896 و میزان حافظه GDDR5 با گذرگاه 128 بیتی (فرکانس موثر - 8000 مگاهرتز) 4 گیگابایت است. ساعت پایه […]
در ابتدای ماه آوریل، CashKaro.com رندرهایی از گوشی هوشمند آینده موتورولا با دوربین چهارگانه منتشر کرد. و اکنون، به لطف همکاری با منبع قابل اعتماد OnLeaks، رندرهای منحصر به فرد CAD را به اشتراک گذاشته است که ظاهر نهایی پرچمدار بعدی اپل، iPhone XI را نشان می دهد. اول از همه، طراحی دستگاه که در طول سال هیچ تغییری نکرده است، با ماژول دوربین سه گانه بازطراحی شده و نسبتاً عجیب و غریب، […]
