Event JSON
{
"id": "ce289e5dbaa082a6996b8bdf98b05fdd936df9a29184e9ef3943047b9fa37a99",
"pubkey": "e85f36b0d1fcf03617a0a98996cfdfe4f28c44d12447543bc606d2733d61a2ca",
"created_at": 1731608243,
"kind": 1,
"tags": [
[
"p",
"4c67f1ec329775408b6cfe504fabdf7915b7bfd39e0cb5b5c09b4799764c68bb",
"wss://relay.mostr.pub"
],
[
"p",
"a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"wss://relay.mostr.pub"
],
[
"e",
"dc7f43d697418de951a77c7f1420b1e5c37bac50cd63becd1bb24e343a01f19a",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://social.sciences.re/users/MonniauxD/statuses/113482677822859972",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzask6gyrf CompCert does have an inliner but I wonder what you call a competent inliner.",
"sig": "21f3cdb6771da0f432fb5540308609e8d75ae514f5f5f0a8673abf8e6738d1e992bf02fe3a989575b5654a4677a8ec1d7fc1b723bb058c94ee45a8513f0ce4d3"
}
