Viewing profile — alderz

The store page is struggling with 502's right now.

Metals get rust by an oxidation process.

I am not sure why you got downvoted. The website makes the point well.

Looking at the CSS classes, it references the procedence of the mathematician: (North) America is green, Middle East orange, Asia red, and so on. Tao is the only blue: he is from O…

I came to the comment section to compliment the choice of Garamond. The web would look much more beautiful with proper justification. It's a pity technology is not there yet. TeX s…

I read a lot of PDFs, and I cannot find a good reader on Linux. Evince does not support tabs and has no history navigation (back/forward). Qpdfviewer does have those features, but …

WhatsApp is, or used to be, based on a heavily modified version of ejabberd, which is a XMPP server written in Erlang.

Ipe is a lovely piece of software. I use it a lot and always feel that it deserves to be more well-known. I do not find it especially good for commutative diagrams, though. I usual…

There is also https://github.com/yishn/tikzcd-editor which I have used a few times.

Keep in mind that Docker for Mac runs in a virtual machine, so it is much heavier than running it on Linux.

The author has written the novel "Permutation City", which I read after seeing it recommended here on HN a lot. It is a great book. I never thought I would be interested in sci-fi,…

In the subject of Artificial Intelligence it says: > Theorem: No AI will bother after hacking its own reward function. and then goes on: > The picture [263] is that once the AI has…

http://archive.is/Oyn47

I guess that for some people, and particularly in small reviews, it is enough with the list of files and inline comments. I would like to have a tree view where I can see all the f…