He mentioned the models of Samsung laptops that he had access to. Perhaps someone on this HN thread could verify?