I have the following user who keeps running very complex analytics queries, that usually take 1m each query:  Id  User    Host            db  Command Time    State                 Info 97  tvs0XXX ec2...com:47703 ax  Query   55      Creating sort index   SELECT...   Is there a way to set a SELECT timeout for the tvs0000 user above to 5 seconds? How would I do this?
I would like to set a maximum execution time for sql queries like set_time_limit() in php. How can I do ?
Do Stack Overflow and other Stack Exchange sites have an app I can use? I like using Stack Overflow (or any other Stack Exchange sites) and was wondering if there was an app I could install on my phone or other device that would allow me to use the site on-the-go or straight from my desktop.  Some systems to consider:   Windows 8 Android iPhone/iOS   What are some apps that I could install to my computer or phone to enhance my Stack Exchange experience? Appending to the end of a file with NSMutableString MediaElement not playing audio from stream WP7 How to prove $\vdash\neg P\to (P\to Q)$? I am trying to prove,  $$\vdash\neg P\to (P\to Q)$$  where $P$ and $Q$ are arbitrary but otherwise fixed formulas. The only axioms and rule of inference that I can use are,  $\color{crimson}{\text{Axiom 1.}}\  P\to (Q\to P)$ $\color{crimson}{\text{Axiom 2.}}\  (S\to (P\to Q))\to((S\to P)\to (S\to Q))$ $\color{crimson}{\text{Axiom 3.}}\  (\neg Q\to\neg P)\to(P\to Q)$ $\color{crimson}{\text{Rule of Inference.}}$ .  I know that in Angelo Margaris's book First Order Mathematical Logic there is a proof (page 53) but as I have mentioned , the dot notation seems very confusing and translating them to the nested parentheses notation seems very difficult to me. So, I am trying on my own to prove the result. Can anyone help? Debian : Verify disk encryption password for already mounted system Why isn't my Minecraft LAN server working? My LAN server won't let my cousin join me or me join my cousin. It won't show up on the multiplayer screen - it keeps saying "scanning for LAN servers" but it never finds it. I am at his house and we use different computers but it won't connect. How can I fix this? Finding conditional distribution Let $X$ and $Y$ be independent $Exp(1)$-distributed random variables. Find the conditional distribution of $X$ given that $X + Y = c$ ($c$ is a positive constant).  this is my idea:  $$f_{X \mid X+Y}(x\mid c) = \frac{f_{X,X+Y}(x,c)}{f_{X+Y}(c) } $$  if this is the right definition then i might calculate the righthand side to obtain the distribution but Iam unsure is a psychological phenomenon wherein an individual is convinced that they do not deserve the success that they have achieved despite (perhaps extensive) empirical evidence to the contrary.  Some people with imposter syndrome doubt their own ability level. For me, this usually manifests in the thought:  I've somehow convinced everyone into believing that I'm actually good at this.  followed by the horrifying notion that eventually I'll be found out and my world will collapse. I believe that the imposter syndrome is not uncommon in academia. I'm interested to know how other people here have experienced and dealt with it.  In particular, I'm looking for actual tactics that someone might use to combat imposter syndrome.   Why I asked this question: Beyond the obvious reason that this is something I have struggled with for many years and only recently gotten a handle on myself, there's also some evidence that merely realizing that other people experience imposter syndrome helps fellow imposters. As a grad student, I've managed to meet a fair number of people who are in their own struggles with imposter syndrome; however, the tactics and self-trickery that have helped me don't always speak to them and perhaps someone else's methods might. Does there exist a continuous function such that f(x) is rational for every irrational x, and f(x) is irrational for every rational x? Does there exist a continuous function such that f(x) is rational for every irrational x, and f(x) is irrational for every rational x? I can think of examples where this would be true, but I'm having a lot of trouble with the continuity. Logitech LS21 recognized as 2.0 system - Windows 8.1 doesn't detect Subwoofer I got my dad a Logitech LS21 system for Christmas. It's a 2.1 system, but it's recognized in Windows 8 as a 2.0 system (it says there is no subwoofer connected).    How would I go about getting the sub recognized?  It plays some sound now, but it's so quiet you can't hear it without putting your ear right next to it. guess the color of the next card There are 26 red cards and 26 black cards on the table which are randomly shuffled and are facing down onto the table. The host turns up the cards one at a time. You can stop the game any time (even at the beginning of the game). Once you stops the game, the next card is turned up: if it is red, you get $1; otherwise you pay the host one dollar. What is the payoff of this game? Attempting to create a tag wiki when a user has hit the suggested edit limit should alert the user that no more edits can be suggested at this time I ran into an issue on Gaming.SE where I attempted to create a tag wiki and wiki excerpt for a tag which did not have one already while I already have the maximum of five suggested edits in the queue.  Navigating to the tag page for the  provides a link to  for this tag. This link redirects to the  for this tag, without telling me that I can't submit an edit because I've reached the maximum number of suggested edits. Instead of silently redirecting, the page should alert me that I can't suggest any more edits until my suggestions are reviewed. Changing background color to transparent in GeoServer? How to set the background color to transparent. I want use style which describe in *.sld file for all my photo with tif format. How to do that? Limits of trig functions How do I debug when the system freezes or when it crashes back to login? I am fairly new to Ubuntu and I was wonder what a good way is to debug when something crashes?   For example: I installed 11.04 and the default media player banshee makes my laptop crash after a few minutes of playing music. Since the system completely freezes and there is not error message it's hard to find out what is wrong.  Second problem I have is that sometimes the system crashes to login. I am suspecting it to be a Chromium or Flash but I am not 100% sure.  So anybody got some tips on how to debug stuff like this? I came across following problem     Evaluate $$\int\frac{1}{1+x^6} \,dx$$   When I asked my teacher for hint he said first evaluate     $$\int\frac{1}{1+x^4} \,dx$$   I've tried to factorize $1+x^6$ as  $$1+x^6=(x^2 + 1)(x^4 - x^2 + 1)$$ and then writing  $$I=\int\frac{1}{1+x^6} \,dx=\int\frac{1}{(x^2 + 1)(x^4 - x^2 + 1)} \,dx=\int\frac{1+x^2-x^2}{(x^2 + 1)(x^4 - x^2 + 1)} \,dx$$ $$I=\int\frac{1}{x^4 - x^2 + 1} \,dx-\int\frac{x^2}{(x^2 + 1)(x^4 - x^2 + 1)} \,dx$$  However $$x^4-x^2+1=\left(x^2-\frac12\right)^2+\frac{3}{4}$$ But I can't see how it helps  I've also tried to reverse engineer the   And I need to have terms similar to $$\frac{x^2-1}{x^4-x^2+1} \quad , \quad \frac{1}{1+x^2} \quad , \quad \frac{1}{(x+c)^2+1}\quad , \quad \frac{1}{(x+c)^2+1}$$ in integrand, How can I transform my cute looking integrand into these huge terms?  Since in exams I will neither have access to WA nor time to reverse engineer the solution moreover it does not seem intuitive,is there any way to solve this problem with some nice tricks or maybe substitutions? Every time I try to create a table using MySQL Workbench 6.3 CE it adds "broken" comments at the end of the script.  Example:  I am trying to create a table called "user". This is what the table should look like:   However when I click the apply button, the script generates incorrectly:  CREATE TABLE `user` (   `userid` INT NOT NULL AUTO_INCREMENT COMMENT '',   `record_status` INT NOT NULL DEFAULT 1 COMMENT '',   `createdby` VARCHAR(75) NOT NULL COMMENT '',   `createddate` DATETIME NOT NULL COMMENT '',   `updatedby` VARCHAR(75) NULL COMMENT '',   `updateddate` DATETIME NULL COMMENT '',   `username` INT NOT NULL COMMENT '',   `password` VARCHAR(75) NULL COMMENT '',   `firstname` VARCHAR(75) NULL COMMENT '',   `lastname` VARCHAR(75) NULL COMMENT '',   `email` VARCHAR(75) NULL COMMENT '',   `facebook_userid` VARCHAR(75) NULL COMMENT '',   `email_verified` VARCHAR(75) NULL COMMENT '',   PRIMARY KEY (`userid`, `username`)  COMMENT '');   The comment in this line should not be there, so the code should be:   PRIMARY KEY (`userid`, `username`));   and the code executes when I paste it into an editor and remove this comment. However I create massive databases daily. (Each with +- 15 tables). I can't keep doing this for each table as it is time consuming.  How can I disable this feature that adds the comments to the script? I don't need them in my databases After creating some hi-poly model, i'm always creating low-poly model by approximating that hi-poly mesh with triangle-by-triangle LP mesh - with snap to face mode turned on.   So the process looks like CTRL + RMB (x times), and hitting F on keyboard, so the new face was made.  Then I'm using this low poly model to texture baking, mainly for gamedev purposes.  This method is very time consuming, so how to make retopology process easier and quicker? How to avoid messages from applications which I ran with a &? I ran dolphin like this:  dolphin . &amp;   I see messages in the console like these:  QPixmap::scaled: Pixmap is a null pixmap   How can I keep the console clean or silent? Math contest integer triplet problem: $x + y + z + xy + yz + xz = xyz − 1$ Can any one help me with this?  Determine all integer triples $(x,y,z)$ such that $1 ≤ x ≤ y ≤ z$ and $x + y + z + xy + yz + xz = xyz − 1$.  I thought of Vieta's formula but don't let me lead you into a dead end.