Автор: WinAx

• Нетривиальные турмиты универсальны по Тьюрингу

Время от времени вы будете читать о прорыве, в котором утверждается, что какой-то странный компьютер может решить NP-задачи на P. Иными словами, нам представлена супер-машина Тьюринга, способная вычислять что-то, что не является вычислимым. Обычно это оказывается сложнее, чем предполагают заголовки.

• О практической точности алгоритмов аппроксимации расстояния редактирования

Сложно ли параллельное программирование, и если да, что с этим делать?

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

• Формат числа Unum: математические основы, реализация и сравнение с числами с плавающей запятой IEEE 754

Каждый год Дональд Кнут традиционно читает лекцию, вдохновленную темой, похожей на дерево, и, хотя он отказался от темы дерева год или два назад, лекция по-прежнему называется лекцией о рождественской елке. Этот год стал технологическим прорывом, потому что видео снималось в формате 4K 360.

• Блокчейн: краткое введение в четыре страницы

• Разработка через тестирование

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