{"id": 1621279714496368641, "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": 149763, "url": "https://t.co/lODvDeHGtF", "lang": null, "name": "Sriram Krishnan - sriramk.eth", "id_str": "149763", "entities": {"url": {"urls": [{"url": "https://t.co/lODvDeHGtF", "indices": [0, 23], "display_url": "sriramk.com", "expanded_url": "https://sriramk.com"}]}, "description": {"urls": []}}, "location": "San Francisco", "verified": true, "following": true, "protected": false, "time_zone": null, "created_at": "Fri Dec 22 06:29:50 +0000 2006", "utc_offset": null, "description": "Investing in crypto @a16zcrypto.  Care about tech, startups, systems, pro wrestling and movies.  \n\nHost \"GTS\" podcast with @aarthir.", "geo_enabled": true, "screen_name": "sriramk", "listed_count": 2762, "friends_count": 994, "is_translator": false, "notifications": false, "statuses_count": 16228, "default_profile": false, "followers_count": 183363, "translator_type": "regular", "favourites_count": 113007, "profile_image_url": "http://pbs.twimg.com/profile_images/1486656046990970880/zfu-pvK__normal.jpg", "profile_banner_url": "https://pbs.twimg.com/profile_banners/149763/1378163043", "profile_link_color": "050505", "profile_text_color": "333333", "follow_request_sent": false, "contributors_enabled": false, "has_extended_profile": true, "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/1486656046990970880/zfu-pvK__normal.jpg", "profile_background_color": "FFFFFF", "profile_sidebar_fill_color": "FFFFFF", "profile_background_image_url": "http://abs.twimg.com/images/themes/theme8/bg.gif", "profile_sidebar_border_color": "000000", "profile_use_background_image": false, "profile_background_image_url_https": "https://abs.twimg.com/images/themes/theme8/bg.gif"}, "place": null, "id_str": "1621279714496368641", "source": "<a href=\"https://mobile.twitter.com\" rel=\"nofollow\">Twitter Web App</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 22:49:40 +0000 2023", "coordinates": null, "contributors": null, "retweet_count": 72, "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": 15, "friends_count": 159, "is_translator": false, "notifications": false, "statuses_count": 54, "default_profile": true, "followers_count": 594, "translator_type": "none", "favourites_count": 124, "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": 72, "favorite_count": 392, "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}