סוני פרסמה דוחות לשנת הכספים, שהגיעה לסיומה ב-31 במרץ 2019. בהתבסס על הנתונים שהוצגו, אנו יכולים להסיק שלמרות האטה קלה במכירות החומרה של PlayStation4, הקונסולה עצמה עדיין נמכרת בקצב מרשים. נכון לעכשיו, 96,8 מיליון עותקים של PS4 נמכרו ברחבי העולם, כלומר סך הכל […]
אחד המפתחים הרוסיים הגדולים ביותר, המרכז המדעי והטכני "מודול", הגיע לניווט. עד כה כללו נכסי המרכז בקרים ומיקרו-מעבדים למגוון רחב של מטרות. תחום הפעילות החדש ירחיב את הניסיון וההיצע של מפתחים רוסים. בפרט, Modul עומדת להיכנס לשוק של מכשירי ניווט בעלי דיוק גבוה, בציפייה לתפוס 2024-15% משוק זה ברוסיה עד 18, […]
בדו"ח השנתי, שהופיע לראשונה באתר אינטל בפברואר השנה, מכנה החברה, מסיבות לא ברורות לחלוטין, את הפתרון הגרפי הדיסקרטי שפותח "הראשון בתולדותיה", למרות שמומחי פיתוח בתעשייה אולי זוכרים כי אינטל ניסתה את מזלה עם כרטיסי מסך נפרדים באמצע שנות התשעים של המאה הקודמת. בעיקרו של דבר, פיתוח פתרון גרפי דיסקרטי […]
מיקרוסופט הודיעה פעם שהיא תשתמש בכ-7 GB של שטח בכונן הקשיח של המשתמש כדי לאחסן קבצי עדכונים. היתרון של גישה זו הוא שהיא תבטיח שלא ייגמר לך המקום באמצע עדכון. החיסרון הוא בנאלי - פשוט אין מספיק מקום בטאבלטים ובמחשבים ניידים לא יקרים. אם בעבר דרישת המינימום […]
לדעתי, במגזר הרוסית של האינטרנט, נושא האימות הפורמלי אינו מכוסה מספיק, ובעיקר חסרות דוגמאות פשוטות וברורות. אתן דוגמה ממקור זר, ואוסיף פתרון משלי לבעיה הידועה של חציית זאב, עז וכרוב לצד השני של הנהר. אבל ראשית, אתאר בקצרה מהו אימות פורמלי ומדוע [...]
אימות פורמלי הוא אימות של תוכנית או אלגוריתם אחד באמצעות אחר. זוהי אחת השיטות החזקות ביותר המאפשרות לך למצוא את כל הפגיעויות בתוכנית או להוכיח שהן אינן קיימות. תיאור מפורט יותר של אימות פורמלי ניתן לראות בדוגמה של פתרון בעיית הזאב, העז והכרוב במאמר הקודם שלי. במאמר זה אני […]
במאמר זה אספר לכם כיצד להשתמש ב-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 במאי ואין תיאור, אז אנחנו יכולים רק לנחש איך ספינת המשלחת של שקלטון מחוברת לחלל של ג'ף חברת בזוס. ניתן להניח [...]
Фонд Apache сообщил о завершении работы по интеграции своей инфраструктуры с GitHub и переносе на GitHub всех своих git-сервисов. Изначально для разработки проектов Apache предлагались две системы контроля версий: централизованная система управления версиями Subversion и децентрализованная система Git. C 2014 года на GitHub были запущены зеркала репозиториев Apache, доступные в режиме только для чтения. Теперь […]
