Hi all, Just a bump in case it was missed. I would appreciate a response.
Thanks, Daryl On Saturday, 15 February 2025 at 19:30:21 UTC+1 Daryl 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/86586fb1-596c-4756-a8c2-ea731f4716cfn%40googlegroups.com.
