Hacker News 50 on Nostr: Terence Tao – Machine-Assisted Proofs [video] Link: ...
Published at
2025-02-26 08:20:06Event JSON
{
"id": "b434e080ccbe94fab6a5e1b360c9de87c2e9112aa48ca5f9d7c9cbdcff5f9279",
"pubkey": "c054332e25ef1ca0feebcd580622613bed81fec31e41f52f27a644c993cd67ae",
"created_at": 1740558006,
"kind": 1,
"tags": [
[
"proxy",
"https://social.lansky.name/users/hn50/statuses/114069209487825142",
"activitypub"
]
],
"content": "Terence Tao – Machine-Assisted Proofs [video]\n\nLink: https://www.youtube.com/watch?v=5ZIIGLiQWNM\nDiscussion: https://news.ycombinator.com/item?id=43137445",
"sig": "c519abb33e9284704bda24fdb1f6254f6d5e9cdd5a38577d48cf49a4c9ea44efee703437c9cee0a2e27701c723970a03352ddc4d07e30955ed199dd10c0c7237"
}
