Это самая старая ошибка — переполнение преследовало любую попытку создать хорошую программу с тех пор, как мы начали писать код. Теперь у MIT есть улучшенная система для поиска ошибок переполнения путем изучения кода.
Рубрика: Теория
День Пи века
День Пи — это 14 марта каждого года, потому что 3,14 — это первые три цифры числа Пи, но в этом году дата — 14 марта 2015 г., и это первые пять цифр числа Пи — 3,1415. Это случается только раз в столетие, так что давайте праздновать!
Лекция Дональда Кнута о рождественской елке
По традиции, которой уже 20 лет, в начале этого месяца Дональд Кнут представил в Стэнфордском университете свою лекцию о рождественской елке 2014 года. Его тема, как всегда, связана с чем-то новым о деревьях, которые он узнал в течение года — в данном случае (3/2) -ричных деревьях.
Задача остановки, используемая для доказательства того, что робот не может вычислимо убить человека
Что касается ошибок вычислимости и проблемы остановки в целом, вы, вероятно, не могли бы найти лучшего примера. В недавней статье изложены аргументы по важной теме — роботы, обладающие способностью убивать. Вывод таков: информатика доказывает, что их следует запретить.
Смотри и говори числа и константа Конвея
В новом видео от Numberphile Джон Конвей рассказывает историю чисел и их интересных свойств. Это история регулярности, но не арифметика.
Машина в призраке
Хорошо, название действительно должно быть «машина в дифференциальном уравнении», но … Недавняя статья показывает, что ключ к разгадке одной из семи наиболее важных проблем математики и, более того, подход предполагает, что компьютеры могут быть спрятаны внутри физических явления.
Шкивы как логические ворота
Вы были бы удивлены, узнав о различных вещах, которые можно использовать для реализации логики — крабах, слизистой плесени, каплях воды, а теперь и о шкивах. Кто-нибудь хочет построить механический компьютер с использованием шкивов?
Искать Twin Prime Proof Slows
Еще в начале 2013 года прорывный результат установил, что существует бесконечно много пар простых чисел, разделенных менее чем на 70 миллионов. Да 70 миллионов! Следующим шагом стала настоящая реакция 21-го века — коллективная работа, направленная на то, чтобы сократить разрыв в 70 миллионов до двух.
Теоретик сложности получил премию Абеля за 2014 год
Премию Абеля иногда называют Нобелевской премией по математике, но также и медалью Филдса. Хорошая новость в этом году заключается в том, что получатель, Яков Г. Синай, известен своей работой в области вычислительной сложности.
Read more «Теоретик сложности получил премию Абеля за 2014 год»
Больше связей, чем мы думали, или узы матрицы
«Матрица перезагрузка» начала что-то, когда «Меровингов» носил несколько ярких галстуков. Проблема заключалась в том, что мы думали, что знаем, сколькими способами можно связать ничью, но перечисление не включало матричный способ сделать это. Теперь мы знаем, сколько там узлов, и все это благодаря теории языка.