mei on Nostr: I wonder how CompCert deals with this trashfire
I wonder how CompCert deals with this trashfire
mei
npub1zf…6rv57
2024-10-20 20:00:37 UTC
in reply to nevent1q…d53z
Author Public Key
npub1zfhhe9kc24jlljek295nz797s6t6kfle9nr57umk2sgg452m2c5q86rv57Seen on
wss://relay.momostr.pinkPublished at
2024-10-20 20:00:37 UTCEvent JSON
{
"id": "b1f7620119ca3d2c42faa7e45d8daccc485ecde626c6aa8f6561ae65629cfd57",
"pubkey": "126f7c96d85565ffcb3651693178be8697ab27f92cc74f737654108ad15b5628",
"created_at": 1729454437,
"kind": 1,
"tags": [
[
"p",
"126f7c96d85565ffcb3651693178be8697ab27f92cc74f737654108ad15b5628"
],
[
"e",
"55623ae010a5d60fe40a2d92c51bc93753b6cb2cddde8fadbdd8625e8dd52786",
"",
"reply",
"126f7c96d85565ffcb3651693178be8697ab27f92cc74f737654108ad15b5628"
],
[
"e",
"2849066880ce51d5cde534a6547c95c7b6fdc8d96f2e666c2cad270f0de88b39",
"",
"root",
"126f7c96d85565ffcb3651693178be8697ab27f92cc74f737654108ad15b5628"
],
[
"proxy",
"https://donotsta.re/objects/fde8e04f-0669-487b-8143-01c155296190",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://donotsta.re/objects/fde8e04f-0669-487b-8143-01c155296190",
"pink.momostr"
],
[
"-"
]
],
"content": "I wonder how CompCert deals with this trashfire",
"sig": "4c982bdac318d2d48524713ecefea2e8de6868cf220ee6bf4bc09e0bce17804c579dad7816611d1c0a850b7c5a8057cdd0eb53eaace22f20215b581f2288899f"
}