Конечно. Вот только математтическая верифицируемость не определит, что разработчик забыл продумать сценарий неработающего датчика. Смысл был в том, что безопасное ПО — это гораздо сложнее, че просто математическая верифицируемость.
Сценарий очень важен как раз, чтобы взвесить плюсы и минусы в поисках лучшего баланса.
Для одних сценариев важнее детализация. Для других — важнее отстутствие квадратов DC.
Например, у нас на evilmartians.com есть фоновое видео. Посколько оно передаёт эмоции, а не информацию, то там низкий битрейт. Однако, квадраты DC будут там работать хуже, чем потеря детализации.
Мы сейчас говорим про редкий кейс очень низких битрейтов. Так что нельзя говорить «вместо того, чтобы сохранять больше информации они делают так, чтобы это выглядело красиво в ущерб достоверности». При нормальных битрейтах деталей в AV1 обычно больше, чем в H.264.
Что-то я этого в той статистике не нашёл. 70% — это двухядерных процессоров. Но 2-х ядерный процессор 2019 гораздо быстрее, чем двухядерный процессор 2005.
К сожалению, в статистике нет данных про поколения процессоров.
Но опять же, это чисто теоритический вопрос. dav1d 0.2 как раз должен в несколько раз быстрее работать на старых процессорах.
Для AV1 если и сделают быстрый декодер, наверняка, качество картинки будет хуже чем в h264.
Почему хуже?
Какой-то странный парадокс: скорость в магистральных каналах растёт, скорость подключения у пользователей растёт, железо способное тянуть высокий битрейт имеется, жёсткие диски вмещают в себя терабайты.
Не забывайте, что с ростом скорости растёт и требования к видео.
Сейчас всем нужна ретина, 4K и 60 кадров в секунду при 10-битном цвете. Такое H.264 уже не вытянет. Поэтому и работают над кодеками следующего поколения.
Да, для него ждём dav1d в браузеры — его версия 0.2 как раз имеет оптимизации для SSE2, которые будут работать в Athlon 4200+.
Но с фразой «Для обычного пользователя AV1 — зло в чистом виде» не согласен:
Если я правильно понял, то это поколение «Athlon 64 X2», которое вышло 13 лет назад. Согласен, что важно о нём думать. Но это не «обычный пользователь».
Впрочем даже для 13-летних процессоров будет скоро легче. К тому моменту, как по этой инструкции AV1 внедрят на сайт, dav1d 0.2 включат в браузерах
Ага, чтобы кодек работал на мобильных устройствах нужно обязательно иметь аппаратную поддержку. В Андроид мире она будет точно (раз внедрили VP9, то AV1 внедрят точно).
Пока не понятно, зачем Apple вступила в AOM — будет круто, если они решат тоже добавить поддержку, но это не факт.
Да, это не обязательно плохо. В мире Java нормально можно работать и быть счастливым. Тут вопрос о препочтениях и желаниях.
Единственная объективная пробелма — отсутствие социальных лифтов.
Математическая верификация не гарантирует защиту от целого ряда проблем.
Пока рано говорить о точных причинах в этом случае, но уже есть пару кандидатов от которых бы не спасла верификация:
Скорее всего, на мобильном устройстве Хром будет грузить H.264, если нет аппаратной поддержке (по крайней мере так всегда делали до этого).
Увы, кодировал не я
> Ну я значит в основном говорю про стримы игр(так-как смотрю в основном их), именно искусственная графика плохо сжимается
Ага. Особенно для стратегий важнее детализация. Но вот уже для штутеров сглаживание может быть лучше DC-квадратов.
В любом случае очень низкие битрейты — это экстремальные случаи.
В самых популярных случаев разницы между AV1 и другими кодеками в картинке видно не будет (просто поток будет меньше нагружать соединение).
Для одних сценариев важнее детализация. Для других — важнее отстутствие квадратов DC.
Например, у нас на evilmartians.com есть фоновое видео. Посколько оно передаёт эмоции, а не информацию, то там низкий битрейт. Однако, квадраты DC будут там работать хуже, чем потеря детализации.
Не уверен как сделать это для AV1, но для H.264 (и может для HEVC) можно использовать MP4Box
Или вручную через вот этот справочник
Это такой формат у FFmpeg `-c:a libfdk_aac -c:v libx265`
Ну формально всё верно. Я сначала написал на английском, а потом переводил на русский
Что-то я этого в той статистике не нашёл. 70% — это двухядерных процессоров. Но 2-х ядерный процессор 2019 гораздо быстрее, чем двухядерный процессор 2005.
К сожалению, в статистике нет данных про поколения процессоров.
Но опять же, это чисто теоритический вопрос. dav1d 0.2 как раз должен в несколько раз быстрее работать на старых процессорах.
Почему хуже?
Не забывайте, что с ростом скорости растёт и требования к видео.
Сейчас всем нужна ретина, 4K и 60 кадров в секунду при 10-битном цвете. Такое H.264 уже не вытянет. Поэтому и работают над кодеками следующего поколения.
Да, для него ждём dav1d в браузеры — его версия 0.2 как раз имеет оптимизации для SSE2, которые будут работать в Athlon 4200+.
Но с фразой «Для обычного пользователя AV1 — зло в чистом виде» не согласен:
bugzilla.mozilla.org/show_bug.cgi?id=1493397
В Хроме тоже обсуждают и собираются
Пока не понятно, зачем Apple вступила в AOM — будет круто, если они решат тоже добавить поддержку, но это не факт.
code.videolan.org/videolan/dav1d#compile