Show HN: Math to Code – Interactive NumPy tutorial for engineers

Re:Show HN: Math to Code – Interactive NumPy tutorial for en... by somethingsome on Saturday June 13, 2020 @07:30PM (#23513762)

I was expecting some math but there is only a norm, I would be more interested in how to transfer from advanced math to code. example : what would be a good code abstraction for a Borel Space

[ Parent | on HN ]

Re:Show HN: Math to Code – Interactive NumPy tutorial for en... by _ouml_ on Sunday June 14, 2020 @12:49AM (#23515196)

@somethingsome If you want to turn arbitrary maths into code, you should take a look at interactive proof assistants. I'm a fan of https://leanprover-community.github.io/

It has Borel spaces: https://leanprover-community.github.io/mathlib_docs/measure_...

[ Parent | on HN ]

Re:Show HN: Math to Code – Interactive NumPy tutorial for en... by vthommeret on Saturday June 13, 2020 @07:39PM (#23513824)

Thanks for the feedback. This is definitely oriented towards beginners but also love some more advanced examples.

Math to Code is open source, so if you can express a solution with NumPy you can easily add new questions / I'm happy to take pull requests — https://github.com/vthommeret/mathtocode/blob/master/questio...

[ Parent | on HN ]