David Monniaux on Nostr: Looking for postdocs on e.g. Rust semantics, formally verified compilation. Contact ...
Looking for postdocs on e.g. Rust semantics, formally verified compilation. Contact me by email.
David Monniaux
npub1yh…hvq2m
2024-11-15 22:38:11 UTC
Author Public Key
npub1yhtg65n85ggj6dgqvmttcxxzgkkh4a0t7vdr5q9fm4tfyxu7r7fqehvq2mSeen on
wss://relay.momostr.pinkPublished at
2024-11-15 22:38:11 UTCEvent JSON
{
"id": "8e95f7f356172d9a1a1d051ef85f10def77122cb2f5ca1088fb45998b205ce61",
"pubkey": "25d68d5267a2112d350066d6bc18c245ad7af5ebf31a3a00a9dd56921b9e1f92",
"created_at": 1731710291,
"kind": 1,
"tags": [
[
"proxy",
"https://social.sciences.re/@MonniauxD/113489365675937689",
"web"
],
[
"proxy",
"https://social.sciences.re/users/MonniauxD/statuses/113489365675937689",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://social.sciences.re/users/MonniauxD/statuses/113489365675937689",
"pink.momostr"
],
[
"-"
]
],
"content": "Looking for postdocs on e.g. Rust semantics, formally verified compilation. Contact me by email.",
"sig": "edfd9dc7c3f208ad7352f5ded2488da4afb5b8944e8fc2681cfac7c0e6c84d5cd2370991c8becbfcdb319caaa3ea1eb0cddc784ba55e99c0c34b40fbab9d4eda"
}