Hacker News new | past | comments | ask | show | jobs | submit login

I don't understand what the fuzz is about all this forward-mode AD stuff. This is the easy part. Hell, you can basically use complex numbers to do all this for you for free (use Cauchy-rule + FD) without changing the rest of your code.



Meanwhile, there's no good GUI library (binding) for OCaml, which would make the language much more usable for many.


Just write pure functions, i've got no use to interacting with the world :P


Could you elaborate on this?


They might be talking about complex step diff: https://www.hedonisticlearning.com/posts/complex-step-differ...

tldr: f‘(x0)≈Im(f(x0+hi))/h


If that is what they meant, that's not a good idea.

Choice of h dictates precision (less bias than doing it purely in the real domain, but still .. a nontrivial choice). And also requires your functions to be analytical - which many aren't.

Whereas autodiff is precise .



I know the contribution of the higher order imaginary terms are negligible in the result, but dual numbers are the more appropriate choice in this instance correct? since the higher order terms will vanish.




Consider applying for YC's W25 batch! Applications are open till Nov 12.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: