Event JSON
{
"id": "dc7f43d697418de951a77c7f1420b1e5c37bac50cd63becd1bb24e343a01f19a",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1731608192,
"kind": 1,
"tags": [
[
"p",
"7a47ac102797e744c67f5cddf945ced1e4c35b2ac6e5c8c1f89b5cd74fb22022",
"wss://relay.mostr.pub"
],
[
"p",
"e85f36b0d1fcf03617a0a98996cfdfe4f28c44d12447543bc606d2733d61a2ca",
"wss://relay.mostr.pub"
],
[
"e",
"5d1ea63449a7e267c1e5d9dbfeb39b5c613245550f7da70eee2731fa032e5976",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodon.social/users/regehr/statuses/113482674478894302",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq0fr6cyp8jln5f3nltnwlj3ww68jvxke2cmju3s0cndwdwnajyq3qe05n9v are there recent benchmarks? I'd be interested. does CompCert have a competent inliner these days?",
"sig": "512e7f3e1c50ddeb44d575a81a26832973fec94fedd541caeb67946772d9a37dad49ef2e2eb120fe1f26ea225cf98d58ec87134a28c2dc972aeb68cffcbb47fd"
}
