לדעתי, במגזר הרוסית של האינטרנט, נושא האימות הפורמלי אינו מכוסה מספיק, ובעיקר חסרות דוגמאות פשוטות וברורות. אתן דוגמה ממקור זר, ואוסיף פתרון משלי לבעיה הידועה של חציית זאב, עז וכרוב לצד השני של הנהר. אבל ראשית, אתאר בקצרה מהו אימות פורמלי ומדוע [...]
אימות פורמלי הוא אימות של תוכנית או אלגוריתם אחד באמצעות אחר. זוהי אחת השיטות החזקות ביותר המאפשרות לך למצוא את כל הפגיעויות בתוכנית או להוכיח שהן אינן קיימות. תיאור מפורט יותר של אימות פורמלי ניתן לראות בדוגמה של פתרון בעיית הזאב, העז והכרוב במאמר הקודם שלי. במאמר זה אני […]
במאמר זה אספר לכם כיצד להשתמש ב-pinba עם קליקהאוס וגראפנה במקום pinba_engine ו-pinboard. בפרויקט PHP, pinba היא אולי הדרך האמינה היחידה להבין מה קורה עם הביצועים. נכון, פינבה מיושם בדרך כלל רק כאשר כבר נצפו בעיות ולא ברור "היכן לחפור". לעתים קרובות לאף אחד אין מושג כמה פעמים בשנייה/דקה […]
זהו סיפור קצר מהתרגול האמיתי, כאשר בעיה קטנה, מוסווית היטב בסובלנות לתקלות, הופכת לכאב ראש. נטייה קטנה: סניף קטן, יש לו PBX משלו (כוכבית + FreePBX) המבוססת על חומרה שולחנית ואותו שרת מסוף מקומי עם 1C, קובץ dump ובקר תחום RO וירטואלי. האינטרנט מפיץ את מיקרוטיק. הסניף קטן, זה מספיק להם. הכל התחיל […]
זהו השני בסדרה של תקצירים שבועיים על טכנולוגיה, אנשים וכיצד הם משפיעים זה על זה. אנדי ג'ונס (לשעבר Wealthfront, Facebook, Twitter, Quora) על איך ליצור צמיחת מוצר הרמונית בסטארט-אפ. רעיונות מגניבים, סטטיסטיקות ודוגמאות מחברות הטכנולוגיה הטובות בתעשיות שלהן. ספר אלקטרוני בן 19 עמודים, מומלץ לקריאה לכל […]
פרויקט TrueOS הכריז על בדיקה של בניית ניסויים של FreeBSD 12-STABLE ו-FreeBSD 13-CURRENT, אשר הופכים את מערכת הבסיס המונוליטית לקבוצה של חבילות מחוברות. ה-builds פותחו כחלק מפרויקט 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. תומך במעבדי Core מהדור השמיני והתשיעי ב-Socket 1151. יכולות הרחבה מסופקות על ידי שני חריצי PCI Express 3.0 x16 […]
מדענים ממכון האינטרנט של אוקספורד (OII) ערכו מחקר שבו מצאו שעד שנת 2070, מספר משתמשי פייסבוק המתים עלול לעלות על מספר המשתמשים החיים, ועד שנת 2100 ימותו 1,4 מיליארד משתמשים ברשת החברתית. יחד עם זאת, הניתוח אמור לספק שני תרחישים קיצוניים. הראשון מניח שמספר המשתמשים יישאר ברמה של 2018 […]
Фонд Apache сообщил о завершении работы по интеграции своей инфраструктуры с GitHub и переносе на GitHub всех своих git-сервисов. Изначально для разработки проектов Apache предлагались две системы контроля версий: централизованная система управления версиями Subversion и децентрализованная система Git. C 2014 года на GitHub были запущены зеркала репозиториев Apache, доступные в режиме только для чтения. Теперь […]
Palit Microsystems פרסמה את המאיץ הגרפי GeForce GTX 1650 StormX OC, שמידע על הכנתו כבר הופיע באינטרנט. הבה נזכור בקצרה את המאפיינים העיקריים של מוצרי GeForce GTX 1650. כרטיסים כאלה משתמשים בארכיטקטורת NVIDIA Turing. מספר ליבות ה-CUDA הוא 896, וכמות זיכרון ה-GDDR5 עם אפיק 128 סיביות (תדר אפקטיבי - 8000 מגה-הרץ) היא 4 ג'יגה-בייט. שעון בסיסי […]
בתחילת אפריל, CashKaro.com פרסמה עיבודים של סמארטפון מוטורולה הקרוב עם מצלמה מרובעת. ועכשיו, הודות לשותפות עם מקור מהימן OnLeaks, היא שיתפה עיבודי CAD בלעדיים שמתיימרים להראות את המראה הסופי של ספינת הדגל הבאה של אפל, ה-iPhone XI. קודם כל, עיצוב המכשיר, שלא השתנה כלל במהלך השנה, עם מודול מצלמה משולשת שעוצב מחדש ודי מוזר למראה, […]
