Page MenuHomePhabricator

GrounderUK (Al)
User

Projects

User does not belong to any projects.

Today

  • Clear sailing ahead.

Tomorrow

  • Clear sailing ahead.

Wednesday

  • Clear sailing ahead.

User Details

User Since
Aug 27 2020, 6:49 PM (183 w, 3 d)
Availability
Available
LDAP User
Unknown
MediaWiki User
GrounderUK [ Global Accounts ]

Recent Activity

Fri, Mar 1

GrounderUK added a comment to T358589: Raise a type error if resulting value is incompatible with argument type.

Thanks, Denny. I don’t disagree with what you say, but I’m not sure about your new title.

Fri, Mar 1, 1:15 AM · Abstract Wikipedia team, Wikifunctions

Thu, Feb 29

GrounderUK added a comment to T358089: Don't allow raw pipes in inline Implementations and Testers when sending over the API, as they get munged.

That seems to have fixed the problem for a single pipe but not for more than one (separate or together). In https://www.wikifunctions.org/view/en/Z13371, there is a pipe in both the “English word” string (Z13254K1) and in the expected result (Z866K2), so the bug appears when refreshing test results in edit mode. If either pipe is removed the test fails correctly with details of the mis-matched strings.

Thu, Feb 29, 8:21 AM · MW-1.42-notes (1.42.0-wmf.20; 2024-02-27), WikiLambda Front-end, WikiLambda, Abstract Wikipedia team

Tue, Feb 27

GrounderUK created T358589: Raise a type error if resulting value is incompatible with argument type.
Tue, Feb 27, 2:36 PM · Abstract Wikipedia team, Wikifunctions
GrounderUK added a comment to T343565: Have a way to find a list of functions without something.

Functions with no label or description in a given language
Functions with keys that have no label or description in a given language (see https://www.wikifunctions.org/wiki/Z12967?uselang=ig&oldid=83821, for example)
Functions with input labels that have no value entered in a given language.

Tue, Feb 27, 1:52 PM · Abstract Wikipedia team, Wikifunctions
GrounderUK added a comment to T301712: Allow Special:ListZObjectsByType/Z8 to let you filter by the return type of the function too.

We should also consider finding functions with or without labels in a particular language. Perhaps those with labels in a fallback language other than (prior to) English would be an interesting further division, indicating the fallback language.

Tue, Feb 27, 1:42 PM · good first task, WikiLambda Front-end, Abstract Wikipedia Fix-It tasks, Abstract Wikipedia team
GrounderUK created T358571: Evaluation type is the English-language string rather than a looked-up Z14K2/Z14K3/etc..
Tue, Feb 27, 12:15 PM · function-orchestrator, Abstract Wikipedia team, Wikifunctions

Thu, Feb 22

GrounderUK added a comment to T358089: Don't allow raw pipes in inline Implementations and Testers when sending over the API, as they get munged.

This sounds like a horrendous problem…

That link currently exhibits the problem. I don’t actually see the pipe in there but it has always failed whenever I have entered that character.

Thu, Feb 22, 9:27 PM · MW-1.42-notes (1.42.0-wmf.20; 2024-02-27), WikiLambda Front-end, WikiLambda, Abstract Wikipedia team
GrounderUK added a comment to T358089: Don't allow raw pipes in inline Implementations and Testers when sending over the API, as they get munged.

I have saved Z13091 with a pipe in a comment. To be clear, the implementation always works; it’s just all the tests that show as Failed (erroneously and with no details).

Thu, Feb 22, 7:54 PM · MW-1.42-notes (1.42.0-wmf.20; 2024-02-27), WikiLambda Front-end, WikiLambda, Abstract Wikipedia team
GrounderUK added a comment to T358089: Don't allow raw pipes in inline Implementations and Testers when sending over the API, as they get munged.

Created https://www.wikifunctions.org/view/en/Z13371

Thu, Feb 22, 7:32 PM · MW-1.42-notes (1.42.0-wmf.20; 2024-02-27), WikiLambda Front-end, WikiLambda, Abstract Wikipedia team
GrounderUK added a comment to T358089: Don't allow raw pipes in inline Implementations and Testers when sending over the API, as they get munged.

This sounds like a horrendous problem, and we've had issues in the past, but I can't replicate – if I edit https://www.wikifunctions.org/wiki/Z13091?action=edit to add a # | comment, or a a = 2|3 line, either way the function appears to work? Can you give a specific case that fails for you? (Or does it come and go?)

Thu, Feb 22, 7:19 PM · MW-1.42-notes (1.42.0-wmf.20; 2024-02-27), WikiLambda Front-end, WikiLambda, Abstract Wikipedia team
GrounderUK added a comment to T358216: Prompt users to turn their function evaluation + result into a new test.

It would be especially helpful if I could do this while editing an Implementation. It wouldn’t need to be connected automatically but that is worth considering too (as an option).

Thu, Feb 22, 1:43 PM · WikiLambda Front-end, Abstract Wikipedia team

Wed, Feb 21

GrounderUK attached a referenced file: F42019087: IMG_0871.png.
Wed, Feb 21, 2:23 PM · MW-1.42-notes (1.42.0-wmf.20; 2024-02-27), WikiLambda Front-end, WikiLambda, Abstract Wikipedia team
GrounderUK updated the task description for T358089: Don't allow raw pipes in inline Implementations and Testers when sending over the API, as they get munged.
Wed, Feb 21, 2:19 PM · MW-1.42-notes (1.42.0-wmf.20; 2024-02-27), WikiLambda Front-end, WikiLambda, Abstract Wikipedia team
GrounderUK renamed T358089: Don't allow raw pipes in inline Implementations and Testers when sending over the API, as they get munged from All tests fail without details on “Edit source” (though valid) and never pass on refresh to All tests fail without details on “Edit source” (though valid) and never pass on refresh if a pipe character [U+007C] is used.
Wed, Feb 21, 11:21 AM · MW-1.42-notes (1.42.0-wmf.20; 2024-02-27), WikiLambda Front-end, WikiLambda, Abstract Wikipedia team
GrounderUK created T358089: Don't allow raw pipes in inline Implementations and Testers when sending over the API, as they get munged.
Wed, Feb 21, 11:13 AM · MW-1.42-notes (1.42.0-wmf.20; 2024-02-27), WikiLambda Front-end, WikiLambda, Abstract Wikipedia team

Oct 13 2022

GrounderUK added a comment to T319422: cancelling on createNewZObject redirects back to createZObject.

“Cancel” simply cancels the edits. This flips you straight back into “read” mode on Wikipedia and Wikidata. On Wikifunctions, for existing functions, we get a “Discard Edits” confirmation dialogue first, then we are returned to the page in “read” mode. We cannot be consistent with this for a page that does not exist, but a reasonable expectation after such a dialogue prompt is that the edits are discarded and you are left on the page as it was before any edit. Anything else would imply a third option in the “Discard Edits” dialogue, which is effectively “Back”.

Oct 13 2022, 12:25 PM · Abstract Wikipedia team, WikiLambda Front-end
GrounderUK added a comment to T320275: [Bug] Vector's "add languages" dropdown is broken and shouldn't appear anyway.

This seems to be a Vector (2022) problem; it does not apply to Vector legacy (2010). In legacy, the left sidebar has a Languages section with a gear icon that works correctly. In Vector 2022, this is replaced by a message linking to the non-functioning widget, so I guess that provides a good clue about what the widget should be doing. I could be wrong, but I think it is just the Universal Language Selector, in which case it should always appear (and work).

Oct 13 2022, 10:19 AM · Abstract Wikipedia team, WikiLambda Front-end

Sep 3 2022

GrounderUK added a comment to T297464: Decide on the UX design for the edit summary.

You can see some attempts to make edit summaries less mono-lingual in my more recent contributions.

Sep 3 2022, 9:49 AM · Abstract Wikipedia team (Phase θ – Throttling), Design

Aug 31 2022

GrounderUK added a comment to T315135: In Wikifunctions Beta, valid and correct implementations of functions often fail to execute successfully.

Update.
The Z107 problem seems to have disappeared but the “Argument type mismatch” error persists on the Implementation page. (It is now only possible to fail to evaluate the function once on this page, since the button is disabled (and argument input boxes are not available). An associated Implementation is shown as “not associated”.)

Aug 31 2022, 4:46 PM · Abstract Wikipedia team
GrounderUK added a comment to T306383: In the function editor, display the key identity to users in some form (maybe in only in expert mode?).
Aug 31 2022, 1:48 PM · Abstract Wikipedia team, WikiLambda, WikiLambda Front-end, Design

Aug 20 2022

GrounderUK added a comment to T315724: Passed (?) Tester sometimes shows as FAIL on the Implementation or Tester page (Beta).

8C661B9B-BFFA-43F2-B13F-24BA38FDE5A7.png (2×960 px, 466 KB)
This may be related.
The Multiply function https://wikifunctions.beta.wmflabs.org/wiki/Z10058 can now return a correct (?) PosInt. A new Tester https://wikifunctions.beta.wmflabs.org/wiki/Z10115 converts the PosInt to a String for a String equality test. In the Tester Results section the result column heading is for the PosInt to String function https://wikifunctions.beta.wmflabs.org/wiki/Z10101 and the row is for its Tester https://wikifunctions.beta.wmflabs.org/wiki/Z10103. I’ll create a separate Bug Report for this if it’s not the same problem. You can’t tell in the original case because both Function calls are to the same function.

Aug 20 2022, 5:10 PM · Abstract Wikipedia team (Phase κ – Clean-up)
GrounderUK added a comment to T315724: Passed (?) Tester sometimes shows as FAIL on the Implementation or Tester page (Beta).

This bug may prove difficult to replicate after T315448 has been fixed.

Aug 20 2022, 1:07 PM · Abstract Wikipedia team (Phase κ – Clean-up)
GrounderUK created T315724: Passed (?) Tester sometimes shows as FAIL on the Implementation or Tester page (Beta).
Aug 20 2022, 12:25 PM · Abstract Wikipedia team (Phase κ – Clean-up)

Aug 16 2022

GrounderUK added a comment to T315293: Implementation & Tester types are included in list of implementations and testers on Function Details tab.

Note: I think T315233 fixed this.

Aug 16 2022, 6:30 PM · Abstract Wikipedia team

Aug 13 2022

GrounderUK renamed T315135: In Wikifunctions Beta, valid and correct implementations of functions often fail to execute successfully from In Wikifunctions Beta, implementations of functions fail to execute successfully, returning a Z506/argument type mismatch error: “Invalid argument type: expected Z4, got Z14” to In Wikifunctions Beta, valid and correct implementations of functions often fail to execute successfully.
Aug 13 2022, 3:08 PM · Abstract Wikipedia team
GrounderUK added a comment to T315135: In Wikifunctions Beta, valid and correct implementations of functions often fail to execute successfully.

I removed this:
“The Compositions that can execute successfully seem not to have the Evaluate Function box on their Implementation page (which is https://wikifunctions.beta.wmflabs.org/wiki/Z14). See, for example, https://wikifunctions.beta.wmflabs.org/wiki/Z10056.”

Aug 13 2022, 2:14 PM · Abstract Wikipedia team
GrounderUK updated the task description for T315135: In Wikifunctions Beta, valid and correct implementations of functions often fail to execute successfully.
Aug 13 2022, 1:24 PM · Abstract Wikipedia team
GrounderUK renamed T315135: In Wikifunctions Beta, valid and correct implementations of functions often fail to execute successfully from In Wikifunctions Beta, code implementations of functions fail to execute successfully, returning a Z506/argument type mismatch error: “Invalid argument type: expected Z4, got Z14” to In Wikifunctions Beta, implementations of functions fail to execute successfully, returning a Z506/argument type mismatch error: “Invalid argument type: expected Z4, got Z14”.
Aug 13 2022, 9:56 AM · Abstract Wikipedia team
GrounderUK renamed T315135: In Wikifunctions Beta, valid and correct implementations of functions often fail to execute successfully from In Wikifunctions Beta, implementations of functions fail to execute successfully, returning a Z506/argument type mismatch error “ Invalid argument type: expected Z4, got Z14” to In Wikifunctions Beta, code implementations of functions fail to execute successfully, returning a Z506/argument type mismatch error: “Invalid argument type: expected Z4, got Z14”.
Aug 13 2022, 8:40 AM · Abstract Wikipedia team
GrounderUK added a comment to T315135: In Wikifunctions Beta, valid and correct implementations of functions often fail to execute successfully.

Comment received via Telegram:
<James_F> The page 'Z14' is actually a Z2/Persistent object encapsulating a Z4/Type representing the concept of Z14/Implementations; so Z14 has a top-level Z1K1 of 'Z2', and a second-level (within the Z2K2) Z1K1 of 'Z4'. Not sure if that explains?

Aug 13 2022, 8:21 AM · Abstract Wikipedia team
GrounderUK created T315135: In Wikifunctions Beta, valid and correct implementations of functions often fail to execute successfully.
Aug 13 2022, 7:55 AM · Abstract Wikipedia team

Apr 20 2021

GrounderUK added a comment to T277913: Allow Normalized ZObjects to Be Z7s.

Clarified here [https://meta.wikimedia.org/wiki/Talk:Abstract_Wikipedia/Function_evaluator_call#The_normalized_type]

Apr 20 2021, 6:30 PM · function-schemata, Abstract Wikipedia team

Apr 15 2021

GrounderUK added a comment to T279590: Define Z13/Empty list with special handling.

Should this include other special cases where there is a single element that is effectively null? For example, if a list of strings contains only {"Z1K1": "Z6", "Z6K1": ""}, does this reduce to Z13/Empty?

Apr 15 2021, 10:14 AM · Abstract Wikipedia team (Phase δ), WikiLambda
GrounderUK added a comment to T277913: Allow Normalized ZObjects to Be Z7s.

Nesting of Z6/Strings seems perfectly legitimate whilst a “raw string” return type does not. An explicit nesting should probably be removed during normalization but the evaluator cannot rely on this unless it performs the same reduction itself (as I imagine it should) after evaluating nested function calls.

Apr 15 2021, 9:40 AM · function-schemata, Abstract Wikipedia team

Apr 14 2021

GrounderUK added a comment to T273124: Use evaluation for validation.

I’m wondering whether it would make sense to think of a Z4K3/validator (function) as a constructor for validated instances of objects of the specified type. In practice, this would add an additional key into validated instances, with its value being the list of Z5/Errors (an empty list in the case of a valid object). For example, the valid positive integer represented by "2" would be the object {"Z1K1": "Z70", "Z70K1": "2", "Z70K2": []}. The unvalidated instance, on the other hand, would be a Z7/Function call to the Z70 validator/constructor function, passing "K1": "2" (and expecting type+value+errors – a validated Z70 instance – in return). This ensures that only the validator/constructor function can provide the Z70K2/errors value.

Apr 14 2021, 2:36 PM · Abstract Wikipedia team (Phase η – Generic types)

Apr 1 2021

GrounderUK awarded T63547: Make [[Special:WhatLinksHere]] and [[Special:RecentChangesLinked]] work with links which use [[Special:MyLanguage]] a Doubloon token.
Apr 1 2021, 10:33 PM · I18n, MediaWiki-General

Mar 23 2021

GrounderUK renamed T277720: Provide a CI mechanism by which we can assert that front-end components can run independently of the MW back-end on which they rely from Provide a CI mechanism by which we can assert that front end components can run independently of the MW back-end on why they rely to Provide a CI mechanism by which we can assert that front-end components can run independently of the MW back-end on which they rely.
Mar 23 2021, 4:17 PM · Release-Engineering-Team (Radar), Continuous-Integration-Infrastructure
GrounderUK renamed T278228: Remove zid from ZTypeRegistry's cache when a known ZType is deleted from Remove zid from ZTypeRegistry when ZObject is deleted to Remove zid from ZTypeRegistry when a built-in ZObject is deleted.
Mar 23 2021, 2:32 PM · WikiLambda, Abstract Wikipedia team (Phase γ)
GrounderUK added a comment to T278228: Remove zid from ZTypeRegistry's cache when a known ZType is deleted.

Only for a built-in Z2?

Mar 23 2021, 1:23 PM · WikiLambda, Abstract Wikipedia team (Phase γ)

Mar 22 2021

GrounderUK added a comment to T277913: Allow Normalized ZObjects to Be Z7s.

To be consistent, we might normalize a function call that should return a string, for example, as the value for a Z6K1. That is (maybe): {“Z1K1”: “Z7”, ...} normalizes to {“Z1K1”: “Z6”, “Z6K1”: {“Z1K1”: “Z7”, ...}}, just as the simple string “Wikifunctions” normalizes to {“Z1K1”: “Z6”, “Z6K1”: “Wikifunctions”}.

Mar 22 2021, 3:28 PM · function-schemata, Abstract Wikipedia team

Mar 11 2021

GrounderUK added a comment to T271242: Provide guidelines for the community on working with external experts re: Abstract Wikipedia.

It seems to me that the “guidelines” envisaged are not “for external experts” but for us: “guidelines on working with external experts for the Abstract Wikipedia team and community” (or guidelines for [us] on [that]).

Mar 11 2021, 3:00 PM · CommRel-Specialists-Support (Jul-Sep-2021), Abstract Wikipedia team

Mar 3 2021

GrounderUK added a comment to T261464: Z5/Error type.

I wonder... Are we talking only about errors here? Or should we consider “messages” more broadly? For example, a correct evaluation could be accompanied by information about the cost of evaluation (which might be information or a warning), or the use of a deprecated or suspect object (which might be an error in some situations and not in others).

Mar 3 2021, 11:39 PM · Abstract Wikipedia team (Phase γ)

Feb 17 2021

GrounderUK added a comment to T269182: Figure out validation and well-formedness.

I think that makes sense. For my first option, I should have stated that the change to the referenced function’s return type would be from the more general to the more specific (e.g. from Z6/String to Z?/2-string).

Feb 17 2021, 10:03 PM · Abstract Wikipedia team (Phase γ)

Jan 5 2021

GrounderUK added a watcher for Abstract Wikipedia team: GrounderUK.
Jan 5 2021, 2:54 PM

Dec 19 2020

GrounderUK added a comment to T269182: Figure out validation and well-formedness.
Dec 19 2020, 4:45 PM · Abstract Wikipedia team (Phase γ)
GrounderUK added a comment to T269182: Figure out validation and well-formedness.

Let's consider lazy evaluation.

Dec 19 2020, 4:42 PM · Abstract Wikipedia team (Phase γ)
GrounderUK added a comment to T260861: Use the orchestrator/evaluator to validate instances of each Z4/Type using on-wiki defined Z8/Functions instead of hard-coded .

Thanks for that, James. I may come back to this through T269182, but Happy Holidays in any event!

Dec 19 2020, 3:34 PM · Abstract Wikipedia team (Phase η – Generic types), Epic

Dec 18 2020

GrounderUK added a comment to T260861: Use the orchestrator/evaluator to validate instances of each Z4/Type using on-wiki defined Z8/Functions instead of hard-coded .

Just a thought... Do we envisage a one-to-one relationship between Z4/Type and its Z4K3/validator, or can the same validator function be reused on multiple Z4/Types (which seems to imply a supertype, but perhaps we want to keep that concept implicit for now)?

I imagine you might re-use some of the sub-functions of the validators, e.g. the validator for the type Zn for floating point numbers will have a function checking that ZnK2 is a string that represents an IEEE double-precision float (or whatever), and that would also be useful for the type Zm for complex numbers on values ZmK2 and ZmK4 or whatever.

Dec 18 2020, 10:26 PM · Abstract Wikipedia team (Phase η – Generic types), Epic
GrounderUK added a comment to T260861: Use the orchestrator/evaluator to validate instances of each Z4/Type using on-wiki defined Z8/Functions instead of hard-coded .

Just a thought... Do we envisage a one-to-one relationship between Z4/Type and its Z4K3/validator, or can the same validator function be reused on multiple Z4/Types (which seems to imply a supertype, but perhaps we want to keep that concept implicit for now)?

Dec 18 2020, 4:20 PM · Abstract Wikipedia team (Phase η – Generic types), Epic

Dec 15 2020

GrounderUK added a comment to T269192: Rewrite the type selector.

Perhaps we should seek to minimise the selection of types. More often than not, an object's type should be the same as (or a refinement of) some other object's type. I would generally prefer to define the type by explicit reference to this other object, rather than trying to re-define it at the point of re-use. I wonder whether the same reference would also imply the type's validator? For example, the type and validator definitions of the sine and cosine functions would be the same, wouldn't they?

Dec 15 2020, 4:29 PM · Abstract Wikipedia team (Phase β), WikiLambda Front-end

Dec 14 2020

GrounderUK added a comment to T266242: Once decided, update how Z7 works in the functional model and the evaluator.

See also https://meta.wikimedia.org/wiki/Talk:Abstract_Wikipedia/Function_model#Make_Z7_more_uniform

Dec 14 2020, 6:09 PM · Abstract Wikipedia team (Phase η – Generic types)
GrounderUK added a comment to T269182: Figure out validation and well-formedness.

The Function Model syntax requires a Z1K1/type with a value that evaluates to a Z4/Type. Including this within the "well formed" definition seems to be at odds with the proposition that "Changes to other ZObjects in the wiki cannot impact the well-formedness of a given ZObject." Where the referenced Z4/Type requires evaluation (e.g. for a Z8/Function or a Z10/List), its value depends on the function it references and upon that function's dependencies etc. I suggest that an object could be called "well formed" so long as its Z1K1 is "well formed", meaning that it could be dependent on a function that cannot, in fact, be evaluated (including one that has never existed but excluding any that cannot exist).

Dec 14 2020, 1:34 PM · Abstract Wikipedia team (Phase γ)

Dec 9 2020

GrounderUK added a comment to T261460: Pair a function with its inverse function for testing.

Do we need a separate name for inverse functions?

Dec 9 2020, 3:55 PM · Abstract Wikipedia team

Sep 7 2020

GrounderUK added a comment to T261460: Pair a function with its inverse function for testing.

Okay, so here's a link...

Sep 7 2020, 12:59 PM · Abstract Wikipedia team

Aug 28 2020

GrounderUK added a comment to T260953: Implement a full multi-lingual wikitext documentation system for Objects (for more detail than just the short description system).

I'm guessing that "MCR slot" is referring to Multi-Content Revisions. From https://www.mediawiki.org/wiki/Multi-Content_Revisions/Glossary:

  • slot: the association of a content object (documents) with a specific role in a given revision
    • main slot: the slot with the "main" role. This is always defined for any revision, and is always a primary slot. It will be used per default in places where legacy code expects only one content object to be associated with a revision.
    • derived or virtual slots: these refer to the idea of respectively storing or generating content derived from the primary user-supplied content.
Aug 28 2020, 3:32 AM · Abstract Wikipedia team, WikiLambda, Epic

Aug 27 2020

GrounderUK created T261460: Pair a function with its inverse function for testing.
Aug 27 2020, 9:16 PM · Abstract Wikipedia team