[Перевод] Математика, которой я пользуюсь

Недавно на одном онлайн-форуме был задан вопрос: насколько востребована математика в условиях работы реального программиста, как часто он пользуется ей и каким ее областями? И вот мой ответ.

Прежде всего я, как и почти все программисты, пользуюсь булевой логикой, от анализа логических выражений для условных операторов и критериев выхода из цикла, до приведения подобных выражений в соответствие, например, законам де Моргана. Большая часть нашей работы граничит с исчислением предикатов первого порядка и другой логикой предикатов в виде анализа предусловий, инвариантов и другого (хотя и может показаться, что мы при этом занимаемся какими-нибудь иными задачами).

Далее, я часто занимаюсь анализом трудоемкости алгоритмов. Размеры наборов данных, подвергаемые обработке в наши дни, просто колоссальны. В 2010 году на конференции Techonomy Эрим Шмидт сказал, что объем данных, создаваемых сегодня человечеством всего за два дня, равен объему всех существовавших в мире данных по состоянию на 2013 год. Мне важно уметь обрабатывать большие сегменты этих объемов и извлекать из них пользу. И в этом смысле понимание пространственно-временной сложности операций, применяемых нами к данным есть ключ к определению того, возможны ли те или иные вычисления в принципе. В отличие от более традиционных видов O-анализа или тета-анализа постоянные множители в таких масштабах оказывают существенное влияние: множитель 2 не меняет асимптотическую временную сложность алгоритма, но потребует увеличения количества процессоров с 10 тыс. до 20 тыс., и такая разница в потреблении ресурсов будет ощутима. В результате вычисления становятся более изощренными. Примеры: могу ли я взять некое линейное вычисление и снизить его в силе до логарифмического? Можно ли снизить потребление памяти в три раза? И так далее. Читать дальше →
[Перевод] Математика, которой я пользуюсь
Source: geektimes

Авария с участием робомобиля Uber: датчики сработали, проблема в софте и водителе

На днях стало известно больше деталей об аварии робомобиля Uber. В середине марта этого года машина на полном ходу сбила велосипедистку, переходящую дорогу в неположенном месте. Об этом случае высказывались различные мнения, но сейчас уже есть официальные данные от федерального ведомства. Расследование ведет Национальный совет по безопасности на транспорте (англ. National Transportation Safety Board, NTSB). Это независимое американское агентство, которое занимается расследованием происшествий с участием транспортных средств, включая гражданскую авиацию, автомобильные аварии, морской и железнодорожный транспорт.

Специалисты агентства выяснили, что датчики робомобиля вовремя выявили пешехода на дороге. Это случилось за шесть секунд до столкновения. Но система торможения почему-то не сработала. Кроме того, агентство узнало о том, что «запасные» водители, то есть сотрудники Uber, сидящие в салоне, должны реагировать на проблемные ситуации. И чаще всего именно люди останавливают робомобили, которые не успевают среагировать на проблемную ситуацию.
Читать дальше →
Авария с участием робомобиля Uber: датчики сработали, проблема в софте и водителе
Source: geektimes

Обзор процессора Ryzen 7 2700X. Раскрываем потенциал флагманского 8-ядерника AMD при помощи памяти Kingston HyperX

Привет, Гиктаймс! Компания AMD наконец-то представила 8- и 6-ядерные процессоры Ryzen второго поколения, основанные на архитектуре Zen+. В нашем блоге не раз изучались решениях «красных», поэтому мимо такого события мы пройти не смогли. Изучаем флагманскую модель Ryzen 7 2700X и выясняем ее сильные и слабые стороны.


Читать дальше →
Обзор процессора Ryzen 7 2700X. Раскрываем потенциал флагманского 8-ядерника AMD при помощи памяти Kingston HyperX
Source: geektimes

Испытания самобалансирующего робота EduMip на основе BeagleBone Blue. Часть 2

Под катом показываю как запустить, тест на удержание равновесия, разгон по кругу, управление с клавиатуры и другие программы.
Читать дальше →
Испытания самобалансирующего робота EduMip на основе BeagleBone Blue. Часть 2
Source: geektimes

Как Amazon использует новую систему распознавания лиц, и за что её ненавидят

Amazon разработала новую мощную систему для распознавания лиц в режиме реального времени. Нейросетям «кормят» фото и видео, а они определяют, что (или кто) там показывается. Воспользоваться ей может любой пользователь AWS. В США с её помощью шерифы уже успешно ловят преступников, а телестанции находят знаменитостей в живых трансляциях. Но у технологии нашлись и ярые оппоненты. Которые пишут Безосу письма и призывают Amazon немедленно прекратить разработку системы, иначе последствия могут быть самыми непредсказуемыми.

Читать дальше →
Как Amazon использует новую систему распознавания лиц, и за что её ненавидят
Source: geektimes

Без проводов лучше: удобные зарядные устройства для смартфонов и планшетов

Обилие современных гаджетов обязывает пользователя иметь для всей этой техники соответствующие зарядные устройства. Каким бы хорошим и емким ни был аккумулятор девайса, но рано или поздно он «сядет». А это значит, что в самый неподходящий момент кто-то из нас остается без связи или доступа к важной информации.

Понятно, что «подходящие моменты» — редкость, чаще всего телефон или планшет разряжаются ровно тогда, когда они нужны просто позарез. Для того, чтобы решить эту проблему, и нужны зарядные устройства, хорошие и разные. Как раз о них сегодня и поговорим.
Читать дальше →
Без проводов лучше: удобные зарядные устройства для смартфонов и планшетов
Source: geektimes

Знакомимся с хакерспейсом Нижнего Новгорода — CADR. Часть 1

Всегда интересно узнавать как людям приходит идея создать что-то новое, и создание клубов свободного робототехнического творчества — хакспейс (хакерспейс) не исключение. Как правило такие клубы создаются простыми гиками для самих себя, и поэтому каждый по своему уникален. И хочется поддержать такие полезные инициативы, рассказом про такие клубы. Может такие истории будут начальной мыслью для консолидации талантливых людей и зарождения таких клубов и в ваших городах.

В Нижнем Новгороде живет хакерспейс CADR, и основатель Артем Попцов согласился ответить на наши вопросы — рассказать про историю создания, развитие и проекты своего клуба.

Как пришла идея создать хакспейс, и как это происходило?

Рождение идеи

Меня на идею создания хакерспейса натолкнула, можно сказать, сама жизнь — были сложности в семье, на которые не мог при всех стараниях повлиять и, поскольку являюсь в определённой мере творческим человеком, ощущал «острую творческую недостаточность» на фоне постоянного стресса. Не знаю, бывало ли у вас такое чувство, когда вам хочется куда-то бежать, но некуда? Хотелось найти место, где можно было бы просто заниматься техническим творчеством, плюс найти сообщество «гиков», где бы не смотрели на человека, программирующего ради удовольствия, как на «белую ворону». Поскольку такого места найти не удалось, то решил попробовать создать его сам.

Цель была поставлена следующая: создать некоммерческое место для технического творчества со своей «гиковской» атмосферой, набором инструментов, управляемое сообществом, участие в котором будет либо бесплатно, либо за минимальную оплату.
Читать дальше →
Знакомимся с хакерспейсом Нижнего Новгорода — CADR. Часть 1
Source: geektimes

[Перевод] Краткая история квантовых альтернатив

«Копенгагенская» квантовая механика говорит, что реальность не существует, пока она не измерена, поэтому многие продолжают искать альтернативы этой интерпретации

В 1915 году Альберт Эйнштейн с помощью своих друзей разработал теорию гравитации, перевернувшую всё то, что мы считали самим фундаментом физической реальности. Мысль о том, что населяемое нами пространство не может быть совершенно описано евклидовой геометрией, была непостижимой; настолько, что философ Иммануил Кант, во многих смыслах радикальный мыслитель, заявил, что никакая теория физики не сможет с ней справиться.

Позже физик Вернер Гейзенберг указал на смысл ошибки Канта. Великий философ постулировал, что наше интуитивное понимание древней геометрии Евклида означало, что она была необходимым основанием физической реальности. На самом деле это оказалось неверным, поставив под вопрос всю философскую систему Канта.

Несмотря на радикальный разрыв с прошлыми представлениями о пространстве и времени, теории Эйнштейна вскоре соединились с идеями Ньютона как часть «классической физики«. Человечество вынуждено было это сделать, потому что революция научной мысли оказалась столь глубокой, что создала яркий след в истории науки: разработку теории квантовой физики.

Что можно назвать научной революцией более глубокой, чем общая теория относительности? Что могло создать тектонический сдвиг, более мощный, чем идея о том, что сами пространство и время искривляются материей?
Читать дальше →
[Перевод] Краткая история квантовых альтернатив
Source: geektimes

[Перевод] Миф о предпочтительном стиле обучения

Популярная теория о том, что некоторые лучше обучаются визуально или аудиально, развенчивается

В начале 90-х новозеландец Нил Флеминг решил разобраться с тем, что занимало его во время наблюдений за классами в качестве школьного инспектора. Он наблюдал за 9000 разными классами и заметил, что лишь некоторые учителя были способны достучаться абсолютно до всех своих учеников. Что они делали по-другому?

Флеминг в итоге пришёл к вопросу о том, какой способ предоставления информации нравится людям. К примеру, если вы спрашиваете, как куда-то пройти, предпочтёте ли вы, чтобы вам рассказали об этом, или нарисовали карту?

Сегодня 16 подобных вопросов составляют опросник VARK, разработанный Флемингом для определения «стиля обучения» человека. VARK, что расшифровывается, как «визуальный, слуховой, текстовый и кинестетический», сортирует студентов на тех, что лучше обучаются визуально, через услышанную информацию, посредством чтения или через «кинестетический» опыт. («Гораздо позже я узнал, что vark по-голландски значит „свинья, — писал Флеминг, — и не смог зарегистрировать сайт vark.com, поскольку зоомагазин из Пенсильвании использовал его для продажи трубкозубов!“ [aardvark, или земляная свинья / прим. перев.]).
Читать дальше →
[Перевод] Миф о предпочтительном стиле обучения
Source: geektimes

Жизнь на льдине: дрейфующая станция «Северный Полюс—1»

25 мая исполнилось ровно 80 лет с момента доставки первой партии оборудования для первой в мире дрейфующей научно-исследовательской полярной станции «Северный Полюс—1». В 1937-м четверо самоотверженных учёных — Иван Папанин (руководитель экспедиции), Евгений Фёдоров, Эрнст Кренкель и Пётр Ширшов — высадились на льдине в 8 км от Северного Полюса и основали станцию, на которой прожили 274 дня, постепенно продрейфовав к берегам Гренландии. Эта невероятно смелая экспедиция — на всех этапах: доставки, проживания и эвакуации — позволила собрать уникальные гидрографические, метеорологические и гляциологические данные. Причём настоящий подвиг совершили не только «папаницы», но и экипажи пилотов, доставлявшие экспедицию на Северный Полюс.
Читать дальше →
Жизнь на льдине: дрейфующая станция «Северный Полюс—1»
Source: geektimes