Event JSON
{
"id": "ff8f17964852d6e0a1e22f1e81cea1910e5880e8a59223e514734f0653c5c2a9",
"pubkey": "801553156848fa533a690ba10ee5064cb57726f30f5534cb380f8e63bb924995",
"created_at": 1716142254,
"kind": 1,
"tags": [
[
"p",
"7d5d98e9b3acd1bfba5996386815be68158d6dc8ea88a9251e79bc54e42dd288"
],
[
"p",
"33f2598349a8ff3f90a4a9fa8c7a85f56e4e5bc9f388f3c50cd75908932ce65b"
],
[
"e",
"4973fc0908aae59d7994458105e7acdfd19b27e56b34f8edd2899b4bd4c7363f",
"",
"root"
],
[
"p",
"91f3801c76d2313f7cbb4814b979cc7a219e35511d61d7f528324f1f8cd0a4ef"
],
[
"proxy",
"https://hachyderm.io/@hrefna/112469098790015341",
"web"
],
[
"e",
"77595d03675f55db374e2a18c38bf28e7667346b62b67d6472ac7512e6d93ccd",
"",
"reply"
],
[
"proxy",
"https://hachyderm.io/users/hrefna/statuses/112469098790015341",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://hachyderm.io/users/hrefna/statuses/112469098790015341",
"pink.momostr"
]
],
"content": "Okay, as someone who is into distributed systems and more recently dependent types I nearly did a spit take: wait what do you mean happens-before as a dependent type!? Is this somewhere I can read about it or see more?",
"sig": "6184325a74ff9e79032c01a83502a2bd16abf6ed3a1651ac3d399b62480c8a0b4b0792dca0275de6db67ff6956def0589d4a017a6696c5b97169ff5f9c4b0837"
}
