I am trying to remember a story I heard a long time ago. The setting was that there is a huge ship floating around with some sort of creatures. And this ship sails time and stays a few moments ahead of our present moment. These creatures literally with their tools and materials build the entire universe as it should look like a few moments later. And they continue to do that constantly as they move down the timeline with us following right behind them by a few moments.  The story also explained that this is why sometimes completely inexplicable things happen such as when you lose your keys and they turn up somewhere completely different. It's because some builder didn't pay attention to detail.
Does anyone know a SF TV short story in which there were blue men who helped "stage" our world- at least the parts we saw, on a minute by minute basis.  So, at each minute, everyone would be in the "world" that was built for that minute, then they would go on to the next "minute world".  The blue men were in the future minutes building most of reality, but only the parts that would be looked at at that minute (to save work, I think - why build something that will not every be "used")  And they were in the past tearing down all the previously lived minutes.  It was kind of a behind the scenes look at why when you set your keys down and come back to them, they aren't there. Then you look again a few minutes later and they are there. The reason in the show was that the blue men building that minute forgot to include your keys, but the next group got it right.  Years later, my wife and I still refer back to that show, so I would like to find out what it was and see if I can find a copy somewhere.  .
Normal + Connected -> Uncountable Here's a solution (to the exercise "prove that if $X$ is a space with more than one element, and is normal and connected then $X$ is uncountable"):   by Urysohn's lemma, given $A$ and $B$, closed and disjoint in $X$, there exists a continuous function from $X$ into $[0,1]$ such that $f(A)={0}, f(B)={1}$.   If $X$ were countable, so it would be $f(X)\subset [0,1]$; choose $r\in (0,1)\setminus f(X)$, then $X=f^{-1}([0,r))\cup f^{-1}((r,1])$, so $X$ is disconnected.  But the full power of the lemma wasn't used, all that was used is that there exists a continuous function $X\longrightarrow [0,1]$, so the condition of being normal seems too much.  So my question is, what are the weakest conditions on $X$ for the existence of such continuous functions into $[0,1]$ (or $\mathbb{R}$, for that matter)? "Infamous" for an event so I am trying to show that $f(x)$ divides $g(x)$ for all polynomials $g(x)$ satisfying that $g(A)=0$ where $f(x)$ is the minimal polynomial of a square matrix $A$.  I know from my professor that $f(x)$ is the minimal polynomial of $A$ so $f(A)=0$ so then $g(A)=0$. Therefore, $f(x)$ divides $g(x)$, i.e. $g(x)=f(x)h(x)$ where $h(x)$ is some other polynomial.  My prof told us to solve this question we need to let $b(x)=gcd((f(x),g(x))$ and by using Bezout's Identity, we need to show that $b(A)=0$. I am just having a little trouble trying to prove this. I know that this identity says:     For two polynomials $f_1(x)$ and $f_2(x)$, there exist polynomials   $g_1(x)$ and $g_2(x)$ such that $g_1(x)f_1(x) + g_2(x)f_2(x) = &gt; gcd(f_1(x), f_2(x))$.   And the uniqueness of minimal polynomial theorem is:     For a square matrix $A$, if $f_1(A) = f_2(A) = 0$ for two polynomials   $f_1(x)$ and $f_2(x)$, then $g(A) = 0$ for $g(x) = gcd(f_1(x), &gt; f_2(x))$. So the minimal polynomial of $A$ is unique up to a scalar.   So since $f(x)$ is already the minimal polynomial, I know that the $deg(b(x))=deg(f(x))$. I know how to prove the Bezout identity using the Euclidean algorithm, I'm just not exactly sure how I would show all of this using the notation he gave us of $b(x)=gcd((f(x),g(x))$. Any help at all would be appreciated. Apt-get 403 Forbidden, but accessible in the browser CSS Pseudo-classes with inline styles Unique constraint that allows empty values in MySQL How to solve this equation $x^{2}=2^{x}$? How to solve this equation $$x^{2}=2^{x}$$   where $x \in \mathbb{R}$.  Por tentativa erro consegui descobri que $2$ é uma solução, mas não encontrei um método pra isso. Alguma sugestão?(*)  (Translation: By trying different values I've found that $2$ is a solution, but I couldn't find any method to this though. Any suggestions? ) Is it possible to create bootable linux on USB drive using windows command line? How to prove the existence of $b$ in $Q$ such that $a<b^2<c$ in $Q$? What is the name of the package for R? I tried aptitude search r, but (unsurprisingly), there are waaaay too many results to sift through. Is it (always) true that $$\mathrm{Var}\left(\sum\limits_{i=1}^m{X_i}\right) = \sum\limits_{i=1}^m{\mathrm{Var}(X_i)} \&gt;?$$ Wrapper for package managers There are a lot of language-specific package managers like cpan for perl, cabal for haskell etc. When we want to install some software, it can sometimes be installed from a corresponding repo, with installation instruction just like (say, ) npm install yaxy or cpan something or cabal install something.   These package managers have slightly different syntaxes, they all need root privileges and/or custom setup, or (in case of Yaxy) just a newer version of interpreter (nodejs packaged by Ubuntu was too old to run it).  Is there a wrapper for different package managers that unifies/automates setup for different package managers?  Edit: what I want is a way to execute installation command like that npm install yaxy and make it working without manual installing system npm+nodejs, getting non-functional executable, finding the simplest way to install fresher nodejs on my system, reinstalling... How can I include custom post types on a tag page? I'm using custom post types, but they don't appear on tag pages along with regular posts and i'd like to include both standard and custom post types on tag or category pages. What would be required before the loop to include all posts? (including custom type). Updated: To add, I found this code , which worked perfectly for the first part: add_filter('pre_get_posts', 'query_post_type'); function query_post_type($query) {   if ( is_category() || is_tag() &amp;&amp; empty( $query-&gt;query_vars['suppress_filters'] ) ) {     $post_type = get_query_var('post_type');     if($post_type)         $post_type = $post_type;     else         $post_type = array('post','cpt'); // replace cpt to your custom post type     $query-&gt;set('post_type',$post_type);     return $query;     } }  Second question still remains though: Is there a way to allow readers to filter by post type? So either of the following would work..  example.com/tag/blue?post_type=custom example.com/tag/blue?post_type=post I must have a blind spot, but I cannot find what it is.   I made a small python script that removes VLC from the sound menu. It runs perfectly in any way I run it from the terminal or from a launcher or whatever you can think of.   What the script actually does is nothing more than get the get the current settings:  gsettings get com.canonical.indicator.sound interested-media-players   edit the list, and set the changed list by:  gsettings set com.canonical.indicator.sound interested-media-players "['newlist']"   These commands are executed by a python script,. However, when run from a cronjob (crontab -e) only the gsettings - get - part works, but not the gsettings - set - section. That the get section works fine with cron, I checked by making the script write data (the original as well as the edited) to an external file.  Not a python problem  To see if the problem is related to python code, I created a bash script that applies a changed sound menu items list. The story is the same: the bash script runs fine from the command line or a launcher, not from cron, while any other command in the same script would run fine. Also, if I add any command at the end of the script below, it works fine and it looks like the script is satisfied with its own work.  Why is the gsettings set command not working when initiated from cron?  This is the script:  #!/usr/bin/python3 import subprocess  def read_soundmenu():     # read the current launcher contents     get_menuitems = subprocess.Popen([         "gsettings", "get", "com.canonical.indicator.sound", "interested-media-players"         ], stdout=subprocess.PIPE)     return eval((get_menuitems.communicate()[0].decode("utf-8")))  def set_current_menu(current_list): # this takes no effect from cron     # preparing subprocess command string     current_list = str(current_list).replace(", ", ",")     subprocess.Popen([         "gsettings", "set", "com.canonical.indicator.sound", "interested-media-players",         current_list,         ])  current_list = read_soundmenu() for item in current_list:     if item == "vlc.desktop":         current_list.remove(item) set_current_menu(current_list) System Load Indicator only shows as a line unless hovered I installed the  GNOME extension on my Ubuntu 18.04, but for some reason, instead of showing a proper graph for CPU usage, it only shows a very thin line that seems to be a small portion of the actual graph. If I hover over it, the proper graph shows. How to make it show the whole graph all the time? This button is in the new Firefox, but what is the name of it? Youtube video lag on 18.04 I just upgrade from Ubuntu 17.10 to Ubuntu 18.04, there is an issue when playing youtube video.The video stops play but audio playing, then I move the cursor &amp; video is playing...... What should I do?? I am flying to Tokyo in November, and I have the choice to go direct (paying extra) or transit via Seoul. Is 6 hours transit time enough to leave Incheon airport for a bit to see something of Seoul? It might make my trip more worthwhile to see something of South Korea too. I don't know much about the busyness of the airport around this time, and travel time between the airport and the city, so that's why I am asking. Switch Stack Exchange site's interface to the beta theme Which is correct, "neither is" or "neither are"? Bob: "Can I set the font color? Can I customize the text?"  Frank: "Neither of these options is available. Sorry!"    Is "neither is" always correct or should one use "neither are" in some cases and what are the exact rules?  of this-is-why-stackexchange-exists :P