lflage/wiki-talks huggingface dataset:
Talk:Incomplete LU factorization

message: I rewrote this article to add some actual content. It could use some additional discussion of ILU with thresholds, which I don't know a whole lot a bot. Additionally, I think it belongs in the mathematics rather than the engineering portal. Compsonheir (talk) 19:22, 19 April 2014 (UTC)
thread_title:  Rewrite 

message: It would be nice if this article had an actual algorithm, and possibly a brief mention (especially for newbies to numerical linear algebra) that the incomplete LU factorisation becomes the incomplete Cholesky factorisation if the matrix is symmetric. 24.116.219.204 (talk) 14:28, 5 November 2023 (UTC)
thread_title:  Algorithm?
Talk:Indeterminate equation

message: Is this notable?  Richard Pinch (talk) 16:57, 12 August 2008 (UTC)
thread_title:  Notability 

message: I've deleted the extlinks: the online encyclopaedia was inaccurate and the other one only tangentially relevant.  The article had further garbled the already mistaken encyclopaedia entry and so have removed that for accuracy and potential copyright problems.  Richard Pinch (talk) 20:59, 31 August 2008 (UTC)
thread_title:  Deletions
Talk:Metea Valley High School

message: Does anyone know which County the site is in (we need that for the County cat). It seems to be near the boundary of two. TerriersFan 01:51, 17 March 2007 (UTC)
replies: text: It's actually fairly well north of the DuPage/Will line. It will be just south of 75th Street, and the county line is actually at about 87th Street. MVHS will be in DuPage, like WVHS, and unlike NVHS (and MV and WV are both in Aurora is in Naperville: Aurora is mostly in Kane and Naperville is mostly in DuPage - go figure). --JohnDBuell 02:17, 17 March 2007 (UTC)
replies: text: LOL - many thanks; these things are always a bit of a puzzle to we Brits :-) TerriersFan 02:38, 17 March 2007 (UTC)
thread_title: Which County?

message: Someone may want to move the notes on the controversies of the balloting required to get construction of this school funded, from the district's article. Also worth looking into: It took two ballots to get the construction bond to pass - the first attempt was much more ambitious, and included technology funds and other items, the second attempt was for the high school only. The land condemnation issue, which will probably go to court and delay construction and opening stems from the first ballot attempt - that bond amount was created based on property values in 2004 or 2005 (I don't have the information at hand), and the land's trustees are now claiming that they should get MORE from the school district for increases in property values between the time the first land value estimate was done before the first vote, and the present day. Lastly, there has been quite a bit of press locally (particularly in the newspapers of the Sun-Times News Group (Aurora Beacon-News and Naperville Sun)) about a developer making an offer of other land, which the district repeatedly states is unsuitable. It's part of the FAQs on their "third high school" web page. --JohnDBuell 03:07, 17 March 2007 (UTC)
replies: text: Good points - I have imported some material. TerriersFan 04:02, 17 March 2007 (UTC)
thread_title:  Possible information merge or relocation 

message: " (just north of the Cambridge Chase subdivision near Eola Rd.)"
this piece of the article seems to me to be unnecessary and as almost an act of advertising towards the Cambridge Chase Subdivision. I recommend its removal.
67.184.97.111 (talk) 04:22, 14 July 2009 (UTC)
replies: text: Done (though in the future, feel free to remove it yourself, and explain, just as you did, on the talk page). LonelyBeacon (talk) 05:24, 14 July 2009 (UTC)
thread_title:  Object in parentheses 

message: Is this really that notable? Generally a eighteenth place finish in state, while good, is not notable enough to include in a school article.99.141.240.120 (talk) 02:02, 16 December 2012 (UTC)
thread_title:  Inclusion of "Group Interpretation"
Talk:Yellow-billed blue magpie

message: Unable to find Falkowitz source. Believe this article has been targeted for vandalism.Gimme danger 18:11, 13 April 2007 (UTC)
Talk:Red-billed blue magpie

message: The range given in the text is inadequate. Despite the map on the page, the text completely omits the fact that the range extends through eastern China to Manchuria. The nominate ssp is found from central China to s Yunnan and n Vietnam, ssp brevivexilla is found in sw Manchuria and n China, ssp alticola is in n Yunnan to ne Myanmar. The limited range given would apply only to the other two ssp, occipitalis and magnirostris. I have corrected the range text. Ptilinopus (talk) 02:33, 10 April 2019 (UTC)
thread_title:  Range
Talk:Proof assistant

message: See also (merge?) Computer-assisted proof Outs 10:05, 12 September 2007 (UTC)
thread_title:  Older comments 

message: *"a human can guide the search for proofs"
**Can someone give an example where there is a practical need for a human to guide the search for a proof? What kind of proof steps are better done by humans? --Abdull (talk) 08:54, 11 September 2010 (UTC)
thread_title:  Human help 

message: * I'm not quite sure where to put it in this list, but Agda probably belong here, too. KLuwak (talk) 14:20, 2 April 2011 (UTC)
thread_title:  Agda 

message: The first proof assistant - it's still around and should be included. Here's the raw data. Others make look into it, in greater depth, and decide whether to include it. Name: Automath. Version: 4.2. Developer(s): Freek Wiedijk (implementation), N.G. deBruijn (specification and definition of the language and its variants). Implementation Language: C. Higher-order logic: Yes. Dependent types: Automath originated the concept. Small kernel: Yes. Proof automation: No. Proof by reflection: ?. Code generation: AUT-68 and AUT-QE are already executable. AUT-ΔΠ can be generated, but is not executable. Link: (http://www.cs.ru.nl/~freek/aut/index.html). We may branch off of this and put up our own version ("Version 4.3") in the near future.  — Preceding unsigned comment added by 2603:6000:AA4D:C5B8:222:69FF:FE4C:408B (talk) 00:38, 24 February 2021 (UTC)
thread_title:  Automath 

message: I have experience of using Agda and Coq, and as far as I know their source code neither of them has a small kernel.
--Konstantin.Solomatov (talk) 05:15, 20 July 2014 (UTC)
thread_title:  Small Kernel 

message: It would be great to add the logic language and rules used by the system (even if some PA like Isabel can deal with more than one set of rules).  — Preceding unsigned comment added by Horaceb (talk • contribs) 10:38, 5 July 2016 (UTC)
thread_title:  Comparison table: contents and meaning? 

message: Maybe someone wants to add Idris. I don't know all the fields to fill. 91.66.12.246 (talk) 19:19, 29 December 2016 (UTC)
thread_title:  Idris 

message: It would be nice to see new columns for:
* Whether the software is free / open-source / collaborative / etc or not
* The programming paradigm (declarative / imperative / etc)
--Jordan Mitchell Barrett (talk) 21:12, 12 December 2020 (UTC)
thread_title:  More columns 

message: It would be nice to have a section giving a brief history of the term "proof assistants" and how it developed.
(I'm looking at the page now because I'd never heard the expression before.  I'm retired from CS and Math and wondered when the name was coined.)  — Preceding unsigned comment added by 2607:FEA8:1BA0:A300:A5DB:51FB:64C9:32A9 (talk) 14:13, 27 November 2021 (UTC)
thread_title:  History
Talk:Responsible fatherhood

message: The article currently claims (both in the lead and in the first section):
"Today, most American children will spend part of their childhood in a single-parent household."
However, the footnote provided doesn't actually provide any evidence for that statement -- it includes it (almost word for word), but offers no statistical data to back it up. As such, I'm tempted to remove it, but given that this is a fairly well-referenced article, thought I'd seek further comment. Gusworld 01:55, 17 March 2007 (UTC)
thread_title: Claims re single parents

message: This article is in need of a rewrite. There's no introduction, so it's not clear if Responsible Fatherhood applies to a specific organization with formal organization (like Moral Majority) or if it's an umbrella term for various people and movements (like Fathers' rights). Additionally, the article is not WP:NPOV. It focuses on "deadbeat dads" and ignores mothers who actively limit access to children through unequal custody, restraining orders, etc. JCDenton2052 (talk) 11:27, 2 June 2008 (UTC)
thread_title: Rewrite

message: I've removed an old neutrality tag from this page that appears to have no active discussion per the instructions at Template:POV:
::This template is not meant to be a permanent resident on any article. Remove this template whenever:
::#There is consensus on the talkpage or the NPOV Noticeboard that the issue has been resolved
::#It is not clear what the neutrality issue is, and no satisfactory explanation has been given
::#In the absence of any discussion, or if the discussion has become dormant.
Since there's no evidence of ongoing discussion, I'm removing the tag for now. If discussion is continuing and I've failed to see it, however, please feel free to restore the template and continue to address the issues. Thanks to everybody working on this one! -- Khazar2 (talk) 23:45, 21 June 2013 (UTC)
thread_title:  removing POV tag with no active discussion per [[Template:POV]]
Talk:White-bellied treepie

message: White-Bellied Treepie is a least concerned species found living within human habitat.It is also found in other places of Tamil Nadu. Especially Neyveli where wide variety of birds come to breed, because of the Eco-friendly living people in there.  — Preceding unsigned comment added by Hangout Bro (talk • contribs) 18:31, 5 May 2014 (UTC)
thread_title: Commentary
Talk:Vistilia

message: Vistilia the mother of Corbulo etc. and Vistilia the prostitute are generally considered to be relatives, but not the same woman. According to one common interpretation, the famous mother is sister to Vistilius, the prostitute his daughter. See for example R. Syme, Tacitus [Oxford: Clarendon Press, 1958], vol. I, pp. 373-4 n. 2; M.-Th. Raepsaet Charlier, Prosopographie des femmes de l'ordre senatorial (Ier-IIe siècles), Académie Royale de Belgique, Classe des Lettres. Fonds René Draguet 4 (Lovanii: Aedibus Peeters), #814 and #815 (pp. 636-9) ; Tacitus, The Annals. Translated with Introduction and Notes by A.J. Woodman (Indianapolis and Cambridge: Hackett Publishing Company, 2004), p. 81 n. 147.
: Regardless of the anonymous editors' comment (Talk page history shows the above was added 01:56, 17 March 2007‎ by someone at IP address 68.14.1.108), this article does need some attention & work. Maybe they are the same woman; what little I've so far found about Vistilia the prostitute suggests that is possible. But what concerns me most is that the order of the children may be wrong. This is what the Elder Pliny writes in his Natural History (VII.3): "Vistilia the wife of Glitius and subsequently of Pomponius and of Orfitius, citizens of the highest distinction, bore these husbands four children, in each case after six months' pregnancy, but subsequently gave birth to Suillius Rufus after ten months and Corbulo after six -- both of these became consuls, -- and subsequently bore Caesonia, the consort of the Emperor Gaius, after seven months."If Pliny is correct, & her husbands are in proper order, then her children ought to be as follows: to Glitius, ignotus or ignota; to Pomponius, P. Pomponius Secundus & Q. Pomponius Secundus; to Orfitus, Ser. Cornelius Scipio Salvidienus Orfitus (although he was likely born Salvidienus Orfitus, praenomen unknown); to an unknown father, Suillius Rufus; to Gn. Domitius Corbulo, the better known son of the same name; & last to Caesonius, Milona Caesonia. That is different from the list on the article page. Is  more evidence needed to change the list in the article? -- llywrch (talk) 21:37, 10 June 2017 (UTC)
thread_title: Identity:

message: The article is about two people, and it should be divided in two--Aciram (talk) 00:26, 14 February 2013 (UTC)
thread_title:  Divide the article
Talk:Stomacher

message: A "stomacher" is also a type of lab 'blender'
see http://www.labequip.com/seward-400-lab-blender-stomacher.html
79.76.126.128 (talk) 19:27, 21 March 2017 (UTC)
thread_title:  Other uses? 

message: Queen Mary is not wearing a stomacher. It's simply jewelry pinned to the front of her dress.  — Preceding unsigned comment added by 76.202.192.102 (talk) 21:27, 5 December 2020 (UTC)
thread_title:  Queen Mary
Talk:Elipsos

message: As from 15 dec 2013, the nigth train Paris - Barcelona and Paris Madrid no longer run and are replaced by international TGV's.  — Preceding unsigned comment added by Smiley.toerist (talk • contribs) 10:55, 3 January 2014 (UTC)
thread_title:  No nigthtrains anymore 

message: The compagny managed international high-speed trains between Spain and France.  — Preceding unsigned comment added by Miquel elipsos (talk • contribs) 13:26, 26 June 2014 (UTC)
replies: text: Can you provide a reliable source to verify this information? Preferably one that is not from the company itself? --Drm310 (talk) 15:16, 26 June 2014 (UTC)

text: I found this article about the cessation of service in 2013. http://www.businesstraveller.com/news/100054/elipsos-sleeper-train-withdrawn-from-service --Drm310 (talk) 15:23, 26 June 2014 (UTC)
replies: text: Well, it's from the company itself, but I think it's reliable enough: "The website www.elipsos.com (hereinafter referred to as the "Website") belongs to the company ELIPSOS INTERNACIONAL, S.A (hereinafter referred to as "ELIPSOS") with registered domicile in C/ ALBERTO AGUILERA 7, 5º PISO, PTA IZQ. 28015, MADRID, with company tax number (CIF) A-82831025, and registered in the Registry of Companies of Madrid, Volume 16280, Folio 0 Folio 1, Section 8, Page M-267397." (here) Slasher-fun (talk) 17:27, 26 June 2014 (UTC)

text: Blogs are not considered reliable sources because they contain self-published content. Newspaper and magazine blogs may be considered reliable under certain circumstances. --Drm310 (talk) 13:44, 27 June 2014 (UTC)
thread_title:  Elipsos still exists under the trade name Renfe-SNCF en Coperación
Talk:Javan green magpie

message: This page was moved by someone without sorting the names, taxonomy and information. See WikiProject Birds/Archive 62#Green Magpie. 62.107.214.183 (talk) 15:07, 15 September 2012 (UTC)
replies: text: Done. 62.107.194.166 (talk) 14:19, 4 August 2013 (UTC)
thread_title:  expert needed
Talk:WebJet Linhas Aéreas Econômicas

message: This airline appeared to be incorrectly labled with IATA code WJ, which is actually the code for Air Labrador. WH was previously assigned to China Northwest Airlines which now defunct.  —Preceding unsigned comment added by Dananos (talk • contribs) 15:54, 20 August 2009 (UTC)
thread_title: IATA Code
Talk:Garrulus

message: Is this article an appropriate place for the etymology? I'm guessing the etymology is as follows: 
The Latin garrulus meaning "talkative", which comes from Latin garrire: "to chatter".
It seems likely but I've not read it anywhere so its typical wiki-unreliable if I just stick it in the article, which is why I'm rambling on about it here instead.Wk 85 (talk) 09:55, 3 February 2009 (UTC)
thread_title: Etymology
Talk:Nutcracker (bird)

message: According to wiktionary (I had to look), "irrupt" means to "break into", or "enter forcibly".  So what does "they will irrupt out of their ranges" in this article mean?  Would something like "venture beyond their usual ranges" explain things better?  —Preceding unsigned comment added by Thrapper (talk • contribs) 10:49, 11 October 2010 (UTC)
thread_title:  irrupt?
Talk:The Esplanade (Kenner, Louisiana)

message: I finally created a page on the Esplanade Mall in Kenner. It was the only Mills mall not on Wikipedia. TenPoundHammer 02:05, 17 March 2007 (UTC)
thread_title: Untitled
Talk:Spotted nutcracker

message: the current German name for this bird is Tannenhaeher , (which translates to fir jay) not Nußknacker. Either a change of usage or this article has a false etymology. 
See wikipedia entry  — Preceding unsigned comment added by 62.3.255.103 (talk) 13:00, 2 November 2019 (UTC)
thread_title:  german name is Tannenhaeher , not Nußknacker
Talk:Avoiding Dangerous Climate Change (2005 conference)

message: you reverted my edit, but I don't understand your edit summary "not useful. If you feel such notes need to be memorialized for editors use invisible inline comments". The previous hatnote says "This article is about the conference. For the concept of avoiding climate change, see Climate change mitigation. For the international treaty committing nations to work to avoid dangerous climate change, see UNFCCC."  My (shorter) version says ""Avoiding dangerous climate change" redirects here. For the wider concept, see Climate change mitigation."  Bearing in mind WP:ONESHORTHAT I asked myself: "Why would anyone come to "Avoiding Dangerous Climate Change (2005 conference)" but really wanting "Climate change mitigation": answer — because "Avoiding dangerous climate change" redirects here; so the hatnote should say so. Similarly, "Why would anyone come to "Avoiding Dangerous Climate Change (2005 conference)" wanting "UNFCC"? Answer – they probably wouldn't, but it's mentioned in the 2nd sentence of the lead. Please explain your reversion further. Shhhnotsoloud (talk) 10:12, 10 April 2020 (UTC)
replies: text: Actually I think you're right after all.  I've been a climate editor for a long time and there were some debates here and I seem to think at another venue about this one's scope.  I think I reverted to a legacy hatnote that served a purpose, but that purpose has been supplanted by the parenthetical disambig added to the article title.  So please put it the way you think best, as my reasoning may be stale and outdated.  Thanks for a polite inquiry and I apologize for getting in the way during my lonnnnng wikibreak. I had just stopped by to see messages and got sucked in a bit. You know how that is....NewsAndEventsGuy (talk) 14:59, 10 April 2020 (UTC)
replies: text:  Thanks, and best wishes. Shhhnotsoloud (talk) 09:56, 12 April 2020 (UTC)
thread_title:  Edit reversion of changes to hatnote 

message: An editor has asked for a discussion to address the redirect Stabilization of greenhouse gases. Please participate in the redirect discussion if you wish to do so.  Shhhnotsoloud (talk) 10:26, 10 April 2020 (UTC)
thread_title:  "Stabilization of greenhouse gases" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]] 

message: An editor has asked for a discussion to address the redirect 550 ppm. Please participate in the redirect discussion if you wish to do so.  Shhhnotsoloud (talk) 10:32, 10 April 2020 (UTC)
thread_title:  "550 ppm" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]] 

message: An editor has asked for a discussion to address the redirect 550ppm. Please participate in the redirect discussion if you wish to do so.  Shhhnotsoloud (talk) 10:32, 10 April 2020 (UTC)
thread_title:  "550ppm" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]]
Talk:New Caledonian crow

message: Someone incorporate this finding:
http://news.bbc.co.uk/2/hi/science/nature/6948446.stm
:I've done it, but from a different source, Jimfbleak 07:40, 17 August 2007 (UTC)

message: This article could really do with a picture... are there no usable ones available? Chaos syndrome 22:38, 18 August 2007 (UTC)
thread_title:  Picture 

message: Of this statement:
"also spontaneously makes tools from materials it does not encounter in the wild, the only non-human species known to do so."
Seems false, since I've seen Bonobo's in captivity, albeit on video making complex tools. Perhaps they encounter rock but do they encounter the type of rock given to them by researchers? This should be clarified I think.--Senor Freebie (talk) 07:02, 20 February 2011 (UTC)
replies: text: ^I agree. Jax-Kenobi (talk) 19:22, 25 March 2011 (UTC)
thread_title:  Accuracy 

message: The tool use of this bird is amazing and should be discussed at length in the text.  However, I feel to have this term in the first sentence and discussed in the opening paragraph is a little over the top.  Should we not first describe the bird and then introduce its tool use a little later in the article?  There are in fact many animals which use tools, although I accept this bird seems unusually clever at it.  But the article is about the bird, not tool use.__DrChrissy (talk) 17:54, 8 August 2014 (UTC)
replies: text: What information would fit "first describe the bird"? It has a relatively recognizable crow-like appearance and its endemism comes strongly implied in its common designation. There's nothing in this aspect that deserves, one could say, "priority". On the other hand, the facts that do make this particular species stand out seem distinctive enough to warrant the place of the opening paragraph, which would have no space to go if the material that goes into the Description becomes said entry. However, perhaps the text itself hasn't the best structure.Snjón (talk) 19:59, 8 August 2014 (UTC)
replies: text: I have re-written the lead paragraph.  Let me know what you think.  Remember, the lead paragraph is supposed to be a summary of the information contained within the article.  It therefore contains information presented elsewhere in the article.__DrChrissy (talk) 12:52, 9 August 2014 (UTC)
replies: text: Indeed, it now holds a good deal of content and not just the specific previous facts. And you're right, it's more in line with what's usually found in other articles. Sorry for that initial, pointless opposition. Snjón (talk) 20:29, 9 August 2014 (UTC)
replies: text: No problem.  I looked in Wikicommons for a better lead image, but there is not any alternative!  I was amazed by that.  Plenty of videos, but no images!  Happy editing.__DrChrissy (talk) 10:19, 10 August 2014 (UTC)
thread_title:  Opening paragraph 

message: Here's another study demonstrating a cognitive ability of this species.  -GTBacchus(talk) 21:26, 21 January 2019 (UTC)
thread_title:  Ability to infer weights of objects from effects of wind
Talk:Torresian crow

message: The Torresin crow is described as all black, but the attached picture appears to have white under the chin, indicative of the little crow. Either the description is wrong, or the image misleading.  SurreyJohn   (Talk) 12:58, 23 November 2017 (UTC)
replies: text: The Description section already mentioned the white base to the feathers - I've now also mentioned this in the lead. - Aa77zz (talk) 12:06, 24 November 2017 (UTC)
thread_title:  Description & Picture
Talk:Twelve-wired bird-of-paradise

message: To me, the phrase “The male has a red iris,…” implies that the red iris is a male exclusive trait. The gallery seems to contradict this however, as the female pictured clearly also has red irises. 2601:602:8000:62B0:D080:4A42:3BDF:C8FD (talk) 13:36, 16 April 2023 (UTC)
thread_title:  Iris color; “male”
Talk:Collared crow

message: is there a mistake in data? cos on the web site BirdLife International 1831 is the year when this bird was discovered by Lesson, and on wiki its 1830 89.169.70.171 (talk) 10:05, 3 October 2010 (UTC)
thread_title:  Wrong date in taxobox 
Talk:Arfak astrapia

message: Nothing at Flickr: . Richard001 (talk) 22:46, 17 January 2009 (UTC)
thread_title:  Photo 
Talk:Long-tailed paradigalla

message: Nothing at Flickr. Richard001 (talk) 08:58, 17 March 2009 (UTC)
thread_title:  Photo 
Talk:MacGregor's honeyeater

message: Is there something missing after "inhabits" in "it inhabits to subalpine forests", or should "to" be deleted?  —JerryFriedman 03:57, 19 August 2007 (UTC)
thread_title:  Missing phrase? 