HNHacker News
TopNewBestAskShowJobs

lzralbu

2 karma · joined December 2, 2017

submissionscomments
lzralbu··on Turing's topological proof that every written alphabet is finite (2010)
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··on Monument Valley at 10
hocus.
lzralbu··on A Swift intro to Geometric Algebra (2020) [video]
The geometric algebra over linear algebra people vs the tau over pi crowd. The two at 80km/h, who is faster?
lzralbu··on Using Lua with C++
There's also https://moonscript.org/(Lua's CoffeeScript on author's words).
lzralbu··on Ask HN: Which books do you consider real gems in your field of work/study?
Which book do you mean when you say "Polya 1"?
lzralbu··on Many games are held together by duct tape
Does Redux help with things like this?
lzralbu··on Genetic Programmers Are the Next Startup Millionaires – MIT Technology Review
On google chrome, you can prepend "cache:" at the url and then click at "text only version" before it gets blocked.