Mekeor Melire on Nostr: where can i find videos of talks of martin hofmann, the computer scientist who worked ...
where can i find videos of talks of martin hofmann, the computer scientist who worked on #typetheory and #categorytheory?
Published at
2024-05-29 18:43:49Event JSON
{
"id": "8fe1a70120d6312f0c1b0c6b5eccf0ee4b6f7deaf53bf5f9c58d155d54d250e2",
"pubkey": "7a8173792a71210640848de1bd3797a9b57ca6906a14285760c0bc0a2d950bae",
"created_at": 1717008229,
"kind": 1,
"tags": [
[
"t",
"typetheory"
],
[
"t",
"categorytheory"
],
[
"proxy",
"https://mastodon.catgirl.cloud/users/mekeor/statuses/112525851345954598",
"activitypub"
]
],
"content": "where can i find videos of talks of martin hofmann, the computer scientist who worked on #typetheory and #categorytheory?",
"sig": "dc7c86837a74fd1354b735636b89a52a78e0828086c228485e790cc4c7d7255c344f8e220508d1c324c29dbcb27940c21585c14c1ff26c95ace341d8d5061d40"
}
