Event JSON
{
"id": "6355b0878dcd13581d77ea5a4b44eae90426064b24c80103265cc61be1db1844",
"pubkey": "19132ebf4163a2399191bc90c23f33d1fe4945cbe9c807b0d196b172a2701961",
"created_at": 1688659363,
"kind": 1,
"tags": [
[
"p",
"179f0b1da12b7a4c0c61454ce840ab7e39209baba734499b052114b60fae395f",
"wss://relay.mostr.pub"
],
[
"p",
"14ea47e7d089f910d1a7fea3f11416fe15c4d7e8014839df2cf2a4dba95a1a47",
"wss://relay.mostr.pub"
],
[
"e",
"760f3e374f54abe1914d78e1ee4346459a8a7f23111b307b6a2d3a9f156afc8a",
"wss://relay.mostr.pub",
"reply"
],
[
"mostr",
"https://furry.engineer/users/CapitalEx/statuses/110667980073016023"
]
],
"content": "nostr:npub1z70sk8dp9daycrrpg4xwss9t0cujpxat5u6ynxc9yy2tvraw890sqgjtuz :: As someone that's dabbled with Haskel, I think GHC is going reign supreme over Haskell until the sun explodes, lmao. I could see someone making a code generator for Agda (theorm prover) that spits out verified Rust code. (assuming someone isn't already working on that)",
"sig": "24914bc4ec032ed1cd96b624aeaccae300341e127ca1376b69b75121f905bcf2465f2d7126e32d40a71fe96723d523d176fd6625e4bc87c6b00befee0050686d"
}
