lflage/wiki-talks huggingface dataset:
Talk:Time hierarchy theorem

message: Proof looks basically OK. It needs a justification of how a Turing machine can simulate M in O(f(n)³); "it is safe to say" is a bit weak. The fact that f is time-constructible need to be used explicitly in the proof. Also, we need an article on time-constructible function explaining why the concept is important and the exciting things you can do with functions that are not time-constructible. Gdr 23:41, 2004 Jul 4 (UTC)
: I kind of agree with you that "it is a bit weak" to just say "it is safe to say", but I also believe this article should stick to the thing it is about. To prove that it is possible to simulate a Turing machine in ever-lower time bounds is another proof in itself and, quite frankly, doesn't belong here. Of course, one could remove the "it is safe to say" bit and just claim it's possible in f(m) \log f(m) and give the external link; but this runs the risk of the link breaking in future. One could always write a new article with this proof, but the title of that article would be huge... Proof that a Turing machine can simulate the first n steps of another Turing machine in at most n log m time, where m is the length of the description of the second Turing machine and its input perhaps? :) – Timwi 15:51, 3 October 2005 (UTC)

message: I often see this result stated with a linear (n) lower bound on t(n). I can only think it must be because no smaller functions are time-constructible (a Turing machine can't even read an input of size n in sublinear time, although it can read it in sublinear work tape space), so it's actually redundant, in the same way that requiring NP proof signatures to have polynomial size is redundant. It might still be useful to mention somewhere though, since it does effectively limit the power of the theorem. Deco 28 June 2005 16:59 (UTC)
: I've never thought of this, but it sounds really interesting. Thanks for this, I'll add something to this effect to the article. – Timwi 15:51, 3 October 2005 (UTC)
thread_title:  Where's the linear lower bound come from? 

message: This article is a great example of why proofs are problematic on Wikipedia.  First, it's not clear whether or not this proof is original research.  Second, it appears to be a simplified proof, in an attempt to teach the subject matter, rather than present facts. --Taeshadow (talk) 16:52, 11 March 2009 (UTC)
thread_title:  Textbook-like proof 

message: Please give a citation. Where the strict part is proved? 89.177.144.33 (talk) 08:44, 8 January 2018 (UTC)
thread_title:  DTime(f(n)) strictly contained in DSpace(f(n))?
Talk:Luke Perry

message: Says, "citation needed", but a reference has now been provided. Please remove.  — Preceding unsigned comment added by Ilovemylife9 (talk • contribs) 17:54, 28 February 2019 (UTC)
replies: text: (by someone) —[AlanM1(talk)]— 19:20, 5 March 2019 (UTC)
thread_title:  2019 Stroke 

message: I wanted to add info about his fiancé, Wendy Madison Bauer in the bio section.  LisainTejas (talk) 18:48, 4 March 2019 (UTC)
replies: text: Precautionary against vandalism, since some minor instances have already iccurred in this volatile time--Fradio71 (talk) 19:08, 4 March 2019 (UTC)

text: This encyclopedia article was receiving fan mail and Simpsons jokes. Terrible timing all around. If you have a good idea about what the world urgently needs to learn about a recently-bereft woman today, and it fits within Wikipedia's core content policies, share it here and someone will probably be glad to help. InedibleHulk (talk) 19:20, 4 March 2019 (UTC)

text: If you only wanted her existence known, someone's helped you out. InedibleHulk (talk) 19:55, 4 March 2019 (UTC)
thread_title:  Why has this been protected? 

message: Luke Perry's page is completely broken. Somebody changed all the names and dates to make no sense at all.  — Preceding unsigned comment added by 2607:FEA8:BD9F:F69A:50D9:41F9:1665:9AFB (talk) 20:43, 2 June 2019 (UTC)
thread_title:  The page is broken 
Talk:Public holidays in Brazil

message: This is from the Brazilian Embassy in the UK - http://www.brazil.org.uk/page.php?cid=568. [[User:2004 (UTC)
: The current page can be found at http://www.brazil.org.uk/tourism/traveltips.html. --PFHLai 07:57, 6 July 2006 (UTC)

message: Why is Tiradentes listed in English name, and nothing in our local Brazilian name, it is a local name and not English, so why? You can click on Tiradentes if you want to find out more, and you can see it is not an English name, so i propose to move it from one column and more to the right, under local names Pernambuco 16:52, 23 January 2007 (UTC)
thread_title:  Tiradentes 

message: This day had a red link, for the English word, but I am thinking, isnt this the same day that is called National day in other countries? Pernambuco 02:49, 31 January 2007 (UTC)
thread_title:  Proclamation of the Republic Day 

message: correct link
http://en.wikipedia.org/wiki/Corpus_Christi_%28feast%29
And correct days: June-May, no April-March  —Preceding unsigned comment added by 200.144.188.128 (talk) 19:29, 6 July 2009 (UTC)
thread_title:  Corpus_Christi 

message: This is translated to English as "Our Lady of Regla" (Nossa Senhora dos Navegantes), it is the holiday from Salvador and Porto Alegre, but my questions is, I dont think "Regla" is an English word, is it? Pernambuco 05:10, 9 February 2007 (UTC)
thread_title:  Nossa Senhora dos Navegantes 

message: I restablished the chart with the national holidays for better readng. Krystoffer (talk) 08:05, 19 September 2010 (UTC)
thread_title: Chart

message: Why is Corpus Christi not in the list?  — Preceding unsigned comment added by 200.185.135.7 (talk) 13:15, 27 May 2013 (UTC)
thread_title:  Corpus Christi
Talk:Chamizal dispute

message: So, just how was the dispute resolved.
:It occurred on a visit between John F. Kennedy and the president of Mexico. --Ancheta Wis 12:44, 27 January 2006 (UTC)
thread_title: Untitled

message: And see http://strangemaps.wordpress.com/2008/03/06/252-a-river-runs-through-it-the-chamizal-dispute-1895-1963/
:
:The subject would be so much clearer, with the addition of 5 or 6 additional maps, with different colors for Mexico, US, river, and disputed territory
: 1) 1852 map
: 2) 1864 map
: 3) 1868 map?
: 4) 1910 map
: 5) 1963 map
Can anyone with sufficient knowledge on the subject please help? 
--Lacarids (talk) 21:30, 31 January 2012 (UTC)
thread_title: Please

message: Which of the four present bridges in downtown El Paso was not built in the 1960s? --NE2 05:47, 9 August 2009 (UTC)
thread_title: Three bridges?

message: The article says the river gradually moved southward, but the accompanying map shows the river to have moved northward. Given this contradiction, it is hard to figure out the geography of the dispute, or to make sense of the American and Mexican positions in the negotiations.MayerG (talk) 04:18, 16 September 2013 (UTC)
thread_title:  Text and map are contradictory 

message: This has become an excellent little article!  The last paragraph, on resolution, has some contradictions and inconsistent chronologies (Johnson met Lopez-Mateos in '64, but when?  And why is this mentioned before the congressional legislation passed in '63?)  Since the sources cited are not on the internet, they are difficult to verify.  --Neopeius (talk) 18:53, 16 February 2019 (UTC)
thread_title:  Final improvements to be made
Talk:Gulliver

message: Article listed on Wikipedia:Votes for deletion July 5 to July 13 2004, page was turned into a disambig.  Discussion:
Fictional character from the Nintendo Animal Crossing game series. Scanning the article, and searching Wikipedia for Nintendo Animal Crossing seems to indicate that VERY few characters were deemed, by the many contributors to the rather lengthy article, to need a separate article (only two exist--also making gulliver an orphan), and I support that position 110%. Niteowlneils 01:07, 5 Jul 2004 (UTC)
replies: text: Along those lines, there are other (now obsolete) meanings for the word, as well as the use in A Clockwork Orange as faux-Russian for "head."  A lot of things got called Gullivers after the book came out. The ones I can think of are more lexical than encyclopedic, though. Geogre 22:04, 5 Jul 2004 (UTC)
replies: text:  Disambiguate rather than redirect, on the Michigan basis alone. -- Jmabel 03:04, Jul 6, 2004 (UTC)
Disambiguate, There's also a silent and B western actress named Dorothy Gulliver. I don't know if she will make it into the Wiki any time soon, but she had a huge filmography. Besides if Gulliver is a Nintendo character, it's going to be submitted again and again and again Williamb 13:42, 9 Jul 2004 (UTC)
Talk:Elias Lönnrot

message: It is patently incorrect to claim that Elias Lönnrot was Finland-Swedish.
213.243.157.114 02:04, 5 Jul 2004 (UTC)
replies: text: Please read http://www.sls.fi/pdf/1-64Kallan1-02.pdf Why would he write in Swedish if "Finnish was his native language"? It only typical for the Finns to claim all 19th century Finland-Swedes to have been Finns. Den fjättrade ankan 18:01, 15 Jul 2004 (UTC)
thread_title: Untitled

message: This article desperately needs some expansion on it. If you look on the Finnish Wikipedia, then you would find that it goes much more in depth than this English one. We should add more on about his life and put up a section on this about his works that he has done or compiled together. Cosmic Gardener (talk) 00:49, 31 December 2007 (UTC)
thread_title:  Expansion
Talk:Hit

message: Someone should add the definition of hit in the conext of a website.  As in, 'XXXXXXXXX.com gets 300,000 hits a day'.
How about the good old-fashioned concept of the word, as in 'to hit someone'? Not in the concept of 'hit as opposed to miss', but the concept of punching somebody in general. Dragonfly888 20:57, 28 October 2005 (UTC)
Talk:Miller Brewing Company

message: As said in the famous "Ghostbusters" movie: It's Miller Time.  This phrase should be mentioned in the wiki page, as it is part of pop culture.  — Preceding unsigned comment added by 174.5.36.116 (talk) 23:07, 2 February 2016 (UTC)
thread_title: It's Miller Time

message: SABMiller, its subsidiary Miller Brewing Company and Molson Coors have NOT merged, they formed a joint venture to produce and distribute their beer products jointly in the United States, the corporate operations of SABMiller (Miller Brewing's parent) and Molson Coors remain separate and independent from each, in fact both companies are publicly traded, SABMiller (, ) and Molson Coors (, ), further the international operations of both companies remain part of each of the parent companies so to say that the two companies have merged is GROSSLY incorrect. 71.101.84.3 (talk) 03:55, 23 December 2010 (UTC)
thread_title:  Miller/Coors Merger (NOT!) 

message: This whole article does not at all read like an encyclopedia article. It's more like a press release.
Firstly, the article paints Miller in an overwhelmingly positive light.
Second, the list of products is has a serious degree of needless detail. I'm okay with a list of beers produced by Miller, but I don't need to hear what token awards Miller paid for, or tidbits of trivia about a beer's history (unless, of course, that beer has real historical relevance). It would be sufficient to describe the color, the hops used, and the alcohol content — but that's not the case here.
--209.33.27.6 (talk) 17:56, 9 May 2015 (UTC)
thread_title:  Neutrality? 

message: The company was sold ... I revised the article and added this info; also and info as to how that affects certain brands. 
I'm not sure that just changing the name of the owner of the company to Molson Coors is all that needs to be done to this article.
I deleted the entire section about Miller Brands. Someone who has a better understanding of how the sale to Molson Coors affects the brands might want to add them back to the article (from a previous version). Peter K Burian (talk) 22:22, 29 January 2017 (UTC)
thread_title:  Sold to Molson Coors .. article change 
Talk:Surface marker buoy

message: I took a cut at copyediting this article. The bulleted style seemed very awkward to me, so I made real sentences. I'm in no position to fact-check, though; hopefully, I've not introduced any errors. -- Mikeblas 19:43, 30 January 2006 (UTC)
thread_title:  copyedit 

message: I've added tags suggesting that Decompression buoy and Lifting bag be merged into this article. I think given the small size and common content of these articles, they'd be better in the one umbrella article, and that "Surface Marker Buoy" would be the most appropriate title for such an article. There would then be sections for non-deployable SMBs (the current focus of this article), deployable SMBs (Decompression buoys) and lift bags. Lift bags could possibly be left out, as they do serve a significantly different purpose to SMBs, but given that lift bags are often used as DSMBs and manufacturers certainly treat lift bags and DSMBs as part of the same product family, I think it could justifiably be merged in. If anyone else has any thoughts on the matter, please comment here. David Scarlett 13:06, 8 April 2006 (UTC)
replies: text: I'd suggest a merge and redirect, it does seem silly to have two pages but a redirect is a good thing (tm) -- Tawker 06:22, 25 May 2006 (UTC)
thread_title:  Merging 

message: The content of Dive-float is a small subset of the existing topic of the article Surface marker buoy, which is a more widely used term for the same class of object. There are also some inaccuracies which need to be fixed - it is not a standardised item, as there are several kinds of dive-float/surface marker buoy in use around the world. The pictured item is more commonly known as a torpedo buoy or rescue buoy. This form of float may also be towed by freedivers when spearfishing. I propose to merge the content of Dive-float into Surface marker buoy with redirect before making corrections and clarification. · · · Peter Southwood (talk): 09:44, 19 February 2020 (UTC)
thread_title:  Proposed merge with redirect. 

message: * Do it, . Sensible consolidation of a single topic. --RexxS (talk) 15:50, 19 February 2020 (UTC)
thread_title:  Discussion
Talk:Daniel David Moses

message: Here are some potential resources which might be useful for editors interested in improving this article:
* Indigenous history enters the spotlight at last
* “Daniel David Moses” in Canadian Encyclopedia
* A growing list of nearly 1,100 artists and creators urge the Government of Canada to put creators at the heart of cultural policy
* Queen's professors earn national honours
* Siminovitch Prize in Theatre 2008
*  The desire to crunch bone: Daniel David Moses and the "true real Indian"
* An Anthology of Canadian Native Literature in English (Review)
* Daniel David Moses: Spoken and Written Explorations of His Work (Review)
* Siminovitch Prize in Theatre 2005
* Siminovitch Prize in Theatre 2002
Aquilessa (talk) 15:48, 18 February 2021 (UTC)
thread_title:  Potential Sources
Talk:Independence Day (United States)

message: Just to add some additional things? Exospaceman (talk) 16:06, 4 July 2022 (UTC)
replies: text: Not done: it's not clear what changes you want to be made. Please mention the specific changes in a "change X to Y" format and provide a reliable source if appropriate. MadGuy7023 (talk) 16:13, 4 July 2022 (UTC)
thread_title:  Semi-protected edit request on 4 July 2022 

message: “In 1938, Congress changed Independence Day to a paid federal holiday.[22]”
This is factually incorrect, the above occurred  in 1941.    
Look up,   https://www.calendarr.com/united-states/independence-day/amp/
Also look up,   https://rebberesponsa.app/letters/5751/23674 Siata dishmaya (talk) 23:45, 4 July 2022 (UTC)
thread_title:  Semi-protected edit request on 4 July 2022 (2) 

message: Hello I volunteer Oceana naval base. 68.131.61.227 (talk) 11:32, 19 December 2023 (UTC)
thread_title:  Oceana naval base
Talk:Century Series

message: I think it would be good if this page explained why they stopped the century series and went back to single digit numbers. I have no idea why they did this (I think it was kind of arbitrary and pointless, esp. given the F 117, and what not).
:The F- series (among others, such as the B- series) had a number series  reset under the 1962 United States Tri-Service aircraft designation system. A75 19:23, 16 December 2006 (UTC)
thread_title: Why stopped?

message: Shouldn't the title be Century Series, as this is a proper name? I have always seen it published as "Century Series", and it is used that way in a book I have on the topic. - BillCJ 19:40, 16 December 2006 (UTC)
thread_title: Article name

message: The front view is of a F-86 Sabre Jet, not the F-100.
Someone with a good graphic package and skills could modify this for us.
Thank you, LanceBarber 17:44, 3 April 2007 (UTC)
replies: text: Compare F-86 3-view. I think you'll see a great difference between the two, and that the F-100 image is correct. - BillCJ 17:51, 3 April 2007 (UTC)
thread_title:  Error in Orthographically projected diagram of the F-100 Super Sabre 

message: Can anyone see why the F-100 image is not working in the gallery? The text for it is there and it is the same photo used in the infobox of the main F-100 article, tried to fix it but I can't see what is wrong. Nimbus227 15:59, 16 October 2007 (UTC)
replies: text: It appears to be working for me. It might be a Wiki server problem, but that's just a guess. - BillCJ 16:48, 16 October 2007 (UTC)
replies: text: Still not showing for me, some kind of glitch as you say Nimbus227 17:02, 16 October 2007 (UTC)
replies: text: Tis working now! Nimbus227 (talk) 21:19, 4 January 2008 (UTC)
thread_title: F-100 gallery image

message: Would it be stating the obvious that the word 'Century' is related to the fact that the designations are in the 100 and above sequence, it does not seem to be mentioned?
I think it would be nice to add a short description of each type under its linked heading for those readers who can't be bothered to go to those articles or may want a brief comparison, I can do this if nobody minds.
Not a single reference is given, I can fix that as well. Nimbus227 (talk) 21:19, 4 January 2008 (UTC)
thread_title: Tidy up?

message: No mention of the F-111 Aardvark?????! 199.47.254.173 (talk) 23:58, 23 July 2023 (UTC)
replies: text: F-111 isn't a Century Series jet 2601:248:4B00:8850:DBE4:B526:777:2676 (talk) 06:24, 26 December 2023 (UTC)
thread_title:  Century Series Fighters
Talk:Showtaro Morikubo

message: It's supposed to be spelled out like "Shoutarou Morikubo", because as you can tell, Morikubo has three kanji characters for his first name with long "O's" and it's meant to be spelled out.  Whoever started out this article somewhat is not aware how the romanization is supposed to be done.  Again, it's NOT "Shotaro Morikubo", it's supposed to be "Shoutarou Morikubo" instead. — Vesther 03:20, 16 November 2005 (UTC)
replies: text: It wouldn't be Shoutarou Morikubo, it would be Shōtarō Morikubo. Plus his main webpage uses "Showtaro Morikubo". The cow says MOO!!! 04:05, 16 November 2008 (UTC)
thread_title:  The correct spelling 

message: I'm not sure if his favorite type of woman belongs or not, but, why does it link to Crayon Shin-chan? Is this a series inside joke? 74.116.137.2 17:29, 18 March 2007 (UTC)
thread_title:  One that looks good in a low cut g-string? 

message: :The following discussion is an archived discussion of the proposal. Please do not modify it. Subsequent comments should be made in a new section on the talk page. No further edits should be made to this section. 
The page history should move from Showtaro Morikubo to Shōtarō Morikubo, because I couldn't move the history myself due to restrictions and also the name should be Shōtarō Morikubo per WP:MOS-JA. Greg Jones II 00:58, 1 August 2007 (UTC)
replies: text: Whoops. I didn't realize that the official trade name was Showtaro instead of Shōtaro. Both Showtaro and Shōtaro are correct romanizations, but the trade name should come first as per WP:MOS-JA and as per naming conventions, the most common name should go first. Greg Jones II 01:57, 1 August 2007 (UTC)

text: The above discussion is preserved as an archive of the proposal.  Please do not modify it. Subsequent comments should be made in a new section on this talk page. No further edits should be made to this section.
It was requested that this article be renamed but there was no consensus for it be moved. --Stemonitis 06:18, 6 August 2007 (UTC)
thread_title:  Requested page history move 

message: ISTM that we can close this listing on WP:RM. There's strong consensus not to move. Andrewa 09:43, 2 August 2007 (UTC)
replies: text: The above discussion is preserved as an archive of the proposal.  Please do not modify it. Subsequent comments should be made in a new section on this talk page. No further edits should be made to this section.</div>
It was requested that this article be renamed but there was no consensus for it be moved. --Stemonitis 06:18, 6 August 2007 (UTC)
thread_title: Requested move

message: This page should be moved to Shōtarō Morikubo per the Manual of Style (Japan-related articles). Cat's Tuxedo (talk) 01:00, 24 February 2008 (UTC)
replies: text: Nope. Per WP:MJ it would be Showtaro Morikubo. The cow says MOO!!! 04:07, 16 November 2008 (UTC)
thread_title:  Requested move
Talk:Rice Lake (CDP), Minnesota

message: My appolgies for this article's status. Normally I would note the township(s) that Rice Lake is in. But after an hour working through Tiger map server and web browseing, I haven't come up with an answer. I will put a link to this article on the county page. If you find the answer, please asdjust related articles, or let me know on my talk page.  Thanks, Lou I 07:09, 5 Jul 2004 (UTC)
Talk:Zodiac Killer

message: Change his daughter to her daughter in the section regarding Kathleen Johns in the addition victims section. Suspect doesn’t have a daughter, Johns does who she was accompanied by at the time of incident 203.211.109.13 (talk) 12:49, 14 May 2024 (UTC)
replies: text: M.Bitton (talk) 13:54, 14 May 2024 (UTC)
thread_title:  Semi-protected edit request on 14 May 2024
Talk:List of national independence days

message: Iran never was part of another country to get an independent from. 2603:7000:7740:EF74:7830:C32:5CC1:3499 (talk) 01:02, 20 August 2022 (UTC)
replies: text: Iran never gained independence, as it was never colonized by Europeans like many other regions of Africa, Asia, and the Americas. Instead, Iran coalesced into a single country after a series of dynastic kingdoms had ruled over all or part of Iran for several centuries. Mashaalahmed27 (talk) 21:51, 6 July 2023 (UTC)
thread_title:  Iran?! 

message: The link for "American Withdrawal Day" just goes to 2020–2021 US troop withdrawal from Afghanistan, which says that the government collapsed after troops withdrew and subsequently the Taliban took control, so I'm not sure when it could have been officially established as a holiday. The article doesn't say anything about whether people celebrate it unofficially, either. I think this holiday needs a better citation.
2600:8806:400:A500:1528:A0B7:759:613F (talk) 06:39, 13 January 2024 (UTC)
thread_title:  American Withdrawal Day (Afghanistan)

message: The Netherlands has been officially liberated from German occupation on May 5th, 1945, the country celebrates this every year. It is odd to me that independence from the Spanish is mentioned here - which is really only celebrated in 2 cities in the Netherlands for the achievements of those specific cities - and there is no mention of the 5th of May, a day literally called liberation day, celebrating their freedom from a much more recent occupier.  — Preceding unsigned comment added by 2001:1C00:248D:1700:244B:62FD:9824:2B5C (talk) 08:34, 10 April 2024 (UTC)
thread_title:  Netherlands Liberation Day