Event JSON
{
"id": "6387b594101f740758d52e07e42169b0407c85faf2680d640ec0b149b47b31e8",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1732923380,
"kind": 1,
"tags": [
[
"p",
"ad7f8500d8a08b2bc4fb4a9c908d958cb41d3450ad841bcaee3b36ebf878108b",
"wss://relay.mostr.pub"
],
[
"p",
"ecf0f8f50411f90940bfa6499e9af6471ee37097e31b1b95be9bb6572b2a18fa",
"wss://relay.mostr.pub"
],
[
"e",
"9254735743c1e2b9c58fa2e7d309821262cbb17f4a18d85b77d8a7a3524a20ba",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodon.social/users/regehr/statuses/113568866669816112",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq44lc2qxc5z9jh38mf2wfprv43j6p6dzs4kzphjhw8vmwh7rczz9sn8khed well, Minotaur has a dockerfile, this might work for you? this is my student's superoptimizer that can be thought of as a superset of alive2\n\nhttps://github.com/minotaur-toolkit/minotaur",
"sig": "9872b080905eb2069f8b5e7e13affbc30929f28960d8e8f6b006351092f778193b2a36a56f2e75f6f8417876c312442725b490c538ae3b9d0fee67de24e85db5"
}