Are the following sentences correct?  It's high time the government took steps to eradicate terrorism. It's high time to take steps to eradicate terrorism.  I am asking this question because I have learned that the verb should be in the past form if we use &quot;high time&quot;. Thanks
Why do we use the simple past but not the present or future in the following expressions:  Don't you think it's time we went a little further Don't you think it's time we ate Don't you think it's time we went home
I thought people would be working on little code projects together, but I don't see them, so here's an easy one:  Code that validates a valid US Zip Code. I know there are ZIP code databases out there, but there are still uses, like web pages, quick validation, and also the fact that zip codes keep getting issued, so you might want to use weak validation.  I wrote a little bit about zip codes in a side project on my wiki/blog:    There is also a new, weird type of zip code.     I can do the javascript code, but it would be interesting to see how many languages we can get here. If $F\supset E$ and $E\supset k$ are normal extensions. I want a counter-example where $F\supset k$ is not normal What is the probability that $x_1+x_2+...+x_n \le n$? Given that $X_1, X_2...$ are mutually independent random variables. For each $i$ with $1\le i \le n$   the variable $X_i$ is equal to either $0$ or $n+1$ $E(X_i)$ = $1$   also.. if $X_i$ is equal to either $0$ or $n+1$, doesn't that mean that all $X_i$ need to be $0$?  Thanks Companion affinity change notification I want to work on a small app that will use Telegram from within Ubuntu but wanted to first know if there was already a work in progress for this since I noticed that, for example, pidgin has support for WhatsApp. With this in mind, is there a messenger app that has support (even basic support) for Telegram from within Ubuntu. The sum of an uncountable number of positive numbers Claim: If $(x_\alpha)_{\alpha\in A}$ is a collection of real numbers $x_\alpha\in [0,\infty]$ such that $\sum_{\alpha\in A}x_\alpha&lt;\infty$, then $x_\alpha=0$ for all but at most countably many $\alpha\in A$ ($A$ need not be countable).  Proof: Let $\sum_{\alpha\in A}x_\alpha=M&lt;\infty$. Consider $S_n=\{\alpha\in A \mid x_\alpha&gt;1/n\}$.  Then $M\geq\sum_{\alpha\in S_n}x_\alpha&gt;\sum_{\alpha\in S_n}1/n=\frac{N}{n}$, where $N\in\mathbb{N}\cup\{\infty\}$ is the number of elements in $S_n$.  Thus $S_n$ has at most $Mn$ elements.   Hence $\{\alpha\in A \mid x_\alpha&gt;0\}=\bigcup_{n\in\mathbb{N}}S_n$ is countable as the countable union of finite sets. $\square$  First, is my proof correct? Second, are there more concise/elegant proofs? How do I uninstall the command line tools for Xcode? We have a bunch of Mac at work that no longer require Xcode or command line tools so we'd like to remove them so the compilers aren't hanging around and we don't have to keep updating them when updates arrive. , but now that Xcode is an app store app you are left with the tools if you ever install them. Can we clean this other than wiping the OS for macs running 10.10 and newer? What is the fastest lens available for a DSLR? I've seen references to f1.2 lenses. I was wondering, are there any faster lenses available for a DSLR mount? When is the Killing form null? When is the Killing form $\kappa$ of a Lie algebra $\mathfrak g$ null, i.e. $\kappa(\cdot,\cdot)=0$? Surely this is true for any Lie algebra with trivial bracket, but is this the only case? I can't seem to find any nontrivial examples. Norm $N$ on $\Bbb Z[\sqrt d]$ is multiplicative, $N(x)$ prime $\Rightarrow x$ irreducible Unsupervised learning for anomaly detection I've started working on an anomaly detection in Python.  My dataset is a time series one. The data is being collected by some sensors which record and collect data on semiconductor making machines.  My dataset looks like this:  ContextID   Time_ms Ar_Flow_sccm    BacksGas_Flow_sccm 7289973 09:12:48.502    49.56054688 1.953125 7289973 09:12:48.603    49.56054688 2.05078125 7289973 09:12:48.934    99.85351563 2.05078125 7289973 09:12:49.924    351.3183594 2.05078125 7289973 09:12:50.924    382.8125    1.953125 7289973 09:12:51.924    382.8125    1.7578125 7289973 09:12:52.934    382.8125    1.7578125 7289999 09:15:36.434    50.04882813 1.7578125 7289999 09:15:36.654    50.04882813 1.7578125 7289999 09:15:36.820    50.04882813 1.66015625 7289999 09:15:37.904    333.2519531 1.85546875 7289999 09:15:38.924    377.1972656 1.953125 7289999 09:15:39.994    377.1972656 1.7578125 7289999 09:15:41.94     388.671875  1.85546875 7289999 09:15:42.136    388.671875  1.85546875 7290025 09:18:00.429    381.5917969 1.85546875 7290025 09:18:01.448    381.5917969 1.85546875 7290025 09:18:02.488    381.5917969 1.953125 7290025 09:18:03.549    381.5917969 14.453125 7290025 09:18:04.589    381.5917969 46.77734375   What I have to do is to apply some unsupervised learning technique on each and every parameter column individually and find any anomalies that might exist in there. The ContextID is more like a product number.  I would like to know which unsupervised learning techniques can be used for this kind of task at hand.  Thanks Share a Folder between two Local Users I and my brother have User Accounts on this machine. I want to share the Documents directory with him.  Is there a STRAIGHTFORWARD way to do it?  I am not a power user so I am looking for a way to do this using nautilus, rather than a script or a way that requires creating symlinks.  I can download an application if i have to.  Last time I wanted to do this I just copied the contents to /home for both of us to use.  Something I can do in System Settings would be appreciated Algorithm for offsetting a latitude/longitude by some amount of meters How can I make content disappear when a user logs in? I am working in Wordpress, and I would like to make certain elements disappear once a user logs in. How can I do this?  I have social icons on my page that I positioned to the center of my menu bar at the top of my website.  those icons are generated by a plugin  that is what i want to disappear How to access the correct `this` inside a callback? Many people (at least in Germany) think that Italians add olive oil to the boiling water for spaghetti. However, Italians tend to tell the opposite (from my experience).  So, can you please state objective reasons for or against adding olive oil to the boiling water for spaghetti? When —the bartender at the Cantina at Mos Eisley spaceport in the first Star Wars—says:     “We don’t serve their kind here.”   In reference to C-3PO and R2-D2 entering the bar, it’s certainly a bit prejudicial, but are these commonly held views in this universe? We don’t see it happen anywhere else in the films but is it implied elsewhere? We know that if a finite field $F$ has characteristic $p$ (prime), then $F$ has cardinality $p^r$ where $r = [F:\mathbb{F}_p]$.   I'm now trying to say something about the possible cardinalities of subfields of $F$. I can see that there is a subfield of cardinality $p^s$ for each $s$ that divides $r$, given by the fixed field of the group generated by $\phi^s$, where $\phi$ is the Frobenius automorphism.  Now suppose $K$ is a subfield of $F$. Then (since both are additive groups), Lagrange gives us that $|K|$ divides $|F|$, so $|K| = p^t$ for some $1 \leq t \leq r $ (alternatively, $K$ contains $\mathbb{F}_p$ and so is a vector space over $\mathbb{F}_p$ and is thus isomorphic to $\mathbb{F}_p^t$, where $t = [K:\mathbb{F}_p]$). By considering the multiplicative group of units of $K$ and $F$ respectively, we get that $ p^t - 1$ divides $p^r -1$. I want to make the leap to $t|r$, but I'm failing to see why this needs to be true. Any help would be appreciated. I can't destroy blocks in Minecraft Creative Mode (singleplayer) List has no rows for assignment to SObject