Вывод на орбиту новых российских телекоммуникационных спутников «Экспресс-80» и «Экспресс-103» откладывается. Об этом, как сообщает «РИА Новости», рассказал источник в ракетно-космической отрасли.
Фотографии ИСС
Архив сентября 2019 - 11
Запуск спутников связи и вещания «Экспресс-80-103» в текущем году не состоится
2019-09-29 в 15:23, admin, рубрики: Гаджеты и устройства для гиковРоссия потратит 44 млрд на «Цифровую образовательную среду» с онлайн-курсами
2019-09-29 в 14:46, admin, рубрики: Законодательство в IT, Минкомсвязи, образование, Учебный процесс в IT, финансы в IT, цифровая экономика
Правительство с 2020 по 2022 годы планирует выделить около 44 млрд рублей на новый образовательный проект, который получил название «Цифровая среда». В следующем году из этой суммы планируется выделить 16,3 млрд рублей. Сам проект позиционируется как разработка информационного ресурса федерального масштаба, предоставляющий доступ гражданам к онлайн-курсам от разных образовательных онлайн-платформ. Таким образом, курсы будут предоставляться по принципу «единого окна».
Что касается бюджета проекта, то в 2021 году планируется выделить 16 млрд рублей, а в 2022 — 12 млрд рублей. Ресурс online.edu.ru предоставит гражданам бесплатный доступ практически ко всем материалам. К слову, в прошлом году команда проекта провела интеграцию ресурса с Единой системой идентификации и аутентификации (ЕСИА).
Читать полностью »
Отказаться от всех предложений разом. Новые настройки Google Play могут удалить пользователя из всех бета-программ
2019-09-29 в 14:13, admin, рубрики: НовостиКомпания Google без особых фанфар и шума внесла изменения в настройки онлайн-магазина приложений Google Play. На это обратил внимание ресурс AndroidPolice.
Щенок питбуля спас детей от змеи ценой своей жизни
2019-09-29 в 14:03, admin, рубрики: Это интересно 
Как сообщает РИА Новости, пес заметил опасность и бросился на змею, оторвав ей голову, однако та в ходе схватки успела несколько раз его укусить. Зевса немедленно доставили в клинику, однако ветеринарам не удалось спасти ему жизнь.
Родители мальчиков описали щенка как «самого преданного пса» и отметили, что их сыновья обязаны ему жизнью.
Agones, создаем многопользовательский игровой сервер. Архитектура и установка
2019-09-29 в 13:47, admin, рубрики: agones, devops, game servers, kubernetes, Дизайн игрAgones (от др.-греч. agōn — «соревнование») позволяет развернуть кластер игрового сервера используя Kubernetes с возможностью Auto-Scaling. Этот open-source проект был создан в 2018 году, уже набрал 2500 звезд, был на Google I/O 2019, и на Хабре, к великому удивлению, еще не был упомянут. В топике описан краткий экскурс в архитектуру и инструкция по запуску тестового сервера на локальной машине. Если интересно, добро пожаловать под кат, вперед!
Зачем Mozilla, Coil и Creative Commons выделяют для open source проектов 100 млн долларов
2019-09-29 в 13:46, admin, рубрики: 1cloud, Coil, Creative Commons, mozilla, open source, Блог компании 1cloud.ru, монетизация интернет-проектовРасскажем, как компании планируют разделить сумму гранта, и поговорим о других ситуациях, когда open source разработчики получили существенную финансовую и материальную поддержку.
Давно ожидаемая функция. В Windows 10 появилась поддержка двухсимочных смартфонов
2019-09-29 в 13:46, admin, рубрики: НовостиКомпания Microsoft добавила ещё одну функцию в приложение Your Phone (Ваш телефон) для операционной системы Windows 10, которую давно ожидали пользователи.
Хаки для мозга. Учёные опубликовали обзор методов для улучшения умственных способностей
2019-09-29 в 13:33, admin, рубрики: Биотехнологии, взлом мозга, внимание, Здоровье гика, Киберпанк, Научно-популярное, нейроанализ, нейроэтика, память, познание, рабочая память, творчество
В условиях всё более сложного информационного общества неуклонно растут требования к когнитивному функционированию. В последние годы предложены многочисленные стратегии для улучшения работы мозга. Доказательства их эффективности (или её отсутствия) и побочных эффектов вызвали дискуссии об этических, социальных и медицинских последствиях.
Подобно хакерской культуре в области компьютерного программного и аппаратного обеспечения, всё больше людей экспериментируют со стратегиями творческого преодоления естественных ограничений когнитивных способностей человека — другими словами, «взламывают» функции своего мозга.
В общественных дебатах когнитивное усовершенствование часто рассматривается как некое монолитное явление. Но на самом деле это многогранная концепция: существует не один «когнитивный усилитель», который увеличивает функцию мозга как таковую, а большое разнообразие стратегий, которые можно разделить по группам:
- биохимические;
- физические;
- поведенческие.
Эти когнитивные усилители различаются по способу применения, когнитивной области, на которую они нацелены, времени воздействия, доступности и побочным эффектам, а также по тому, как они действуют на разных людей.
Читать полностью »
Применение формальных методов валидации моделей для UI
2019-09-29 в 13:25, admin, рубрики: alloy, Анализ и проектирование систем, конечные автоматы, Программирование, Формальный методыПривет! Представляю вашему вниманию перевод статьи «FORMALLY SPECIFYING UIS» автора Hillel Wayne.
От автора
Относительно недавно я наткнулся на статью про Инженерные методы в разработке ПО, где vasil-sd рассказал про формальную валидацию спецификаций к создаваемым программным продуктам. В качестве инструментария был использован Alloy. Одним из основных лейтмотивов в комментариях был — разобрать статью в контексте какого-нибудь современного веб проекта, потому что дорогодолгосложно использовать формальные методы там, где все делают быстродешево. Так как автор ссылался на блог Hillel Wayne, где такие примеры были, я решил перевести что-то из его статей в качестве дополнения к основному тексту vasil-sd
Предупреждение:
- Все, что автор называет finite-state machine, я буду называть конечным автоматом или моделью конечного автомата.
- Часть терминологии я почерпнул из статьи, ранее мною упомянутой, об инженерном подходе к разработке. Тем не менее, тема для меня относительно новая, потому обоих авторов(как зарубежного, так и не очень) мог понять не так — не ругайтесь.
В 2020 году OPPO наделит поддержкой 5G все смартфоны среднего уровня
2019-09-29 в 13:23, admin, рубрики: Гаджеты и устройства для гиковКитайская компания OPPO в следующем году намерена активно расширять семейство смартфонов с поддержкой мобильной связи пятого поколения (5G). О планах в отношении 5G, как сообщают сетевые источники, рассказал менеджер по продажам OPPO. Ожидается, что в 2020-м поддержка сетей пятого поколения появится во всех смартфонах OPPO стоимостью от 3000 юаней, или от 420 долларов США. Иными словами, модемом 5G будут комплектоваться все аппараты среднего уровня.