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 Oceania (Australia.)

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 solved the problem for DVI/PDFs long ago, so maybe we should start blogging on PDFs!

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 usually type tikz-cd code for those cases.

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, but this book changed my mind. It deals with simulating conciousness and its implications.

If you enjoyed the post, and the author's website, be sure to read some of his books too!

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 figured out the philosophy of the “Dude” in the Cohen brothers movie Lebowski, also repeated mischiefs does not bother it and it “goes bowling”. Objections are brushed away with “Well, this is your, like, opinion, man”. Two examples of human super intelligent units who have succeeded to hack their own reward function are Alexander Grothendieck or Grigori Perelman.

Grothendieck abandoned the mathematical community after modernizing an entire field and eventually secluded himself in France. He is considered one of the greatest mathematicians https://en.wikipedia.org/wiki/Alexander_Grothendieck#Retirem...

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 files at a glance, and, more importantly, switch back a forth between them. I find it hard to follow the code in Github's UX.

Also, Fisheye/Crucible gives you more flexibility to edit the review, by allowing you to remove files, and add or remove commits. Github PRs are based on branches, while Fisheye/Crucible code reviews are based on commits; it is an entire paradigm shift that gives the user more control. For example, I can create two separate reviews from the same branch on Crucible; that's impossible on Github.

By reading the stream of comments on the PR, and from my own experience, I feel that it is extremely cumbersome to do code reviews on Github. Atlassian's Fisheye/Crucible looks like a better solution. Does anyone think otherwise? I think Github has a large room of improvement in this regard; a PR is not the same as an issue.

Associated papers:

https://n.neurology.org/content/early/2020/06/01/WNL.0000000... https://academic.oup.com/brain/article/doi/10.1093/brain/awa...

I love essays in commit messages! They can be very useful, especially when they describe why the change is being applied, instead of what is being done, which is usually the case.

Many high-profile projects have essays in their commits; I'm familiar with those of Go, e.g. https://github.com/golang/go/commit/5779bb4e92911271583faa13... (picked one at random).

Related to the "Every Mathematician Has Only a Few Tricks" point, there is a Mathoverflow question https://mathoverflow.net/questions/363119/every-mathematicia... that tries to list all of those tricks, which is pretty interesting.

It is Indonesia. See https://observers.france24.com/en/20200204-china-debunked-co... for the details. There are signs that are definitely not chinese. You can see them clearly in the original higher quality video https://www.youtube.com/watch?v=bDvXy6YlPOc

The lack of hijabs is due that it is recorded in the North Sulawesi province of Indonesia, where the majority is christian.

You might be thinking of this one https://img-prod.tgcom24.mediaset.it/images/2020/02/16/11472...

I love how the Escher's work "Drawing hands" shows the "correct" way to hold a pen: https://moa.byu.edu/wp-content/uploads/lw355.jpg

I think I changed my grip after seeing the painting.

The Go team has found that recent Linux kernels break the recently integrated goroutine preemption logic.

There is deep analysis here https://github.com/golang/go/issues/35326#issuecomment-55821... They have bisected the kernel and found that https://github.com/torvalds/linux/commit/d9c9ce34ed5c892323c... is the culprit. Apparently, it introduces changes in the signal handling behavior only visible when compiled with GCC 9, presumably because it uses AVX registers.

The entire discussion is a nice read.

I don't know about a full translation, but some is translated and available here: https://www.fermentmagazine.org/rands/recoltes1.html

And more texts are available here: https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircl...

How does the paper of Hauptmann prove P != NP?

Sigma_2^p != NP as far as I know and after a brief skimming the paper does not mention P != NP.

Edit: the paper does indeed mention P != NP in the form of P != Sigma_2^p => P != Sigma_1^p = NP. Please disregard my comment.

In the same thread you can find proof of this happening to other subreddits as well, so it is not political.

I find no mention in the article to org-mode. It is the reason I am sticking with emacs (well, spacemacs), nothing I have tried comes close. I have been a vim user for many many years and I love its simplicity compared to emacs, but org-mode is truly life-changing.

Because it is a mathematical model, and a reasonable one. When you have p( 211 to 220 ) = .0002 as in the article you don't need to consider negative values. The power of mathematical models comes from their ability to abstract these details.

Yes, my bad. I have edited the title.

"According to theory theorists, a child learns by constructing a theory of the world and testing it against experience. In this sense, children are little scientists – they hypothesise on the basis of observations, test their hypotheses experimentally, and then revise their views in light of the evidence they gather."

Like training neural networks: a hypothesis (initial set of parameters), an experimental test (evaluation of the loss function) and the revision of their views (gradient descent).

As the average human reaction time is 0.19 seconds, I don't see 8FPS too bad for a start. More FPS is always nice, of course.

You might want to take a look into partial persistence data structures https://en.m.wikipedia.org/wiki/Persistent_data_structure

The idea is that every change creates a new revision and then you can update the other devices or roll-back previous versions.