benni on Nostr: ... übersetze sie in Lean und teste sie. Zeig mir nur die getesteten. Sonst kommt da ...
... übersetze sie in Lean und teste sie. Zeig mir nur die getesteten. Sonst kommt da ja ganz viel Müll zusammen!
benni
npub195…r2d07
2026-09-07 16:58:33 UTC
in reply to nevent1q…j5p9
Author Public Key
npub1952x9gpr09xnkcphzcunwqzp8uw80pjsgdxtdf7wtjhgs747ca5syr2d07Published at
2026-09-07 16:58:33 UTCEvent JSON
{
"id": "0b6fe955ec2440281422d54c492f48e2bd28aa2f89dfe3b47645ecb015ad0a04",
"pubkey": "2d1462a023794d3b603716393700413f1c778650434cb6a7ce5cae887abec769",
"created_at": 1788800313,
"kind": 1,
"tags": [
[
"proxy",
"https://social.tchncs.de/@benni/117230817350844407",
"web"
],
[
"p",
"88d0a5f20e6bd3b317016e94c6ff100573ffbefa0636fa8fc29c8c8533b92940"
],
[
"p",
"2d1462a023794d3b603716393700413f1c778650434cb6a7ce5cae887abec769"
],
[
"e",
"322e5e10db4ca573a1c73868b7a728f38c2f53322053023da7f39cd1d7b65e1d",
"",
"root",
"88d0a5f20e6bd3b317016e94c6ff100573ffbefa0636fa8fc29c8c8533b92940"
],
[
"e",
"c159a7c01917191f9093abb33b09cf95f834d958f92cc2451fbaada2649c08bb",
"",
"reply",
"88d0a5f20e6bd3b317016e94c6ff100573ffbefa0636fa8fc29c8c8533b92940"
],
[
"proxy",
"https://social.tchncs.de/users/benni/statuses/117230817350844407",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://social.tchncs.de/users/benni/statuses/117230817350844407",
"pink.momostr"
],
[
"-"
]
],
"content": "... übersetze sie in Lean und teste sie. Zeig mir nur die getesteten. Sonst kommt da ja ganz viel Müll zusammen!",
"sig": "b75f5b6f7a7b2e4e7beef7d177f70076c9b114fd441f072c3cfbb397dff0a438c562a690f61e5f277830e5a183bcc07746eb6be46e6235988d9ee20161cbd6f7"
}