lflage/wiki-talks huggingface dataset:
Talk:Ultraproduct

message: The notation used in the equation  [a^{1}], \ldots, [a^{n}] \in \prod M_{i}  bothers me.  The square brackets suggest we're considering equivalence classes, that is, elements of the ultraproduct, but the text claims that they're elements of the product.  I feel like probably  [a^{1}], \ldots, [a^{n}] \in M  or  [a^{1}], \ldots, [a^{n}] \in \prod M_{i}/U  was meant instead.  Can you verify? -lethe talk [ +] 16:54, 11 April 2006 (UTC)
replies: text: Good catch. I fixed it. --Trovatore 17:26, 11 April 2006 (UTC)
thread_title:  Product or ultraproduct 

message: In the examples section, this is stated:
"The hyperreal numbers are the ultraproduct of one copy of the real numbers for every natural number, with regard to an ultrafilter over the natural numbers containing all cofinite sets."
But that is wrong, since a filter containing all cofinite sets is not an ultrafilter:
let F={cofinite subsets of N}={A in N such that N\A is finite} when N is the set of natural numbers and N\A={n in N and not in A}
let A be the subset of even natural numbers and B the subset of odd natural numbers,
then N\A=B and N\B=A, therefore A and B are not cofinite and therefore A and N\A are not in F and therefore F is not an ultrafilter but simply a filter. Rockyrackoon (talk) 15:54, 16 June 2009 (UTC)
replies: text: There's nothing wrong with the statement. It does not state that the ultrafilter contains only cofinite sets. The ultrafiter can (and indeed must) contain also other sets. — Emil J. 16:00, 16 June 2009 (UTC)
thread_title:  Hyperreal example - bad statement? 

message: The following statement is in the proof, I think it is wrong:
The fact that U is an ultrafilter (and not just a filter) is used in the negation clause, and the axiom of choice is needed at the existential quantifier step.
I'm quite rusty, but, it seems to me AOC is not required. Only requires that U be a set closed for contain. The Compactness theorem is proved using this one and the Boolean Ulrafilter Axiom, which is weaker than AOC. It says the Compactness Theorem is equivalent to boolean Ultrafilter Axiom (over ZF) - both are weaker than AOC. Itaj Sherman (talk) 02:58, 24 May 2020 (UTC)
thread_title:  Wrong statement in the proof of Los's Theorem
Talk:Laure Sainclair

message: I have seen that there has been an edit war about the content, so I have tried to find references to increase the content. I have found very few. So I think that indeed this actress is non notable. Hektor (talk) 14:28, 16 November 2008 (UTC)
replies: text: There are several biographies on Google Books. We just need someone that can read French and Italian because babelfish can not translate book previews.  Morbidthoughts (talk) 19:50, 16 November 2008 (UTC)
thread_title: Prod

message: The article is currently rated as "Low" on Wikipedia:WikiProject Pornography's importance scale. However, I think we should take into account the fact that she had a career in France, not in the US, and that she was considered France's n°1 porn stars in the 1990s. IMHO, the page's importance should be rated as "Mid". Jean-Jacques Georges (talk) 14:36, 5 May 2017 (UTC)
replies: text: Done. Jean-Jacques Georges (talk) 14:23, 23 May 2017 (UTC)
thread_title: Importance scale
Talk:Masters of Harmony

message: At a glance, This article could use major expansion by a Masters member, compare with the previous two years winners (VM & AOH). Joncnunn 16:57, 11 April 2006 (UTC)
thread_title: Untitled

message: I checked the other gold medal chorus wiki entries and they only have one photo of the chorus instead of two. I would sugest the older photo be dropped and the newer one be moved up into that spot. Jon 14:52, 9 July 2007 (UTC)
replies: text: Done. --DLandTALK 15:10, 9 July 2007 (UTC)
thread_title: Photos
Talk:Coup de main

message: In several written sources, quite notably "The Eagle" which is the Glider Pilot Regiment Association magazine it states that the landing at Pegasus Bridge had the official name Operation Deadstick. A point worth adding? Reference can be found on page 6 of Vol.10 No.9 2004 edition for example. OneEighthBit (talk) 22:08, 25 October 2010 (UTC)
replies: text: I have that article in front of me and nowhere does it state that "the landing at Pegasus Bridge had the official name Operation Deadstick"; it refers to the surviving pilots who took part in Operation Deadstick but does not link that name to the coup de main.
Best
Marve001 (talk) 20:54, 17 January 2013 (UTC)
thread_title: Pegasus Bridge
Talk:Strlcpy

message: I don't see how Linus pointing out that a particular chunk of code that uses strlcpy in a stupid way that doesn't solve the security problem is actually a criticism of strlcpy itself, so I'm removing the link. -- Steven Fisher 23:49, 14 August 2006 (UTC)
thread_title:  Linus' criticism 

message: From the page: "strlcpy requires that the source string be properly null-terminated. When this condition is violated, strlcpy can leak information after the original source string into the destination buffer."
Surely this applies to strcpy and strncpy as well? They determine the size/end of the input string by detecting the null terminator. "When this condition is violated" would mean there is no null terminator, so the input isn't even a valid C string. What else can the function do but read into memory until the first null? 194.72.134.226 11:11, 12 February 2007 (UTC)
replies: text: Yeah, I think you are right. In practice, both of them will just copy up to len if src isn't null-terminated (although it is not clear if strlcpy guarantees that behaviour). The only difference is if src is null-terminated and len > strlen(src), strncpy will pad with nulls but strlcpy won't. That isn't an information leak though. NicM 14:30, 12 February 2007 (UTC)
thread_title:  Null termination 

message: See Talk:C string#strlcpy. 1exec1 (talk) 12:19, 19 October 2011 (UTC)
thread_title:  deletion
Talk:Poquessing Creek

message: Actually, there is a very minor, unnamed tributary of the Poquessing that's been sewerized. It meets the Poquessing on the Phila. side where it passes Stevenson Lane, above which it runs through the Torresdale campus complex of Nazareth Academy/Holy Family College, still as a stream, due west to Grant Avenue, where it runs underground (I'm giving directions upstream). Until the 1970s, it ran farther aboveground through undeveloped woods bordering what was then Eden Hall (now Fluehr Park) to about Eden Street, beyond which it had been sewerized sometime before 1960. It's shown on this old map as the last tributary of the Poquessing: http://historical.maptech.com/getImage.cfm?fname=burl06sw.jpg&state=PA (see the extreme left, nearly at the bottom, just above the "33" elevation call-out in Torresdale).--BillFlis 17:11, 11 April 2006 (UTC)
replies: text: You are right! I remember an incident in July 1969 where police and rescue units were called to the channelized stream to rescue children exploring it. A police officer crawled the length of the channel, but the children must have left before the police entered. I had forgotten about it, and the stream isn't on some maps showing channelized streams. I will adjust what I wrote. EdK 19:17, 20 April 2006 (UTC)
thread_title: Sewerization

message: Some of the attributes in the side box appear to refer not to the entire seven-mile creek that is the subject of this article, but rather to the bridge that carries Frankford Avenue / Bristol Pike / PA-13 across the creek.  In particular, it names John McMenamy as its "architect"; a bridge has one of those but a creek does not (except for the Intelligent Designer ;-> ).  Similarly, the article says that the Route 13 bridge was added to the National Register of Historic Places in 1988, but the side box makes the same statement for the creek, and gives an NRHP reference number.  And the latitude / longitude coordinates, though they must pick one spot along the whole watercourse, happen to pick the spot where that bridge crosses.  —Preceding unsigned comment added by TypoBoy (talk • contribs) 02:34, 15 January 2010 (UTC)
replies: text: That's why the side box is headed "Frankford Avenue Bridge", which is on the National Register of Historic Places. Hope this helps.--BillFlis (talk) 01:25, 28 July 2010 (UTC)
thread_title:  Who was the Architect by whose hand this work was designed? 

message: The one-liner at Bloody Run (Poquessing Creek tributary) can and should be merged here (support the March proposal). Klbrain (talk) 16:58, 8 September 2021 (UTC)
thread_title:  Merge proposal
Talk:Virgin Interactive Entertainment

message: Someone has changed basically every link the article to Gabe Newell, the managing director of Valve Corporation, who had nothing to do with Virgin Interactive. The article also makes a bunch of crude virginity jokes over actual information. These vandalisms have either been around for a while, or the user wiped out his tracks after vandalizing the article, because I can't revert to an edit that corrected it. If anyone knows the information that's been tampered with and can fix it, that would be immeasurably helpful. -UberMan5000 (talk) 16:32, 21 March 2012 (UTC)
thread_title:  Too Much Vandalism 

message: e.g. "Angler", a very old fishing game. See this list:  2A00:23C5:FE18:2700:3020:446E:F106:EE61 (talk) 19:10, 25 November 2021 (UTC)
thread_title:  Some games missing from the list of games
Talk:Lock and Dam No. 1

message: OK, I do know that the Erie Canal ain't got a Lock No. 1 but I still stick by the move. -- RHaworth 17:15, 11 April 2006 (UTC)
replies: text: I was thinking all of the Mississippi river locks could be renamed "Mississippi River Lock and Dam No. X", I don't think "Lock and Dam No. 1, Mississippi River" is right, seems against naming convention used by other articles, maybe "Lock and Dam No. 1 {Mississippi River)" would be better. I don't know how many other rivers have lock and dam systems that are numbered (in english), but I would think it would be proper to disambiguate, just in case. A quick search of HAER shows a few numbered lock and dams on the Ohio river, Ouachita River, Monongahela river, Kanawha River and possibly more.  --Dual Freq 20:44, 24 February 2007 (UTC)

text: This article really should be named "Lock and Dam number 1" to be consistent with all the other lock and dam articles on the Mississippi. If it must be disambiguated, Mississippi River should be in parentheses, not appended with a comma, per Wikipedia naming conventions. ●DanMS • Talk 03:05, 5 April 2007 (UTC)
thread_title: Name

message: The location of the red dot on the map alleging to show the location of this lock and dam is wrong.  It is about 80 miles too far west, placing it in the western plains of Minnesota, and far from any river! T-bonham (talk) 12:47, 10 March 2008 (UTC)
replies: text: Hm. It looks right to me, straddling Ramsey and Hennepin Counties. What OS and browser are you using?--Appraiser (talk) 13:55, 10 March 2008 (UTC)
thread_title: map is wrong
Talk:Business continuity plan

message: A "business continuity plan" is simply part of "business continuity planning."  It is perhaps the primary product of the planning process, and a continuity plan has no meaning outside the context of continuity planning.  My credentials: DRII certified planner, currently work as a continuity planner at a government agency.Stark 18:43, 23 April 2006 (UTC)
replies: text: Merge --SueHay 00:16, 22 March 2007 (UTC)
thread_title:  Yes, should be merged!
Talk:Derby County F.C.

message: Who thinks we will stay in the championship 82.132.245.196 (talk) 15:27, 20 December 2021 (UTC)
thread_title:  Dcfc 

message: The whole administration saga has been continuing for many, many months now - yet there is very little mention of it on the DCFC page. I came here to better understand the reasons Derby are in administration and to learn what the present situation is in terms of ownership.
I could write it for you guys if you like, but I'm a Forest fan and I guess that no matter how impartial I tried to remain, I'd be accused of bias and my contributions would be reverted.
Could I respectfully ask that someone interested addresses the issue here, please?
Thank you. Codeye (talk) 01:31, 29 March 2022 (UTC)
replies: text: Hi Codeye. There is a detailed section in the article that is almost solely about the administration process ("Championship struggles and administration") which has been updated regularly over the past six months. I updated it today to include the latest BBC Sport report. What do you feel is missing? Best wishes. Paul W (talk) 12:48, 1 April 2022 (UTC)
replies: text: Hi Paul, How strange! I either completely missed that or perhaps the page had been vandalised when I read it?! Reading it through, I think you have summed it up more than well enough, so please accept my apologies. All the best (and thanks for your reply) Codeye Codeye (talk) 22:25, 1 April 2022 (UTC)
replies: text: No worries. Paul W (talk) 17:18, 2 April 2022 (UTC)
thread_title:  Missing information 

message: Is the history section not too skewed towards recent years? Although the administration fears are very important to cover, it seems wrong that about half of the history section is covering the last two years when Derby County have 139 years of history to summarise. Would it be better to trim this down or move most of it onto a separate article (History of Derby County F.C. (1967–present)) to avoid issues with WP:Recentism? Thanks Michaeldble (talk) 18:07, 3 September 2023 (UTC)
thread_title:  History section
Talk:The Official Professional Baseball Rules Book

message: I started this page precisely because there is very little information on this topic on the Internet.  I will be supplying much more detail in the future.  I have done a lot of research on this topic at the Baseball Hall of Fame Library in Cooperstown, NY.  I hope in the next few months to post some of that research here. —The preceding unsigned comment was added by Pintoj (talk • contribs) .
:This is what a sandbox is for (I'll put the welcome message in your talk page for further info).  I don't see a compelling reason to have this in a separate article as opposed to letting it grow as a section in an already-existing article.  —Wknight94 (talk) 17:55, 11 April 2006 (UTC)

message: Need to add some kind of verbiage as to how these "rules" fit with the real rules, i.e. what's at http://mlb.mlb.com/mlb/official_info/official_rules/foreword.jsp --plaws (talk) 19:18, 17 June 2010 (UTC)
thread_title:  Rules?
Talk:City of Industry, California

message: I question the current title of this article, though not quite enough to propose a move yet.  Though I don't live in California, I've never heard of this place being called anything other than "City of Industry" outside of Wikipedia.  In particular, the standard blurb on Newegg press releases (example) says it "is headquartered in City of Industry, California" (even though its mailing address is in Whittier); IIRC most business addresses also read "City of Industry, CA" (*not* "Industry").  Ordinarily WP:COMMON would require stripping "City of" from a city's name; but I would argue this is an exception that defines the rule, much like it's needed on City of London (and City of London Corporation) to disambig "the City" from metropolitan London.  (The latter is particularly apropos since the City of London, like the City of Industry, has far more businesses--and workers--than actual residents.) Indeed, the small number of actual residents even further suggests "City of" is best treated as part of the community's proper name, and NOT merely a legal title.  Could someone please justify WHY it should be just plain "Industry"??? --RBBrittain (talk) 23:35, 20 October 2013 (UTC)
replies: text: When I lived in Los Angeles County, I consistently heard it called the City of Industry, and assumed it was so called to avoid confusion with the common noun. —Tamfang (talk) 07:10, 2 July 2017 (UTC)

text: The city's website (https://www.cityofindustry.org) and all of its official letterhead uses "City of Industry". I was born and raised in the San Gabriel Valley and have had clients throughout the City of Industry, and it's never been referred to as "Industry". - Acwan93 (talk) 16:20, 28 December 2020 (UTC)
thread_title:  "Industry" or "City of Industry"? 

message: ? TheKuygeriancontribsuserpage 12:33, 23 May 2021 (UTC)
thread_title:  New article?
Talk:Solanus Casey

message: Hello everyone! I am new to Wikipedia so please forgive me if this is not the right place to do this. It seems to me that a decent amount of the content in the the 'Priesthood' sections goes beyond the scope of Solanus' priestly duties/ministry. Many things, such as his work as porter and his time in Yonkers, were ministries typically given to non-ordained/lay Capuchin friars. Perhaps, we could consider changing the title of this section form 'Priesthood' to 'Ministry' or 'Ministerial Life' which would include all of these things as well as his priestly actions. Thoughts?
--Fraterseraphicus (talk) 22:28, 28 May 2019 (UTC)
thread_title:  Change 'Priesthood' to 'Ministry' 

message: In the section just before his death there is a seemingly random reference to a Martha saying a rosary with him but there is no previous mentions or reference to who she is.
Nyth63 11:47, 18 May 2021 (UTC)
replies: text: Casey had a sister named Martha, who visited him at the end of his life. link--Quisqualis (talk) 19:12, 23 May 2021 (UTC)
thread_title:  Who is Martha? 

message: This statement listed under quotations by Bl. Solanus Casey has no source and according to biographer Michael Crosby, this is from a poem by his brother Edward:
"God condescends to use our powers if we don't spoil His plans by ours."
Source: Solanus Casey: the official account of a virtuous American life by Michael Crosby. p. 32. Archive.org. Leucojum (talk) 06:55, 4 August 2023 (UTC)
thread_title:  Quotes
Talk:Trikaya

message: It seems only half-complete; it spends a lot of time talking about things not related to Trikaya, and never gets around to discussing the nature and functions of the three kayas themselves.  I came here hoping for links to help clarify a mention of the different kayas in another article, but this one isn't very helpful. Unfortunately I don't know that much about the topic and I don't want to step into the middle of an evolving article. Is more going to be written soon? RandomCritic 23:06, 26 May 2006 (UTC)
replies: text: No kidding.  I tried to make some improvements (and actually find the right citations in the Pali Canon...not fun).  It's a little better, but still needs work.  :(  Ph0kin 19:42, 27 July 2007 (UTC)
thread_title: What's up with the article?

message: between Trikaya and Body, speech and mind
* body, speech, mind A Dictionary of Buddhism
In case the dictionary is right, this should be inserted, too, I think.
:Austerlitz -- 92.78.131.208 (talk) 20:56, 17 November 2008 (UTC)
thread_title: Connection

message: Looks like the page is missing or something.  Hitting the link to "Nirmanakaya" within the "Trikaya" page keeps us on the "Trikaya" page, and entering "Nirmanakaya" manually into the URL brings us to "Trikaya".  Any fixes?  —Preceding unsigned comment added by Wiki123qwe (talk • contribs) 04:00, 26 March 2010 (UTC)
thread_title:  Where's the page for Nirmanakaya? 

message: It's even in the reference, Griffiths (2018) p.278. Regards, Joshua Jonathan -Let's talk! 15:32, 26 April 2023 (UTC)
thread_title:  Nirguna and sarguna Brahman
Talk:Clacks

message: i am missing a mentioning of the man in the middle attack in going postal 
----
There are several errors in this text that I can’t be bothered to fix cleanly right now. “ The largest is the one on the huge hill in Ankh-Morpork called The Grand Trunk” – this is the main trunk tower (the hill is the Tump), which is one end of the Grand Trunk, the line from Ankh-Morpork to Genua. “ Sent messages were also automatically recorded on punch cards, kept in a metal drum.” - this does not seem to agree with the operation of the drum as described in Going Postal. The drum seems to be a self-contained clockwork unit which, among other things, can automatically switch out messages for a given tower. Punch cards don’t seem to be a suitable form of storage; there is certainly no specific reference to the use of punched cards within the drum. -Ahruman 17:40, 11 April 2006 (UTC)
replies: text: I've corrected the Tump/Trunk confusion, and just deleted the line about the drum for the moment. Daibhid C 13:37, 21 April 2006 (UTC)
replies: text: Okay, I've reread the book, and I think that's it sorted out now. Daibhid C 20:17, 9 May 2006 (UTC)
thread_title: Untitled

message: I’ve added in-universe and primary-sources templates to the article. Basically, it needs to be completely rewritten because while it would be a good Discworld Wiki article, it’s not a good Wikipedia article. See Wikipedia:Manual of Style (writing about fiction). -Ahruman 07:30, 1 October 2007 (UTC)
replies: text: I find it a bit distressing, though not surprising, that us editors of articles about fiction were not informed when the requirements for articles about fiction were turned upside down. --Kizor 22:22, 7 October 2007 (UTC)
replies: text:  It's a fun article to read, but it's not an encyclopedia article (i.e. it cracks jokes). I think that's what Ahruman was getting at. He's not saying it's bad or factually inaccurate, just inappropriately styled.
Actually, I have a factual error :) The Tump, as a name, predates the clacks tower being built on it, so I don't think the name is in reference to the Trump Tower or the Grand Trunk. Can't remember the reference offhand or I'd change the text. Might have been in the Streets of Ankh-Morpork or maybe the first Companion.Dantheman123 (talk) 14:54, 20 May 2008 (UTC)
thread_title:  Good, but wrong. 

message: I'd always taken it as read that the euphonious, sentimental-sounding name Dearheart, in association with the innovative engineering that created the clacks system, was a reference to inventor Sherman Fairchild, of Fairchild Semiconductor, the company that produced the first commercial integrated circuits and hence paved the way for the computer revolution. Thoughts? Evidence? --71.146.7.39 (talk) 05:57, 24 December 2009 (UTC)
thread_title:  Dearheart / Fairchild?
Talk:Radio (Robbie Williams song)

message: Smash Mouth also had a song called Radio on their album Astro Lounge. Should there be a note at the top for this? Some guy 17:50, 11 April 2006 (UTC)
replies: text: Never mind. Some guy 17:55, 11 April 2006 (UTC)
thread_title: Smash Mouth
Talk:Atari XG-1 light gun

message: The reasoning in that sentence is not correct. If it were, everything that works with the Atari 7800 could be played on Atari 2600s as well, which is obviously false.--217.232.226.236 (talk) 12:26, 6 August 2010 (UTC)
thread_title:  "And since the Atari 7800 is backwards compatible, the XG-1 also works on the Atari 2600." 

message: I've added a couple of refs to the article to get it over GNG at least. Probably a more detailed GBooks search might turn up as well, but a quick search on the internet archive turned up at least those two refs. However, if at some point this is taken to AFD let this comment stand as a "Keep or, if not keep, merge to Atari XEGS" !vote. Regarding compatibility with the Atari 2600, see Sentinel - the light-gun was clearly compatible with the Atari 2600 otherwise that game would never have been released. FOARP (talk) 12:23, 1 March 2021 (UTC)
replies: text: @ - do you think we've covered off WP:GNG with the latest sources or shall we leave the notice up? FOARP (talk) 12:23, 1 March 2021 (UTC)
thread_title:  GNG, Atari 2600 compatibility