Graydon Hoare on Nostr: I did a little blogging about Rust and formal methods and local reasoning and stuff. ...
Published at
2024-05-16 03:16:58Event JSON
{
"id": "f47f5caac53ec5a8a4786fb8786679a4168fa5a780c5af2f1120f3d863fe8f84",
"pubkey": "08499c89c920de1921682450c8192845c3556882efd15c1adf61ccc4906fd7e1",
"created_at": 1715829418,
"kind": 1,
"tags": [
[
"proxy",
"https://types.pl/users/graydon/statuses/112448596740616358",
"activitypub"
]
],
"content": "I did a little blogging about Rust and formal methods and local reasoning and stuff. Let's see how fast a link posted to the fediverse propagates!\n\nhttps://graydon2.dreamwidth.org/312681.html",
"sig": "0f6a1ce34c66bfb1a09b0951f1448dbff88302d7c395b5af1ffa6e900997ed5d0594ec2d56398666f0bd464b9a167037aea5777d1389443917cd02c9c2d85afd"
}
