Viewing enriched Twitter post
On the pod: "Constrained Adaptive Rejection Sampling" with @ucsd_cse professor @lorisdanto. Hear how symbolic AI experts have navigated the LLM era and why the future of AI code generation depends on program synthesis and formal methods. https://t.co/umlOa4iYk8
{
"media": [
{
"url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/2072347026260644140/media_0.mp4",
"media_url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/2072347026260644140/media_0.mp4",
"type": "video",
"filename": "media_0.mp4"
}
],
"processed_at": "2026-07-01T18:03:24.736707",
"pipeline_version": "2.0"
}{
"type": "tweet",
"id": "2072347026260644140",
"url": "https://x.com/ndea/status/2072347026260644140",
"twitterUrl": "https://twitter.com/ndea/status/2072347026260644140",
"text": "On the pod: \"Constrained Adaptive Rejection Sampling\" with @ucsd_cse professor @lorisdanto.\n\nHear how symbolic AI experts have navigated the LLM era and why the future of AI code generation depends on program synthesis and formal methods. https://t.co/umlOa4iYk8",
"source": "Twitter for iPhone",
"retweetCount": 6,
"replyCount": 2,
"likeCount": 16,
"quoteCount": 1,
"viewCount": 3772,
"createdAt": "Wed Jul 01 15:50:08 +0000 2026",
"lang": "en",
"bookmarkCount": 11,
"isReply": false,
"inReplyToId": null,
"conversationId": "2072347026260644140",
"displayTextRange": [
0,
238
],
"inReplyToUserId": null,
"inReplyToUsername": null,
"author": {
"type": "user",
"userName": "ndea",
"url": "https://x.com/ndea",
"twitterUrl": "https://twitter.com/ndea",
"id": "1846621278910009346",
"name": "Ndea",
"isVerified": false,
"isBlueVerified": false,
"verifiedType": "Business",
"profilePicture": "https://pbs.twimg.com/profile_images/1881044222633033728/Gz7yzws9_normal.jpg",
"coverPicture": "https://pbs.twimg.com/profile_banners/1846621278910009346/1736893644",
"description": "",
"location": "",
"followers": 10941,
"following": 98,
"status": "",
"canDm": false,
"canMediaTag": true,
"createdAt": "Wed Oct 16 18:37:12 +0000 2024",
"entities": {
"description": {
"urls": []
},
"url": {}
},
"fastFollowersCount": 0,
"favouritesCount": 271,
"hasCustomTimelines": true,
"isTranslator": false,
"mediaCount": 61,
"statusesCount": 115,
"withheldInCountries": [],
"affiliatesHighlightedLabel": {},
"possiblySensitive": false,
"pinnedTweetIds": [],
"profile_bio": {
"description": "A new intelligence science lab founded by @fchollet & @mikeknoop. Deep Learning-guided Program Synthesis. We're hiring.",
"entities": {
"description": {
"user_mentions": [
{
"id_str": "",
"indices": [
42,
51
],
"name": "",
"screen_name": "fchollet"
},
{
"id_str": "",
"indices": [
54,
64
],
"name": "",
"screen_name": "mikeknoop"
}
]
},
"url": {
"urls": [
{
"display_url": "ndea.com",
"expanded_url": "https://ndea.com",
"indices": [
0,
23
],
"url": "https://t.co/jtkV1yCa0S"
}
]
}
}
},
"isAutomated": false,
"automatedBy": null
},
"extendedEntities": {
"media": [
{
"additional_media_info": {
"description": "Formal methods and program synthesis solve problems like prompt injection and verifiable code.",
"monetizable": false,
"title": "UCSD professor Loris D'Antoni on symbolic AI in the LLM era"
},
"allow_download_status": {
"allow_download": false
},
"display_url": "pic.twitter.com/umlOa4iYk8",
"expanded_url": "https://twitter.com/ndea/status/2072347026260644140/video/1",
"ext_master_playlist_only": [],
"ext_media_availability": {
"status": "Available"
},
"ext_media_restrictions": {
"is_dmca": false
},
"ext_playlists": [],
"id_str": "2072344635255730176",
"indices": [
239,
262
],
"media_key": "13_2072344635255730176",
"media_results": {
"id": "QXBpTWVkaWFSZXN1bHRzOgwABAoAARzCcndMmrAAAAA=",
"result": {
"__typename": "ApiMedia",
"id": "QXBpTWVkaWE6DAAECgABHMJyd0yasAAAAA==",
"media_key": "13_2072344635255730176"
}
},
"media_url_https": "https://pbs.twimg.com/media/HMJz181bIAE8Tdk.jpg",
"original_info": {
"focus_rects": [],
"height": 1080,
"width": 1920
},
"sizes": {
"large": {
"h": 1080,
"w": 1920
}
},
"type": "video",
"url": "https://t.co/umlOa4iYk8",
"video_info": {
"aspect_ratio": [
16,
9
],
"duration_millis": 58666,
"variants": [
{
"content_type": "application/x-mpegURL",
"url": "https://video.twimg.com/amplify_video/2072344635255730176/pl/coXVbxqByp9EtbwQ.m3u8?tag=28&v=54b"
},
{
"bitrate": 256000,
"content_type": "video/mp4",
"url": "https://video.twimg.com/amplify_video/2072344635255730176/vid/avc1/480x270/t1LNXuj4kNGe4kB6.mp4?tag=28"
},
{
"bitrate": 832000,
"content_type": "video/mp4",
"url": "https://video.twimg.com/amplify_video/2072344635255730176/vid/avc1/640x360/hoSISZABQjrI-UcA.mp4?tag=28"
},
{
"bitrate": 2176000,
"content_type": "video/mp4",
"url": "https://video.twimg.com/amplify_video/2072344635255730176/vid/avc1/1280x720/Tus8f0Ukeb-MbjsL.mp4?tag=28"
},
{
"bitrate": 10368000,
"content_type": "video/mp4",
"url": "https://video.twimg.com/amplify_video/2072344635255730176/vid/avc1/1920x1080/_TVVHQbuwvL7Ultc.mp4?tag=28"
}
]
}
}
]
},
"card": null,
"place": {},
"entities": {
"user_mentions": [
{
"id_str": "889527316237369344",
"indices": [
59,
68
],
"name": "UCSD CSE",
"screen_name": "ucsd_cse"
},
{
"id_str": "108265995",
"indices": [
79,
90
],
"name": "Loris D'Antoni",
"screen_name": "lorisdanto"
}
]
},
"quoted_tweet": null,
"retweeted_tweet": null,
"isLimitedReply": false,
"communityInfo": null,
"article": null
}