Where in the (Stack Exchange) world can I initiate a programming-related discussion?
Where can I ask a question about finding general software that meets certain requirements?
Analogue of closed graph theorem This is the analogue of closed graph theorem for compact space          Suppose that $X$ and $K$ are metric spaces, that $K$ is compact, and that the graph of $f: X \rightarrow K$ is a closed subset of $X \times K$. Prove that $f$ is continuous.      Because metric space is first countable, all we need is to prove that if $x = \lim_{n \rightarrow \infty} x_{n}$, then $f(x) = \lim_{n \rightarrow \infty} f(x_{n})$. Suppose $x = \lim_{n \rightarrow \infty} x_{n}$, then because $K$ is compact, sequence $\{f(x_{n})\}$ has a subsequence $\{f(x_{n_{i}})\}$ converge. Because the graph of $f$ is closed, we must have $\lim_{n \rightarrow \infty}\{f(x_{n_{i}})\} = f(x)$. All we need to prove now is $\{f(x_{n})\}$ converge to $f(x)$, but I can't prove that. Can any one help me. I really appreciate. Thanks BBWC: in theory a good idea but has one ever saved your data? I'm familiar with what a BBWC (Battery-backed write cache) is intended to do - and previously used them in my servers even with good UPS. There are obvously failures it does not provide protection for. I'm curious to understand whether it actually offers any real benefit in practice.  (NB I'm specifically looking for responses from people who have BBWC and had crashes/failures and whether the BBWC helped recovery or not)  Update  After the feedback here, I'm increasingly skeptical as whether a BBWC adds any value.  To have any confidence about data integrity, the filesystem MUST know when data has been committed to non-volatile storage (not necessarily the disk - a point I'll come back to). It's worth noting that a lot of disks lie about when data has been committed to the disk (). While it seems reasonable to assume that disabling the on-disk cache might make the disks more honest, there's still no guarantee that this is the case either.  Due to the typcally large buffers in a BBWC, a barrier can require significantly more data to be commited to disk therefore causing delays on writes: the general advice is to disable barriers when using a non-volatile write back cache (and to disable on-disk caching). However this would appear to undermine the integrity of the write operation - just because more data is maintained in non-volatile storage does not mean that it will be more consistent. Indeed, arguably without demarcation between logical transactions there seems to be less opportunity to ensure consistency than otherwise.   If the BBWC were to acknowledge barriers at the point the data enters it's non-volatile storage (rather than being committed to disk) then it would appear to satisfy the data integrity requirement without a performance penalty - implying that barriers should still be enabled. However since these devices generally exhibit behaviour consistent with flushing the data to the physical device (significantly slower with barriers) and the widespread advice to disable barriers, they cannot therefore be behaving in this way. WHY NOT?  If the I/O in the OS is modelled as a series of streams then there is some scope to minimise the blocking effect of a write barrier when write caching is managed by the OS - since at this level only the logical transaction (a single stream) needs to be committed. On the other hand, a BBWC with no knowledge of which bits of data make up the transaction would have to commit its entire cache to disk. Whether the kernel/filesystems actually implement this in practice would require a lot more effort than I'm wiling to invest at the moment.  A combination of disks telling fibs about what has been committed and sudden loss of power undoubtedly leads to corruption - and with a Journalling or log structured filesystem which don't do a full fsck after an outage its unlikely that the corruption will be detected let alone an attempt made to repair it.   In terms of the modes of failure, in my experience most sudden power outages occur because of loss of mains power (easily mitigated with a UPS and managed shutdown). People pulling the wrong cable out of rack implies poor datacentre hygene (labelling and cable management). There are some types of sudden power loss event which are not prevented by a UPS - failure in the PSU or VRM a BBWC with barriers would provide data integrity in the event of a failure here, however how common are such events? Very rare judging by the lack of responses here.   Certainly moving the fault tolerance higher in the stack is significantly more expensive the a BBWC - however implementing a server as a cluster has lots of other benefits for performance and availability.  An alternative way to mitigate the impact of sudden power loss would be to implement a SAN - AoE makes this a practical proposition (I don't really see the point in iSCSI) but again there's a higher cost. When I created my account, I used Facebook Connect as my only login type and I can only log in to my account using it.  I wish to create a Stack Exchange login to be able to log in with instead of Facebook Connect, but I can't find how to do this. It seems that the option for creating a Stack Exchange login is only present when creating a new account? Why is everybody so concerned about etc/passwd? Here is the content of my vagrant machine of this particular file:  root:x:0:0:root:/root:/bin/bash daemon:x:1:1:daemon:/usr/sbin:/usr/sbin/nologin bin:x:2:2:bin:/bin:/usr/sbin/nologin sys:x:3:3:sys:/dev:/usr/sbin/nologin sync:x:4:65534:sync:/bin:/bin/sync games:x:5:60:games:/usr/games:/usr/sbin/nologin man:x:6:12:man:/var/cache/man:/usr/sbin/nologin lp:x:7:7:lp:/var/spool/lpd:/usr/sbin/nologin mail:x:8:8:mail:/var/mail:/usr/sbin/nologin news:x:9:9:news:/var/spool/news:/usr/sbin/nologin uucp:x:10:10:uucp:/var/spool/uucp:/usr/sbin/nologin proxy:x:13:13:proxy:/bin:/usr/sbin/nologin www-data:x:33:33:www-data:/var/www:/usr/sbin/nologin backup:x:34:34:backup:/var/backups:/usr/sbin/nologin list:x:38:38:Mailing List Manager:/var/list:/usr/sbin/nologin irc:x:39:39:ircd:/var/run/ircd:/usr/sbin/nologin gnats:x:41:41:Gnats Bug-Reporting System (admin):/var/lib/gnats:/us$ nobody:x:65534:65534:nobody:/nonexistent:/usr/sbin/nologin syslog:x:100:103::/home/syslog:/bin/false   Could anybody explain me why it is bad if some evil guy could get this file of my production server? PHP mysqli_fetch_field data type Lock your computer after 5 minutes of inactivity Check if the application is already installed Partner with "traditional" forums to support open ended discussions The question,  was closed at 04:50  And yet I was able to  at the time of 08:41 some four hours later.  The question was later reopened at 08:57 How to schedule a cron job to run a video fill every 5 minute? How do I remove the Me-User-Indicator from the Panel? How do I remove the Me-User-Indicator from the Panel?  The indicator contains two items: the written user name and the icon of a human. Downcasting in Java Upcasting is allowed in Java, however downcasting gives a compile error.   The compile error can be removed by adding a cast but would anyway break at the runtime.   In this case why Java allows downcasting if it cannot be executed at the runtime? Is there any practical use for this concept?   public class demo {   public static void main(String a[]) {       B b = (B) new A(); // compiles with the cast,                           // but runtime exception - java.lang.ClassCastException   } }  class A {   public void draw() {     System.out.println("1");   }    public void draw1() {     System.out.println("2");   } }  class B extends A {   public void draw() {     System.out.println("3");   }   public void draw2() {     System.out.println("4");   } } Atmospheric pressure In FBD doubt Let us say I have a beaker floating in a water tank. Suddenly I put some water in the beaker also. The figure here shows the exact situation   Now I want to draw the FBD of the beaker. I am somehow confused with the role of the atmospheric pressure in drawing the FBD. I thought of two ways of drawing this and I am just unable to figure out which one is right.    Here since the beaker is floating an $F_{buoyant}$ is there in the upward direction which the net mass (beaker+water in beaker) would put its weight downward.  But while solving one question I came to know that total force that a liquid exerts on the bottom of the container is $P_0+m_{liquid}g$ ($P_0$ is the atmospheric pressure). So should the downward force on the beaker be $(M_{beaker}+M_{water in beaker})g+P_0 S$ (S being the base area of the beaker) as in the second diagram down here.    Here the $P_0S$ due to atmospher on the tube gets cancelled by the $P_0S$ exerted by the water in tank on the tube. But what about the $P_0S$ from the water present in the tube? Do the FBD's apply like the one in the new image? Find $ \lim\limits_{ x\to 100 } \dfrac { 10-\sqrt { x } }{ x-100 }$  (without using a calculator and other machines...?) Split string into sentences using regex Clothing store access in Pokémon X & Y Once the player obtains access to Lumiose City for the first time, they'll be able to visit Boutique Couture from the city's Vernal Avenue (South fork, connecting from South Boulevard). Upon entering the store without performing any other actions, the player will be turned away and informed they "aren't stylish enough" and that they should visit more places in Lumiose City before visiting again.  This description is dubious, and doesn't inform the player of what they need to accomplish to gain access. Specifically:  Even beating the game (completing the Pokémon League) fails to allow access, as does modifying the player's look, visiting most shops in all areas of Lumiose City, and performing all hair stylist, PR studio, and associated actions. Completing a set of triple battles in Restaurant Le Wow did set the event flag that allowed access in my copy of Y, but it is not clear if this is the only requirement for access.  So other players may benefit, and so I know how to repeat this process if I obtain a copy of X or the future release of Z, what exact requirements yield access to this store for the first time? How to unzip a zip file from the Terminal? Just downloaded a .zip file from the internet. I want to use the terminal to unzip the file. What is the correct way to do this? Loading D3.js data from a simple JSON string I have a Lenovo T570 with Xubuntu 18.04 LTS. My current issue is that my cpu speed stepping is kind of going nuts and does what ever it thinks its best.  Sample: when I run my IDE and cpu load increases during build time, the governor changes automatically. I caught the moment during compiling my project with the following call:  martin@martin-ThinkPad-T570:~$ while cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor; do sleep 1; done powersave powersave performance performance   cpufreq-info tells me this:  martin@martin-ThinkPad-T570:~$ cpufreq-info  cpufrequtils 008: cpufreq-info (C) Dominik Brodowski 2004-2009 Report errors and bugs to cpufreq@vger.kernel.org, please. analyzing CPU 0:   driver: intel_pstate   CPUs which run at the same hardware frequency: 0   CPUs which need to have their frequency coordinated by software: 0   maximum transition latency: 4294.55 ms.   hardware limits: 400 MHz - 3.50 GHz   available cpufreq governors: performance, powersave   current policy: frequency should be within 3.50 GHz and 3.50 GHz.                   The governor "performance" may decide which speed to use                   within this range.   current CPU frequency is 3.25 GHz. analyzing CPU 1:   driver: intel_pstate   CPUs which run at the same hardware frequency: 1   CPUs which need to have their frequency coordinated by software: 1   maximum transition latency: 4294.55 ms.   hardware limits: 400 MHz - 3.50 GHz   available cpufreq governors: performance, powersave   current policy: frequency should be within 3.50 GHz and 3.50 GHz.                   The governor "performance" may decide which speed to use                   within this range.   current CPU frequency is 3.36 GHz. analyzing CPU 2:   driver: intel_pstate   CPUs which run at the same hardware frequency: 2   CPUs which need to have their frequency coordinated by software: 2   maximum transition latency: 4294.55 ms.   hardware limits: 400 MHz - 3.50 GHz   available cpufreq governors: performance, powersave   current policy: frequency should be within 3.50 GHz and 3.50 GHz.                   The governor "performance" may decide which speed to use                   within this range.   current CPU frequency is 3.26 GHz. analyzing CPU 3:   driver: intel_pstate   CPUs which run at the same hardware frequency: 3   CPUs which need to have their frequency coordinated by software: 3   maximum transition latency: 4294.55 ms.   hardware limits: 400 MHz - 3.50 GHz   available cpufreq governors: performance, powersave   current policy: frequency should be within 3.50 GHz and 3.50 GHz.                   The governor "performance" may decide which speed to use                   within this range.   current CPU frequency is 3.36 GHz.   Please take a look at     current policy: frequency should be within 3.50 GHz and 3.50 GHz.       The governor "performance" may decide which speed to use   Afterwards to go back to powersave I use my little script:  martin@martin-ThinkPad-T570:~$ cat cpu_freq_save.sh  #!/bin/bash sudo cpufreq-set -g powersave -c 0 --min 400MHz sudo cpufreq-set -g powersave -c 1 --min 400MHz sudo cpufreq-set -g powersave -c 2 --min 400MHz sudo cpufreq-set -g powersave -c 3 --min 400MHz   Which resets the min frequency and the governor but as soon as I compile again with my IDE every time the governor and the min frequency changes again.  Any idea how I can disable that automatic change?  PS: If you need more details, just tell me where to find them and I will provide them How to hear my voice in speakers with a mic?