Hi all, May I ask for an update on this?
Thanks, Daryl On Sat, 15 Feb 2025, 19:30 Daryl, <[email protected]> wrote: > Hi everyone! > > I'm Daryl, a third year mathematics and computer science student from the > National University of Singapore, currently doing an exchange semester at > EPFL. I also have some substantial experience with Python development, most > notably as a (formerly active) core developer of the mathematical animation > library Manim. > > I'm most interested in the RUBI and benchmarking projects. The wiki states > that the main issue is performance; would a project on this involve > rewriting the code generation to target something like CPython, or are > there other ways of optimizing the code in pure python? If the main thing > taking time is MatchPy, would it involve optimizing MatchPy or integrating > SymPy with MatchPyCPP? > > For the benchmarking project, I have some experience with setting up > self-hosted runners on GitHub actions for Manim, where we set up ARM-based > VMs on Oracle Cloud to test that Manim runs correctly on ARM architecture. > I was not directly involved in setting up the Linux environment, but I > believe that it's something I could learn through the progress of the > project. > > I'm currently taking courses in Sobolev spaces and interactive theorem > provers, so I would also be interested in projects involving these topics > (generalized functions, and potentially an experimental project integrating > with a proof assistant). However since the semester has not yet started, > I'm not familiar with the specific uses this knowledge could have within > SymPy. > > Looking forward to hear your thoughts on these ideas! > > Thanks, > Daryl > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/sympy/b0fe9fc9-283f-4dcc-ade1-1ab4e2eba7a0n%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/b0fe9fc9-283f-4dcc-ade1-1ab4e2eba7a0n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sympy/CABR4E2Lg0Z61Da%3DrAO%2BoOKGDgp_eQK%2BxWBNp71NvSLiBn-KB9A%40mail.gmail.com.
