gimmechocolate on Nostr: So far I found out it fits in with lambda calculus! am now wondering if it'd fit in ...
So far I found out it fits in with lambda calculus! am now wondering if it'd fit in with ML/homotopy type theory!!!
gimmechocolate
npub1p2…cyypk
2026-05-12 18:51:24 UTC
in reply to nevent1q…t3cg
Author Public Key
npub1p2pxy7nrfh7y4t7wl46hhrtn22yz846e20j49avddt7t5wjxt69sfcyypkSeen on
wss://relay.momostr.pinkPublished at
2026-05-12 18:51:24 UTCEvent JSON
{
"id": "b6f817179ce52d7eccad7e09d2e24d80b3e4ad50edb4970e47cbd784fa51502b",
"pubkey": "0a82627a634dfc4aafcefd757b8d73528823d75953e552f58d6afcba3a465e8b",
"created_at": 1778611884,
"kind": 1,
"tags": [
[
"e",
"d34eb1f9381fe4165e88f943730581df47a9fe334af5454613aeab2ce3d2f7fe",
"",
"reply",
"11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b"
],
[
"p",
"11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b"
],
[
"e",
"638cfb05befb50ba261cf489518277a0ad51530a994548e2dce3c9245fbb2e7f",
"",
"root",
"11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b"
],
[
"p",
"0a82627a634dfc4aafcefd757b8d73528823d75953e552f58d6afcba3a465e8b"
],
[
"proxy",
"https://bark.lgbt/@gimmechocolate/116563108461111295",
"web"
],
[
"proxy",
"https://bark.lgbt/users/gimmechocolate/statuses/116563108461111295",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bark.lgbt/users/gimmechocolate/statuses/116563108461111295",
"pink.momostr"
],
[
"-"
]
],
"content": "So far I found out it fits in with lambda calculus! am now wondering if it'd fit in with ML/homotopy type theory!!!",
"sig": "e9b26724d6e530ed911c580b76a7c45cb114272d29b572c6e8c2e3bc6d633f848ecde1f658466cea656f0869ad8d79eba3cbbd6125121da96bc24ade20d1e965"
}