Где я могу рассказать о своём учебном курсе?

[Artem Karavaev]

Выше я объяснил, что для меня является критерием того, что человеку первая часть курса не нужна, она для совсем новичков. Теперь отвечу на это справедливое замечание:

Сообщение от MihalNik

В том-то и дело, что редко кому надо это представление - программисты просто берут числа достаточной точности и диапазона.
А так вообще кроме таблицы и формулы ничего не надо. В учебниках по ассемблеру все разжевано.

Совершенно верно. Тем не менее, есть люди, которым нужно более глубокое знание темы. Например, разработчики математических библиотек. Вот, скажем, вы знаете, что функция exp2f в разных компиляторах C++ может выдавать разный ответ? Например VC++ обрабатывает неверно почти 1% всех возможных аргументов и выдаёт ответ с ошибкой. В каких учебниках это написано?

Я сейчас пишут статью на Хабр по этой теме, там же объясню, почему на сегодня отсутствует принципиальная возможность считать подобные функции точно для больших типов данных. Статья будет бесплатной, конечно

[Desc]

Сообщение от Artem Karavaev

Тем кто предлагает платное размещение рекламы. Да, я знаю о такой возможности, спасибо.

Так это наиболее эффективный способ, всегда на виду. А тема, если её раньше не снесет в корзину админ, уйдет в небытиё. Или её нужно будет периодически апать..

P. S.
Главное ссылку на курс в теме не размещайте, иначе точно тема улетит в корзину. Т. к. реклама на этом ресурсе платная.

[Artem Karavaev]

Сообщение от Desc

Так это наиболее эффективный способ, всегда на виду. А тема, если её раньше не снесет в корзину админ, уйдет в небытиё. Или её нужно будет периодически апать..

Я не могу согласиться. Баннеры - это на мой взгляд один из самых плохих способов рекламы. Я давал платную рекламу в тех социальных сетях, где есть некоторая гарантия, что определённое количество человек действительно перейдут по ссылке. Это первое.

И второе: мне важно пообщаться с сообществом и узнать о его отношении к подобным курсам, когда они не знают об их содержании. В целом мне хочется поговорить и получить какие-то реакции. Это же свободная тема, мы можем общаться просто так В этом часть смысла.

Главное ссылку на курс в теме не размещайте, иначе точно тема улетит в корзину. Т. к. реклама на этом ресурсе платная.

Ни в коем случае! Я уже понял, что бесплатно нельзя и остался только чтобы пообщаться. Мне важно знать мнение разных людей, может быть это поможет мне лучше понять что следует изложить в других частях курса, которые я готовлю. Первая - она же пробная, чтобы обратную связь собрать и обучить самых новичков.

[MihalNik]

Сообщение от Artem Karavaev

Например, разработчики математических библиотек. Вот, скажем, вы знаете, что функция exp2f в разных компиляторах C++ может выдавать разный ответ? Например VC++ обрабатывает неверно почти 1% всех возможных аргументов и выдаёт ответ с ошибкой.

И что с того? И да, там, наверное, не с ошибкой, а с некоторой погрешностью. Или прямо исключение выбрасывается?)

Сообщение от Artem Karavaev

Например, разработчики математических библиотек.

Язык С никогда и не предназначался для математических библиотек, с самого начала там был Фортран
Пришли люди и, сказав: "на фиг нам вся эта математика?", написали сами себе язык, немного автоматизировав ассемблер.

[Alar]

Сообщение от digitalis

Ищу работу: резюме, портфолио, отзывы

Да можно тут, вот ссылка. https://programmersforum.ru/forumdisplay.php?f=108

главное потом мне не писать через 5-10 лет, что нужно удалить телефон, е-майл и прочие контакты из вашей темы, эта услуга платная )

[Artem Karavaev]

Сообщение от MihalNik

И что с того? И да, там, наверное, не с ошибкой, а с некоторой погрешностью. Или прямо исключение выбрасывается?)

Нет, там ошибка в последнем бите ответа (ошибка и погрешность в данном случае синонимы). Согласен, что почти для 100% программистов это не важно, однако, по крайней мере, на западе есть целое научное направление, посвящённое этой проблеме. Цель направления - создать библиотеки, которые будут корректно округлять функции до последнего значащего бита. Думаю, важность этой задачи для разных людей разная. Для вас не важно, для меня важно, когда заказчик (научный коллектив) требует чтобы последний бит был точным.

Язык С никогда и не предназначался для математических библиотек, с самого начала там был Фортран
Пришли люди и, сказав: "на фиг нам вся эта математика?", написали сами себе язык, немного автоматизировав ассемблер.

Дело не в языке. Описываемая проблема характерна для 100% языков программирования и всех возможных компиляторов к ним. Почему я в этом уверен? Потому что это проблема не языков, это одна из фундаментальных научных проблем - рассчитать трансцендентную функцию точно до последнего значащего бита. Решения на сегодня нет, есть несколько костылей. Актуальность проблемы возросла последнее время из-за более активного использования типа данных с плавающей запятой учетверённой точности (128 битов). Там вообще непонятно что делать... вообще беда

Если для вас это не нужно, то это прекрасно, я искренне рад, что вас это не коснётся. Тем не менее, для общего развития некоторым программистам (НЕКОТОРЫМ, не всем), нужно знать о том, что это за гадость и как она появляется.

[MihalNik]

Сообщение от Artem Karavaev

Нет, там ошибка в последнем бите ответа (ошибка и погрешность в данном случае синонимы). Согласен, что почти для 100% программистов это не важно, однако, по крайней мере, на западе есть целое научное направление, посвящённое этой проблеме. Цель направления - создать библиотеки, которые будут корректно округлять функции до последнего значащего бита. Думаю, важность этой задачи для разных людей разная. Для вас не важно, для меня важно, когда заказчик (научный коллектив) требует чтобы последний бит был точным.


Дело не в языке. Описываемая проблема характерна для 100% языков программирования и всех возможных компиляторов к ним. Почему я в этом уверен? Потому что это проблема не языков, это одна из фундаментальных научных проблем - рассчитать трансцендентную функцию точно до последнего значащего бита. Решения на сегодня нет, есть несколько костылей. Актуальность проблемы возросла последнее время из-за более активного использования типа данных с плавающей запятой учетверённой точности (128 битов). Там вообще непонятно что делать... вообще беда

Если для вас это не нужно, то это прекрасно, я искренне рад, что вас это не коснётся. Тем не менее, для общего развития некоторым программистам (НЕКОТОРЫМ, не всем), нужно знать о том, что это за гадость и как она появляется.

Сама постановка задачи уже имеет проблемы с логикой. Любая задача решается с заданной математической точностью, а уже потом под нее выбирается представление чисел. А не наоборот.
Так вот, будет заказчику мало 64 бит, а 128 - сильно много. А вычисление этих лишних бит требует машинного времени, ну и хранение - памяти.

[Artem Karavaev]

Сообщение от MihalNik

Сама постановка задачи уже имеет проблемы с логикой. Любая задача решается с заданной математической точностью, а уже потом под нее выбирается представление чисел. А не наоборот.
Так вот, будет заказчику мало 64 бит, а 128 - сильно много. А вычисление этих лишних бит требует машинного времени, ну и хранение - памяти.

Вы не правы, потому что, вероятно, не знакомы с этим научным направлением. Представьте, что вам нужно чтобы все 23 бита дробной части мантиссы были точными для типа данных float. То есть чтобы округление до 23-х битов было таким же, как если бы у нас было в распоряжении бесконечное число битов. Например,

float x = 0.00296957581304013729095458984375f.
float z = exp2f(x);

Если бы у нас был калькулятор с бесконечной точностью, мы получили бы ответ

1,0020604729652405753669743044108123031635398201893943954577320057

В двоичной системе счисления это будет

1,000000001000011100001001000000000000000000000000000001101111101
-------------------------^

Надеюсь, видно, первые 23 бита дробной части - это то, что должно получиться в типе данных float. Однако мы видим, что 24-й бит равен 1, а за ним идут 29 нулей. 24+29 = 53, и нам нужен ещё один бит для того, чтобы паровоз из нулей закончился. Если вы знакомы с правилом округления в арифметике с плавающей запятой, то знаете, что только по достижению 54-го бита мы можем точно сказать, в какую сторону произойдёт округление в 23-м бите. Хотя, казалось бы, нам нужно всего 23 бита дробной части мантиссы. Вот в этом и проблема! Нужно 23 бита в ответе, а считать нужно до 54-х! А бывает ещё хуже, когда нужно 52 бида для double, а считать приходится до 120.

Для иллюстрации проблемы привожу код неверного расчёта функции 2**x (хотя в каких-то компиляторах будет работать правильно):

#include <stdio.h>
#include <cmath>

int main() {
	float x = 0.00296957581304013729095458984375f;
	float z;
	z = exp2f(x);	
	printf ("%.8f (in hex 0x%X)\n", z, *(unsigned int*)&z);
	z = powf(2.0f, x);
	printf ("%.8f (in hex 0x%X)\n", z, *(unsigned int*)&z);
  return 0;
}

Будет выведено два разных числа, хотя по идее считается одно и то же. В данном случае функция exp2f отработала правильно, но есть более миллиона тестов, где она тоже ошибается в последнем бите.

Ошибки в логике при постановки задачи здесь нет. Задача ставится так: выдать округлённое значение трансцендентной функции f(x) для заданного режима округления и для заданного формата с плавающей запятой так, как если бы округление производилось на основе бесконечного количества битов. Для всех x из некоторого заданного диапазона. Этим занимаются целые научные сообщества, а вы говорите, "ребята, у вас ошибка в логике постановки задачи". Дай Бог, если бы так было... но увы.

Если вы говорите, что любая задача решается с заданной математической точностью, то не понимаете суть проблемы. Здесь проблема в том, что мы не знаем КАКОВА должна быть точность. Потому что понятие ТОЧНОСТЬ и понятие ЧИСЛО ПРАВИЛЬНЫХ БИТОВ - это РАЗНЫЕ вещи. Например, число 2,000000 и число 1,999999 отличаются всего лишь на одну миллионную, однако у них не совпадает ни один знак после запятой. А задача, которую описал ещё сложнее, найти не только правильными 23 (или 52) бита ответа, но и понять до какого бита при этом нужно досчитать, чтобы наши 23 (или 52) бита мантиссы совпали с бесконечно-точным ответом после его корректного округления по Стандарту. И печаль в том, что приходится выходить за сотни битов иногда.

В каком учебнике по ассемблеру это описано? Надеюсь, я скоро допишу об этом статью на Хабре. Если разрешат, потом дам ссылку. Там подробнее будет. Короче, не всё есть в учебниках. Вернее, не для всех это "всё", есть ситуации, когда нужно знать гораздо больше, а иногда и производить новые знания.

[Streletz]

Сообщение от Artem Karavaev

дано это далеко не всем, по опыту работы в вузе могу сказать, что как раз это редко кто так может.

Так с этого и надо было начинать.

В ВУЗе (не хочу обидеть действительно хороших и добросовестных студентов) очень много людей, которым это (и не только это) скорее даже просто не нужно. От слова "совсем". Они пришли туда с другой целью. А, те, кому нужно, сами дополнительно погрузятся в эту область, если знаний из учебной программы не хватит.

Сообщение от Artem Karavaev

Для вас не важно, для меня важно, когда заказчик (научный коллектив) требует чтобы последний бит был точным.

Опять же не хочу никого обидеть. Просто одно только непонятно. Ваше "научное" сообщество и Вы сами в курсе, что такое машинное эпсилон?

[Artem Karavaev]

Сообщение от Streletz

Опять же не хочу никого обидеть. Просто одно только непонятно. Ваше "научное" сообщество и Вы сами в курсе, что такое машинное эпсилон?

Конечно в курсе

Подробнее о той проблеме, что я описал постом выше, вы можете почитать у отца основателя IEEE-754 Уильяма Кэхэана. A Logarithm Too Clever by Half. Эта проблема называется Table Maker's Dilemma и к машинному нулю отношение имеет не прямое.

Вы могли бы по отношению к этому выдающемуся человеку применить эпитет "учёный" (именно так в кавычках) и потом уточнить, что не хотели никого обидеть? И заодно спросить, в курсе ли он что такое машинный ноль