Zulip Chat Archive
Stream: triage
Topic: issue #11022: The long line
Random Issue Bot (Apr 29 2022 at 14:20):
Today I chose issue 11022 for discussion!
The long line
Created by @Yaël Dillies (@YaelDillies) on 2021-12-23
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 30 2022 at 14:17):
Today I chose issue 11022 for discussion!
The long line
Created by @Yaël Dillies (@YaelDillies) on 2021-12-23
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Patrick Massot (Aug 30 2022 at 14:42):
I would say it's still irrelevant :stuck_out_tongue:
Kevin Buzzard (Aug 30 2022 at 16:53):
It's surely at least good for the counterexamples folder?
I think it would be interesting to generate a collection of topological spaces and proofs that they do or don't satisfy various predicates that we have on topological spaces; then you could imagine expanding slim_check to look for counterexamples in this domain too.
Damiano Testa (Aug 30 2022 at 19:01):
I used to love Counterexamples in Topology.
Kevin Buzzard (Aug 30 2022 at 19:44):
Of course now we have to write "Counterexamples in condensed sets"...
Random Issue Bot (Dec 03 2022 at 14:08):
Today I chose issue 11022 for discussion!
The long line
Created by @Yaël Dillies (@YaelDillies) on 2021-12-23
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 16 2022 at 14:08):
Today I chose issue 11022 for discussion!
The long line
Created by @Yaël Dillies (@YaelDillies) on 2021-12-23
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Yaël Dillies (Dec 16 2022 at 14:10):
Work is being done on Xena.
Random Issue Bot (Jun 02 2023 at 14:07):
Today I chose issue 11022 for discussion!
The long line
Created by @Yaël Dillies (@YaelDillies) on 2021-12-23
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Yaël Dillies (Jun 02 2023 at 18:00):
Work is no longer being done on Xena.
Random Issue Bot (Jul 24 2023 at 14:07):
Today I chose issue 11022 for discussion!
The long line
Created by @Yaël Dillies (@YaelDillies) on 2021-12-23
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC