User talk:Hugo Herbelin

__DTSUBSCRIBEBUTTONDESKTOP__{"headingLevel":2,"name":"h-SineBot-2007-12-29T22:27:00.000Z","type":"heading","level":0,"id":"h-Your_recent_edits-2007-12-29T22:27:00.000Z","replies":["c-SineBot-2007-12-29T22:27:00.000Z-Your_recent_edits"],"text":"Your recent edits","linkableTitle":"Your recent edits"}-->

Your recent edits

__DTELLIPSISBUTTON__{"threadItem":{"headingLevel":2,"name":"h-SineBot-2007-12-29T22:27:00.000Z","type":"heading","level":0,"id":"h-Your_recent_edits-2007-12-29T22:27:00.000Z","replies":["c-SineBot-2007-12-29T22:27:00.000Z-Your_recent_edits"]}}-->
__DTSUBSCRIBEBUTTONMOBILE__{"headingLevel":2,"name":"h-SineBot-2007-12-29T22:27:00.000Z","type":"heading","level":0,"id":"h-Your_recent_edits-2007-12-29T22:27:00.000Z","replies":["c-SineBot-2007-12-29T22:27:00.000Z-Your_recent_edits"],"text":"Your recent edits","linkableTitle":"Your recent edits"}-->

Hi there. In case you didn't know, when you add content to talk pages and Wikipedia pages that have open discussion, you should sign your posts by typing four tildes ( ~~~~ ) at the end of your comment. On many keyboards, the tilde is entered by holding the Shift key, and pressing the key with the tilde pictured. You may also click on the signature button located above the edit window. This will automatically insert a signature with your name and the time you posted the comment. This information is useful because other editors will be able to tell who said what, and when. Thank you! --SineBot (talk) 22:27, 29 December 2007 (UTC)[reply]__DTELLIPSISBUTTON__{"threadItem":{"timestamp":"2007-12-29T22:27:00.000Z","author":"SineBot","type":"comment","level":1,"id":"c-SineBot-2007-12-29T22:27:00.000Z-Your_recent_edits","replies":[]}}-->

__DTSUBSCRIBEBUTTONDESKTOP__{"headingLevel":2,"name":"h-Blaisorblade-2008-01-06T14:37:00.000Z","type":"heading","level":0,"id":"h-Merging_SKI_combinator_calculus_and_Combinatory_logic-2008-01-06T14:37:00.000Z","replies":["c-Blaisorblade-2008-01-06T14:37:00.000Z-Merging_SKI_combinator_calculus_and_Combinatory_logic"],"text":"Merging SKI combinator calculus and Combinatory logic","linkableTitle":"Merging SKI combinator calculus and Combinatory logic"}-->

Merging SKI combinator calculus and Combinatory logic

__DTELLIPSISBUTTON__{"threadItem":{"headingLevel":2,"name":"h-Blaisorblade-2008-01-06T14:37:00.000Z","type":"heading","level":0,"id":"h-Merging_SKI_combinator_calculus_and_Combinatory_logic-2008-01-06T14:37:00.000Z","replies":["c-Blaisorblade-2008-01-06T14:37:00.000Z-Merging_SKI_combinator_calculus_and_Combinatory_logic"]}}-->
__DTSUBSCRIBEBUTTONMOBILE__{"headingLevel":2,"name":"h-Blaisorblade-2008-01-06T14:37:00.000Z","type":"heading","level":0,"id":"h-Merging_SKI_combinator_calculus_and_Combinatory_logic-2008-01-06T14:37:00.000Z","replies":["c-Blaisorblade-2008-01-06T14:37:00.000Z-Merging_SKI_combinator_calculus_and_Combinatory_logic"],"text":"Merging SKI combinator calculus and Combinatory logic","linkableTitle":"Merging SKI combinator calculus and Combinatory logic"}-->

Hi, I've seen you as a recent contributor of Combinatory logic page and a very active Wikipedian, so I'm contacting you.

I casually met both mentioned pages and realized they are very similar in topic (even if different in content), so I proposed a merger here. I'd welcome any opinion from you on this topic. Bye! --Blaisorblade (talk) 14:37, 6 January 2008 (UTC)[reply]__DTELLIPSISBUTTON__{"threadItem":{"timestamp":"2008-01-06T14:37:00.000Z","author":"Blaisorblade","type":"comment","level":1,"id":"c-Blaisorblade-2008-01-06T14:37:00.000Z-Merging_SKI_combinator_calculus_and_Combinatory_logic","replies":[]}}-->

__DTSUBSCRIBEBUTTONDESKTOP__{"headingLevel":2,"name":"h-192.75.48.150-2008-01-17T16:10:00.000Z","type":"heading","level":0,"id":"h-Markov's_principle-2008-01-17T16:10:00.000Z","replies":["c-192.75.48.150-2008-01-17T16:10:00.000Z-Markov's_principle"],"text":"Markov's principle","linkableTitle":"Markov's principle"}-->

Markov's principle

__DTELLIPSISBUTTON__{"threadItem":{"headingLevel":2,"name":"h-192.75.48.150-2008-01-17T16:10:00.000Z","type":"heading","level":0,"id":"h-Markov's_principle-2008-01-17T16:10:00.000Z","replies":["c-192.75.48.150-2008-01-17T16:10:00.000Z-Markov's_principle"]}}-->
__DTSUBSCRIBEBUTTONMOBILE__{"headingLevel":2,"name":"h-192.75.48.150-2008-01-17T16:10:00.000Z","type":"heading","level":0,"id":"h-Markov's_principle-2008-01-17T16:10:00.000Z","replies":["c-192.75.48.150-2008-01-17T16:10:00.000Z-Markov's_principle"],"text":"Markov's principle","linkableTitle":"Markov's principle"}-->

Great start, thanks. --192.75.48.150 (talk) 16:10, 17 January 2008 (UTC)[reply]__DTELLIPSISBUTTON__{"threadItem":{"timestamp":"2008-01-17T16:10:00.000Z","author":"192.75.48.150","type":"comment","level":1,"id":"c-192.75.48.150-2008-01-17T16:10:00.000Z-Markov's_principle","replies":[]}}-->

__DTSUBSCRIBEBUTTONDESKTOP__{"headingLevel":2,"name":"h-SineBot-2011-03-22T22:26:00.000Z","type":"heading","level":0,"id":"h-Your_recent_edits_2-2011-03-22T22:26:00.000Z","replies":["c-SineBot-2011-03-22T22:26:00.000Z-Your_recent_edits_2"],"text":"Your recent edits","linkableTitle":"Your recent edits 2"}-->

Your recent edits

__DTELLIPSISBUTTON__{"threadItem":{"headingLevel":2,"name":"h-SineBot-2011-03-22T22:26:00.000Z","type":"heading","level":0,"id":"h-Your_recent_edits_2-2011-03-22T22:26:00.000Z","replies":["c-SineBot-2011-03-22T22:26:00.000Z-Your_recent_edits_2"]}}-->
__DTSUBSCRIBEBUTTONMOBILE__{"headingLevel":2,"name":"h-SineBot-2011-03-22T22:26:00.000Z","type":"heading","level":0,"id":"h-Your_recent_edits_2-2011-03-22T22:26:00.000Z","replies":["c-SineBot-2011-03-22T22:26:00.000Z-Your_recent_edits_2"],"text":"Your recent edits","linkableTitle":"Your recent edits 2"}-->

Hello. In case you didn't know, when you add content to talk pages and Wikipedia pages that have open discussion, you should sign your posts by typing four tildes ( ~~~~ ) at the end of your comment. You could also click on the signature button located above the edit window. This will automatically insert a signature with your username or IP address and the time you posted the comment. This information is useful because other editors will be able to tell who said what, and when. Thank you. --SineBot (talk) 22:26, 22 March 2011 (UTC)[reply]__DTELLIPSISBUTTON__{"threadItem":{"timestamp":"2011-03-22T22:26:00.000Z","author":"SineBot","type":"comment","level":1,"id":"c-SineBot-2011-03-22T22:26:00.000Z-Your_recent_edits_2","replies":[]}}-->

__DTSUBSCRIBEBUTTONDESKTOP__{"headingLevel":2,"name":"h-MediaWiki_message_delivery-2015-11-24T13:40:00.000Z","type":"heading","level":0,"id":"h-ArbCom_elections_are_now_open!-2015-11-24T13:40:00.000Z","replies":["c-MediaWiki_message_delivery-2015-11-24T13:40:00.000Z-ArbCom_elections_are_now_open!"],"text":"ArbCom elections are now open!","linkableTitle":"ArbCom elections are now open!"}-->

ArbCom elections are now open!

__DTELLIPSISBUTTON__{"threadItem":{"headingLevel":2,"name":"h-MediaWiki_message_delivery-2015-11-24T13:40:00.000Z","type":"heading","level":0,"id":"h-ArbCom_elections_are_now_open!-2015-11-24T13:40:00.000Z","replies":["c-MediaWiki_message_delivery-2015-11-24T13:40:00.000Z-ArbCom_elections_are_now_open!"]}}-->
__DTSUBSCRIBEBUTTONMOBILE__{"headingLevel":2,"name":"h-MediaWiki_message_delivery-2015-11-24T13:40:00.000Z","type":"heading","level":0,"id":"h-ArbCom_elections_are_now_open!-2015-11-24T13:40:00.000Z","replies":["c-MediaWiki_message_delivery-2015-11-24T13:40:00.000Z-ArbCom_elections_are_now_open!"],"text":"ArbCom elections are now open!","linkableTitle":"ArbCom elections are now open!"}-->

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) 13:40, 24 November 2015 (UTC)[reply]__DTELLIPSISBUTTON__{"threadItem":{"timestamp":"2015-11-24T13:40:00.000Z","author":"MediaWiki message delivery","type":"comment","level":1,"id":"c-MediaWiki_message_delivery-2015-11-24T13:40:00.000Z-ArbCom_elections_are_now_open!","replies":[]}}-->

__DTSUBSCRIBEBUTTONDESKTOP__{"headingLevel":2,"name":"h-MediaWiki_message_delivery-2017-12-03T18:42:00.000Z","type":"heading","level":0,"id":"h-ArbCom_2017_election_voter_message-2017-12-03T18:42:00.000Z","replies":["c-MediaWiki_message_delivery-2017-12-03T18:42:00.000Z-ArbCom_2017_election_voter_message"],"text":"ArbCom 2017 election voter message","linkableTitle":"ArbCom 2017 election voter message"}-->

ArbCom 2017 election voter message

__DTELLIPSISBUTTON__{"threadItem":{"headingLevel":2,"name":"h-MediaWiki_message_delivery-2017-12-03T18:42:00.000Z","type":"heading","level":0,"id":"h-ArbCom_2017_election_voter_message-2017-12-03T18:42:00.000Z","replies":["c-MediaWiki_message_delivery-2017-12-03T18:42:00.000Z-ArbCom_2017_election_voter_message"]}}-->
__DTSUBSCRIBEBUTTONMOBILE__{"headingLevel":2,"name":"h-MediaWiki_message_delivery-2017-12-03T18:42:00.000Z","type":"heading","level":0,"id":"h-ArbCom_2017_election_voter_message-2017-12-03T18:42:00.000Z","replies":["c-MediaWiki_message_delivery-2017-12-03T18:42:00.000Z-ArbCom_2017_election_voter_message"],"text":"ArbCom 2017 election voter message","linkableTitle":"ArbCom 2017 election voter message"}-->

Hello, Hugo Herbelin. 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)[reply]__DTELLIPSISBUTTON__{"threadItem":{"timestamp":"2017-12-03T18:42:00.000Z","author":"MediaWiki message delivery","type":"comment","level":1,"id":"c-MediaWiki_message_delivery-2017-12-03T18:42:00.000Z-ArbCom_2017_election_voter_message","replies":[]}}-->