Saturday, April 19, 2025

Call for Judgment: What’s a List?

Fewer than a quorum not voting AGAINST. Failed 1 vote to 6 by Kevan.

Adminned at 21 Apr 2025 10:07:32 UTC

Add the following to “Numbers and Variables”

Unless otherwise specified, a list is ordered and can contain repeated elements and when an item is added to a list, it is added to the end.

Unless otherwise specified, a set or collection is unordered and cannot contain repeated elements and when an item is added to a set or collection, it is added alphabetically (if its text based), in increasing order (if its is numeric) or at the end (in any other circumstances)

At their earliest convenience, the Concierge should inform all Agents who had a non-empty Discovery during the most recent breaking in of their Discovery, using the above definition of a list.

We should probably clarify what lists and sets/collections mean. Using general cs terms makes sense to me but happy to go with an alternative I think the important thing is that we’re all playing with the same understanding

Currently, Kevan ran the break in with Discovery not containing duplicate elements, and possibly not being in order. I think duplicates should’ve been revealed. But it all boils down to a list not being properly defined in the glossary.

Comments

JonathanDark: he/him

19-04-2025 16:14:50 UTC

It’s true that we’ve always had a vague definition of “list” to mean any collection of items, and unfortunately we’ve never had requirements for duplicates or sorting except when explicitly called out.

I like this, and am actually surprised we haven’t needed it sooner.

JonathanDark: he/him

19-04-2025 16:19:31 UTC

One thing I would change is to reverse the use of the words “ordered” and “unordered”. If you specify the order, such as alphabetical or numerical, that’s “ordered”. If you require items not to change positions and simply add to the end, that’s “unordered” because you’re not specifying the order in which items go into it, they are just always appended.

JonathanDark: he/him

19-04-2025 16:20:19 UTC

Or maybe just remove “ordered” and “unordered” since this has clear instructions already on how to put items in.

Clucky: he/him

19-04-2025 16:48:33 UTC

that’s a good point. looks like we’re past the edit window though.

idea I was going for is that order doesnt matter, you still have to stick the new element somewhere in the list for tracking purposes

JonathanDark: he/him

19-04-2025 19:46:50 UTC

against in favor of “An Orderly Way to Describe a List”

JonathanDark: he/him

19-04-2025 20:50:44 UTC

If Kevan doesn’t enact this, I don’t think the last part will work since it can’t be carried out immediately by any other admin who enacts it. We’d need a rule that can be repealed after being performed once.

Kevan: Concierge he/him

20-04-2025 07:28:12 UTC

against Per JonathanDark and “a set or collection is unordered [...] and when an item is added to a set or collection, it is added [...] in increasing order”.

Josh: he/they

20-04-2025 07:52:35 UTC

against

SingularByte: he/him

20-04-2025 08:27:43 UTC

against

Darknight: he/him

20-04-2025 15:03:01 UTC

against

DoomedIdeas: he/him

21-04-2025 05:27:08 UTC

against