search

GiggleLiu / NiLang.jl

A differential eDSL that can run faster than light and go back to the past.
https://giggleliu.github.io/NiLang.jl/dev
Apache License 2.0
250 stars 16 forks source link

Typo #10

Closed PallHaraldsson closed 4 years ago

PallHaraldsson commented 4 years ago

[skip-ci]

PallHaraldsson commented 4 years ago

The typo I missed the first time around, and "higher-order" is better, it seems also in this context.

I'm familiar with AD, not e.g. really einsum) or how everything fits together. I saw your paper link, but may need link to higher level stuff for this and for background to understand. I just made a PR since this all seems very intriguing.

The Ni part, the Chinese logogram, is there a story behind the name? It not obvious at least nor easily googlable.

GiggleLiu commented 4 years ago

Thanks for your interest, I will try to explain the notations better. Please feel free to ping me in Julia slack (GiggleLiu). Your feedbacks will help me improve the writing.

逆 means reverse, also have the meaning of rebellion. I choose it because it is a cool character suitable for logo, just as 幺 (unitary) in https://github.com/QuantumBFS/Yao.jl .