User:Gamall Wednesday Ida

Some wordy stuff about me

Hello,

My pseudonyms on the internet, which I have been using consistently for well over a decade, are Ida, Gamall, and the overlong Gamall Wednesday Ida, which, unlike the previous ones, should be unique enough to allow easy search and univocal identification (barring hypothetical impersonators).

In real life, I am a theoretical computer scientist working in the areas of formal languages and automated verification, and an associate professor in a French engineering school. I'm pretty sure I am not notable, and don't have any WP:COI worth mentioning.

I edit mostly on topics related to computer science and (basic) discrete mathematics, and revert vandalism wherever I come across it.

fr

Cet utilisateur a pour langue maternelle le français.

en-5

This user can contribute with a professional level of English.

This user teaches at a university or other institution of higher education.

PhD

This user has a Doctor of Philosophy degree in theoretical computer science.

BMath

This user has a Bachelor of Mathematics degree.

This user participates in
WikiProject Mathematics.

This user is a member of the WikiProject Computer science.

This user has pending changes reviewer rights on the English Wikipedia. (verify)

Miscellanea

This user has extended confirmed rights on the English Wikipedia. (verify)

This user has been on Wikipedia for 17 years, 10 months and 11 days, but barely used the account and kept editing as an IP for a long time.

This user was an IP editor in the past.

This user is an academic.

This user has published peer-reviewed articles in academic journals.

This user believes science, practiced through the scientific method, is the
most reliable way of determining the
nature of reality.

This user is a Bayesian, who knows it's really due to Laplace.

This user doesn't believe in deities, myths or superstitions

-3

This user is an advanced LaTeX user.

py-3

This user is an advanced Python programmer.

ocaml-N

This user prefers OCaml over other programming languages.

This user uses Kile for editing in LaTeX.

This user contributes with Arch Linux.

This user still remembers these.

This user has insomnia.

Shopping list (articles created / to create)

To create

(misc) User:Gamall Wednesday Ida/Newton's identity (combinatorics)

Created

(research) Create the Tree transducer article: stub Done. Make it good: Not done.

(basic) Needed to create Ranked alphabet as prerequisite. Done Needs a proper definition of ranked terms. Not done.

(misc) Hockey-stick identity. A nice identity I didn't know about until recently, applicable in a proof for Square pyramidal numbers. Mostly seeded the article from some free sources. Done

Work out if it's a special case of Vandermonde's identity, and write it up.

Not done

(misc) Arithmetices principia, nova methodo exposita. Stub. Done

(basic) Equivalence problem. Was linked in Tree transducer.

De-stubbed

(misc) Bird–Meertens formalism: fill out a bit. Done, no longer a stub, I think.

Shopping list (articles to edit)

(teach) Arden's rule could use expansion. There again, French version is more complete.

(misc) Add the nice proof of Pascal's rule with binomial expansion.

(research/teach) Alternating finite automaton. French version is much better. Might want to import and complete.

(teaching) Check vocabulary for code. French: code vs codage; here using en:code for fr:codage; what's the en for fr:code ? "uniquely decodable" still applies to a fr:codage instead of directly to a fr:code, which would be simpler. Need to find refs for usual practices. Not done

(teaching) Nicer prefix proof at Kraft's inequality: Done. Maybe wrangle McMillan later. Not done

(misc) Arithmetico-geometric sequence does not cover what I would expect. / Actually, it's covered in Linear difference equation. Nothing to do. Done

(misc) Vandermonde's identity#Generalized Vandermonde's identities: added beautiful, more general version of identity. Done It's obviously correct, but I can't find a reference. Seems that somebody else was looking for a ref and failed: http://math.stackexchange.com/questions/1131450/generalized-vandermondes-identity. Not done

(misc) Perhaps expand a bit the proof of Nicomachus's theorem. Done

(misc) Iverson bracket undefined cases? Proper definition for 'strongly 0'? Reworked. Done

(misc) Geometric progression and Geometric series are incredibly stinky messes. Dare I touch them ungloved? Not done

(misc) Merged Genetic entropy into Genetic load#genetic_entropy and John C. Sanford. Done

(misc) Ant on a rubber rope; Knuth references? Not done

(misc) Mean time between failures. General formulae? Done

(misc) Bayes' theorem: improve a bit Partly done.

(misc) Proof_by_contradiction#Relationship_with_other_proof_techniques; improve; added Proof_by_contradiction#rel. Partly done

(misc) Mean_time_between_failures#MTBF_of_networks_of_components: contributed network formulae Done.

(misc) Arithmetico-geometric sequence: improved. Done.

Shopping list (meta)

See if Pandoc is good at converting LaTeX to wiki syntax. That would make things easier for me.

~~Turns out, it doesn't handle macros well. My existing documents depend heavily on them. Alternatives?~~ Simple macros work fine. Done

BibTeX citations to Wikipedia: follow up on [1], [2]. Done Zotero seems to work fine.

Pandoc + Zotero : Project "LaTeX seed" Not done

See if there is really no way to define LaTeX macros across an article; User:Gamall_Wednesday_Ida/sandbox. Seems not, but might ask someone knowledgeable sometime. Not done

Useful tool: User:Jmath666/latex2wiki : LaTeX to Wiki converter.

Notifications for unsigned template : Template talk:Unsigned.

Useful links

Wikipedia:Version 1.0 Editorial Team/Assessment#Grades; WP:FTN.

Third opinion disputes: update, Purge

Talk:Pākehā § Citations needed This thread has become combative and repetitious. In a nutshell, I came across this article when I was researching for another article that referred to the term Pākehā. When I browsed to Pākehā § Etymology and history, I noticed that after the last sentence in the first paragraph, there was a call for a citation. So, assuming it was only the last sentence requiring a citation, I found a source and posted it, only for that to be reverted by User:Traumnovelle. This also, perhaps inadvertently, reverted a link I had added to patupaiarehe, for which I have nevertheless since provided a source from the Te Ara encyclopedia published by the New Zealand Government. During all this, I posted a query about that on the user's Talk page, which you can see copied from the archive into the Talk page of the Pākehā article. I subsequently found more reliable sources for other existing contributions in the paragraph, and have so far added 4 that are reliable, and two that are from a self-published writer, Jodie Radford, either or both of which I have said I would be happy to remove if other editors agree they harm the article. The problem I am having is lack of specificity, cordiality and collaborativeness in responses, and what now seems to be nitpicking over which direction rowers face. It is also apparent that Traumnovelle is not fully reading my painstakingly prepared and detailed responses before replying, leaving some questions hanging over several posts. I would welcome a third opinion as to whether at least the 4 citations I have provided from reliable sources, and the block quotes obtained from these sources adequately verify the contributions in the disputed paragraph, and perhaps an opinion on the quality of the discourse. Chrisdevelop (talk) 12:29, 26 April 2025 (UTC)
Talk:Wuxing (Chinese philosophy) § add. Disagreement about which order should show first to list the five elements of Wuxing (Chinese philosophy). 18:28, 24 April 2025 (UTC)
Talk:Eremophila annosicaulis § Etymology Disagreement about the etymology of Eremophila annosicaulis.10:31, 25 April 2025 (UTC)
Talk:Jonny Kim § removal of second-level gallery of synthesis. Disagreement about whether identifying ribbons and other visual information from an image constitutes WP:NOR. 05:09, 26 April 2025 (UTC)

Special:PendingChanges; My pending changes reviewing actions

Committed identity: 28b63b0a85d2f42a1b84f99f4a589633c84d590514fbb458bdf07b1da19ac93a98038a43fac1fcfdcc5e0b23ce1d9f993e14836b2bff57fd99a29c7e912e6e25 is a SHA-512 commitment to this user's real-life identity.