Event JSON
{
"id": "8dab8fa8c23700f1095c14306ca496cc79b1bf8b9b18138e56f032957592bb60",
"pubkey": "c9f2c5deb60d95c6177b4948e22525821058391c19d22953915a8cc09a28ea10",
"created_at": 1732727915,
"kind": 1,
"tags": [
[
"p",
"4c67f1ec329775408b6cfe504fabdf7915b7bfd39e0cb5b5c09b4799764c68bb",
"wss://relay.mostr.pub"
],
[
"p",
"a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"wss://relay.mostr.pub"
],
[
"e",
"5136b01a4ae463eeb2d178c01a6ff78ccb486e23aa37ba6c694a0972bc3a698d",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/artagnon/statuses/113556056673508633",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzask6gyrf I’d be happy to collaborate on future work, including restricting the search space, and adding support for RISC-V vectors. However, I’d first like to get familiar with the code, and figure out the maintenance story (should I be sending PRs and commit to upstream maintenance, or maintaining my own fork). For now, there are some outstanding PRs in Minotaur and Alive2, on which the loop needs to be closed.",
"sig": "f8e6a510e195e59c8ff3a115ecefc1ecb2bc511b4f345d727d8b8f107a56b8eccdd22d5c83c2c736ed83ff4736fe3d8340c5b310726e5b4a328ae87de5388aac"
}