dan on Nostr: preparing to publish my vibecoded math lean proof to github and i kinda feel nervous ...
preparing to publish my vibecoded math lean proof to github and i kinda feel nervous cause what if it's all wrong
dan
npub1up…dczka
2026-08-30 23:01:35 UTC
Author Public Key
npub1up3tvsmxq38nv6u7twyrl3x6jy35tjak4z80jv63fl9f6aluej2qcdczkaSeen on
wss://relay.momostr.pinkPublished at
2026-08-30 23:01:35 UTCEvent JSON
{
"id": "bbe8336b9017b617efd26721ab35ec98cc005ff8c6dd8d272ec2a627b2658e10",
"pubkey": "e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94",
"created_at": 1788130895,
"kind": 1,
"tags": [
[
"proxy",
"https://fed.brid.gy/r/https://bsky.app/profile/did:plc:fpruhuo22xkm5o7ttr2ktxdo/post/3mudipgy2f22a",
"web"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mudipgy2f22a",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mudipgy2f22a",
"pink.momostr"
],
[
"-"
]
],
"content": "preparing to publish my vibecoded math lean proof to github and i kinda feel nervous cause what if it's all wrong",
"sig": "53329ea155922846325ca57cf70a45f1f15903af4db714c94b0cb76bf9272e2eabfe1d2999c698a8e2b0cd4a51ca1f0fa84fb1707203f37e34aee317b34360a0"
}