Архив за 19 октября 2018

Минобороны показало залпы из «Солнцепёка»

Читать полностью »

Google планирует взимать с производителей мобильных устройств вплоть до $40 за каждый проданный девайс - 1

Правда, пока только в Евросоюзе. Все это — последствия решения Еврокомиссии, посчитавшей корпорацию монополистом, достойным наказания. Ранее практически все производители мобильных устройств с ОС Android по умолчанию устанавливали все сервисы от Google — поиск, браузер, карты и т.п.

Но еврочиновники посчитали такой расклад незаконным и оштрафовали корпорацию Google на $5 млрд. Компания, в свою очередь, заявила, что будет действовать согласно постановлению. При этом компания собирается взимать плату с каждого проданного телефона, где нет сервисов Google по умолчанию, но есть Android OS.
Читать полностью »

Принцип наименьшего действия. Часть 2 - 1

В прошлый раз мы кратко рассмотрели один из самых замечательных физических принципов — принцип наименьшего действия, и остановились на примере, который, казалось бы, ему противоречит. В данной статье мы разберемся с этим принципом немного подробнее и посмотрим, что происходит в данном примере.
Читать полностью »

Мобильное приложение помогает обнаружить депрессию и другие психологические проблемы на самых ранних стадиях - 1
Для диагностики не требуется посещение врача — состояние человека оценивают по паттернам его обычного поведения

Множество людей страдают от депрессии и прочих «душевных» заболеваний. Лишь в США около 45 млн человек имеют проблемы с так называемым ментальным здоровьем, причем лечение каждого человека в этом случае является строго индивидуальным. Но технологии помогают решить проблему. В частности, смартфоны, конечно, не сами по себе, а со специализированным программным обеспечением.

Стартап Mindstrong Health решил превратить смартфоны своих пользователей в мобильного доктора, который позволяет диагностировать депрессию и ряд прочих проблем. Компания, о которой идет речь, основана тремя медиками, один из которых — экс руководитель такой организации, как Национальный институт психического здоровья США. Так что о психических отклонениях и проблемах людей команда компании знает все.
Читать полностью »

Космодром Восточный готов к новым запускам: обнаруженные пустоты устранены

Центр эксплуатации объектов наземной космической инфраструктуры (ЦЭНКИ) сообщил о том, что специалисты устранили пустоты, обнаруженные под стартовым комплексом ракеты-носителя «Союз-2» на космодроме Восточный.

Читать полностью »

Компания OnePlus собиралась представить свой новый флагманский смартфон 30 октября. Однако недавно стало известно, что в этот же день своё мероприятие проведёт и Apple.

И хотя купертинский гигант не покажет на нём новых смартфонов, OnePlus решила перенести свой анонс на день раньше. Таким образом, OnePlus 6T мы увидим уже 29 октября. Его представят на презентации в Нью-Йорке.

Один из кроссоверов Lexus, которые Apple использует для тестирования систем беспилотного вождения, попал в аварию.

NASA объявило о приеме заявок на аппаратуру для Луны

Как сообщается в приглашении, опубликованном на сайте NASA, имеются в виду приборы, могущие помочь в изучении Луны, а также получении какой-то коммерческой выгоды от ее будущего освоения. Будущие приглашения будут выпускаться через равные промежутки времени, ближайшее выйдет через год.

Читать полностью »

Массачусетский Технологический институт. Курс лекций #6.858. «Безопасность компьютерных систем». Николай Зельдович, Джеймс Микенс. 2014 год

Computer Systems Security — это курс о разработке и внедрении защищенных компьютерных систем. Лекции охватывают модели угроз, атаки, которые ставят под угрозу безопасность, и методы обеспечения безопасности на основе последних научных работ. Темы включают в себя безопасность операционной системы (ОС), возможности, управление потоками информации, языковую безопасность, сетевые протоколы, аппаратную защиту и безопасность в веб-приложениях.

Лекция 1: «Вступление: модели угроз» Часть 1 / Часть 2 / Часть 3
Лекция 2: «Контроль хакерских атак» Часть 1 / Часть 2 / Часть 3
Лекция 3: «Переполнение буфера: эксплойты и защита» Часть 1 / Часть 2 / Часть 3
Лекция 4: «Разделение привилегий» Часть 1 / Часть 2 / Часть 3
Лекция 5: «Откуда берутся ошибки систем безопасности» Часть 1 / Часть 2
Лекция 6: «Возможности» Часть 1 / Часть 2 / Часть 3
Лекция 7: «Песочница Native Client» Часть 1 / Часть 2 / Часть 3
Лекция 8: «Модель сетевой безопасности» Часть 1 / Часть 2 / Часть 3
Лекция 9: «Безопасность Web-приложений» Часть 1 / Часть 2 / Часть 3
Лекция 10: «Символьное выполнение» Часть 1 / Часть 2 / Часть 3
Лекция 11: «Язык программирования Ur/Web» Часть 1 / Часть 2 / Часть 3Читать полностью »

Привет habr.

На geektimes habr было уже несколько статей про abc-гипотезу (например в 2013 и в 2018 годах). Сама история про теорему, которую сначала много лет не могут доказать, а потом столько же лет не могут проверить, безусловно заслуживает как минимум, художественного фильма. Но в тени этой чудесной истории, сама теорема рассматривается черезчур поверхностно, хотя она не менее интересна. Уже хотя бы тем, что abc-гипотеза — одна из немногих нерешенных проблем современной науки, постановку задачи которой сможет понять даже пятиклассник. Если же эта гипотеза действительно верна, то из нее легко следует доказательство других важных теорем, например доказательство теоремы Ферма.

Не претендуя на лавры Мотидзуки, я тоже решил попробовать решил проверить с помощью компьютера, насколько выполняются обещанные в гипотезе равенства. Собственно, почему бы нет — современные процессоры ведь не только для того чтобы в игры играть — почему бы не использовать компьютер по своему основному (compute — вычислять) предназначению…

Кому интересно что получилось, прошу под кат.
Читать полностью »