Кидали же предложение курсов, где на неделю на 10 людях согласившихся можно бюджет гранта неплохого поднять

Опять off-topic:
почему-то в сети много всяких курсов по нейросетям, и почти везде в них встречаются 10-этажные жуткие индексы при объяснении backpropagation. При этом в недавной русской книжке Николенко по глубокому обучению написано буквально на пару страниц о дифференцировании на графе вычислений, абсолютно интуитивная вещь, просто переиначенный "chain rule". Мне непонятно, backpropagation и дифференцирование на графе — это одно и то же или всё-таки нет? Если да, то зачем это объясняют так жутко?

одно и то же

Why Does Julia Work So Well? (Score: 101+ in 5 hours)

Link: https://readhacker.news/s/3XwVi
Comments: https://readhacker.news/c/3XwVi

Вроде же 2^(-5) сейчас не даёт ошибку?

Не, не выдаёт

О термукс

Тогда после всей этой статьи вопрос — а почему не выдает ))

Я смотрю исходный код, но у меня что-то нет идей

Вызывается это:

^(x::T, p::T) where {T<:Integer} = power_by_squaring(x,p)

при этом power_by_squaring(2, -5) кидает ошибку

Охренеть ))

x = -5
2^x # кидает исключение

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

2.0^x работает, или надо именно  Int в степень возводить?

Да, у меня просто вопрос был: как такое возможно, что возведение в степень является type-stable, но при этом 2^(-2) возвращает очевидно не Int )

Ну... наверно  type-stable оно только для целочисленных степеней > 0 ...

Если бы там внутри функции было бы что-то типа

if p > 0 
 < ... >
else 
< ... >

то она бы работала долго, т.к. была бы не type-stable: на одних и тех же типах аргумента (Integer) выдавала бы то Float, то Int. Раньше при попытке возвести в отрицательную степень целое число просто кидали исключение, а потом внезапно всё стало работать, и для меня сейчас это оказалось загадкой, как это было достигнуто.

Ответ я уже написал: они на этапе синтаксического разбора по особому обрабатывают литеральные выражения типа 2^(-5), сразу их заменяя на Float. Если попробовать

x = -5
2^x

то всё "сломается" )

Ну... если так... то при синтаксическом разборе верятно выполняется проверка: если степень < 0, то преобразуется во Float, а переменную  шлет в функцию power_by_squaring и  при проверке бросает Exception

Строка 252 файла intfuncs.jl