Schwallex
Welcome!
Hello, Schwallex, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are a few good links for newcomers:
- The five pillars of Wikipedia
- How to edit a page
- Help pages
- Tutorial
- How to write a great article
- Manual of Style
I hope you enjoy editing here and being a Wikipedian! Please sign your name on talk pages using four tildes (~~~~); this will automatically produce your name and the date. If you need help, check out Wikipedia:Questions, ask me on my talk page, or place {{helpme}} on your talk page and someone will show up shortly to answer your questions. Again, welcome! —Khoikhoi 03:49, 23 May 2006 (UTC)
WikiProject Germany Invitation
edit
|
){kind=link}
Straight vs curly quotes
editHi Schwallex, I happened to notice this edit replacing straight with curly quotes. I just wanted to call your attention to WP:PUNC, which does allow curly quotes, but goes on to say that "[t]he exclusive use of straight quotes and apostrophes is recommended". You might especially be interested in the reasons given. I don't really have a strong preference either way, but I lean towards following the MOS's advice; the point I want to make is that straight quotation marks aren't "improper" as your edit summary seemed to indicate.
Cheers, and happy editing! Oliphaunt (talk) 20:22, 18 October 2008 (UTC)
Hi. Let me explain why I removed your additions. Basically, we've had a longstanding issue on that page of what should be included and how to include it. People come from all over to use the article as a place for advertising. You added "Astrée — Run-time error analyzer for C" and "PAG — The Program Analyzer Generator.", both of which are redlinked. I can't find anything particularly notable about either one. Just because they're listed on pages in the EL (and I can only find info in those links for Astree, not the other one) doesn't make them notable enough to list, either - this article isn't meant to be a duplication of those other pages. Could you perhaps explain to me why they should be listed on the page, then? Thanks. — HelloAnnyong (say whaaat?!) 13:22, 27 May 2009 (UTC)
- Hi and thanks for clarifying. Astrée, PolySpace, and PAG are the static analysis tools used in embedded-systems development. In fact, all other tools on the list are pretty much irrelevant in that domain. No, I don't have any stats on that, but ask any developer in the embedded-systems industry and I am pretty confident they'll confirm that they are deploying one or several of the three, or at least that they are certainly not relying on HP Code Advisor or Microsoft PREfast (by the way, I've just noticed that the latter is missing from the list, too).
- Anyway, PAG is widely used by universities to teach static program analysis (a quick Google search returns 1 (Denmark, 2004), 2 (Italy, 2009), 3 (Sweden, 2008), 4 (Kansas, 2001), 5 (Germany, 2006), 6 (Italy, 2000), 7 (Germany, 2005), 8 (Austria, 2008), 9 (Florida, 2008), etc) and is the basis for the WCET and stack usage analyses provided by the SCADE Suite, the market-leading embedded-software development environment. And Astrée is deployed by ESA and Airbus to analyze their safety-critical software. Suffice to say that it was developed by Patrick Cousot, the "father" of abstract interpretation. I have used PAG myself, so you can chalk me up as biased on that one if you insist, but I am (sadly) not affiliated with Patrick Cousot, ESA, Esterel or Airbus. And I am certainly not advertising any particular tool, company, or person, as you can clearly see from my edit history.
- --Schwallex (talk) 11:52, 28 May 2009 (UTC)
- P.S.: PolySpace is missing from the list, too. Is that because it's an integral part of MATLAB now?
- If both are so notable, then they should presumably have articles here. Create articles for the two of them, prove their notability, and then add the links to the page - not the other way around. — HelloAnnyong (say whaaat?!) 12:14, 28 May 2009 (UTC)
A tag has been placed on File:AbsInt Angewandte Informatik GmbH logo.png requesting that it be speedily deleted from Wikipedia. This has been done under section F1 of the criteria for speedy deletion, because the image is an unused redundant copy (all pixels the same or scaled down) of an image in the same file format, which is on Wikipedia (not on Commons), and all inward links have been updated.
If you think that the page was nominated in error, contest the nomination by clicking on the button labelled "Click here to contest this speedy deletion" in the speedy deletion tag. Doing so will take you to the talk page where you can explain why you believe the page should not be deleted. You can also visit the page's talk page directly to give your reasons, but be aware that once a page is tagged for speedy deletion, it may be removed without delay. Please do not remove the speedy deletion tag yourself, but do not hesitate to add information that is consistent with Wikipedia's policies and guidelines. Stefan2 (talk) 13:24, 12 October 2012 (UTC)
- Thanks Stefan2. When I uploaded this image, the submission form just froze and wouldn't unfreeze for minutes. I manually checked if the file actually got uploaded by visiting the corresponding URL, but it wasn't there. So I submitted it again, under a different name. This worked, but as soon as the second image got uploaded, the first image appeared out of nowhere, but I had no use for it anymore. Sorry for the troubles, delete it at will. Thanks again. --Schwallex (talk) 15:14, 12 October 2012 (UTC)
Orphaned non-free media (File:AbsInt Angewandte Informatik GmbH logo.png)
edit){kind=link}
Thanks for uploading File:AbsInt Angewandte Informatik GmbH logo.png. The media description page currently specifies that it is non-free and may only be used on Wikipedia under a claim of fair use. However, it is currently orphaned, meaning that it is not used in any articles on Wikipedia. If the media was previously in an article, please go to the article and see why it was removed. You may add it back if you think that that will be useful. However, please note that media for which a replacement could be created are not acceptable for use on Wikipedia (see our policy for non-free media).
If you have uploaded other unlicensed media, please check whether they're used in any articles or not. You can find a list of 'file' pages you have edited by clicking on the "my contributions" link (it is located at the very top of any Wikipedia page when you are logged in), and then selecting "File" from the dropdown box. Note that all non-free media not used in any articles will be deleted after seven days, as described on criteria for speedy deletion. Thank you. Hazard-Bot (talk) 04:16, 13 October 2012 (UTC)
){kind=link}
ArbCom Elections 2016: Voting now open!
edit
Hello, Schwallex. 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, Schwallex. 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, Schwallex. 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)