И это бесит

Докажи это

Я в это не верю

))))

Ты четко схватил идею)

Вот например
-Раст быстрее С++, вот вам бенч
-У тебя хуевый бенч
-Как сделать бенч лучше?
-Обнови компилеры
-Обновил, раст быстрее
-У тебя хуевый бенч, оптимизируй под x86 плюсовый код
-Раст быстрее
-У тебя хуевый бенч .....

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

Вот тебе слайд с процессом научного познания. Перевёл с укр. на рус. Видишь процесс? В процессе познания выводяться понятия, гипотезы, теории и в результате закон. Весь этот набор "рассуждений" с выводом того или иного и является "доказательством". И мы получаем не процесс доказательства (он был ранее и может быть в будущем в виде "убеждения"/"доказывания"), а именно "доказательство". И это "доказателство" уже может применяться КЕМ-УГОДНО для убеждения КОГО-УГОДНО. В том числе для убеждения СЕБЯ.

Вот тебе ещё вторая ссылка. Обрати внимание на "структуру доказательства" https://ru.wikipedia.org/wiki/%D0%94%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%D0%BE_(%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0)

Если менять понятие доказательства на современный мир, то мир сойдёт с ума. Щяс в судах по сайту "архив.орг" доказывают. Мудачество какое-то.

Вот, именно про это я и спрашивал. Уже значительно лучше

Шо за лонгридер

С этим можно работать, спасибо

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

На твоём примере "Очевидно, что из (15) следует - ..." доказательство обычно фигурирует на 1-2 страницы перед этой задачкой + на всех прошлых страницах и прошлых изученных книгах для более простых кейсов (в том числе банальное умножение).

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

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

Угу :(

Да, есть такое

Смотрю обзор на игру
"Игра изумительна, вам она скорее всего не понравится"

 static <T, V, U, F extends TriFunction<T, V, U, R>, R, K> R getHandler(final K key, final Map<K, F> map, final T t, final V v, final U u, final R defaultValue) {
    return Optional.ofNullable(map.get(key))
      .map(func -> func.apply(t, v, u))
      .orElse(defaultValue);
  }

согласен с предыдущими ораторами, непонятно зачем T, V, U, F, K, и R? И почему нельзя назвать нормально?

Код-стайл не позволяет давать дженерик-типам  имена больше одной строчной латинской буквы

ебанутый код-стайл, чего уж тут. Тогда сиди пиши десять строк javadoc (вместо самоочевидных названий аргументов)