Компанія Sony опублікувала звітність за фінансовий рік, який закінчився 31 березня 2019 року. На основі представлених даних можна зробити висновок про те, що, незважаючи на деяке уповільнення продажів обладнання для PlayStation4, сама консоль все ще продається з вражаючою швидкістю. На даний момент по всьому світу реалізовано 96,8 копій PS4, а значить загальне [...]
Один із найбільших російських розробників науково-технічний центр «Модуль» прийшов до навігації. До цього часу в активі центру були контролери та мікропроцесори широкого спектра призначення. Нова сфера діяльності дозволить розширити досвід та пропозицію російських розробників. Зокрема, «Модуль» має намір вийти на ринок пристроїв високоточної навігації, розраховуючи до 2024 року зайняти в Росії 15–18 % на цьому ринку, […]
У річному звіті, який на сайті Intel вперше з'явився в лютому цього року, компанія в силу не зовсім очевидних причин називає дискретне графічне рішення, що розробляється, «першим у своїй історії», хоча знавці розвитку галузі можуть пам'ятати, що з дискретними відеокартами Intel спробувала щастя ще в середині XNUMX-х років минулого століття. Власне, розробка дискретного графічного рішення […]
Компанія Microsoft оголосила, що буде використовувати близько 7 Гбайт простору на жорсткому диску користувача для зберігання файлів оновлень. Перевага такого підходу полягає в тому, що це дозволить гарантувати, що місце не закінчиться в середині оновлення. Нестача ж банальна — на недорогих планшетах і ноутбуках місця просто не вистачить. Якщо раніше мінімальна вимога […]
На мій погляд, у російськомовному секторі інтернету тематика формальної верифікації висвітлена недостатньо, і особливо не вистачає простих та наочних прикладів. Я наведу такий приклад із зарубіжного джерела, і доповню власним рішенням відомого завдання про переправу вовка, кози та капусти на інший бік річки. Але спочатку коротко опишу, що собою представляє формальна верифікація і навіщо […]
Формальна верифікація - це перевірка однієї програми чи алгоритму з допомогою інший. Це один із найпотужніших методів, який дозволяє знайти в програмі всі вразливості або довести, що їх немає. Більш детальний опис формальної верифікації можна побачити на прикладі вирішення завдання про Вовка, Козу, та капусту в моїй попередній статті. У цій статті я […]
У цій статті я розповім, як використовувати pinba спільно з clickhouse та grafana замість pinba_engine та pinboard. На php-проекті pinba — мабуть, єдиний надійний спосіб зрозуміти, що відбувається з продуктивністю. Щоправда, зазвичай pinba впроваджується тільки тоді, коли вже спостерігаються проблеми і не зрозуміло «де копати». Часто ніхто поняття не має, скільки разів на секунду/хвилину викликається […]
Це невелика історія з реальної практики, коли невелика проблема, добре замаскована стійкістю до відмови, перетворюється на головний біль. Невелика диспозиція: Маленька філія, в ній є своя АТС (asterisk + FreePBX) на базі десктопного заліза і такий же місцевий термінальний сервачок з 1С, файло-смітником і віртуальним RO контролером домену. Інтернет роздає Mikrotik Філія маленька, їм цього достатньо. Все почалося […]
Це другий у серії щотижневих дайджестів про технології, людей і те, як вони впливають один на одного. Енді Джонс (екс Wealthfront, Facebook, Twitter, Quora) про те, як створювати гармонійне зростання продукту у стартапі. Класні ідеї, статистика та приклади з найкращих технологічних компаній у своїх галузях. Електронна книжка на 19 сторінок, рекомендується до прочитання будь-якій людині, […]
Проект TrueOS оголосив про тестування експериментальних збірок FreeBSD 12-STABLE та FreeBSD 13-CURRENT, у яких монолітна базова система перетворена на набір пов'язаних між собою пакетів. Складання розвиваються в рамках проекту pkgbase, що надає кошти для використання штатного пакетного менеджера pkg для управління пакетами, що утворюють базову систему. Постачання у формі роздільних пакетів дозволяє суттєво спростити процес оновлення базової […]
На офіційній сторінці компанії Blue Origin у мережі Twitter з'явилася фотографія корабля знаменитого дослідника Ернеста Шеклтона, який займався вивченням Антарктики. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 квітня 2019 р. Фотографія озаглавлена датою 9 травня, а будь-який опис відсутній, тому нам залишається лише здогадуватися, як експедиційний корабель Шеклтона Безоса. Можна запропонувати, […]
Фонд Apache повідомив про завершення роботи з інтеграції своєї інфраструктури з GitHub та перенесення на GitHub всіх своїх git-сервісів. Спочатку розробки проектів Apache пропонувалися дві системи контролю версій: централізована система управління версіями Subversion і децентралізована система Git. З 2014 року на GitHub були запущені дзеркала репозиторіїв Apache, доступні лише для читання. Тепер […]
