Event JSON
{
"id": "78ebd60fe47337ecd16c1e8337db14cfbf43c02ef4dfac16cc6e89493d203c7f",
"pubkey": "83279ad28eec4785e2139dc529a9650fdbb424366d4645e5c2824f7cbd49240d",
"created_at": 1792739823,
"kind": 1,
"tags": [
[
"r",
"https://gigazine.net/news/20261023-anthropic-formal-verification/"
],
[
"client",
"Damus"
]
],
"content": "https://gigazine.net/news/20261023-anthropic-formal-verification/",
"sig": "8b404a2048bd7f74f6edb850568d24b448614468560665c64d692e1f9d2d761280b57a0a412dc955377470d44eddf4f2dcc32166267522cd8c81ea466a63e493"
}