{"id": 677779468954558465, "lang": "en", "text": ". @GernotHeiser Still, I'd like to remind that formal proofs for u-kernels do not guarantee real-wold security: https://t.co/jCj4nWzUFW", "urls": [{"url": "https://t.co/jCj4nWzUFW", "expanded_url": "http://theinvisiblethings.blogspot.com/2010/05/on-formally-verified-microkernels-and.html"}], "user": {"id": 2695392493}, "id_str": "677779468954558465", "source": "<a href=\"https://about.twitter.com/products/tweetdeck\" rel=\"nofollow\">TweetDeck</a>", "deleted": false, "hashtags": [], "retrieved": "2018-11-19--06-24-12", "created_at": "Fri Dec 18 09:16:32 +0000 2015", "retweet_count": 2, "user_mentions": [{"id": 109024293, "name": "Gernot Heiser", "screen_name": "GernotHeiser"}], "favorite_count": 7, "legacy_imported": true, "in_reply_to_user_id": 2695392493, "in_reply_to_status_id": 677778871618523136, "in_reply_to_screen_name": "rootkovska"}