Hacker News new | ask | show | jobs
by lrc 1022 days ago
Have a look at Emmy: https://emmy.mentat.org
2 comments

Are there any other systems that can render programmatic equations to LaTeX?
SymPy[1] and Mathematica[2] can both render expressions in LaTeX, if this is what you mean.

[1] https://docs.sympy.org/latest/tutorials/intro-tutorial/print...

[2] https://reference.wolfram.com/language/ref/TeXForm.html

I’m not the parent but do you know if there is a system/language that renders programmatic equations in-line in the editor? The closest thing I know of is the usage of Unicode symbols and Greek letters in Lean. I’m imagining a vscode extension that would interpret scientific code/equations and render those in-line or in a preview line above/below. Not sure about the utility of such a thing but it sure seems fun
It’s a bit of a stretch but if you write your equations in sympy in a Jupyter notebook, you can display nice LaTeX renders of the expressions and then either do math with them or just evaluate them as if you’d written them as a normal python function.
Wonder what it would take to implement a neural network in Emmy.
If it has an implementation of reverse mode automatic differentiation, then it might be possible.
I have reverse-mode (purely functional reverse mode at that!) sitting in a branch, and will get this going at some point soon. Even more fun will be compilation down to XLA, like JAX does in Python.