User:Gamall Wednesday Ida: Difference between revisions
→Shopping list (articles to edit): Alternating finite automaton |
→Shopping list (articles to edit): Pascal's rule |
||
Line 71: | Line 71: | ||
== Shopping list (articles to edit) == |
== Shopping list (articles to edit) == |
||
* (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. |
* (research/teach) [[Alternating finite automaton]]. French version is much better. Might want to import and complete. |
Revision as of 12:43, 19 February 2019
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. Starting in Sept. 2017, I'll be 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. Finally, I keep a watchful eye on some pseudoscience-related topics; I have a profound dislike of attempts to protect nonsense, whether religious or profane, by lowering, dismissing, or obfuscating the standards of rational inquiry, especially by people who ought to know better. As a result, I spend way more time than I like drawn into related arguments. That's life, I guess. |
|
Shopping list (articles created / to create)
To create
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)
- (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)
Turns out, it doesn't handle macros well. My existing documents depend heavily on them. Alternatives? Simple macros work fine. Done
- 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,
- Talk:Democratic Alliance for the Betterment and Progress of Hong Kong § Political postion. Disagreement about DAB's political position. 07:41, 16 May 2024 (UTC)
- Talk:Fun in a Chinese Laundry (memoir) § Quotes from memoir. Disagreement about inclusion of "Selected excerpts" section in article. 00:47, 17 May 2024 (UTC)
Special:PendingChanges; My pending changes reviewing actions
- Wikipedia pending changes reviewers
- User fr-N
- User en-5
- Wikipedian university teachers
- Wikipedians with PhD degrees
- Wikipedians with BMath degrees
- WikiProject Mathematics participants
- Wikipedians interested in mathematics
- WikiProject Computer science participants
- Wikipedians interested in computer science
- Wikipedians interested in Bayesian methods
- Atheist Wikipedians
- User latex
- User latex-3
- User ocaml
- Wikipedians who use Zotero