Amélia Liao 🍊😈 on Nostr: re. whats been going around recently if theyre type theorists theyre not gonna be ...
re. whats been going around recently if theyre type theorists theyre not gonna be using Lean
Amélia Liao 🍊😈
npub105…yvwnw
2025-10-28 17:02:38 UTC
Author Public Key
npub105djthvncz3tms6ke37w4579d0qqmf2e6xt9p7z5h3ayq0wtq7pswyvwnwSeen on
wss://relay.ditto.pubPublished at
2025-10-28 17:02:38 UTCEvent JSON
{
"id": "1c6bae32061677f8398abe728fd01f34ccb97d9f31799d740bd9b28181bb6fdb",
"pubkey": "7d1b25dd93c0a2bdc356cc7cead3c56bc00da559d19650f854bc7a403dcb0783",
"created_at": 1761670958,
"kind": 1,
"tags": [
[
"imeta",
"url https://pool.jortage.com/typespl/media_attachments/files/115/452/867/075/476/166/original/b55e593383ef65fa.png",
"m image/png",
"dim 1266x1638",
"blurhash U4SigOV:~RofMtM^wY%MIUXVac%2ohNNM_%2"
],
[
"proxy",
"https://types.pl/users/amy/statuses/115452867947730317",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "re. whats been going around recently if theyre type theorists theyre not gonna be using Lean\n\nhttps://pool.jortage.com/typespl/media_attachments/files/115/452/867/075/476/166/original/b55e593383ef65fa.png",
"sig": "d19e9d79c962ba0e96907a27f1aeb8cb7da0f63f99feaecec1b134b622099cf99a2de991aa35619273988236bf083af78a40557597a5a48fedabef1a3ad3458f"
}