The report said that years ago city planners had planned to build a facility that turns salt water into fresh water, but financial woes made that impossible.   In this sentence should turned be used instead of turns?
I know the past tense carries the past tense in every dependent clause, but referring specifically to places or to things that are eternal, like the Earth, seems a bit weird and therefore we sometimes (I believe incorrectly) say     He didn't know that New Jersey was actually on the East Coast.   Because it still is. Or     He thought the Earth was round.   So is it square now?  Logically speaking, would you consider the use of past tense here a bit confusing in a day-to-day speech in these examples? Would you instinctively opt for using the present tense?
Zero morphism does not depend on zero object I want to prove that zero morphism does not depend on zero object. Let a zero object $0 \in \mathcal{C}$.  I supposed that exists another zero object $0' \in \mathcal{C}$, and I considered $0: A \to B$ and also $$A \to 0 \to 0' \to B$$ But I don't know to prove that zero morphism $0: A \to B$ not does not depend on zero object. Can anybody give me a suggestion? Can I cross the USA-Canada border with a birth certificate and a passport locator number? My US passport took too long to be shipped to me, and it will arrive after I need to leave. Will I be able to cross the border from the United States to Canada with a birth certificate (copy) and a passport locator number? Coauthoring with a reviewer possible? I recently submitted an article to a math journal and got a response from a reviewer, with an attachment. In it, I have found some good  advice that could improve my article tremendously.  I am a bit suspicious of its accuracy since it could resolve what I have been working with for some months in a few  sentences.   But anyway, it was enough for me to ask the reviewer for coauthoring with me.   My question would be, does it often happen that an author asks a referee for coauthoring during the review process? Or could it even be possible?  I was given a month to revise my article, but the chance that I could revise successfully by myself seems to be fat.  I would be looking forward to any advice.  Thanks in advance. How can I test within a document, whether or not the initial  \documentclass[a4paper,11pt,twoside,fleqn,draft]{report}   includes the "draft" option? My naive attempt  \newif\ifmydraft \mydraftfalse \DeclareOption{draft}{\mydrafttrue}   does not work, and breaks a later \usepackage command. In the Stack Exchange Android App v1.0.7 1.0.33 (with a HTC One running Android 4.4.2), the answer count for a question you're viewing is displayed in two places:   In the label of the answer tab:   At the bottom of the question tab:    I've noticed that these counts don't reliably update when new answers arrive.   If you refresh the question tab, neither count updates. If you refresh the answer tab, the second count will be updated, but the answer tab's count will not, leaving the two out of sync.   Refreshing either tab should probably update both counts!    Screenshots of the bug in action:    I waited for it to be answered. A while later, the question now has an answer.    The tab still says 0 answers though. Switching back to the question tab, , but the tab count still doesn't. While using the top bar to navigate across communities, I noticed that the reputation displayed on meta sites on that list does not match the one of their corresponding main sites:    I have noticed on past situations that reputation gained takes a bit to "update" on the display on Meta sites (that is, if you gain rep on SO, for example, it will take some time for you to see your updated rep on MSO).  However, I have never noticed this behavior here, on the Sites List of the top bar. Furthermore, the "delay" here seems to be more severe, as the "outdated" rep showed is of several days ago (for example, I turned 3k on SO almost exactly a week ago, but the rep shown on MSO is still &lt;3k).  Any idea what could be causing this behavior?    Update: 2 months later this persists: my main site rep updates correctly but their corresponding meta rep remains the same as in the image above.     Update: As per Catija's  I removed the site (MSO) and put it back in, but it didn't update the rep.   However, after removing one site (TWP Meta), waiting at least a day, and then adding it back I see that although the reputations still don't match, the number displayed did changed a bit (previously 29,924 but now 33,112): I don't know how many of you have experienced the  principle when posting questions on SO, but I know I have on a few occasions. And then I just discard my question. So here's the question:  Should we go ahead and post the question?  Of course if it's something stupid like forgetting a semicolon, etc., I would say no... but there are several occasions, like if a data structure doesn't make sense, that at least someone would eventually benefit from the question/answers.  And if you should ask the question, how would you recommend choosing an answer for it? I'm used to doing all my coding in one C file. However, I'm working on a project large enough that it becomes impractical to do so. I've been #including them together but I've run into cases where I'm #including some files multiple times, etc. I've heard of .h files, but I'm not sure what their function is (or why having 2 files is better than 1).  What strategies should I use for organizing my code? Is it possible to separate "public" functions from "private" ones for a particular file?   question precipitated my inquiry. The tea.h file makes no reference to the tea.c file. Does the compiler "know" that every .h file has a corresponding .c file? I have this file:  sometext1{ string1 }  sometext2{ string2 string3 }  sometext3{ string4 string5 string6 }   I want to search this file for a specific string and print everything before this string up to the opening { and everything after this string up to the closing }. I tried to achieve this with sed but if I try to print everything in the range /{/,/string2/ for example sed prints this:  sometext1{ string1 }  sometext2{ string2 sometext3{ string4 string5 string6 }   If I search for the string "string2" I need the output to be:   sometext2{ string2 string3 }   Thanks. Terminal, how to quit --More-- list Proving the Cauchy-Schwarz inequality by induction I ran across this problem in some old notes, and I frustratingly can't figure out how to do it   Let $a_i$ and $b_i$ be sequences of natural numbers, use induction to show  $\sum_{i=1}^n (a_ib_i)^{1/2} \le (\sum_{i=1}^n a_i)^{1/2}(\sum_{i=1}^n b_i)^{1/2} $  Obviously this is trivial to show for n=1. I can't make much progress on n+1. I've tried various tactics, squaring both sides etc.   Any hint or help would be appreciated. Thanks. After considering the answers to my previous question (), I've decided to take the 4 or so repositories I have and consolidate them into one. This of course leads to the question, what's the best way to do this?  Is there a way to combine two or more repositories maintaining the version history for both?  Edit: I should also point out that I'm using Assembla.com, which does not provide access to the svnadmin command, AFAIK  Another edit: Does this even matter? If svnadmin works on URLs, then it's no problem then. When do I clear US customs and immigration if connecting at a US airport to my final destination elsewhere in the US? Right now  is fairly broken -- it's a simple descending sort by views. As Joel said , it is &quot;a self-fulfilling prophecy.&quot; But this is not intentional, it's only because we haven't had time to improve it yet! As I sit down to write a better algorithm, I thought you guys might have some insight into what would make a good formula to determine the &quot;hot&quot; questions -- over the last 24 hours, the last week, the last month, and all time. Here are the variables we have to work with:  Votes [aka Score] Views Answers Answer Votes [aka Score] Whether the question has an accepted answer or not Time question was originally asked Time of last activity on question Reputation of asker Reputation(s) of answerers  Joel cited the reddit formula as an example, but I think our site is a little different than just a basic link submission site. Plus, we have more variables and data to work with. I found a  describing a few formulas: Y Combinator Hacker News  (p - 1) / (t + 2)^1.5 p = votes (points) from users t = time since submission in hours  Reddit  t = (time of entry post) - (Dec 8, 2005) x = upvotes - downvotes y = {1 if x &gt; 0, 0 if x = 0, -1 if x &lt; 0) z = {1 if x &lt; 0, otherwise x} log(z) + (y * t)/45000  Thoughts? Ideas? I don't want to overthink this; I just want the &quot;hot&quot; questions to be relevant and useful to us. So the simpler the algorithm the better! Based on my analysis of the above and the comments so far, here's the second version of what I have implemented so far. This might suck. I don't know:  (log(Qviews)*4) + ((Qanswers * Qscore)/5) + sum(Ascores) -------------------------------------------------------- ((QageInHours+1) - ((QageInHours - Qupdated)/2)) ^ 1.5  Note that accepted answers weight not at all in hotness. This is intentional, as I feel accepted answers are a fine social contract, but not a good data point for question or answer quality. This algorithm will heavily favor questions with LOTS of answers, as the sum(Ascores) are now included -- one assumes if there are lots of answers, there will be a lot more voting on the answers, too. Update: Note that this formula is what is used on the  linked from the homepage of each site. It is not the formula used to determine the  list. See . TikZ: turning edges into arrows using "child" notation I'm using TikZ for the first time to draw a simple Kripke model, and I'm using the child notation to produce new nodes. How can I turn my edges into arrows?  \begin{tikzpicture}   \node [circle,draw] (q0) {}   child {node [circle,draw] (q1) {$p$}     child {node [circle,draw] (q4) {$p$}       child {node [circle,draw] (q7) {$p\land q$}}       child {node [circle,draw] (q8) {$p\land q$}}       child {node (q9) {} edge from parent[-&gt;, dashed]}}     child {node [circle,draw] (q5) {$q$}}     child {node (q6) {} edge from parent[dashed]}}   child {node [circle,draw] (q2) {$p$}}   child {node (q3) {} edge from parent[dashed]}; \end{tikzpicture}   I know how to change the color or thickness of all edges by passing an option at the beginning of \begin{tikzpicture}, but I can't turn them into arrows.   Also, while we're at it, is there a way to label these edges? Or am I left with simply using node notation for all my nodes?  Thanks for all your help, Piotr In MS SQL how do I find out what tables have not been queried or updated in a long time? Using pre-compiled headers with CMake Where to get QGIS toolbar icons? Does anybody know where to download the QGIS toolbar icons? How to run grep with multiple AND patterns? Why am I seeing a bomb icon on my files and folders in Ubuntu?