Check string var to compile with the datetime format
Validate date format in php
How to concatenate two MP4 files using FFmpeg? Every finite subset of $\mathbb R$ contains its supremum (and its infimum)   Proof Let $A=\{a_1,...,a_n\}$ be a finite subset of $\mathbb{R}$. Since it is non-empty and it is bounded ($\max A$ is an upper bound), it has supremum, that is $\exists \sup A$ and by definition $\forall a \in A \;\, a \leq \sup A$. Let's suppose that $\sup A  \not\in A$ then, since $\max A \in A$ we have that $\max A &lt; \sup A$. But considering that $\mathbb Q$ is dense in $\mathbb R$ we can conclude that $\exists r \in \mathbb Q$ s.t. $\max A &lt; r &lt; \sup A$, but this is absurd since $r$ is an upper bound of $A$ and it is lower than the supremum. Necessarily, $\sup A\in A$.  Is there anything wrong? Is there any way to prove this without using density of $\mathbb Q$ or another property? Thanks in advance. What does the 'B' (or bonus) mean on a basketball scoreboard? What changed in the Hot Questions sidebar algorithm? I've recently noticed that the hot questions list is now different almost every time I look at it. It used to be static - I.e. I could browse around for half an hour and the items on it would be minimally changed.  Was the algorithm changed? In what way? Weird artifacts in my UV mapped texture Any ideas what's causing those chunks of geometric artifacts?  Argh. Performance of Non Clustered Indexes on Heaps vs Clustered Indexes How to prevent alt-f1 from selecting Dash variable-variables in PHP Why is my voice command missing from the ok glass menu in XE16? Installation of Ubuntu 16.04 blocked: cannot find hard disk I am trying to install Ubuntu 16.04 LTS on a Dell XPS 13 (9350). The laptop came with Windows 10 pre-installed. I am installing from a pendrive but I think the issue would be the same if I used e.g. a USB DVD drive.   Dude, where's my hard drive?  I am blocked because the installation program cannot find 8.6Gb of free space on my hard drive despite the fact that there are hundreds of Gb free according to Windows. Digging a bit into the problem, it seems that Ubuntu cannot see my hard disk at all.    This is the output of GParted:    I am not sure what that drive mounted at /cdrom is, but it seems the only device that exists in the system that is not a RAM disk or a loop device:   Content of /proc/partitions:   ubuntu@ubuntu:~$ cat /proc/partitions   major minor  #blocks  name     1        0      65536 ram0     1        1      65536 ram1     1        2      65536 ram2     1        3      65536 ram3     1        4      65536 ram4     1        5      65536 ram5     1        6      65536 ram6     1        7      65536 ram7     1        8      65536 ram8     1        9      65536 ram9     1       10      65536 ram10     1       11      65536 ram11     1       12      65536 ram12     1       13      65536 ram13     1       14      65536 ram14     1       15      65536 ram15     7        0     130048 loop0     7        1    1104188 loop1     8        0    1970239 sda     8        1    1953439 sda1   Summary of fdisk -l:   ubuntu@ubuntu:~$ sudo fdisk -l |grep Disk Disk /dev/ram0: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram1: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram2: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram3: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram4: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram5: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram6: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram7: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram8: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram9: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram10: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram11: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram12: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram13: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram14: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram15: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/loop0: 127 MiB, 133169152 bytes, 260096 sectors Disk /dev/loop1: 1.1 GiB, 1130688512 bytes, 2208376 sectors Disk /dev/sda: 1.9 GiB, 2017525248 bytes, 3940479 sectors Disklabel type: dos Disk identifier: 0x00000000   Result of fdisk of the only non-loop non-RAM device (not sure this is relevant):   ubuntu@ubuntu:~$ sudo fdisk -l |grep -A 50 sda Disk /dev/sda: 1.9 GiB, 2017525248 bytes, 3940479 sectors Units: sectors of 1 * 512 = 512 bytes Sector size (logical/physical): 512 bytes / 512 bytes I/O size (minimum/optimal): 512 bytes / 512 bytes Disklabel type: dos Disk identifier: 0x00000000  Device     Boot Start     End Sectors  Size Id Type /dev/sda1  *      129 3907007 3906879  1.9G  c W95 FAT32 (LBA)   I am blocked at this point. Any help will be much appreciated.   Additional information (following comments):   Running dmesg |grep -i sata shows (among others) eight lines that suggest some kind of error:   ata1: SATA link down (SStatus FFFFFFFF SControl FFFFFFFF) ata2: SATA link down (SStatus FFFFFFFF SControl FFFFFFFF) ata3: SATA link down (SStatus FFFFFFFF SControl FFFFFFFF) ata4: SATA link down (SStatus 0 SControl 0) ata5: SATA link down (SStatus 0 SControl 0) ata6: SATA link down (SStatus 0 SControl 0) ata7: SATA link down (SStatus 0 SControl 0) ata8: SATA link down (SStatus 0 SControl 0)  I have "Restarted" windows instead of only "Shutdown" it to avoid problems with "fast startup", following some recommendations I have read of other users having problems installing Linux on Windows 10 laptops.ago   Regarding SATA, the BIOS says: "SATA Operation: RAID ON". The other two options available are "Disabled" and "AHCI".    I have followed the instructions of these two pages from Dell: , . Packet Tracer 7 on Ubuntu 18.04 cannot launch I am having some issues with Packet Tracer 7 on Ubuntu 18.04: when I launch it with ./PacketTracer7 within the /opt/pt/bin directory, it opens but close immediately with a lot of:     "Warning: libpng warning: iCCP: known incorrect sRGB profile"   error msgs on the console.  The thing is, I installed PacketTracer7 on Ubuntu 16.04 and I remember that I had that issue with the libqt5multimedia.so.5 dependency, but I was able to find the solution (thanks to askubuntu and google) by installing the dependencies. So, everything perfect with 16.04.  But I'm a bit lost now. I can't realize where the issue come from, because I know the qt5 libs are installed on the system.  This is what I see when I run dpkg --get-selections:  libqt4-xmlpatterns:amd64            install libqt5concurrent5:amd64             install libqt5core5a:amd64              install libqt5dbus5:amd64               install libqt5gui5:amd64                install libqt5multimedia5:amd64             install libqt5multimediaquick-p5:amd64          install libqt5multimediawidgets5:amd64          install libqt5network5:amd64                install libqt5opengl5:amd64             install libqt5opengl5-dev:amd64             install libqt5positioning5:amd64            install libqt5printsupport5:amd64           install libqt5qml5:amd64                install libqt5quick5:amd64              install libqt5quickparticles5:amd64         install libqt5quicktest5:amd64              install libqt5quickwidgets5:amd64           install libqt5script5:amd64             install libqt5scripttools5:amd64            install libqt5sensors5:amd64                install libqt5sql5:amd64                install libqt5sql5-sqlite:amd64             install libqt5svg5:amd64                install libqt5test5:amd64               install libqt5webchannel5:amd64             install libqt5webkit5:amd64             install libqt5webkit5-dev:amd64             install libqt5widgets5:amd64                install libqt5x11extras5:amd64              install libqt5xml5:amd64       I've tried to uninstall pt and the qt5 libs and install everything again, but nothing... the same issue.  Did anybody install PacketTracer7 on Ubuntu 18.04?  I would be very happy to have your help for doing it!  Thanks and forgive me for my poor english :) What is the difference between a function decorated with  and one decorated with ? Is it possible to read a .PST file using C#? I would like to do this as a standalone application, not as an Outlook addin (if that is possible).   If have seen     to this mention  but I am looking to do this programmatically in C#.  I have looked at the  namespace but that appears to be just for Outlook addins.  appears to be able to read PST files, but this is in C (sorry Joel, I didn't ).  Any help would be greatly appreciated, thanks!  EDIT:   Thank you all for the responses! I accepted Matthew Ruston's response as the answer because it ultimately led me to the code I was looking for. Here is a simple example of what I got to work (You will need to add a reference to Microsoft.Office.Interop.Outlook):  using System; using System.Collections.Generic; using Microsoft.Office.Interop.Outlook;  namespace PSTReader {     class Program {         static void Main () {             try {                 IEnumerable&lt;MailItem&gt; mailItems = readPst(@"C:\temp\PST\Test.pst", "Test PST");                 foreach (MailItem mailItem in mailItems) {                     Console.WriteLine(mailItem.SenderName + " - " + mailItem.Subject);                 }             } catch (System.Exception ex) {                 Console.WriteLine(ex.Message);             }             Console.ReadLine();         }          private static IEnumerable&lt;MailItem&gt; readPst(string pstFilePath, string pstName) {             List&lt;MailItem&gt; mailItems = new List&lt;MailItem&gt;();             Application app = new Application();             NameSpace outlookNs = app.GetNamespace("MAPI");             // Add PST file (Outlook Data File) to Default Profile             outlookNs.AddStore(pstFilePath);             MAPIFolder rootFolder = outlookNs.Stores[pstName].GetRootFolder();             // Traverse through all folders in the PST file             // TODO: This is not recursive, refactor             Folders subFolders = rootFolder.Folders;             foreach (Folder folder in subFolders) {                 Items items = folder.Items;                 foreach (object item in items) {                     if (item is MailItem) {                         MailItem mailItem = item as MailItem;                         mailItems.Add(mailItem);                     }                 }             }             // Remove PST file from Default Profile             outlookNs.RemoveStore(rootFolder);             return mailItems;         }     } }   Note: This code assumes that Outlook is installed and already configured for the current user. It uses the Default Profile (you can edit the default profile by going to Mail in the Control Panel). One major improvement on this code would be to create a temporary profile to use instead of the Default, then destroy it once completed. tables with lots of columns I have a table that lists various attributes of an individuals personal development plan; objective, time to complete objective, comments etc. The table is editable so the user can directly add comments without having to go to an intermediate form. The problem is that the client wants to add more columns and this is messing up the visual display.   The alternatives I have are:   allowing columns to expand out on click keeping essential attributes in table, rest in 'advanced edit option form' or somesuch I don't know - have you any ideas?   One more thing to add: I think the addition of extra columns is based on user feedback ...  edit: here is what I have gone for Existence in ZF of a set with countable power set How to populate UIList with all material slot in scene? 2.8 Windows 7, file properties, date modified, how do you show seconds? Anyone know a way to immediately show the seconds of a file's date modified property in the GUI? So if you create a file, any file in any directory, right-click and choose Properties, the date modified (if it's recent) will say something like "dd/mm/yyy hh:mm, one minute ago" - reminder this is in Windows 7. Windows XP did it normally. Then they changed something.  If you wait a while, eventually you'll see the seconds, I'm not sure how long a while is, but this is incredibly annoying if you want to troubleshoot something that relies on the seconds of timestamps... is there a setting? registry key I can change perhaps?  I'm literally using Chrome, pasting in the path of the directory to be able to see the seconds quickly (as a workaround) but would be nice to be able to use Win7. How do I theme the Nautilus background image? I want to change the background image in the Nautilus file browser. My idea is to put my own style in the background. I'm using Ubuntu 11.10 and Nautilus is version 3.  I know that I have to change the nautilus.css file of the theme, but the problem is that there is not a parameter for the background. I just want to apply an image but I can't find the file or parameter to change it.  The CSS file is in the directory /home/UserName/.theme/MyTheme/gtk-3.0/apps. I've changed the nautilus.css file. I wrote two new lines using CSS style but I don't know where the correct place is to put it. The lines are:   background-image: url("carbon.jpg"); background-repeat: repeat;   Obviously I put the image called carbon.jpg in the same directory of nautilus.css, but this change doesn't work because I need to know whichs class displays the Nautilus file browsing frame. If I find this class I guess that this code will work.  If someone knows how to do it, please tell me because I really want to make this change. What is the shortest way to compute the last 3 digits of $17^{256}$? What is the shortest way to compute the last 3 digits of $17^{256}$ ?  My solution: \begin{align} 17^{256} &amp;=289^{128} \\ &amp;=(290 - 1)^{128}\\ &amp;=\binom{128}{0}290^{128} -  ... +\binom{128}{126}290^2 - \binom{128}{127}290 + \binom{128}{128} \end{align}  Computed the last 3 terms whose last 3 digits gave the last 3 digits of $17^{256}$.  Is there any shorter method to do this(which requires much less computation) ? When I use , the results I get don't reflect recent activity. Sometimes the data I get back are two months out of date. What's wrong? This is intended to be a canonical reference for questions about SEDE not reflecting real-time results.