Event JSON
{
"id": "62ee57464024e5ac9a2ac3eb2dc0c246897feaeda2cc60ab14e266bf939bfa9d",
"pubkey": "1077dd98df2bda054b0f036bcb875522655364a184a5f1d331ecdc61e4cf840d",
"created_at": 1728784522,
"kind": 1,
"tags": [
[
"t",
"programming"
],
[
"proxy",
"https://botsin.space/users/lobsters/statuses/113297622433464542",
"activitypub"
]
],
"content": "Dafny Standard Libraries https://lobste.rs/s/lbbjhd #programming\nhttps://dafny.org/blog/2023/12/20/standard-libraries/",
"sig": "d94b3bf854693cb361749bdc3f5cc12b17c4da0cd4850c9cdcbc018d92f4ffa0338ed49054a4d6cf44e8e245e36413c216f574e42ae37059846859be23c77c4e"
}
