{"id": 1621266062502432769, "geo": null, "lang": "en", "text": "RT @daejunpark: We are excited to announce the beta release of Halmos, a new open source formal verification tool.\n\nPost: https://t.co/gzlr\u2026", "user": {"id": 2529971, "url": "https://t.co/mq4F9gAqOb", "lang": null, "name": "cdixon.eth", "id_str": "2529971", "entities": {"url": {"urls": [{"url": "https://t.co/mq4F9gAqOb", "indices": [0, 23], "display_url": "a16zcrypto.com", "expanded_url": "http://a16zcrypto.com"}]}, "description": {"urls": []}}, "location": "CA", "verified": true, "following": true, "protected": false, "time_zone": null, "created_at": "Tue Mar 27 17:48:00 +0000 2007", "utc_offset": null, "description": "Programming, philosophy, history, internet, startups, web3 @ a16z", "geo_enabled": true, "screen_name": "cdixon", "listed_count": 15678, "friends_count": 4274, "is_translator": false, "notifications": false, "statuses_count": 12798, "default_profile": false, "followers_count": 883094, "translator_type": "none", "favourites_count": 23264, "profile_image_url": "http://pbs.twimg.com/profile_images/1433529810681155587/ACs86CsF_normal.png", "profile_banner_url": "https://pbs.twimg.com/profile_banners/2529971/1640478483", "profile_link_color": "89C9FA", "profile_text_color": "333333", "follow_request_sent": false, "contributors_enabled": false, "has_extended_profile": false, "default_profile_image": false, "withheld_in_countries": [], "is_translation_enabled": false, "profile_background_tile": true, "profile_image_url_https": "https://pbs.twimg.com/profile_images/1433529810681155587/ACs86CsF_normal.png", "profile_background_color": "C0DEED", "profile_sidebar_fill_color": "DDEEF6", "profile_background_image_url": "http://abs.twimg.com/images/themes/theme1/bg.png", "profile_sidebar_border_color": "FFFFFF", "profile_use_background_image": true, "profile_background_image_url_https": "https://abs.twimg.com/images/themes/theme1/bg.png"}, "place": null, "id_str": "1621266062502432769", "source": "<a href=\"http://twitter.com/download/iphone\" rel=\"nofollow\">Twitter for iPhone</a>", "entities": {"urls": [], "symbols": [], "hashtags": [], "user_mentions": [{"id": 63308081, "name": "Daejun Park", "id_str": "63308081", "indices": [3, 14], "screen_name": "daejunpark"}]}, "favorited": false, "retweeted": false, "truncated": false, "created_at": "Thu Feb 02 21:55:25 +0000 2023", "coordinates": null, "contributors": null, "retweet_count": 82, "favorite_count": 0, "is_quote_status": false, "retweeted_status": {"id": 1621256461233049600, "geo": null, "lang": "en", "text": "We are excited to announce the beta release of Halmos, a new open source formal verification tool.\n\nPost:\u2026 https://t.co/4noMB63sRZ", "user": {"id": 63308081, "url": "https://t.co/mMukEIplnm", "lang": null, "name": "Daejun Park", "id_str": "63308081", "entities": {"url": {"urls": [{"url": "https://t.co/mMukEIplnm", "indices": [0, 23], "display_url": "daejunpark.github.io", "expanded_url": "https://daejunpark.github.io/"}]}, "description": {"urls": []}}, "location": "", "verified": false, "following": false, "protected": false, "time_zone": null, "created_at": "Thu Aug 06 00:20:24 +0000 2009", "utc_offset": null, "description": "web3 security + formal methods @a16zcrypto; prev. director of formal verification @rv_inc; phd @IllinoisCS", "geo_enabled": true, "screen_name": "daejunpark", "listed_count": 18, "friends_count": 168, "is_translator": false, "notifications": false, "statuses_count": 57, "default_profile": true, "followers_count": 717, "translator_type": "none", "favourites_count": 141, "profile_image_url": "http://pbs.twimg.com/profile_images/1629362327794630657/EdJp19ni_normal.jpg", "profile_link_color": "1DA1F2", "profile_text_color": "333333", "follow_request_sent": false, "contributors_enabled": false, "has_extended_profile": false, "default_profile_image": false, "withheld_in_countries": [], "is_translation_enabled": false, "profile_background_tile": false, "profile_image_url_https": "https://pbs.twimg.com/profile_images/1629362327794630657/EdJp19ni_normal.jpg", "profile_background_color": "C0DEED", "profile_sidebar_fill_color": "DDEEF6", "profile_background_image_url": "http://abs.twimg.com/images/themes/theme1/bg.png", "profile_sidebar_border_color": "C0DEED", "profile_use_background_image": true, "profile_background_image_url_https": "https://abs.twimg.com/images/themes/theme1/bg.png"}, "place": null, "id_str": "1621256461233049600", "source": "<a href=\"https://mobile.twitter.com\" rel=\"nofollow\">Twitter Web App</a>", "entities": {"urls": [{"url": "https://t.co/4noMB63sRZ", "indices": [107, 130], "display_url": "twitter.com/i/web/status/1\u2026", "expanded_url": "https://twitter.com/i/web/status/1621256461233049600"}], "symbols": [], "hashtags": [], "user_mentions": []}, "favorited": false, "retweeted": false, "truncated": true, "created_at": "Thu Feb 02 21:17:16 +0000 2023", "coordinates": null, "contributors": null, "retweet_count": 82, "favorite_count": 416, "is_quote_status": false, "possibly_sensitive": false, "in_reply_to_user_id": null, "in_reply_to_status_id": null, "in_reply_to_screen_name": null, "in_reply_to_user_id_str": null, "in_reply_to_status_id_str": null}, "in_reply_to_user_id": null, "in_reply_to_status_id": null, "in_reply_to_screen_name": null, "in_reply_to_user_id_str": null, "in_reply_to_status_id_str": null}