HP Stream 7 originally runs Windows - Can it run Android viably?
Can I install Android on my non-Android device?
Without using Axiom of Choice, prove that $$\forall\alpha\geq\omega,~~|L_\alpha|=|\alpha|,$$  in which $\alpha$ is an ordinals, $\omega$ is the set of natural numbers, $L_\alpha$ is the $\alpha$-th constructiable set, $|x|$ is the cardinals of $x$.  I am learning a set theory, and I have read a proof by using AC. The AC is used only when $\alpha$ is a limit ordinals during the transfinite inductive method for $\alpha$ . I wonder if there is a proof without AC. 　THANKS! I get the point of having a minimum reputation to use the new chat feature. However, I was hoping my 2K reputation from Stack Overflow would be enough - but it looks like I need to acquire 20 rep here on Meta Stack Exchange.  So my question is - should this restriction be moved? Is the claim that functions of independent random variables are themselves independent, true?   I have seen that result often used implicitly in some proofs, for example in the proof of independence between the sample mean and the sample variance of a normal distribution, but I have not been able to find justification for it. It seems that some authors take it as given but I am not certain that this is always the case. Limit of $s_n = \int\limits_0^1 \frac{nx^{n-1}}{1+x} dx$ as $n \to \infty$ Let $s_n$ be a sequence defined as given below for $n \geq 1$. Then find out $\lim\limits_{n \to \infty} s_n$.   \begin{align}   s_n = \int\limits_0^1 \frac{nx^{n-1}}{1+x} dx  \end{align}  I have written a solution of my own, but I would like to know it is completely correct, and also I would like if people post more alternative solutions. I've installed a version of Ubuntu Server and although I'm fairly still fresh with Ubuntu, I'm trying to create a bash file to run a program in the background. More importantly, I'm trying to get a file nameto display correct and create it before I start running the program (I like my debug stuff).  However, here is my bash script:    #!/bin/bash  PATH="/var/log/servers/Game/"  FILENAME="startup"  EXT=".log"  DATE=$(date +%d-%m-%Y)  NEWFILE=${PATH}${FILENAME}_${DATE}${EXT}   I have verified that the file does exist in the PATH directory. However, the issue is with the date command. When I run the script bash -x game.sh this is what is displays.   + PATH=/var/log/servers/Game/  + FILENAME=startup  + EXT=.log  ++ date +%d-%m-%Y  game.sh: line 5: date: command not found  + DATE=  + NEWFILE=/var/log/servers/Game/startup_.log  + echo /var/log/servers/Game/startup_.log   I don't understand why it would say the command doesn't work, when I can go to the main console and run date and get a valid response.  Any help is greatly appreciated! How to start applications such as xcompmgr at start up? I've been trying to make xcompmgrto autostart in Lubuntu 11.10 but it just doesn't, I have to start it manually.  I have added the next lines to the autostart script in ~/.config/openbox/  #Run a composite manager xcompmgr &amp;   But whenever I log in it doesn't do anything, I don't really need any special parameters for it I just want it to start at log in.  How can I make it run automatically at login? I want to draw a perfect rectangle. How can I do that with QGIS v.3+?  .  Is there a similar solution for the latest QGIS version? Humanity meeting another similar intelligent life form deep into space (or not)? I'm looking for a plot line (it should be a short story) that depicts Earth population (or their close descendants) establishing contact with another intelligent life form deep into space.   After careful studying of DNA samples and language / communication symbols they then realize that the civilization in question is also from Earth but that they departed very long ago and travelled throughout the galaxy in the completely opposite direction so that they are now meeting practically at the point of the circle opposite to Earth. There might have been some anatomical differences as well.  As far as I can remember, the story concludes shortly after that.  This should be a work of a well-known SF author, so I'm hoping for a quick response (if time didn't corrupt my memory too much).  I don't think it was part of an anthology, but it's entirely possible it was in a magazine.  As for the timeline, I've read it about 2-3 years ago, but since I have a passion for older SF works it might not be of much use.  Edit: Not sure if this could help but for what it's worth, it might be contained in . How do I enable error reporting in PHP? How do you scrape AJAX pages? Please advise how to scrape AJAX pages. My system freezes completely at random, frequent intervals. I started to have the same problem in Ubuntu 14.04 but after recent upgrade to 16.04 there is no improvement, in fact it seems worse.  When it happens, it's impossible to do anything. I've tried everything in this thread:  but nothing works, I have to hard reset. I have read all the system logs and journalctl but there is never any information that could help diagnose the problem.  This is a dual-boot system with Windows 10 and there's no problem there, so it's not defective hardware.  My laptop has an Intel Bay Trail processor (Pentium N3540) How can one cite theorems of references? Find highest level of a hierarchical field: with vs without CTEs Can a deb package contain a PPA dependency and install packages from the PPA? When creating a .deb package I create a file named control that contains some fields:  Package: my-qt-app-name Version: 0.01 Architecture: all Maintainer: my name &lt;my email address&gt; Installed-Size: 2 Depends: some-package-from-ppa Section: extras Priority: optional Homepage: my homepage Description: some description   some-package-from-ppa is not installed on the computer. It can be installed only adding a PPA, running apt-get update and then apt-get install some-package-from-ppa.  Can a control file from a deb package contain a PPA address and install that package when the deb file is installed? Apply empty style to the entire bibliography Is there a known well ordering of the reals? So, from what I understand, the axiom of choice is equivalent to the claim that every set can be . A set is well ordered by a relation, $R$ , if every subset has a least element. My question is: Has anyone constructed a well ordering on the reals?  First, I was going to ask this question about the rationals, but then I realised that if you pick your favourite bijection between rationals and the integers, this determines a well ordering on the rationals through the natural well order on $\mathbb{Z}$ . So it's not the denseness of the reals that makes it hard to well order them. So is it just the size of $\mathbb{R}$ that makes it difficult to find a well order for it? Why should that be?  To reiterate:   Is there a known well order on the Reals? If there is, does a similar construction work for larger cardinalities? Is there a largest cardinality for which the construction works? Stance on repost question instead of editing to invalidate answers? How do I call the parent function from a derived class using C++? For example, I have a class called parent, and a class called child which is derived from parent. Within  each class there is a print function.  In the definition of the child's print function I would like to make a call to the parents print function.  How would I go about doing this? Should I disconnect my MacBook Pro's power cord when the battery is fully charged? My friend told me that I need to disconnect the power cord when the battery is fully charged. Otherwise, I will shorten the life of the battery.  Other people say you should drain it once a month or point out that for long term storage, you should charge it to 50% and then periodically (3 to 6 months) bring it back to 50% and store it again.  I am going to use my laptop at home 90% of the time. So, I plan to have the power cord connected all the time.  I'd prefer to just plugging in my MacBook Pro and letting it be on charge long term and occasionally taking it away from the charger when I'm not at home or my desk.  Are these specific recommendations worth the inconvenience? Favorite Tag Buttons partly sticking off page I appear to have found a bug, when adding Favorite tags, I find that the buttons are half off the page (this is of the  site):    Although on other sites it looks more like this:    I am running Ubuntu GNOME 15.04 with Firefox 41.0.1+build2-0ubuntu0.15.04.2.