José A. Alonso on Nostr: #MULCIA: PostDoc on Lean + Compilers at the University of Cambridge #PostDoc #CompSci ...
#MULCIA: PostDoc on Lean + Compilers at the University of Cambridge https://tinyurl.com/mr3r773h #PostDoc #CompSci #LeanProver
José A. Alonso /
npub1pm…nv8pw
2024-08-09 17:42:35
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-08-09 17:42:35Event JSON
{
"id": "87658813f76a260ec8f17e07e4edc9da0e0e61aed890c711090ee63de016bc07",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723225355,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"compsci"
],
[
"t",
"postdoc"
],
[
"t",
"MULCIA"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112933296894555394",
"activitypub"
]
],
"content": "#MULCIA: PostDoc on Lean + Compilers at the University of Cambridge https://tinyurl.com/mr3r773h #PostDoc #CompSci #LeanProver",
"sig": "dd689d80bb5037d58c4176ef85ead0662e87883d97aff1e3ba9993d1ca910b27c0f2498e2d546c32704bc1a698ffcd8150ae7c029c31d5515e9898155564b11f"
}