Towards a New SymPy

Re:Towards a New SymPy by rowanG077 on Saturday September 09, 2023 @04:09PM (#37449760)

Yes type checkers are a domain of study. Basically any domain where mathematica needs to integrated into the end result as is.

[ Parent | on HN ]

Re:Towards a New SymPy by sheepshear on Saturday September 09, 2023 @04:44PM (#37450090)

Implying there's a technical reason it couldn't be used.

[ Parent | on HN ]

Re:Towards a New SymPy by rowanG077 on Saturday September 09, 2023 @04:51PM (#37450148)

I wasn't implying there is a technical reason, I definitely didn't mean it that way. If Mathematica were open sourced tomorrow nothing would stand in the way of trying it out.

If a company simply blocks you from using their tech that definitely means you can't use it. For example. I can't run my own entertainment system on a Tesla car. There is no technical reason it's not possible. Tesla simply disallows it.

[ Parent | on HN ]

Re:Towards a New SymPy by sheepshear on Saturday September 09, 2023 @05:31PM (#37450487)

I get it I'm just surprised that's what you meant.

[ Parent | on HN ]