Zhixuan Yang on Nostr: let me summon a Kleene algebra expert Cheng Zhang who might know this kind of ...
let me summon a Kleene algebra expert Cheng Zhang (npub1ucf…q6qy) who might know this kind of structures
Zhixuan Yang
npub1v6…ac7s4
2026-06-24 23:16:03 UTC
in reply to nevent1q…pmre
Author Public Key
npub1v6afl9hlcsdeqcw06j3lqtv48xjqpmfyp2nc5e6k829vlp5ekg3qjac7s4Seen on
wss://relay.momostr.pinkPublished at
2026-06-24 23:16:03 UTCEvent JSON
{
"id": "bdfc25b7da5cf829439a9e603bddb53f7e2f78317f2beb89d083b9f04f670af3",
"pubkey": "66ba9f96ffc41b9061cfd4a3f02d9539a400ed240aa78a67563a8acf8699b222",
"created_at": 1782342963,
"kind": 1,
"tags": [
[
"p",
"e613f8d3f4092d399e5125d1704bf2dffe686f6b92116e1921e78ea9cc6993dc"
],
[
"p",
"41f2efd37bc6a6ad74c8ec1ce0870708486072c0cf58dda8897ea15bf4b27b15"
],
[
"proxy",
"https://mathstodon.xyz/@zyang/116807628481804586",
"web"
],
[
"e",
"aababb8ec406b6f0047a86849cb03ed5987f9e14ed723d9808699a6d6b6be8eb",
"",
"root",
"41f2efd37bc6a6ad74c8ec1ce0870708486072c0cf58dda8897ea15bf4b27b15"
],
[
"proxy",
"https://mathstodon.xyz/users/zyang/statuses/116807628481804586",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/zyang/statuses/116807628481804586",
"pink.momostr"
],
[
"-"
]
],
"content": "let me summon a Kleene algebra expert nostr:npub1ucfl35l5pyknn8j3yhghqjljmllxsmmtjggkuxfpu782nnrfj0wqd8q6qy who might know this kind of structures",
"sig": "6b9478d27376cf66f8d38fa0efd37bacb5e1aab6305d139cade4da7399f0ea25d38e7f9673180d6fa7135e4c79a03bf9cdf545c4a3e817c9448a8ec33e37a160"
}