HackerTrans
TopNewTrendsCommentsPastAskShowJobs

lzralbu

no profile record

comments

lzralbu
·2 ปีที่แล้ว·discuss
Note that $A_k = \left[\frac{1}{k}, \frac{2}{k}\right] \times \left[\frac{1}{k}, \frac{2}{k}\right] \to \{(0, 0)\}$ in $[0,1]\times [0, 1]$ with the Hausdoff metric, so it is a Cauchy sequence in $X = (0,1) \times (0, 1)$ but without convergent subsequence, i.e., $F(X)$ is not complete, hence not compact so the finite subcover argument fails.
lzralbu
·2 ปีที่แล้ว·discuss
hocus.
lzralbu
·3 ปีที่แล้ว·discuss
The geometric algebra over linear algebra people vs the tau over pi crowd. The two at 80km/h, who is faster?
lzralbu
·3 ปีที่แล้ว·discuss
There's also https://moonscript.org/(Lua's CoffeeScript on author's words).