Ресурсы: техническое описание TLS, LaTeX - в картинки (img), криптографическая библиотека Arduino, шифр "Кузнечик" на ассемблере AMD64/AVX и ARM64
Из ЖЖ
В ЖЖ Экслера обсуждают всякое. Вот забавное:
Это не наезд, но на прошлой неделе мы всей группой во главе с преподавательницей – кандидатом педагогических наук, математиком, решали задачу по математике для четвёртого класса. Решали всю пару, а потом оказалось, что в условии должно было быть не 16 а 61.
…
Там надо было сложить (либо отнять, знак не был поставлен) два четырёхзначных числа, чтобы получить третье. Причём часть цифр была заменена на звёздочки. Короче, понадобился муж-программист, который написал прогу, которая перебрала 10 000 вариантов и доказала, что решения нет. А когда заменили 16 на 61, решение прога нашла.
(отсюда)
Вот вам и доказательство с использованием компьютера.
Адрес записки: https://dxdt.ru/2006/04/30/73/
Похожие записки:
- ИИ и определения в СМИ
- Пути самурая и абстракция отсутствия цели
- Забавные капчи
- Зависания проекта California Forever
- "Пасхалки" в трафике
- Пылесосы-шпионы
- "Ответы" в поисковых системах: один показательный пример
- Трактовки и сложности NP в прессе
- Ссылка: генератор сигналов на Raspberry Pi Pico
- Про рекурсию и особенности английского на "Хабре"
- Рекурсивный ИИ с понижением "сверхразумности"
Кратко этот сайт характеризуется так: здесь можно узнать про технологический прогресс, Интернет, математику, криптографию, авиацию, компьютеры, авиационные компьютеры, вооружения, роботов, вооружение роботов, армии мира, астрономию, космические исследования. И иногда о чём-то ещё (