User talk:Destynova
|
|
Archives: |
|
|
No news is no news.
Nice[edit]
Good catch at the Yoga as Ex and Alt Med article! EMP (talk 22:57, 2 July 2013 (UTC)
Hi there, I'm HasteurBot. I just wanted to let you know that Wikipedia talk:Articles for creation/Golfscript, a page you created has not been edited in at least 180 days. The Articles for Creation space is not an indefinite storage location for content that is not appropriate for articlespace. If your submission is not edited soon, it could be nominated for deletion. If you would like to attempt to save it, you will need to improve it. You may request Userfication of the content if it meets requirements. If the deletion has already occured, instructions on how you may be able to retrieve it are available at WP:REFUND/G13. Thank you for your attention. HasteurBot (talk) 00:22, 19 August 2013 (UTC)
Your article submission Golfscript[edit]
Hello Destynova. It has been over six months since you last edited your article submission, entitled Golfscript.
The page will shortly be deleted. If you plan on editing the page to address the issues raised when it was declined and resubmit it, simply and remove the {{db-afc}} or {{db-g13}} code. Please note that Articles for Creation is not for indefinite hosting of material deemed unsuitable for the encyclopedia mainspace.
If your submission has already been deleted by the time you get there, and you want to retrieve it, copy this code: {{subst:Refund/G13|Wikipedia talk:Articles for creation/Golfscript}}, paste it in the edit box at this link, click "Save", and an administrator will in most cases undelete the submission.
Thanks for your submission to Wikipedia, and happy editing. HasteurBot (talk) 00:03, 20 November 2013 (UTC)
Your request for undeletion[edit]
Hello. This message is being sent to inform you that a response has been made at Wikipedia:Requests for undeletion regarding a submission you made. The thread is Wikipedia talk:Articles for creation/Golfscript. JohnCD (talk) 20:14, 21 November 2013 (UTC)
Citation needed - Lambda lifting[edit]
For your citation needed query in Lambda lifting I have written an article Deductive lambda calculus and provided a link to it in the sentence you query. Does this explanation satisfy you?
Thepigdog (talk) 01:20, 22 February 2014 (UTC)
If you wanted the Golfscript page saved, why didnt you document the language?
- Hi! Thanks for your work on this. The deductive lambda calculus article seems a bit too difficult to understand, from the perspective of someone who is not so familiar with lambda calculus. However, I did find this section in the lambda calculus article which seems to provide some high-level context and introduces the terms.
- Regarding the Golfscript article, there are a few reasons why I have not resumed work on it (yet):
- I'm not an expert in Golfscript, or even a beginner; I just thought it was interesting and very notable (in the context of code golf, but perhaps not outside that scope).
- After some searching, I still couldn't find good references to support the general notability of Golfscript. This was the reason why my article submission was originally declined.
- I've been in the closing stages of my PhD for what seems like forever, so I didn't have time to commit to things like this. Hopefully that will change soon. :)
- All the best, and keep up the good work! Destynova (talk) 13:10, 22 February 2014 (UTC)
Hi there, I'm HasteurBot. I just wanted to let you know that Wikipedia talk:Articles for creation/Golfscript, a page you created, has not been edited in 6 months. The Articles for Creation space is not an indefinite storage location for content that is not appropriate for articlespace.
If your submission is not edited soon, it could be nominated for deletion. If you would like to attempt to save it, you will need to improve it.
You may request Userfication of the content if it meets requirements.
If the deletion has already occured, instructions on how you may be able to retrieve it are available at WP:REFUND/G13.
Thank you for your attention. HasteurBot (talk) 01:30, 1 November 2014 (UTC)
Your draft article, Wikipedia talk:Articles for creation/Golfscript[edit]
Hello Destynova. It has been over six months since you last edited your WP:AFC draft article submission, entitled "Golfscript".
The page will shortly be deleted. If you plan on editing the page to address the issues raised when it was declined and resubmit it, simply and remove the {{db-afc}} or {{db-g13}} code. Please note that Articles for Creation is not for indefinite hosting of material deemed unsuitable for the encyclopedia mainspace.
If your submission has already been deleted by the time you get there, and you want to retrieve it, copy this code: {{subst:Refund/G13|Wikipedia talk:Articles for creation/Golfscript}}, paste it in the edit box at this link, click "Save page", and an administrator will in most cases undelete the submission.
Thanks for your submission to Wikipedia, and happy editing. HasteurBot (talk) 02:00, 5 December 2014 (UTC)
Hi,
You appear to be eligible to vote in the current Arbitration Committee election. The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to enact binding solutions for disputes between editors, primarily related to serious behavioural issues that the community has been unable to resolve. This includes the ability to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail. If you wish to participate, you are welcome to review the candidates' statements and submit your choices on the voting page. For the Election committee, MediaWiki message delivery (talk) 16:08, 23 November 2015 (UTC)
ArbCom Elections 2016: Voting now open![edit]
Hello, Destynova. Voting in the 2016 Arbitration Committee elections is open from Monday, 00:00, 21 November through Sunday, 23:59, 4 December to all unblocked users who have registered an account before Wednesday, 00:00, 28 October 2016 and have made at least 150 mainspace edits before Sunday, 00:00, 1 November 2016.
The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.
If you wish to participate in the 2016 election, please review the candidates' statements and submit your choices on the voting page. MediaWiki message delivery (talk) 22:08, 21 November 2016 (UTC)
ArbCom 2017 election voter message[edit]
Hello, Destynova. Voting in the 2017 Arbitration Committee elections is now open until 23.59 on Sunday, 10 December. All users who registered an account before Saturday, 28 October 2017, made at least 150 mainspace edits before Wednesday, 1 November 2017 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.
The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.
If you wish to participate in the 2017 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 3 December 2017 (UTC)
ArbCom 2018 election voter message[edit]
Hello, Destynova. Voting in the 2018 Arbitration Committee elections is now open until 23.59 on Sunday, 3 December. All users who registered an account before Sunday, 28 October 2018, made at least 150 mainspace edits before Thursday, 1 November 2018 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.
The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.
If you wish to participate in the 2018 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 19 November 2018 (UTC)
ArbCom 2018 election voter message[edit]
Hello, Destynova. Voting in the 2018 Arbitration Committee elections is now open until 23.59 on Sunday, 3 December. All users who registered an account before Sunday, 28 October 2018, made at least 150 mainspace edits before Thursday, 1 November 2018 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.
The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.
If you wish to participate in the 2018 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 19 November 2018 (UTC)
ArbCom 2020 Elections voter message[edit]
| Hello! Voting in the 2020 Arbitration Committee elections is now open until 23:59 (UTC) on Monday, 7 December 2020. All eligible users are allowed to vote. Users with alternate accounts may only vote once.
The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail. If you wish to participate in the 2020 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add |
ArbCom 2021 Elections voter message[edit]
| Hello! Voting in the 2021 Arbitration Committee elections is now open until 23:59 (UTC) on Monday, 6 December 2021. All eligible users are allowed to vote. Users with alternate accounts may only vote once.
The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail. If you wish to participate in the 2021 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add |