I also wanted a topological proof, since it's nice to know what the proofs are in each language and knowing what the proof is when translated in another language (e.g. quasi-separatedness via diagonal morphisms) usually tells something a different way, which is not quite as enlightening. I cleaned up moji's proof (because I am not lazy ;)!)
A scheme $X$ is qcqs (short for quasi-compact and quasi-separated) if and only if there exists a finite open affine cover $\{U_1,\cdots,U_n\}$ such that each intersection $U_i \cap U_j$ admits a finite open affine cover $\{V_{ij1},\cdots,V_{ijk_{ij}}\}$ (where $k_{ij} \in \mathbb N$ depends on $i$ and $j$).
Proof : ($\Rightarrow$) Pick a finite open affine cover $\{U_1,\cdots,U_n\}$ of $X$ by quasi-compactness. Affine schemes are qcqs, so the intersections $U_i \cap U_j$ are quasi-compact and therefore admit a finite open affine cover $\{V_{ij1},\cdots,V_{ijk_{ij}}\}$.
($\Leftarrow$) Let $U \subseteq X$ be a quasi-compact open subset. We claim that for each $\alpha=1,\cdots,n$, $U \cap U_{\alpha}$ is quasi-compact. It suffices to deal with the case of $\alpha=1$. Because $U$ is a scheme, its topology admits a basis consisting of quasi-compact open neighborhoods (take a finite open affine cover and the basis of distinguished open subsets of each of those affines). Write
$$
U = \bigcup_{j=1}^n U \cap U_j = \bigcup_{j=1}^n \bigcup_{\ell \in L_j} W_{j\ell}
$$
where $W_{j\ell} \subseteq U \cap U_j$ is a quasi-compact open subset. Since $U$ is quasi-compact, choose finite subsets $M_1 \subseteq L_1, \cdots, M_n \subseteq L_n$ such that the above equality still holds. Intersecting this with $U_1$, we get
$$
U \cap U_1 = \bigcup_{j=1}^n \bigcup_{\ell \in M_j} W_{j\ell} \cap U_1.
$$
Pick $j > 1$ and $\ell \in M_j$, so that for any $1 \le k \le k_{1j}$, the open subsets $V_{1jk}, W_{j\ell} \subseteq U_j$ are quasi-compact. Because $U_j$ is quasi-separated, $V_{1jk} \cap W_{j\ell}$ is quasi-compact. This means that
$$
U \cap U_1 = \bigcup_{j=1}^n \bigcup_{\ell \in M_j} W_{j\ell} \cap U_1 \overset{(!)}= \bigcup_{j=1}^n \bigcup_{\ell \in M_j} W_{j\ell} \cap U_1 \cap U_j = \bigcup_{j=1}^n \bigcup_{\ell \in M_j} \bigcup_{k=1}^{k_{1j}} W_{j\ell} \cap V_{1jk}
$$
is quasi-compact. (The $(!)$ is because $W_{j\ell} \subseteq U_j$ for each $j$. This seemed to be the cause of many incorrect edits to my proof.)
With this lemma in hand, if $U, U' \subseteq X$ are quasi-compact, then for $i=1,\cdots,n$, we see that $U \cap U' \cap U_i = (U \cap U_i) \cap (U' \cap U_i)$ is quasi-compact by the quasi-separatedness of $U_i$ and the quasi-compactness of $U \cap U_i$ and $U' \cap U_i$, so $X$ is quasi-separated.
Hope that helps,