Viewing profile — sn6uv

Thanks for the feedback, the web UI does have a gallery link [0] with a few interactive examples [1]. I agree though, a screenshot like this would be a good addition to the homepag…

Just renewed it

Just renewed it

Just renewed it (not that it'll survive the HN hug of death). It's been a few years since I've touched that website.

Yes, that's roughly accurate. Jan Pöschko (the creator of Mathics) went to Wolfram in 2012 and I went to Google at the end of 2016. Since then it's been largely unmaintained as I d…

Nit > The distribution must be smooth (this method doesn’t work for discrete parameters), but it need not be analytically differentiable 'Smooth' and 'analytic' both have basic tec…

I think you mean 13.468 TB/s per square mile.

We previously used ply but ran into a few issues: The main issue was that generating the tables was extremely slow (~15mins). We solved this by packaging the tables, but when the v…

Hidden in there (under 1.0) is "new recursive descent parser #416". We've only just finished 1.0 and haven't had a chance to announce it properly yet.

Mathics developer here. Yes, we rewrote it. I better update the docs.

Mathics, a free and open source Mathematica interpreter is looking for its first logo. We're planning to release a 1.0 in the next few weeks and really need a logo to accompany the…

The web interface does have inbuilt docs. Code introspection and tab completion are coming as part of the new interface (in progress) see https://github.com/mathics/IMathics

That's right. Mathics is still maintained. There are currently two of us working on it. The last release was v0.9 in March this year.

I'd say jupyter notebooks surpass Mathematica UX wise. I maintain Mathics [1] which has it's own web interface e.g. [2]. I don't think the Mathics interface is as nice as MMA but t…

Great idea! I'm working on a fully featured jupyter kernel that will eventually get merged into the main Mathics repo [1]. I was planning to inquire about some hosting in a couple …

Mathics is a similar project, although the aim is to be an open source interpreter of the Wolfram (Mathematica) language. It's analogous to the Octave/Matlab relationship. The deve…

What's wrong with two column proofs? I think they're a great tool for getting into the absolutely rigorous mindset required for maths. Leslie Lamport even makes the case that profe…

Following your argument, it seems like there's nothing wrong with throwing a few more photons out (albeit in a coherent beam).

Mathics maintainer here.I'm glad you find Mathics fun to contribute to, I certainly do. Each function is a small independent part so it's really easy to get involved (that's a majo…

There's also Mathics (I'm one of the maintainers). > but with such a huge size, the language would be near impossible for one single individual to implement a compatible version. A…

What version of Sympy are you using? I get (tested Sympy 0.7.2-0.7.4): >>> simplify(exp(x)/exp(x - 1)) E

That's the idea! In practise, we're still getting there and you may have to work around functions not yet implemented in Mathics. I'd really like to see Mathics become the Octave o…

Practically all of the symbolic computation done by Mathics uses Sympy. It depends what your interests are. If you're interested in Symbolic computation I'd suggest Sympy. It's a r…