David Beazley on Nostr: A new talk in which I loosely ponder the intersection of Raft, lambda calculus, and ...
Published at
2023-07-10 23:45:04Event JSON
{
"id": "8a29a06653ad77e8d899c413a42885c6b2df920ba2d420c7492b7f8b928c248b",
"pubkey": "54be8b44da6d3e62d80831e30a85ef15645e1fb05fcadcf16709f5bb2a350112",
"created_at": 1689032704,
"kind": 1,
"tags": [
[
"mostr",
"https://mastodon.social/users/dabeaz/statuses/110692447347212722"
]
],
"content": "A new talk in which I loosely ponder the intersection of Raft, lambda calculus, and category theory. Can formal systems inform actual systems? https://www.youtube.com/watch?v=IkBpVSPXuqI",
"sig": "156bf9be9637825fc4e028ac8ffa2f17c0a275a173bb01c768ab761efca10bd1204a89cc7161292e6dc1a533beed2b2ed2bca62ed3d6eb1877d04527811aca91"
}
