Sony 31-жылдын 2019-мартында аяктаган каржы жылы үчүн отчетторду жарыялады. Берилген маалыматтардын негизинде, PlayStation4 жабдыктарын сатуунун бир аз басаңдаганына карабастан, консолдун өзү дагы эле таасирдүү темпте сатылып жатат деген тыянак чыгарууга болот. Учурда дүйнө жүзү боюнча PS96,8дун 4 миллион нускасы сатылды, бул жалпы [...]
Россиянын эң ири иштеп чыгуучуларынын бири, илимий-техникалык борбор "Модуль" навигацияга келди. Ушул убакка чейин борбордун активдеринде ар кандай максаттар үчүн контроллерлор жана микропроцессорлор бар болчу. Жаңы иш чөйрөсү орусиялык иштеп чыгуучулардын тажрыйбасын жана сунушун кеңейтет. Атап айтканда, Modul 2024-жылга чейин Россияда бул рыноктун 15-18% ын ээлейт деп күтүп, жогорку тактыктагы навигациялык түзүлүштөрдүн рыногуна кирмекчи, [...]
Үстүбүздөгү жылдын февраль айында Intel веб-сайтында биринчи жолу пайда болгон жылдык отчетто компания так эмес себептерден улам иштелип жаткан дискреттик графикалык чечимди "өз тарыхында биринчи" деп атайт, бирок тармакты өнүктүрүү боюнча эксперттер Intel өткөн кылымдын XNUMX-жылдарынын ортосунда дискреттик видеокарталар менен бактысын сынап көргөн. Негизи, дискреттик графикалык чечимди иштеп чыгуу [...]
Бир жолу Microsoft жаңыртуу файлдарын сактоо үчүн колдонуучунун катуу дискинде 7 ГБ мейкиндикти колдоноорун жарыялаган. Бул ыкманын артыкчылыгы жаңыртуунун ортосунда бош орун калбай тургандыгына кепилдик берет. Кемчилиги баналдык - кымбат эмес планшеттерде жана ноутбуктарда орун жетишсиз. Эгерде мурда минималдуу талап […]
На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы и капусты на другую сторону реки. Но вначале вкратце опишу, что из себя представляет формальная верификация и зачем […]
Формальная верификация — это проверка одной программы либо алгоритма с помощью другой. Это один из самых мощных методов, который позволяет найти в программе все уязвимости либо же доказать, что их нет. Более подробное описание формальной верификации можно увидеть на примере решения задачи о Волке, Козе, и капусте в моей предыдущей статье. В этой статье я […]
Бул макалада мен pinba_engine жана pinboard ордуна кликхаус жана графана менен пинбаны кантип колдонууну айтып берем. PHP долбоорунда 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-май датасы жазылган жана эч кандай сүрөттөмө жок, андыктан Шеклтондун экспедициялык кемеси Джеффтин мейкиндигине кандайча туташтырылганын болжолдой алабыз. Bezos компаниясы. Бул деп болжолдоого болот [...]
Apache Фонду өзүнүн инфраструктурасын GitHub менен интеграциялоо жана бардык git кызматтарын GitHub'ка көчүрүү боюнча иштерди аяктаганын жарыялады. Башында Apache долбоорлорун иштеп чыгуу үчүн эки версияны башкаруу системасы сунушталган: борборлоштурулган версияны башкаруу системасы Subversion жана борбордон ажыратылган Git системасы. 2014-жылдан бери Apache репозиторийлеринин күзгүлөрү GitHubда ишке киргизилди, окуу үчүн гана режиминде жеткиликтүү. Азыр […]
