t27.aiEnglish

Один выброс, много нулей

Вы узнаете

Чего стоит общий масштаб: как один крупный вес обнуляет мелкие веса своего блока, формат за форматом.

Общий масштаб задаёт самое большое значение в блоке, поэтому один выброс задаёт его для всех 32 весов. Веса, намного меньшие выброса, падают ниже самого мелкого шага, который может показать элемент, и записываются нулём. Эта запись нативно запускает ocp_mx.t27, нашу спеку OCP MX v1.0, на блоке из 31 мелкого веса и одного выброса и считает, сколько весов обнуляет каждый формат элемента. Затем она подкладывает ошибку, одно изменённое смещение порядка, и падает ровно один тест: спека, которая несёт свои тесты, ловит собственные ошибки.

Попробуйте

Найдите, какой формат элемента обнуляет больше всего мелких весов, а какие два — ни одного; затем найдите тест, который ломает подложенная ошибка.

Открыть интерактивный урок →

t27c on ocp_mx.t27 -- OCP MX v1.0, native
t27c on ocp_mx.t27 -- OCP MX v1.0, native ↗

t27c 0.4.0 and zig 0.16.0 on the t27c lab (Railway), spec at t27 1a3786657: 49 tests pass natively; one changed bias makes exactly one test fail; git restores the spec.

Все уроки