DateTime from unix timestamp is wrong
Convert from MySQL datetime to another format with PHP
Similar to Lifepod 1993, but not it Which version of NFS is my NFS server using? I'm mounting a NFS filesystem on my machine.  How do I figure out what version of the NFS protocol the server uses?  I don't have access to the NFS server machine, but I do have root on my client machine.  Is there anything I can run on my client machine to identify what version of the NFS protocol is being used by the server, or what versions it supports?  I wasn't able to find any useful information in /var/log/messages or kernel debugging output (dmesg).  I have tried running nfsstat, but I'm not sure if it is giving me any useful information.  However, when I run nfsstat -s to request information about the server, I don't see anything useful:  # nfsstat -s Server rpc stats: calls      badcalls   badfmt     badauth    badclnt 0          0          0          0          0          When I run nfsstat -c to request information about the client, I do see some information about Client nfs v3, but I'm not sure how to interpret this.  Does this tell me anything about the protocol being used between my client machine and the NFS server?  Does it mean I am currently using v3 of the NFS protocol?  Does it tell me anything about what versions of the NFS protocol the server supports, e.g., NFS v4? I've been using gksudo nautilus and sudo nautilus through Alt+F2.   What's the difference? They look very similar! How is the notation $X\sim N(\mu,\sigma^2)$ read? Is it $X$ follows a normal distribution? Or $X$ is a normal distribution? Or perhaps $X$ is approximately normal..  What if there are several variables that follow (or whatever the words is) the same distribution? How is it written? sudo on Windows 10 Linux subsystem cannot resolve local machine name I installed Windows 10 Anniversary update and the Linux subsystem. When running anything with sudo it takes ages and then I get this error message:     sudo: unable to resolve host MYMACHINE   How to get rid of this and make sudo fast? Why do the measurements of this object seem erroneous? I just found out about the Mesh Display : Length feature in the "N" panel (thanks to ) that allows one to measure the length of a face or vertice.  But my first encounter with this tool gives me complex feelings of love and hate, see how, as I was trying to measure the aspect ratio of this TV screen, I am getting WIDTH = 20.33 and HEIGHT = 37.57.  These values seem awfully wrong, since my betrusted eyes tell me the height should be shorter than the width.    I have tried measuring the single vertices as well, to identical results. context menu parent? How do you call an external command (as if I'd typed it at the Unix shell or Windows command prompt) from within a Python script? How to Set Firefox 4 to only store History for a set period of time, i.e. one day? I want to setup Firefox 4 to only store my history for 1 day (or some other set period of time), but I can't seem to find an option to do that in the options dialog, all I can see is "Remember History", "Never Remember History" and "Custom History Settings". "Custom History Settings" only lets me select what to keep, not for how long.  Is there anyway I can do this? Elastic net penalty How to tell Max CP? I'm comparing different pokemon of the same type (e.g. comparing pidgeys with each other), to see which ones I want to keep and which to transfer. I want to select based on Max CP -which differs per each pokemon-, but it's a bitch to find what a pokémon's max CP would be.  Even though the bar fill isn't very accurate (not determined per every 1%), if a CP bar is filled to 50%, it's not hard to find out what the max CP of that pokemon is. But otherwise, since there are no round measurement tools in any software I know of, it stays at mere guessing.  Does anyone know of a way to do this effectively? How to convert a column number (e.g. 127) into an Excel column (e.g. AA) How do you convert a numerical number to an Excel column name in C# without using automation getting the value directly from Excel.  Excel 2007 has a possible range of 1 to 16384, which is the number of columns that it supports. The resulting values should be in the form of excel column names, e.g. A, AA, AAA etc. How to disable all div content There is a remote Windows server on a private network which I can connect to via Remote Desktop Connection.  I would like to be able to make TCP/IP connections from my computer to other computers on that server's network.  Remote Desktop Connection makes it possible to share printers, drives, and other local resources through the connection.  Is there any way to "tunnel" a TCP/IP connection via RDC?  I'd like something similar to the port-forwarding provided by SSH.  I don't see any way to do this via RDC, but I'm hoping the capability is there and I just don't know about it. options for appearance of links in hyperref If I use  \usepackage[colorlinks]{hyperref}   I get colored links for \cite (not good for printing or even viewing) but table of content looks fine.  If I use  \usepackage[colorlinks=false]{hyperref}   I get \cite  links in black with a colored frame (this looks very good) but the table of content looks strange with extra long boxes.  What are my other options? Can you have two styles in different parts of a document?   How do you make the page numbers in TOC to be the links instead of the section headers? Is a passport needed when flying within Mexico as a U.S permanent resident? How to get autofocus to work with D5100 and AF-P DX Nikkor I just bought Nikon 18 - 55 mm f/3.5 - 5.6G VR AF-P DX Nikkor from .  When I connected it to my Nikon D5100, the autofocus didn't work. There was nothing about this from the original seller's website.  Is there anything I can do short of returning? The Cartesian product of a family $(A_i\mid i\in I)$ is defined as $$\prod\limits_{i\in I}A_i=\{f:I\to\bigcup A_i\mid f(i)\in A_i\}$$ Let $I_n=\{i \in \mathbb N \mid i \le n\}$ for $n\in \Bbb N$ and $A_i$ be countable for all $i\in I_n$. Then $\prod\limits_{i\in I_n}A_i$ is countable.   My attempt: Lemma 1: $(\prod\limits_{i\in I_n}A_i) \times A_{n+1}$ and $\prod\limits_{i\in I_{n+1}}A_i$ are equinumerous for all $n \in \mathbb N$. (I presented a proof ) Lemma 2: If $A$ and $B$ are countable, then $A \times B$ is countable. (I presented a proof ) I will prove the theorem by induction on $n$. The theorem is trivially true for $n=0$. Assume that the theorem is true for $n=k$, then $\prod\limits_{i\in I_k}A_i$ is countable. Since $\prod\limits_{i\in I_k}A_i$ is countable (by inductive hypothesis) and $A_{k+1}$ is countable, then by Lemma 2 $(\prod\limits_{i\in I_n}A_i) \times A_{n+1}$ is countable. Furthermore, by Lemma 1 $(\prod\limits_{i\in I_k}A_i) \times A_{k+1}$ and $\prod\limits_{i\in I_{k+1}}A_i$ are equinumerous, then $\prod\limits_{i\in I_{k+1}}A_i$ is countable too. Thus the theorem is true for $n=k+1$. This completes the proof.   Does this proof look fine or contain gaps? Do you have suggestions? Many thanks for your dedicated help! What can you say about $f$ and $g$ in the case that $fg$ is 1) Injective, 2) Surjective - Cohn - Classic Algebra Page 15 Question: Are my proofs below valid?   In both cases we are using: $f:A\to B, g: B\to C$  Notation of your type converted: $(g\circ f)(x)=g(f(x))=xfg$    If $fg$ is injective what can be said about $f$ and $g$?  If $fg$ is injective then $f$ is injective:  Proof:  $(x_1fg = x_2fg \implies x_1=x_2)$  $x_1fg=x_2fg$ is clearly true when $x_1f=x_2f$  Which requires $x_1=x_2$, hence $f$ is injective.  If $f$ were not injective, then $x_1fg\ne x_2fg$  $\blacksquare$    If $fg$ is surjective what can be said about $f$ and $g$?  If $fg$ is surjective then $g$ is surjective:  Proof:  $(\forall c\in C)(\exists a\in A) |( a(fg))=c$  This means for $g$ every element must have had been mapped to. How can this be proved Mathematically?  well $(af)g=c$ is surjective, hence $(af)=(b\in B)$ and $bg=c$  $(\forall c\in g)(\exists b\in B)|(bg=c)$  Hence $g$ is surjective.  $\blacksquare$ Can't get Freeglut to work with Haskell on Windows