lflage/wiki-talks huggingface dataset:
Talk:Formal equivalence checking

message: Is the conceptual equivalent for software, i.e. checking if any two well-defined programs that take N inputs and produce M outputs are equivalent, possible without simulating all of the possible input space? Wouter Lievens 09:39, 8 December 2006 (UTC)
replies: text: Yes, the problems are very similar, since you can turn the software into a state machine (that's what the combination of a compiler does, since a computer plus it's memory form a very large state machine.)  Then, in theory, various forms of property checking could ensure they produce the same output.  Note that the problem is even harder than combinatorial equivalence checking, since the outputs of the two programs may appear at different times, but it is possible and researchers are working on it. LouScheffer 14:38, 8 December 2006 (UTC)

text: Added to article under 'generalizations'. LouScheffer 14:47, 8 December 2006 (UTC)
thread_title: Software?

message: I'm exploring formal equivalence checking for the LLVM compiler, in order to implement superoptimization. Tom Crick's thesis uses answer set programming to describe the machine/instruction set; Sorav Bansal's peephole superoptimizer uses hand-rolled input to a SAT solver.  Other folks in nearby areas use satisfiability modulo theories solvers.  A discussion of which is "best" and why, would be a welcome addition to this article.  linas (talk) 15:36, 14 June 2011 (UTC)
thread_title:  SAT vs. ASP vs. SMT
Talk:Gouger Street, Adelaide

message: Note: There is a proposal at WT:AURD#Move_articles_to_bracket_disambiguation to rename this article (and others) to conform to the WP:AURDNAME guideline – specifically, using brackets instead of a comma for disambiguation. - Evad37 [talk] 08:46, 18 September 2014 (UTC)
thread_title:  Disambiguation style
Talk:Goose Hollow, Portland, Oregon

message: Should probably update to remove the sentence about Bud Clark currently residing in Goose Hollow, on account of the fact he's not alive anymore.  — Preceding unsigned comment added by 50.38.57.151 (talk) 18:33, 17 July 2022 (UTC)

message: Shouldn't the wording be "future mayor" considering he opened the pub in 1967 but wasn't elected until 1984? 64.121.216.55 (talk) 23:24, 16 May 2024 (UTC)
thread_title:  "Former mayor Bud Clark"
Talk:Irvington, Portland, Oregon

message: * https://oregonencyclopedia.org/articles/irvington_neighborhood_portland/#.WU6LJBiZNo4 ---Another Believer (Talk) 15:54, 24 June 2017 (UTC)
thread_title:  OE source 

message: *https://www.nps.gov/subjects/nationalregister/weekly-list-2021-01-29.htm
---Another Believer (Talk) 00:28, 30 January 2021 (UTC)
thread_title:  Historic district status
Talk:Beaumont-Wilshire, Portland, Oregon

message: Deleted reference to Beaumont Middle School because not all residents within the Beaumont-Wilshire Neighborhood Assocation boundaries are assigned to this school.  The northern part of the neighborhood (north of Skidmore) is assigned to Vernon, Tubman and Jefferson.
(Beaumont Middle School also serves the neighborhood.)
:I restored the reference, since this is a notable landmark, but tried to remove the implication that it serves all of the neighborhood. --ScottMainwaring 21:25, 24 May 2007 (UTC)
Talk:Civil Aeronautics Administration (Taiwan)

message: - This article was moved because it is about a government agency which has responsibilities beyond Taiwan. Please discuss before attempting to move it back. - Privacy 16:39, 7 April 2007 (UTC)
thread_title:  About the move 

message: The title uses "Aeronautics", but then the first usage in the body is "Aviation". Which is correct?
Note that the Administration's own English history is similarly unclear, at least as of now: https://www.caa.gov.tw/Article.aspx?a=173&lang=2 114.44.206.232 (talk) 02:56, 6 June 2024 (UTC)
replies: text: Replying to myself: It appears (based on the Executive Yuan Gazette: https://gazette.nat.gov.tw/egFront/detail.do?metaid=143814&log=detailLog , https://gazette.nat.gov.tw/egFront/showESummary.do?metaid=145702 ) that the English name was officially changed to "Aviation" in December 2023. So the article title should change/the article should be moved. 114.44.206.232 (talk) 03:20, 6 June 2024 (UTC)
thread_title:  "Aeronautics" or "Aviation"?
Talk:North Tabor, Portland, Oregon

message: I'd like to move this to North Tabor, Portland, Oregon and update the PDX neighborhoods template, but the only story I can find about a possible name change is this October 7 Oregonian story. The neighborhood website doesn't yet reflect the change. I don't doubt the change happened, but the page shouldn't be moved until we can get a reliable source. Please keep an eye out! Katr67 (talk) 13:54, 23 October 2008 (UTC)
thread_title:  Page move to North Tabor
Talk:Mass operations of the NKVD

message: Seems irrelevant and fringe POV, notwithstanding typography. Should I just go ahead and delete?
Red-Eyed Prophet (talk) 18:47, 10 August 2021 (UTC)
thread_title: Stalin's Assassination

message: ruwiki contains the following info: "NKVD order of August 17, 1937: about "Romanian operation" regarding legal and illegal immigrants from Romania to Moldova and Ukraine. 8,292 persons prosecuted of which 5,439 shot." I made a quick search but found no reliable references: all of them seem to copy from ruwiki verbatim. I vaguely remember I saw something about this back in 2004 when I created this article, so I added a Romanian entry; probably it was somewhere in Memorial or Pavel Polian publications. - Altenmann >talk 18:43, 20 March 2024 (UTC)
thread_title: [[Romanian Operation of the NKVD]]

message: Алекс Громов Иранская операция НКВД   - Altenmann >talk 18:56, 20 March 2024 (UTC)
thread_title:  Iran and Afghan operations
Talk:Laurelhurst, Portland, Oregon

message: *https://oregonencyclopedia.org/articles/laurelhurst/#.WUgSwBiZNsM ---Another Believer (Talk) 18:07, 19 June 2017 (UTC)
thread_title:  OE source 

message: I noticed edit. Does this mean we should add NRHP-related infobox/categories/etc to this article now? Thanks so much! ---Another Believer (Talk) 21:39, 22 March 2019 (UTC)
replies: text: Yes, absolutely. It's something I was going to get around to sooner or later, but if you want to do it please be my guest. I suggest modeling it on the NRHP infobox at Irvington, Portland, Oregon. For a reference, the draft NRHP nomination is at this archive. The final nomination should be posted at the SHPO website in the next 1-2 weeks. — Ipoellet (talk) 22:05, 22 March 2019 (UTC)
replies: text: , Thanks, just wanted to make sure we shouldn't be working on the historic district page (currently a redirect) instead of this one. ---Another Believer (Talk) 22:11, 22 March 2019 (UTC)
replies: text: , to me personally having two different articles would seem excessive. There's plenty enough alignment between the neighborhood and the historic district that they can be treated as the same. On Wikidata having two separate items might make sense, but I think that would make things confusing on Wikipedia. — Ipoellet (talk) 00:24, 23 March 2019 (UTC)
thread_title:  NRHP?
Talk:Burnside Triangle

message: Hi, I am student at LSU in the women's studies class and I am working on a wikipedia project. I want to add more information about the history of Burnside Triangle, add information about the businesses in Oregon, and add about the parade held there each year called Pride Northwest. 
Atalbo6 (talk) 14:34, 25 February 2016 (UTC)
thread_title:  Additions to this page
Talk:It! The Living Colossus

message: Given how Marvel does tend to reuse names and concepts (see Marvel Boy), I'm not sure that these two are the same character, but should It, the Living Colossus and It the Living Colossus be merged? Kelvingreen 09:58, 8 December 2006 (UTC)
thread_title:  Merge proposal 

message: As this B-Class article has yet to receive a review, it has been rated as C-Class. If you disagree and would like to request an assesment, please visit Wikipedia:WikiProject_Comics/Assessment#Requesting_an_assessment and list the article. Hiding T  14:14, 23 February 2009 (UTC)
thread_title: C-Class rated for Comics Project

message: Having just read the six issue mini-series (which I believe was their only appearance), I find no evidence that It was ever a member.  Should this reference be deleted?  —Preceding unsigned comment added by 69.228.34.185 (talk) 20:40, 8 March 2010 (UTC)
thread_title:  Howling Commandos
Talk:Esp1

message: Should this article be merged with Separase? After all ESP1 is the gene name of separase in Saccharomyces cerevisiae and then used to name orthologs in different other eukaryotic organisms, on the other hand it is called bimB in Aspergillus nidulans so not all separases are called ESP1. Blastwizard 10:00, 8 December 2006 (UTC)
thread_title:  Merge with [[Separase]]
Talk:Illinois River (Oregon)

message: Why's it named Illinois?  —Preceding unsigned comment added by 15.251.169.70 (talk) 00:51, 6 October 2007 (UTC)
thread_title: Name
Talk:Little Nestucca River

message: I've added some relevant, detailed, and well-sourced info on this stub article; but I've no idea how to petition it for an upgrade, FWIW.  --Bendavis97140 20:47, 31 August 2007 (UTC)
replies: text: Consider it done.  I think it is solidly "start" class now.  For additional development, add a description of the river's course, volume, headwaters, access points, recreational opportunities, nearby communities, etc.  Additional references would be helpful too.  I'll see what I can dig up in a few weeks, if it is still lacking.  Thanks for the good work.  —EncMstr 20:51, 31 August 2007 (UTC)
thread_title:  stub 
Talk:Little River (North Umpqua River tributary)

message: I think the claim “only place where two rivers meet head-on” is rather spurious, despite being cited. Stony Creek and Grindstone Creek in northern California also run into each other head on, one from the south and one from the north. The name might be misleading but they’re both river-sized. The Green River merges with the Colorado at about an 85 degree angle, but it’s steep enough that they could be considered to be “colliding”. Another candidate might be the Klamath and Scott rivers in California but I’d doubt that. Really it should be checked. Shannontalk contribs 20:56, 9 September 2010 (UTC)
replies: text: Agree with you. The cited source didn't support the claim. I found one that did and added it, but the claim seems unlikely despite the weak support. I will remove it. Finetooth (talk) 00:18, 18 May 2012 (UTC)
thread_title: Colliding Rivers??
Talk:Long Tom River

message: I just corrected a couple times that "Fern Ridge Lake" was referenced... I changed it to Fern Ridge Reservoir. I am surprised that there is no article on the Fern Ridge Reservoir. - Mazakar 16:45, 18 May 2007 (UTC)
replies: text: Now there is an article for Fern Ridge Reservoir... booyah! :) Mazakar 18:25, 23 May 2007 (UTC)
thread_title:  Fern Ridge "Lake"
Talk:Al-Karamah SC

message: The Al-Karama and Al Karamah articles both relate to the same Syrian football club. Please merge them into 1 article. Thank you. Jogurney 03:03, 3 October 2006 (UTC)
replies: text: Done. ← ANAS Talk? 10:09, 8 December 2006 (UTC)
Talk:North Fork Middle Fork Willamette River

message: Unless I'm mistaken, the river described here is the "North Fork Middle Fork Willamette", a tributary of the "Middle Fork Willamette", which only becomes the Willamette River proper after the confluence with the "Coast Fork Willamette River". According to the USGS GNIS, there is no "North Fork Willamette River". But there is a "North Fork Middle Fork Willamette River", as described [ here].
Objections to moving the page to "North Fork Middle Fork Willamette River"? Pfly 18:55, 9 May 2007 (UTC)
replies: text: You did your homework, so no objections, though "North Fork Middle Fork" sure sounds silly. But that's not your fault. :) Katr67 22:39, 9 May 2007 (UTC)
replies: text: Ok, done. It is a fairly silly name, I agree -- but not the only one of its kind (such as my old favorite South Fork South Branch Potomac River). Next up, maybe some content for this page, beyond a single sentence! Pfly 05:25, 10 May 2007 (UTC)
thread_title: Wrong name?
Talk:Owyhee River

message: :The discovery of gold and silver in the region in 1863 resulted in a temporary influx of miners and the establishment of mining camps, most of whom have long since disappeared.
Not sure if a specfic gold rush story/article is to be had, but I think I've heard of a "gold rush on the Owyhee", though never aproper-name version as in the section title here; but it maybe is worth investigating? re gold rush cats, history cats etc that would then apply....Skookum1 (talk) 05:27, 3 June 2008 (UTC)
thread_title: [[Owyhee Gold Rush]]

message: In an era when spelling was a developing concept, "correct" spellings hardly existed. To denote the above 1825 reference as a misspelling with a "(sic)" is quite arrogant. — Preceding unsigned comment added by 159.121.204.129 (talk) 18:59, 22 August 2011 (UTC)
replies: text: "Arrogant" seems overly harsh, but I take your point. I changed the "sic" to "his spelling", which is factual without being judgmental. Is that better? Finetooth (talk) 19:34, 22 August 2011 (UTC)
thread_title:  Owhyhee River
Talk:RAF Hospital Wegberg

message: I am reasearching infant mortality rates  that occured in the 70s only births that took place in RAF Wegberg.Any help in locating the the stats or case history would be extremely helpful
Many thanks--Northagnick 10:12, 8 December 2006 (UTC)
thread_title: Untitled

message: I don't suppose anyone will be interested in this snippet of information, but I was born in this hospital in 1963. SpencerCollins (talk) 11:08, 30 July 2010 (UTC)
thread_title:  Interesting Fact? 

message: Hi All,
I have researched this article online and extended it out. However, where the article mentions that there was an accident and fire there in 1996 I can find no references for this. I do however find for in the 80's, as well as others.
Can anyone shed light on the 1996 fact? Is it fact or not? SHould the date be changed?
Here's the link for what I found from M.o.D.:
http://www.raf.mod.uk/PMRAFNS/history/rafhospitalwegberg.cfm
Kindest regards,
Mr. NiceGuy
(MrNiceGuy1113 (talk) 05:18, 8 October 2012 (UTC)
thread_title: Researche&Extented
Talk:Smith River (Umpqua River tributary)

message: Moving the below to here for now. This page should become a dab page, which should have:
*North Fork Smith River (Curry County, Oregon) or North Fork Smith River (Oregon/California)??? or ???
*Smith River (Linn County, Oregon) or whatever river it drains to
*Smith River (Douglas County, Oregon) or Smith River (Umpqua River)
Katr67 (talk) 21:36, 21 April 2008 (UTC)
thread_title: Moved from article
Talk:The Highway Men (MacLeod novel)

message: Looking at the quality scale, it would seem thatt his article would warrant a start rather than stub rating. —The preceding unsigned comment was added by Lurker (talk • contribs) 14:54, 12 December 2006 (UTC)
thread_title:  Comment on rating 
Talk:Companies Act 2006

message: I think the lead paragraph is slightly misleading in saying that the new Act supercedes the Companies Act 1985. It will do, but the 1985 Act is still extant until it is finally repealed with the last implementation order in October 2009. I'm trying to figure out how to word it in the article so that it makes sense but isn't too verbose. If someone else wants to make an attempt at fixing my wording, go for it. AnthonyUK (talk) 11:54, 25 May 2008 (UTC)
thread_title: 1985 Act still in force

message: Quote: "Abolition of AGMs - private companies are no longer required to hold Annual General Meetings, although they can elect to provide for them in their articles if they wish". If there is no AGM, what is the procedure for re-electing directors? Biscuittin (talk) 23:05, 23 November 2012 (UTC)
thread_title:  Private companies - AGM 

message: It would be useful if a link to the amended text as it stands today at http://www.legislation.gov.uk/ukpga/2006/46/contents would be posted at the top of the page on the right hand side under those three links. I don't know how to do that.
No one will notice the above link present at the bottom of the page.  — Preceding unsigned comment added by 82.14.244.136 (talk) 12:34, 6 February 2016 (UTC)
thread_title:  Link to amended text
Talk:Volgograd International Airport

message: Isn't use of the word 'liberated' a little POV? While I still think that word is accurate to describe the Soviets' recapture of Gumrak, it makes a value judgement on the two armies. I think 'recaptured' would be a far better verb to accurately describe what happened without unnecessarily declaring who was in the right or wrong. Lintsniffer (talk) 15:14, 2 March 2012 (UTC)
thread_title: 'liberated' POV
Talk:Hakkari (historical region)

message: :The following is a closed discussion of a requested move. Please do not modify it. Subsequent comments should be made in a new section on the talk page. Editors desiring to contest the closing decision should consider a move review after discussing it on the closer's talk page. No further edits should be made to this discussion. 
The result of the move request was: moved. (closed by non-admin page mover) Lennart97 (talk) 12:15, 28 June 2021 (UTC)
replies: text: Doesn't a Turkish province with the name make it a current region? Srnec (talk) 23:05, 23 June 2021 (UTC)
replies: text: My understanding is that referring to Hakkari in 2021 means either the Turkish province or the city, but in 1900 it referred to the historical region which covered a broader area "encompassing parts of the modern provinces of Hakkâri, Şırnak, Van in Turkey and Dohuk in Iraq". (t · c) buidhe 23:12, 23 June 2021 (UTC)
thread_title:  Requested move 20 June 2021
Talk:Meyrifab

message: Paper from 1888 about them here:
http://www.jstor.org/view/09595295/dm995273/99p0488r/0 Night Gyr (talk/Oy) 10:43, 8 December 2006 (UTC)
replies: text: The link needs updating.--Auric (talk) 07:55, 17 December 2009 (UTC)
Talk:Eastern Anatolia Region

message: I see reasons to keep two articles for the same region but find it has downsides as well, like the articles repeatedly linking back to each other in a manner that does not improve the experience of reading the articles. Should some of the overlapping information simply be duplicated in each other article, and follow the usual linking policy? Cornsimpel (talk) 08:19, 8 February 2024 (UTC)
thread_title:  Armenian plateau
Talk:SuperCollider

message: the list of notable users is quite funny... what exactly are the conditions for notability?
I've removed the "list of notable users" -- this is a rather strange way of describing a system, I think not worthy of a wikipedia page. Also this was a fairly biased list.
Atoll (talk) 17:18, 31 January 2009 (UTC)
thread_title: Untitled

message: shouldnt it be noticed that till now there is no windows version that works on more than 50% of all windows-instalations ? i can run the window version on maybe 2 out of 5 pcs.  —Preceding unsigned comment added by 118.173.7.218 (talk) 10:58, 3 November 2010 (UTC)
thread_title: Windows Version

message: Do you need midi hardware or does it use the built in sound card?  — Preceding unsigned comment added by 99.33.181.118 (talk) 18:50, 5 February 2012 (UTC)
thread_title: Hardware required

message: I think the part that says sclang has a syntax similar to Ruby or C should be revised or deleted. I am not an expert on programming languages. However my experience (and my impression from reading expert opinions) is that Ruby syntax and C syntax are not considered similar in any significant way. Skwuent (talk) 02:03, 15 August 2013 (UTC)
thread_title: Syntax similar to Ruby or C??

message: The text says:
"SuperCollider runs on macOS, Linux, Windows, FreeBSD, and OpenSUSE."
OpenSUSE is a Linux distro - why is it being singled out like this? Hundovir (talk) 17:09, 7 February 2020 (UTC)
thread_title:  Supported operating systems
Template talk:South Australia

message: I really don't see a need for this template. Everything it does is better done by categories, lists or more specific navigational templates. It seems to have been created simply as an equivalent to the US state nav boxes. --cj | talk 11:00, 8 December 2006 (UTC)
replies: text: I support keeping the template, but it should be cleaned/enhanced to contain information covering the state. Remove the Adelaide metropolitan LGAs. Add more general state-wide topics. Perhaps the major highways. Add things like Rail transport in South Australia (there is no Transport in South Australia article), History of South Australia and any other state-wide topics. Finding things to add to this template might be a way to focus future effort on the SA (Adelaide) Wikiproject. --Scott Davis Talk 22:22, 12 December 2006 (UTC)
replies: text: The only thing I'd like this template converted into is a topics box in the South Australia article (like  in Australia). I really don't like the idea of general South Australian topics nav box being added arbitrarily to random articles. I think specialised templates are more useful because of their focus. There probably is a need for a  template, which is one thing this template attempts to cover; in fact, we already have a . I'd be hesitant to create a nav box for South Australian cities, as there isn't a clear-cut definition. Every other feature of this template is redundant.--cj | talk 12:51, 14 December 2006 (UTC)
thread_title: Notes

message: This template was nominated for deletion previously and kept. The debate is found at Wikipedia:Templates for deletion/Log/2006 December 10. Titoxd(?!?) 21:00, 19 December 2006 (UTC)
thread_title:  Previous TFD 

message: I removed the Adelaide LGAs as there is an  template for them. I added a start at a topics section, but most of the relevent categories do not have an overview article to link from here.
* ✓ History 
* ✓ Government 
* ✓ Flag 
* Culture 
* Transport 
** ✓ Rail transport 
** Road transport / Highways
* Education 
* Geography 
* Geology 
* Sport 
There may be other overview topics I haven't thought of. 
I also wanted to put the little "hide" link in the title like { has, but couldn't work out how. --Scott Davis Talk 04:20, 20 December 2006 (UTC)
thread_title: Reoragnised
Talk:Henry Brooke (writer)

message: There is no need for a citation, because this comes from the Works themselves. In the posthumous works, his daughter wrote the prefatory material and speaks of his horror at offending Johnson. She doesn't say that the line was changed, but the line is simply gone from the play, so Brooke changed it. The Works are available on microfiche in Four Centuries of the British Stage, but I cannot provide a full bibliographic citation off the top of my head.  In simpler terms: the information comes from the primary record.  Geogre 11:03, 8 December 2006 (UTC)
thread_title: Sourcing for Brooke's change in ''The Earl of Essex''
Talk:Harrisburg–Carlisle metropolitan statistical area

message: I found an alarming discovery in the link mentioning merging the identities of Harrisburg and York. Mind you; these are ONLY proposals at this point unless someone can accurately show me otherwise, but the proposal in the link goes as far as to link NYC, Philadelphia, the Lehigh Valley, and Berks County in a megalopolis in which the outer counties would continue to struggle to maintain their identity and such an identity could sometimes sell. Heff01 (talk) 02:09, 14 August 2011 (UTC)

message: Removed privately owned "Newsletters" not in service anymore. As such, they are not official news sources, but moreover personal "blogs" owned by private individuals. This page is not for personal advertising of personal businesses  — Preceding unsigned comment added by 2601:983:4600:6832:0:0:0:5E (talk) 23:09, 13 January 2022 (UTC)
thread_title:  Removed personally owned businesses listed as newspapers