dan on Nostr: learning a ton about proof engineering in practice
learning a ton about proof engineering in practice
dan
npub1up…dczka
2026-08-29 16:47:18 UTC
Author Public Key
npub1up3tvsmxq38nv6u7twyrl3x6jy35tjak4z80jv63fl9f6aluej2qcdczkaSeen on
wss://relay.momostr.pinkPublished at
2026-08-29 16:47:18 UTCEvent JSON
{
"id": "af82ea73bd563c5c77a8defb44fb464f86909ff0e063db9ff6154300e5f56fd3",
"pubkey": "e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94",
"created_at": 1788022038,
"kind": 1,
"tags": [
[
"proxy",
"https://fed.brid.gy/r/https://bsky.app/profile/did:plc:fpruhuo22xkm5o7ttr2ktxdo/post/3muaddbokxc2z",
"web"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3muaddbokxc2z",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3muaddbokxc2z",
"pink.momostr"
],
[
"-"
]
],
"content": "learning a ton about proof engineering in practice",
"sig": "c860384fa9e4757b1670dea7dda73ef40cd8e21b1dfd2e6cba6e196dfb41e043ef246889a702110de4d7f2ade4a988ebb87d439a772a101d2ebda3b73cc9e998"
}