Notices by Hattie Cat (hattiecat@quitter.no), page 3
Hattie Cat (hattiecat@quitter.no)'s status on Tuesday, 16-Jan-2018 01:37:19 EST
Hattie CatPeople seem to be raving about Skype supporting end-to-end encryption, and giving Microsoft credit. However, overlooks two points: (1) Skype started out peer-to-peer and MS centralized it, and (2) MS still collects metadata. I see it more as a MS's hand being forced by fact that most competitors are introducing end-to-end encryption, not because they want to add it out of the goodness of their hearts. Don't give credit where credit isn't due.
Hattie Cat (hattiecat@quitter.no)'s status on Tuesday, 16-Jan-2018 01:26:04 EST
Hattie CatSignal's reliance on Google and lack of federation (centralized architecture) make it harder to recommend. XMPP with OTR, hosted on your own server, with Tor connections might be a better bet but no push notifications on mobile (particularly on iOS) without using third-party push services. Which is why Signal uses Google? (XMPP has a push option but needs server support.)
"A popular print in Serbia depicts a moustached peasant wearing the šubara (fur hat), drinking Šljivovica from a leather-wrapped bottle, with the motto: 'Fuck the Cola, fuck the Pizza, all we need is Šljivovica'." https://en.wikipedia.org/wiki/Slivovitz
Hattie Cat (hattiecat@quitter.no)'s status on Monday, 15-Jan-2018 00:23:30 EST
Hattie CatSerious question: what (if any) are the implications of Gödel's incompleteness theorems for formal methods to 'prove' a program against a spec. Does it e.g. imply that any spec. can never be complete? Or does it only apply to systems of arithmetic described by axioms?
Hattie Cat (hattiecat@quitter.no)'s status on Friday, 12-Jan-2018 07:35:22 EST
Hattie CatI have a very grave concern that W3C standards are now so complex they can't be implemented except by large, expensive software teams, which require corporate backing. Firefox selling out to Google, Pocket. The web becoming controlled by corporations lock, stock & barrel.