How to get an mp4 video export format
I only get four video output options
According to the well ordering theorem "". Whenever we have a well ordering on a set, it is not difficult to construct a new well ordering with a largest element. My question is:     For a given infinite set, can we find a well ordering on it such that there is no largest element? How to properly write multiple authors in bibtex file? Dedicated mouse and keyboard for a virtual machine, is it possible? A way to store potentially infinite 2D map data? I have a 2D platformer that currently can handle chunks with 100 by 100 tiles, with the chunk coordinates are stored as longs, so this is the only limit of maps (maxlong*maxlong). All entity positions etc etc are chunk relevant and so there is no limit there.  The problem I'm having is how to store and access these chunks without having thousands of files. Any ideas for a preferably quick &amp; low HD cost archive format that doesn't need to open everything at once? Device : Moto X Play ( Rooted, Stock, Android 6.0.1, msm8916 Board, XT1562)  Why do I want to limit charging ?  ( Let's leave out whether my reasons are valid or not and accept that I want to, if you disagree with my reasons)  To improve the longevity of battery , I wish to limit charging when it reaches 90%, as explained here    Is it possible?  Yes, at least on my previous device Honor 6, as brought out here , with two different ways of doing it  I have tried  unsuccessfully to identify the file responsible in which changing values would limit charging  I am looking for the system file responsible for stopping charging, with it's true path (without symlinks)  (as I saw on on my previous device, locating the path of file was a big challenge after identifying it) Rules for refreezing food What are the general rules regarding when can you refreeze food that was frozen and then thawed in the fridge? and what are the reasons behind them? (Hygiene? Food quality?). Let's assume for the sake of the argument that the items were in a non-frozen state only a few hours.  To be more specific, I'm interested in the application of these rules for  - Ginger garlic paste - Dough - Indian Curries - Green Chilly paste - Frozen green peas In PHP, the HEREDOC string declarations are really useful for outputting a block of html.  You can have it parse in variables just by prefixing them with $, but for more complicated syntax (like $var[2][3]), you have to put your expression inside {} braces.  In PHP 5, it is possible to actually make function calls within {} braces inside a HEREDOC string, but you have to go through a bit of work.  The function name itself has to be stored in a variable, and you have to call it like it is a dynamically-named function.  For example:  $fn = 'testfunction'; function testfunction() { return 'ok'; } $string = &lt;&lt;&lt; heredoc plain text and now a function: {$fn()} heredoc;   As you can see, this is a bit more messy than just:  $string = &lt;&lt;&lt; heredoc plain text and now a function: {testfunction()} heredoc;   There are other ways besides the first code example, such as breaking out of the HEREDOC to call the function, or reversing the issue and doing something like:  ?&gt; &lt;!-- directly output html and only breaking into php for the function --&gt; plain text and now a function: &lt;?PHP print testfunction(); ?&gt;   The latter has the disadvantage that the output is directly put into the output stream (unless I'm using output buffering), which might not be what I want.  So, the essence of my question is: is there a more elegant way to approach this?  Edit based on responses: It certainly does seem like some kind of template engine would make my life much easier, but it would require me basically invert my usual PHP style.  Not that that's a bad thing, but it explains my inertia..  I'm up for figuring out ways to make life easier though, so I'm looking into templates now. AudioSessionSetActive and AudioSessionSetProperty is deprecated in iOS 7 Proving $\frac{\sin x}{x} =\left(1-\frac{x^2}{\pi^2}\right)\left(1-\frac{x^2}{2^2\pi^2}\right) \left(1-\frac{x^2}{3^2\pi^2}\right)\cdots$ scanf not taking in data Once in a while you wish to address a comment to someone in particular, so you type @ and then you pause ... because the username is  or .  Short of using copy-paste to get their username right (which is even more cumbersome on a mobile device), is there another way around this? In a few cases I've noticed that the system will attempt to "promote" a comment to a reply, but I'm not sure if that's very reliable.  Should user names at least start with a normal letter?  Update  The auto-complete feature seems to normalize Zalgo'ish usernames, so typing the letter L will trigger the suggestions as expected; this is of course knowing that the name actually spells "lawrence", which may not always be obvious.  Knowing the way of the symbol ninja would surely help to type Ω using only the elbows as well, but not everyone is blessed with the same keyboard layout.  Suggestion  It would be nice to have a reply feature like this:        When ↳ reply is clicked, it will automatically populate the comment box with @username pre-filled in.   Additional notes  To clarify, I'm not suggesting to put the "reply" on all comments, as proposed , because in most cases the owner of a post is already notified of a new comment; this would strictly be to effect cross-commenter communication. Using the validation data I'm unclear on the exact process of using the validation data.  Let's say that I fit my neural network model and adjust hyperparameters using the training set and validation set. Do I then evaluate the test set on this model? Or do I recombine the validation and training sets and fit a fresh model with the hyperparameters that I found during the validation phase, and then evaluate on the test data? I have seen a number of different notebooks and examples that do both ways.  Surely, once I've found my hyperparameters, it makes sense to fit a fresh model using the full training set (recombined with validation set), since the validation loss has no effect on the weights. how is this picture made? Good day guys, i have to something like this, any idea how is this picture made ?  so it looks like negative i did invert it in photoshop but the bright side of his face was blue, so there been negative effect and smting been used to change his face to blue before nagative or smting that changed his face to normal skin color after negative ? what can it be ? what do you guys think ? THANKS ! for help. What is the analytic continuation of the Riemann Zeta Function Is a droid a ‘he/she’ or an ‘it’? Inspired by  question.  Are droids in the Star Wars universe referred to with gendered pronouns (i.e. he or she), or are they referred to as objects (i.e. it)? Isomorphism involving Eilenberg-Maclane space, Tors. Let $\pi$ be a group and let $K(\pi, 1)$ be a connected CW complex such that $\pi_1(K(\pi, 1)) = \pi$ and $\pi_q(K(\pi, 1)) = 0$ for $q \neq 1$. Does there exist an isomorphism between $H_*(K(\pi, 1); A)$ and $\text{Tor}_*^{\mathbb{Z}[\pi]}(A, \mathbb{Z})$? Why is there a controversy on whether mass increases with speed? Is Adzerk safe / legitimate? I'm using Microsoft Word 2010 and I worked in a word-2003 compatible document (.doc). After hours of working, I selected a half of text and did Ctrl+X to copy it into another document. Surprising, after closing the current document and opening a new one and pressing Ctrl+V, nothing happened. After closing original document, ms word asked me if I want to save the clipboard buffer and I pressed No, as I didn't knew that MS Word has it's own clipboard.  Is there a way to recover that text that was "cutten" from original document and never "pasted" to the new one? The PC was not rebooted so i guess all my temp files are here. Why is current a scalar quantity?