how to create a DNS SPF record with long text
How can I have an SPF record longer than 255 characters?
How to change the chapter number to display as text (One, Two, ...)? So, the question pretty much says it all. I'm on Snow Leopard, and I do a lot of web development, particularly in Rails 3 which makes heavy use of the console.  I've seen some notable bloggers etc. mention Zsh as their preference over Bash, but I don't know what difference it would make.  Could anyone give me a good comparison of what difference there is and what might make one prefer one option or the other? What would be the easiest way to view classes, methods, properties, etc. inside a jar file? I'm looking for something equivalent to the very useful  Lutz Roeder .NET Reflector  - for Java How to reset KDE desktop to default on Ubuntu 14.04? KDE and Gnome Desktops were looking awesome on my Ubuntu 14.04 LTS, today everything seemed ugly. Slim long font, arabic letters in Chromium/Firefox are barely readable no matter how big I made them on system font settings. How can I get back to my previous looks settings, without compromising other settings and tweaks?  Here are my versions:  kde4-config -v:  Qt: 4.8.6 KDE Development Platform: 4.13.3 kde4-config: 1.0   kded4 --version:  Qt: 4.8.6 KDE Development Platform: 4.13.3 KDE Daemon: 4.13.3 Why does polynomial factorization generalize to matrices I'm reading about linear algebra and I came across with the following theorem where I have a problem convincing myself:      Theorem 2.1 $\,$ Every linear operator on a finite-dimensional complex vector space has an eigenvalue.      Proof:       To show that $T$ (our linear operator on $V$) has an   eigenvalue, fix any nonzero vector $v \in V$. The vectors $v, Tv,  T^2v,..., T^nv$ cannot be linearly independent, because $V$ has   dimension $n$ and we have $n + 1$ vectors. Thus there exist complex   numbers $a_0,...,a_n$, not all $0$, such that      $$a_0v + a_1Tv + ··· + a_nT^nv = 0.$$ Make the $a$’s the coefficients   of a polynomial, which can be written in factored form as $$a_0 + a_1z  + ··· + a_nz^n = c(z − r_1)\cdots(z − r_m),$$ where $c$ is a non-zero complex number, each $r_j$ is complex, and the equation holds for all   complex $z$. We then have      $${\color{red}{ 0=(a_0I + a_1T + ··· + a_nT^n)v= c(T − r_1I)\cdots(T −  r_mI)v}},$$ which means that $T − r_j$ I is not injective for at least   one $j$. In other words, $T$ has an eigenvalue.$\;\blacksquare$   I'm having trouble with the factorized form of the matrix polynomial (in red). I understood that the factorization holds for a polynomial by the fundamental theorem of algebra but why does this also hold for matrices?  In other words, why is the the part I highlighted true? Does such an factorization always exist?    Could I have some help to see this? Thank you =)   P.S.  is my reference (page 3).  UPDATE:   Someone else also has asked the  before it seems. After pacman update, pacsearch is no longer installed explicit formula for recurrence relation $a_{n+1}=2a_n+\frac{1}{a_n}$ For $n\in\mathbb N$, $$a_{n+1}=2a_n+\frac{1}{a_n},\quad a_1=1. $$ Can any one give an explicit formula for all $a_n$? If such an explicit general formula doesn't exist, please explain it. I've tried to figure out the $n$-iterated function $f^{(n)}$ where $f(x)=2x+1/x$ or even $f(\tan(t))$. But in either cases, I failed.Since the recurrence isn't linear nor homogeneous,the generating function method doesn't apply here. How to repair Ubuntu installation after interrupted dist-upgrade without losing any custom settings? My daughter asked me to cosign on a car loan.  Somehow I ended up as the borrower and she a the cosigner.  Is that legal? Looking for a command to create the geometry line symbol (\overline with arrows on both ends) I need a way of encoding the geometry line symbol. $\overline{AB}$ gives me the line segment symbol and $\overrightarrow{AB}$ gives me the ray symbol, I need a way to get a bar over the letters that has arrows on both ends. $\overrightleftarrow{AB}$ does not work.   Thanks! Before you disagree with me with a downvote, or just want to be funny, please hear me out. From the :  The upvote privilege comes first because that's what you should focus on: pushing great content to the top. Downvoting should be reserved for extreme cases. It's not meant as a substitute for communication and editing.  I have honestly never seen a downvote reserved for an extreme case. The process is usually 1) downvote post if it's bad and don't comment. (Not much of a process, is it?) As you stay on the site longer and longer, you develop a carelessness towards downvotes (as I have), but for new users, it's really discouraging.  question inspired me to [ask balpha to] make , which is a list of users with 1 rep who have the  badge. That's the closest I could get to new users who deleted their own posts after downvotes came in. Don't get me wrong, I know the argument about being nice to new users very well, but I still believe it to be an issue. And since , users are much more inclined to go the lazy route and downvote bad questions. No alternative measures (see below) are taken, for the most part. Personally, I leave a comment and don't downvote until the asker shows no interest in fixing their post. The only other measure taken to discourage downvotes (on answers) is the -1 rep punishment to the downvoter, which is absolutely meaningless and inconsequential anyways. How are we supposed to educate new users when we don't teach them what to do, don't direct them to the FAQ, and discourage them with downvotes right off the bat?  Instead of voting down: If the post is spammy or offensive — flag it. If the question is duplicate or off-topic — flag it for moderator attention. If something is wrong, please leave a comment or edit the post to correct it.  We claim to discourage downvoting, yet I see answers like  that encourage us to downvote first and ask questions later when a question is simply unclear or effortless. It's just an awful chain reaction. A new user comes to the site asking a question, but that doesn't work out too well, so they get downvotes, delete the question in shame, and don't get the help they deserve as a fellow writer of code and programmer. Strip away the quality of the site for a moment: the core functionality of this site, and the only reason I and a lot of other users are (still) on it, is to receive and give help to/from others. I enjoy making sure fellow programmers get the answer they need, because this site has helped me get mine when I needed them. Quality can still be maintained if content is fixed rather than downvoted more often. So can we stop discouraging new users from continuing to use this site and actually start to discourage downvoting? I think we need to encourage effort towards teaching and helping new users understand the system and why their post is bad rather than slapping them in the face with downvotes that they don't know how to interpret anyways. I'm leaving ways we can do this up to others. My first thought was to increase the punishment for downvoting answers and to no longer make question downvotes free, but those wouldn't be well-received, judging by the history of similar suggestions. . datetime conversion to CDT Can anyone please help me how to convert the given time into CST timezone.  Input timezone will change dynamically, so i want to convert the given timzone into CST and then need to get the hour from that CST timezone in apex. n tasks assigned to n computers, what is the EX value of a computer getting 5 or more tasks? Say a central server assigns each of n tasks uniformly and independently at random to n computers connected to it on a network. Say a computer is ‘overloaded’ if it receives 5 or more tasks.  Q: Calculate the expected number of overloaded computers.  I thought of doing [1 - Pr(a computer is not overloaded)] but that leads me to a complicated expression of: $$1 - PR(NotOver) = 1 - \sum_{i=0}^4  \left( \frac{1}{n} \right)^{i} { \left( \frac{n-1}{n} \right)}^{n-i}$$ multiplying this by n would(hopefully) give the Expected value. But the answer seems not very elegant atall, is there something I'm missing or an easier way to tackle this? Thanks! I have come across the following few questions on past exams papers.. I know how to solve these type when it is of the form $a_nz^n$ but don't have a clue what to do with these. Any help would be greatly appreciated!  (i) $\displaystyle\sum_{n=0}^\infty \bigg(\dfrac{1}{2n}\bigg)z^{3n}$.  (ii) $\displaystyle\sum_{n=0}^\infty(2^n+i)(z-i)^n$.  (iii) Show that the radius of convergence of $\displaystyle\sum_{n=0}^\infty z^{n!}$ is $1$ and that there are infinitely many $z \in \mathbb{C}$ with $|z|=1$ for which the series diverges. JavaScript: client-side vs. server-side validation Which is better to do client side or server side validation?  In our situation we are using    jQuery and MVC.   JSON data to pass between our View and Controller.     A lot of the validation I do is validating data as users enter it. For example I use the the keypress event to prevent letters in a text box, set a max number of characters and that a number is with in a range.   I guess the better question would be, Are there any benefits to doing server side validation over client side?    Awesome answers everyone. The website that we have is password protected and for a small user base(&lt;50). If they are not running JavaScript we will send ninjas. But if we were designing a site for everyone one I'd agree to do validation on both sides. Rm can't delete file n tasks assigned to n computers, what is the EX value of a computer getting 5 or more tasks? Imagine a standard machine-learning scenario:     You are confronted with a large multivariate dataset and you have a   pretty blurry understanding of it. What you need to do is to make   predictions about some variable based on what you have. As usual, you   clean the data, look at descriptive statistics, run some models,   cross-validate them etc., but after several attempts, going back and   forth and trying multiple models nothing seems to work and your   results are miserable. You can spend hours, days, or weeks on such a   problem...   The question is: when to stop? How do you know that your data actually is hopeless and all the fancy models wouldn't do you any more good than predicting the average outcome for all cases or some other trivial solution?  Of course, this is a forecastability issue, but as far as I know, it is hard to assess forecastability for multivariate data before trying something on it. Or am I wrong?   Disclaimer: this question was inspired by this one  that did not attract much attention. It would be nice to have detailed answer to such question for reference. I need to prove that $H$ is a maximal normal subgroup of $G$ if and only if $G/H$ is simple.  My proof to the $(\Rightarrow)$ direction seems too much trivial:  Let us assume there exist $A$ so that $A/H\lhd G/H$. Then by definion, $H$ must be normal in $A$. Because $H$ is maximal, we get $H=A$ and therefore $A/H={1}$  Is it correct?  Update:  Now I see that I need to prove that not only $A\lhd H$ but also $A\lhd G$. Assumig I have proven that, is the proof correct? convergence of $\sum_{n=1}^{\infty }\frac{(-1)^{[\sqrt{n}]}}{n}$ where $[a]$ means floor function of $a$ I have a problem with solving the convergence of $\sum_{n=1}^{\infty }\frac{(-1)^{[\sqrt{n}]}}{n}$ where $[a]$ means floor function of $a$. I've already made the first thep and rewrote it with the $\sum_{n=1}^{\infty }(-1)^{n}\sum_{k=n^2}^{(n+1)^2-1}\frac{1}{k}$, which converges if and only if the previous one converges. Now I want to use Leibniz criterion, but I cannot prove that the second sum in the previous expression is monotonic. Does anyone know how to do it? (I cannot use Riemann integral, we haven't defined it yet)