News for hackers. Stuff that matters.

A comment on There is no WhatsApp 'backdoor'. Parent comment

Re:There is no WhatsApp 'backdoor' by kazinator on Saturday January 14, 2017 @06:07AM (#13397912)
[T]he programming language used to represent a computer program has nothing fundamentally to do with whether it can be verified.

I would guess that programs in a Turing-incomplete language will be easier to verify than ones in a Turing complete one.

[ Parent | on HN ]

There are no comments on this comment yet.