Wikipedia talk:WikiProject Computer science

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Computer science (Rated Project-class)
WikiProject icon This page is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
 Project  This page does not require a rating on the project's quality scale.

Help needed with History of logic post-WWII[edit]

The article History of logic has been nominated for a featured article here. The nominating editor has asked for help concerning the post-WWII period (see this post). Any assistance would be appreciated

Nomination of Invasive weed optimization algorithm for deletion[edit]

The article Invasive weed optimization algorithm is being discussed concerning whether it is suitable for inclusion as an article according to Wikipedia's policies and guidelines or whether it should be deleted.

The article will be discussed at Wikipedia:Articles for deletion/Invasive weed optimization algorithm (2nd nomination) until a consensus is reached, and anyone is welcome to contribute to the discussion. The nomination will explain the policies and guidelines which are of concern. The discussion focuses on good quality evidence, and our policies and guidelines.

Users may edit the article during the discussion, including to improve the article to address concerns raised in the discussion. However, do not remove the article-for-deletion template from the top of the article. — Preceding unsigned comment added by Ruud Koot (talkcontribs) 19:18, 12 February 2011

Request for feedback: Y-fast tries[edit]

I wrote an article about y-fast tries, a data structure for bounded universes that improves on x-fast tries. Any and all constructive feedback is appreciated. Rf insane (talk) 20:13, 15 April 2011

Binary decision diagram[edit]

Please could someone take a look at the External Links section of the Binary decision diagram article? It is enormous and has been in the Spam Cleanup category [1] since 2009!

I've removed the links; link farms like this aren't appropriate as Wikipedia is not a directory. -- Mikeblas (talk) 04:53, 30 October 2014 (UTC)

This article needs attention from an expert in Computer science[edit]

As an evolving science many experts hold conflicting views, and the taxonomy is inconsitent

Messy duplication in some language/grammar topics[edit]

I found the following pages very unwieldy to edit because of the duplication. Dunno where to add material basically:

Thoughts? JMP EAX (talk) 15:21, 16 August 2014 (UTC)

I would keep the current separation. Context-free language should be a general presentation of this class of languages, relating them of course to context-free grammar but also to push-down automata, categorial grammar and so on. Context-free grammar should focus on the grammar as an object in itself, proper CFGs, Chomsky Normal Form, and subclasses like LR. I think some paragraphs from context-free grammar could be transferred to context-free language.
Nowadays there are so many different grammar frameworks that we deal with context-free languages very often without using CFGs at all.
I would keep Context-sensitive language and Context-sensitive grammar separate for the same reason, but I would merge Noncontracting grammar with Context-sensitive grammar because the notions are the same. − Pintoch (talk) 15:39, 16 August 2014 (UTC)
I don't find you argument compelling. In practice the language article is just a poor cousin of the grammar one. Look at Indexed language and Indexed grammar. The former doesn't even say WTF an linearly indexed language is. JMP EAX (talk) 10:53, 17 August 2014 (UTC)
Then would you merge Regular language with Finite state automaton? Or with Regular expression? Or with Prefix grammar? (and so on.) I agree that currently the state of the context-free and context-sensitive articles is quite bad, because the overlap between them is not handled properly, but I still think these articles should remain separate. However, for notions that are less widespread, it would make sense to merge the articles so that we can focus on one article. Maybe it would be the right thing to do for Indexed language and Indexed grammar. − Pintoch (talk) 11:19, 17 August 2014 (UTC)
To give you the ultimate example why this practice is bad, I just watched the appearance of Mildly context-sensitive grammar formalism as a clear WP:POVFORK of [1]. JMP EAX (talk) 22:29, 17 August 2014 (UTC)
The article on regular language makes a bit of sense separately because regular expression turns out to have way more stuff because the notion was extended in programming practice. So if want to be pedantic, the first article is about regular expression (theoretical computer science), while the 2nd is regular expression (computer programming). I never said anything about merging the automata articles with the grammar/language ones. But when you define a language by its grammar, it makes little sense to have two articles. JMP EAX (talk) 22:38, 17 August 2014 (UTC)
Did I mention we have Rational series and Rational language? JMP EAX (talk) 23:26, 17 August 2014 (UTC)
OK, I am sure you can find lots of such pairs of articles. I have already said that I do agree with you that some of them could certainly be merged, because there are not enough things to say about them to keep the distinction useful. The goal of my example about regular languages was not to be pedantic but to show that, in some cases, it makes sense to keep the treatment of the language and the grammar separate. And you agree with that. Then, we have to decide where to put the limit: what is the notability threshold above which we should separate the articles? You think that context-free grammars and context-free languages should be merged, I have explained why I think they shouldn't (because there are many definitions of this family of languages and many of them don't deal with CFGs), so I think we should simply wait for some other opinions about that. Cheers. − Pintoch (talk) 07:20, 18 August 2014 (UTC)
Some time ago I made a start on trying to sort out the terminology on Wikipedia for rational, regular and recognisable languages. Some texts treat all three as synonyous, but I wanted to distinguish the case of working over an arbitrary monoid. For various reasons I didn't get very far. It would be good if someone more knowledgeable and energetic were to complete the task. Deltahedron (talk) 08:13, 18 August 2014 (UTC)
As far as can tell "rational language" is exactly the same thing as "regular language", except coming from the perspective of rational series. But you cannot actually define a simple, solely string-based language using that other than the regular/rational. What can do with rational series more generally is to define weighed rational expressions (I gave an example of this on Talk:rational language) which are interpreted as giving the structure of weighted automata. But these aren't simply recognizers of string-based formal languages. Anyway, I've added the necessary prerequisites to star semiring and I'm working my way through the formal power series article, which also needs the semiring version of the notion detailed. After that I'll be able to spiffy rational series and weighted automata and write weighed rational expression. As for rational language it should be redirected to regular language although it will need an explanation there. JMP EAX (talk) 20:05, 18 August 2014 (UTC)
It is true that rational is the same as regular (Kleene-Schützenberger Theorem) over many semirings. Has it been been shown in general? Sakarovich already identified rational monoids as a class for which rational and recongisable coincide. Deltahedron (talk) 20:31, 18 August 2014 (UTC)
And what does that have to do with this? JMP EAX (talk) 14:06, 19 August 2014 (UTC)
I don't know, but if you do, then please say so. Deltahedron (talk) 14:23, 19 August 2014 (UTC)
I'm guessing you are actually talking about rational set vs recognizable set. Those sets aren't called "languages" by anyone as far as I know (except in the case of the free monoid, in which case the two notions coincide [by Kleene's theorem]). JMP EAX (talk) 04:33, 26 August 2014 (UTC)
The article on formal power series currently has focus on power series over rings, and mainly in commuting vatiables. To write that out again in terms of power series over semirings would overbalance it. Why not expand the shorter article at rational series? Deltahedron (talk) 20:39, 18 August 2014 (UTC)
You have free hand. Amuse me further. JMP EAX (talk) 14:06, 19 August 2014 (UTC)

Topological insulator[edit]

Anyone want to try to make this article carbon-based-life-form readable?Mercurywoodrose (talk) 04:54, 24 September 2014 (UTC)

Part of the problem is that this isn't really a topic on computer science; it is a fairly specialized topic in condensed matter physics. That said, I agree that the article is too heavy on jargon and too light on readable explanation. --Mark viking (talk) 08:24, 24 September 2014 (UTC)

Request for Comment at Talk:Artificial intelligence[edit]

I would appreciate it if anyone interested would comment on the following RfC: Talk:Artificial intelligence#RfC: Should this article define AI as studying/simulating "intelligence" or "human-like intelligence"?. Thanks. ---- CharlesGillingham (talk) 06:23, 24 September 2014 (UTC)

A new RFC has replaced the old one, please see Talk:Artificial intelligence#Another RfC on "human-like" - (talk) 10:57, 22 October 2014 (UTC) (steelpillow (talk · contribs) having login problems)

Comment on the WikiProject X proposal[edit]

Hello there! As you may already know, most WikiProjects here on Wikipedia struggle to stay active after they've been founded. I believe there is a lot of potential for WikiProjects to facilitate collaboration across subject areas, so I have submitted a grant proposal with the Wikimedia Foundation for the "WikiProject X" project. WikiProject X will study what makes WikiProjects succeed in retaining editors and then design a prototype WikiProject system that will recruit contributors to WikiProjects and help them run effectively. Please review the proposal here and leave feedback. If you have any questions, you can ask on the proposal page or leave a message on my talk page. Thank you for your time! (Also, sorry about the posting mistake earlier. If someone already moved my message to the talk page, feel free to remove this posting.) Harej (talk) 22:47, 1 October 2014 (UTC)

RFC in progress[edit]

There is a Request for Comments at Talk: Artificial intelligence. The issue has to do with the wording of the lede of the article. Robert McClenon (talk) 03:12, 3 October 2014 (UTC)

Some eyes could be used on this article. The RFC was prematurely closed so the two people most involved could form a compromise that doesn't seem (to me) to have been where the RFC was heading. APL (talk) 20:35, 16 October 2014 (UTC)

Request for Comment on Metacompiler definition.[edit]

There is a Request for Comments at Talk: Metacompiler. The issue has to do with lede stating:

The feature that sets a metacompiler apart from a standard compiler-compiler is that a metacompiler is written in its own language and translates itself.
And a proposed change to be more consistent with existing definitions.
Need some eyes on this subject. Historically some metacompile have been developed in other languages. — Preceding unsigned comment added by Steamerandy (talkcontribs) 01:09, 28 October 2014 (UTC)


What is the scope of the Computer science project? I ask because I'm finding several articles tagged for the project, but don't (in my opinion) have much to do with Computer Science and would be more appropriate for the Computing project. (Two current examples are Code page 770 and Code page 771.) When is an article appropriate for the CS project, and when should it be in the Computing project? What taxonomy is followed? -- Mikeblas (talk) 04:56, 30 October 2014 (UTC)

I completely agree with you, many articles tagged with Computer Science should be tagged with Computing instead. I have not been able to find guidelines concerning this, but as the wikiproject is not very active, feel free to define them and tag articles accordingly. − Pintoch (talk) 10:06, 30 October 2014 (UTC)


I now completed short article about SiSense (mentioned here previously, see archives from July 2014). I hope I have succeeded in keeping the article neutral and well sourced. If anybody has feedback, suggestions, or concerns about the article, please let me know, or improve the article as you see fit. -Itayerez (talk) 09:21, 9 November 2014 (UTC)

Proposed merge: Consistency (database systems) and Data consistency[edit]

I've opened a discussion at Consistency (database systems) on merging Data consistency into it, and would appreciate any input. Thank you. — Sasuke Sarutobi (talk) 12:41, 11 November 2014 (UTC)

Assistance with page[edit]

I would welcome any assistance with Deductive lambda calculus to make it a better more balanced page.

In particular I would like a section added on Curry's Type Systems as mentioned in,

  • Illative lambda calculus
  • Type systems
  • Illative lambda calculi

If you would like to help add a comment to the talk page.

Thepigdog (talk) 18:37, 14 November 2014 (UTC)

Wireless Body Area Sensor Network(WBAN)[edit]

A wireless body area network (WBAN) is a radio frequency (RF) based wireless networking technology. It is the integration of intelligent, miniaturized, low power sensor node in, on or around a human body to monitoring body function. It interact with tiny nodes with sensor or actuator capability in or around the human body. WBAN is a special kind of network which is design and developed for human body , monitoring manage and communicate different vital signs of human body like temperature blood pressure ECG etc.. The vital signs can be monitored by using different sensor installed on clothes or on the body or even under the skin WBAN consists of two types 1. In-Body area network 2. On-Body area network It use three tier Architecture 1.Intra-BSN :-tier 1 2.Inter-BSN :-tier 2 3. Beyond-BSN :-tier 3 WBAN Architecture is two types 1.Flat Architecture Multi-Tier Architecture

WBAN Architecture Consists on 4 characteristics 1.Wireless sensor 2.Wireless Actuator 3.Wireless Central Unit 4.Wireless personal Device


A new editor was asking on my talk page about notability for a new article they wrote. I don't know enough about computers to completely answer. Please discuss at the article's talk page. Thanks, Oiyarbepsy (talk) 15:59, 17 November 2014 (UTC)

I am not sure this is in the scope of this WikiProject, it is rather about computing than computer scienc, but I have started a discussion on the talk page. − Pintoch (talk) 18:15, 17 November 2014 (UTC)
MQL4 seems to be some proprietary domain-specific language developed by a company called MediaQuotes Software Corp (link). Its only use is to trade on the MetaTrader 5 Trading platform (link). It appears to be a simple extension of C++. Given the narrow use case and limited technical novelty, in my opinion it is not enough to warrant an entire article about the language itself. Perhaps it could be a section in the general article about MediaQuotes or MetaTrader the website/company/whatever, if such an article were to pass all the regular guidelines on wikipedia pages about corporations. Andrew Helwer (talk) 01:27, 18 November 2014 (UTC)

Draft:Michael Segal[edit]

Hello! Can someone knowledgeable weigh in on whether or not Draft:Michael Segal is notable? Cheers, --Cerebellum (talk) 14:32, 19 November 2014 (UTC)

Yes. The citation record is unclear but editor-in-chief of JCSS is enough for WP:PROF by itself. —David Eppstein (talk) 16:15, 19 November 2014 (UTC)
Awesome, thank you! --Cerebellum (talk) 12:24, 20 November 2014 (UTC)

i have doubts regarding software engineering optimization

Request for mentor/help with editing[edit]

Hello, I'm looking for a mentor for a bit help with editing my first article. I've been doing some basic research on compilers and I noticed that the compiler page was missing a bit of citations, but I have found a few during my research. I've only done minor changes/grammar changes on wikipedia, but with tackling something bigger I think it would be nice to have someone guide me through the process.

If anyone is interested helping me out contact me on my talk page or send me an email. Thank you! --CurryMi40 (talk) 18:28, 29 November 2014 (UTC)

I'd advice you to have a look at how things work in an article with references and footnotes. Here is a short one that has the system I prefer myself, Group structure and the axiom of choice. Just open the source and look at the workings of the reference system. All these things are documented somewhere, look under "help" far left or type help: in the search box. YohanN7 (talk) 10:15, 2 December 2014 (UTC)
Also see Wikipedia:Citing sources#Inline citations. Just be bold and try. If you don't succeed you can leave a message on my talk page. —Ruud 13:49, 2 December 2014 (UTC)
Please just try the edits and don't even try to format the references at first. Have a look at some refs in the article (as they appear when viewing the article, not when editing) and note what is displayed (something like author, year, title, pages, publisher, isbn). Just type the wanted text for the reference into the article between square brackets without any formatting. Later you can try formatting the refs. Or, if you just ignore them, someone will come along and format them for you. Johnuniq (talk) 22:09, 2 December 2014 (UTC)

Internal System Proxy[edit]

This has to be a hoax but I would like some confirmation before escalating. Johnuniq (talk) 22:12, 2 December 2014 (UTC)

I agree with you, that's clearly a hoax. The actual name of the first photo is "Sound Blaster AWE64.jpg"… − Pintoch (talk) 10:29, 3 December 2014 (UTC)

Viola–Jones object detection framework[edit]

The Viola–Jones object detection framework article has been seriously damaged by the last few edits: there are lots of formatting issues and I am not sure they are worth being fixed as the added content looks poor. I propose to restore this version, but I don't have rollback rights. What do you think? − Pintoch (talk) 09:17, 14 December 2014 (UTC)

@Pintoch: I'm new enough that I haven't applied for rollback rights yet. However, I would like to state that I support this rollback. These new edits seem to specifically address face detection, which although fine in concept, doesn't seem right to me for these reasons: layout is worse, lead section is more muddled and makes a technical article less understandable. One possible way to include the new information after rollback is to add a new "Example" section in which the Viola-Jones framework is applied specifically to face detection. scribble · ink chat\contrib 18:35, 14 December 2014 (UTC)
A WP:ROLLBACK reverts only the edits of the most recent contributor, but since the version indicated above, there have been edits by three different users - Soumyanilcsc (talk · contribs), (talk) and (talk). If rollback is used on Viola–Jones object detection framework, only those of will be reverted, and so it will become identical to this version. To go back any further needs a different technique: go to the page history, find the revision that you wish to revert to, then either
  1. click the "07:31, 4 September 2014" link, click the "Edit" tab
  2. click the "cur" link at the left-hand end of the row, click the "undo" link at upper right
in either case, you'll get an edit window. Don't make any changes to the text but enter an edit summary like "Revert to version of 07:31, 4 September 2014, see [[Wikipedia talk:WikiProject Computer science#Viola–Jones object detection framework]]" and click Save page. The difference between the two is that in case (2), Soumyanilcsc will receive a Notification for the reversion, but in case (1) they won't. --Redrose64 (talk) 16:09, 15 December 2014 (UTC)

GitHub and its reign of terror over External Links sections[edit]

Probably the most common form of vandalism I see in CS articles is people adding links to their toy GitHub project where they implement the algorithm/concept/data structure in question. I've been removing them on sight. It's only a matter of time before someone gets defensive about that, so should we be proactive and codify removal of GitHub links into policy? Some reasons:

  • The repo owners are almost always the ones adding the links, which falls under WP:PROMOTION
  • Almost all examples are unmaintained/abandoned and don't have a proper license
  • A bunch of obtuse, unedited, and buggy source code contributes very little to the informative power of an article
  • If the code really does contribute to the article, it can be added to the article itself (I contributed some Python code here)

I'm still on the fence about encyclopedic source code in general, actually. I've had people point out bugs in that Python code over the years though, so I guess it's useful to some people. Anyway, thoughts about GitHub (and source code in general)? Andrew Helwer (talk) 01:12, 17 December 2014 (UTC)

Yes, in general a pseudocode* implementation in the article is sufficient and external links to real implementations don't add much value. However, I don't think this is specific to code hosted on GitHub and I think having a link to an "industrial strength" implementation (Stony Brook Algorithms Repository, Boost, LEDA, part of some other well-known and well-maintained library) is fine, and I wouldn't want to exclude those if they would ever happen to get hosted at GitHub.
* I don't think having a Python, C and Java implementation in the Boyer–Moore article is all that useful either. A single easy to read pseudocode implementation would suffice. The status quo has been to move the actual implementations to the Algorithms WikiBook or Rosetta Code. I'd conjecture that the vast majority of actual code on Wikipedia is incorrect: often because well-meaning editors make small changes over time without bothering to check if the code still actually runs. Psuedocode has the advantage that it can often be sourced to a research paper, is easier to check for correctness due to its high-level nature, and is immune to a large class of subtle bugs actual code can suffer fromRuud 14:33, 17 December 2014 (UTC)

I agree with most or all of the above: multiple implementations within an article in different languages aren't helpful and pseudocode is generally a better choice than a specific programming language; external links to personal projects on github or wherever else are generally not very helpful and should probably not be included (per WP:ELNO); industrial-strength projects should be linked, regardless of whether they are hosted on github. —David Eppstein (talk) 23:58, 17 December 2014 (UTC)