Zulip Chat Archive

Stream: triage

Topic: issue #1046: Expand the surreals library


Random Issue Bot (Feb 17 2021 at 14:19):

Today I chose issue 1046 for discussion!

Expand the surreals library
Created by @Reid Barton (@rwbarton) on 2019-05-18
Labels: feature-request, help wanted

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Jun 24 2022 at 14:18):

Today I chose issue 1046 for discussion!

Expand the surreals library
Created by @Reid Barton (@rwbarton) on 2019-05-18
Labels: help wanted, feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Violeta Hernández (Jun 25 2022 at 01:08):

We are on it!

Random Issue Bot (Jul 30 2022 at 14:13):

Today I chose issue 1046 for discussion!

Expand the surreals library
Created by @Reid Barton (@rwbarton) on 2019-05-18
Labels: help wanted, feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Violeta Hernández (Jul 30 2022 at 20:11):

Still on it, haha. Currently waiting on a few PRs though.

Stuart Presnell (Jul 30 2022 at 21:18):

Maybe there’s nothing here that’s new to you, but you might be interested in this recent AMS article. Is there anything here that you might add to your queue of things to PR?

https://www.ams.org/journals/notices/202207/rnoti-p1145.pdf

Stuart Presnell (Jul 30 2022 at 21:22):

Or, for that matter, this more extensive article by Ehrlich?

http://qcpages.qc.cuny.edu/~rmiller/Ehrlich.pdf


Last updated: Dec 20 2023 at 11:08 UTC