Архив за 16 декабря 2014 - 8

Компания Amazon в рамках Holidays Deals продает свои фирменные электронные товары по сниженной цене. В течение еще примерно недели можно сэкономить на планшете, «читалке», смартфоне или телевизионной приставке от Amazon.

Amazon предлагает планшеты, «читалки» и смартфон по сниженной цене - 1
Читать полностью »

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

Но в последнее время ситуация, похоже, меняется. Например, астроном-любитель Дэвид Шнайдер (David Schneider) с помощью обычной DSLR смог наблюдать планету в 63 световых годах от Земли!

Поиск планет с помощью цифровой камеры - 1
Камера Шнайдера

Цифровая камера — лишь один из элементов «трекера», который сконструировал Шнайдер на плате Arduino с шаговым электродвигателем и несколькими деталями от струйного принтера. Конструкция закреплена на фанерной подставке.
Читать полностью »

Запущенный в 2004-2005 годах Василием Стрельниковым сайт для публикации «подкастов» rpod.ru (Russian Podcasting) закрывается:

Похоже, Российский подкастинг в «полном порядке», и миссия RPOD.RU выполнена — поэтому в ночь на 1 января он будет отключен до лучших времен.
Публикация новых подкастов была прекращена 14 декабря, не забудьте скачать любимые выпуски.
Спасибо всем за прекрасные 10 лет подкастинга в России!

Еще в мае 2014 года Стрельников говорил, что готов к предложениям о покупке rpod.ru. Но, по-видимости, интересных предложений не получил.
Как признает сам Стрельников: «подкастинг мертв».

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

Введение в .NET Core - 1

На конференции connect(), мы объявили, что .NET Core будет выпущен полностью как программное обеспечение с открытым исходным кодом. В этой статье мы сделаем обзор .NET Core, расскажем, как мы собираемся его выпускать, как он соотносится с .NET Framework и что это все означает для кросс-платформенной разработки и разработки с открытым кодом.
Читать полностью »

Эта примечательная гипотеза связывает поведение функции L там, где в настоящее время неизвестно, определена ли она, и порядок группы Ш, про которую неизвестно, конечна ли она!
J.T.Tate, The arithmetic of elliptic curves, Inventiones mathematicae 23 (1974)

Оригинал

This remarkable conjecture relates the behaviour of a function L at a point where it is not at present known to be defined to the order of a group Ш which is not known to be finite!

(Краткая справка насчёт актуальности цитаты 40-летней давности: после Уайлса и Ко таки стало известно, что функцию L можно определить на всей комплексной плоскости. Конечность группы Ш в общем случае остаётся неизвестной.)

Остаётся обсудить возможность ошибки. В качестве предосторожности против внутренних ошибок компьютера можно прогнать все вычисления дважды или делать проверки внутри программы. Более того, компьютеры — в отличие от людей — устроены так, что их ошибки обычно чересчур велики, чтобы их не заметить. Мы уверены, что в наших результатах нет подобных ошибок. С другой стороны, при кодировании замысловатой схемы вычислений в компьютерную программу неизбежны программистские ошибки. Большинство из них обнаруживаются ещё до основных запусков, из-за того, что программа виснет или выдаёт нелепые результаты. Но программа, которую считается работающей, всё ещё может содержать логические ошибки, проявляющиеся при редких стечениях обстоятельств: и действительно, большинство компьютеров подвержено аномалиям, из-за которых те иногда ведут себя не так, как должны по спецификациям. В сущности, наша программа для этапа (ii) оказалась неточной и пропустила очень небольшое количество эквивалентностей, которые должна была найти.

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

B.J.Birch and H.P.F.Swinnerton-Dyer, Notes on elliptic curves. I, Journal für die reine und angewandte Mathematik 212 (1963)

Оригинал

It remains to discuss the question of error. One can take precautions against machine errors either by running all the calculations twice or by checks included in the program. Moreover, machines — unlike human beings — are so designed that the errors they make are usually too gross to be overlooked. We are satisfied that there are in our results no undetected errors of this sort. On the other hand, in translating an elaborate scheme of calculation into a machine program one is bound to make mistakes. Most of these are found before the program is used for production runs; they show up because the program grinds to a halt or produces ridiculous results. But a program which is believed to work may still contain logical errors which only have an effect in rare circumstances: and indeed most computers have anomalies which cause them occasionally not to behave in the way that their specifications suggest. In fact, our program for stage (ii) was imperfect in that a very few equivalences were missed by the machine.

For these reasons we believe that results obtained from a computer should not be automatically trusted. In some cases they can be checked because they have properties which were not essentially used in the course of the calculation and which would be unlikely to survive if an error had been made. (For example, if a table of a smooth function has been calculated without the use of interpolation, it can be checked by differencing.) But if checks of this sort are not available, results should not be fully trusted until they have been independently reproduced by a different programmer using a different machine. We do not think this sets an unreasonable standard, now that computers are becoming so widely available; and we are satisfied that lower standards have already led to a number of untrue results being published and believed.

Гипотеза Бёрча — Свиннертон-Дайера - 1
Под катом не будет формулировки гипотезы; знающие выражения вроде «Euler product» и «holomorphic continuation» (и в смысле языка, и в смысле обозначаемых понятий) могут прочитать пятистраничный pdf с сайта института Клэя. Под катом — некоторая попытка пояснить, на каком направлении развития математической мысли вообще находится гипотеза Бёрча — Свиннертон-Дайера. А также — как можно досчитать до больших чисел вроде тех, что показаны на КДПВ, менее чем за секунду.
Читать полностью »

Компания Google рассказала о том, чем больше всего интересовались пользователи, потреблявшие контент из магазина Google Play, в 2014 году.

Самый популярный контент магазина Google Play 2014 года

Следует отметить, что столь любопытная информация была представлена в форме инфографики, которая рассказывает о самых востребованных в уходящем году играх, фильмах, музыке, программах и книжках.
Читать полностью »

Age of Ascent от Illyriad Games — это массовая многопользовательская онлайн-игра про космос, работающая на Microsoft Azure. Важнейший аспект игры, отличающий ее от других представителей жанра – это возможность селить десятки тысяч игроков в единый мир, вовлекая их в масштабные сражения и исследования. Это стало возможным благодаря учету возможности запуска игры на тысячах компьютеров, не забывая при этом о цельной и сложной вселенной.

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

Сейчас поддержка глобальных сражений находится в разработке и будет представлена в финальной версии игры. Игровой процесс, основанный на космических битвах, представляет важную часть игры и будет представлен в 2015 году.

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

Как и многие стартаперы, мы иногда подумываем, куда бы переместиться территориально, ведь когда работаешь над ИТ-проектом, ты не привязан к конкретному месту и спокойно можешь выбрать комфортную для проживания страну. В целом, в интернете есть много статей о жизни программистов в тех или иных странах, но они все разбросаны по разным ресурсам, и если хочешь в общем познакомиться с несколькими странами и сравнить их, то это не всегда удобный процесс. Также, мы знали про гуглотаблицу о жизни и работе в других странах, которую заполняли пользователи Хабра (думаю, многие ее помнят), она супер информативна, конечно, но в то же время громоздка, и изучить ее быстро не так-то просто.
В общем, мы решили, что миру срочно нужен специальный сайт с отзывами программистов о том, как им живется в других странах. Т.к. у нас был гуглодокумент, то оттуда и решили взять информацию для сайта. К сожалению, нам не удалось найти создателя документа и связаться с ним, но в любом случае этот сайт некоммерческий и сделан для удобства программистов, никакой монетизации здесь не планируется. Если создатель найдется, то с удовольствием напишем о нем в разделе «О проекте», т.к. без документа вряд ли сайт получился бы настолько информативным.
Для визуализации информации решили использовать карту мира и разместить все отзывы прямо ней. Это показалось нам наиболее удобным для восприятия – если в одном городе несколько отзывов с разными оценками, то по ним выводится средний балл. И в целом сразу визуально видно, какие регионы наиболее комфортны для жизни. Читать полностью »

Компания Huawei пополнила семейство мобильных устройств Honor планшеотм с поддержкой 3G. Новинка называется T1, работает под управлением Android 4.3 и появится на европейских прилавках в этом месяце по цене 130 евро.

При габаритах 210,6 x 127,7 x 7,9 мм планшет Honor T1 весит 360 г

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

Источник, постоянно публикующий подтверждающуюся позже информацию о еще не выпущенных мобильных устройствах, утверждает, что смартфон HTC One (M9) Hima будет выпускаться в трех цветовых вариантах: сером, серебристом и золотистом.

HTC One (M8)

Это вряд ли удивит тех, кто знаком с нынешним предложением HTC. Модель HTC One (M8)Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js