📰 IT Дайджест

#floating-point

2 материала

12. Каталог из 83 floating-point форматов, который сам себя проверяет

На Habr разобрали каталог из 83 форматов с плавающей точкой и проблему расхождений между реализациями одной и той же модели. Автор явно пишет не про абстрактный матем. кружок, а про практическую боль: matmul на разных устройствах выдаёт разные числа, и надо понять, это баг, округление bf16 или просто формат не тот. Самое приятное тут то, что каталог не просто перечисляет форматы, а ещё и проверяет себя, что уже сильно лучше типичного «таблица ради таблицы».

habr.com · #other #floating-point #formats #numerics #validation

14. Линейка для чисел: каталог из 83 форматов с плавающей точкой

На Habr автор собрал каталог из 83 floating-point форматов и пытается разобраться, почему разные реализации считают одно и то же по-разному. В примере всплывает привычный ад: matmul на разных устройствах дает разные результаты, и уже непонятно, это баг, округление в bf16 или просто "так и было задумано". Для всех, кто когда-нибудь спорил с моделью и железом одновременно, тема очень узнаваемая.

habr.com · #other #accuracy #debugging #floating-point #math #matmul