2017-10-20

Die Kurzmeldungen des Tages

11:36 @dominiczypen @DeepMindAI @demishassabis @JDHamkins And then, how long to automated proofs of protocols, algorithms, etc? [Original; Antwort an @dominiczypen]

19:56 RT @RitzmannMarkus: Deshalb ist #Netzneutralität wichtig: Screenshot von einem Portugiesischen Netzbetreiber. pic.twitter.com/eZRdAeNJP8
[Original]

23:59 [/tweets/2017] ‚óŹ