Taneb on Nostr: Considering whether to go to the next Agda Implementor's Meeting. Göteborg is a bit ...
Considering whether to go to the next Agda Implementor's Meeting. Göteborg is a bit of a pain to get to from here.
Published at
2024-09-20 20:32:13Event JSON
{
"id": "8617672a600158e809484e1fe93da6241df0c7bec0f3a614c5dc5b7dc4b8da12",
"pubkey": "48099917a48d45b47e5ca5063c113663fe19e66e1bab376715291475a7c9db9e",
"created_at": 1726864333,
"kind": 1,
"tags": [
[
"proxy",
"https://hacksrus.xyz/objects/3fe64f1d-dd78-4be5-b190-5c8b1482bd8f",
"activitypub"
]
],
"content": "Considering whether to go to the next Agda Implementor's Meeting. Göteborg is a bit of a pain to get to from here.",
"sig": "6a6158e961e6ebfa7b0fd9705298168ce8b604e1dd082fed9c23a9ba23d9c52168a7df527a124e0040be18d4fc8a849099cfdce7ae0e8ea9b58cf2d50e045846"
}