User talk:Bartosz

Hello there, welcome to the 'pedia! I hope you like the place and decide to stay. If you need pointers on how we title pages visit Wikipedia:Naming conventions or how to format them visit our manual of style. If you have any other questions about the project then check out Wikipedia:Help or add a question to the Village pump. Cheers! --maveric149

Twin Paradox

Hi. Do you think you could look at my question that I listed at the bottom of the Twin Paradox discussion page? I would be very interested in your answer! Thanks. See: [[1]]

Wodan 21:51, Aug 28, 2004 (UTC)

Many-sorted logic, category theory

Dear Bartosz,

Thank You for Your letter. I used the term “sort” in the sense as it is used in the field of “many-sorted logic”. It was a surprise also for me, that there is no Wikipedia article from many-sorted logic yet. Many-sorted logic is also for me a fresh area. I try to learn it with searching keywords like “many-sorted logic”, “many-sorted”, I found till now such materials like Many-Sorted Logic, the first chapter in Lecture notes on Decision Procedures, written by Calogero G. Zarba.

Have much luck to learn category theory! I began it with

Toposes, Triples and Theories written by Michael Barr and Charles Wells

Learning category theory can be even more funny if joined with categorical programming, see e.g. Charity programming language. But also Haskell (programming language) has many category theory related materials and oportunities.

Best wishes

Physis 20:47, 28 November 2006 (UTC)[reply]

New article: many-sorted logic

Thank You for Your letter, and also for the suggestion in the physics topic (the topic is not mine, just I saved it from deletion by copying it onto my user page. In childhood I wanted to be a physicist, it is a wonderful science).

To make Your efforts easier in learning many-sorted logic, I have just created such an article, but it is very embryonic. and contatin only new one reference that I have not mentioned yet to You (because I have found that book just now).

Much success and best wishes to You,

Physis 23:22, 28 November 2006 (UTC)[reply]

Translation from English to Polish

Hi there. I like to ask for your support in translation. It might be a short recreative break from computing topics. :-) If you like please have a look at a short article about an international music award which should be available in several important languages like Polish as there already have been Polish participants. It's already published in English, French, and German. You wouldn't have to bother with the tablet and the references as I would prepare both for Polish. I just need the appropriate Polish terms (nationalities etc.) for it. Just let me know. Many thanks in advance. Best regards ArcCan (talk) 18:23, 2 October 2010 (UTC)[reply]

Notification of automated file description generation

Your upload of File:Code Co-op.png or contribution to its description is noted, and thanks (even if belatedly) for your contribution. In order to help make better use of the media, an attempt has been made by an automated process to identify and add certain information to the media's description page.

This notification is placed on your talk page because a bot has identified you either as the uploader of the file, or as a contributor to its metadata. It would be appreciated if you could carefully review the information the bot added. To opt out of these notifications, please follow the instructions here. Thanks! Message delivered by Theo's Little Bot (opt-out) 15:01, 15 May 2014 (UTC)[reply]

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) 08:53, 23 November 2015 (UTC)[reply]

ArbCom Elections 2016: Voting now open!

Hello, Bartosz. 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. Mdann52 (talk) 22:08, 21 November 2016 (UTC)[reply]

ArbCom Elections 2016: Voting now open!

Hello, Bartosz. 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)[reply]

ArbCom 2017 election voter message

Hello, Bartosz. 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]

ArbCom 2018 election voter message

Hello, Bartosz. 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)[reply]