Event JSON
{
"id": "edfade549583e0985a40aa80f9e1aaf7f5b52bce8333fee6df2a8d70d2cfa5ca",
"pubkey": "d347dc8e033a7660c4f0cfb0115c7cbc824ea00cccacbc9ffd74c01be175f5b3",
"created_at": 1739212143,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"e",
"56976efb9056ecb022c956ed88bd8e2255327876faae5924ca43334994bb7a18",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/byorgey/statuses/113981007054163744",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 I did all the Advent of Code problems using Lean this year (I usually do it in Haskell) and I was quite pleased!",
"sig": "0564be7dbd678b5421bd3bd326110450835b16edd1d3189193f4e6eee5f97072ab114d64d64c19ef8c36aa81e352d7d5ba64e8db18481b45c38db6fbe2730851"
}
