Human in the loop automated formal verifier
All opinions are my own
Not a professional account
IRL: Markus de Medeiros (he/him)
OLD ACCT.:
https://types.pl/@markusdeSHITPOSTING ACCT.: You'll never find it
Published at
2025-02-06T20:17:38ZEvent JSON
{
"id": "c20e08568ed465600081d37d4179e13d173a51ab81ecfeeaa7fed854d3312abc",
"pubkey": "d49e30ef9cf7ab229c948ac4146c4c82858d54be1392d2e5ea2a77891cbd6e96",
"created_at": 1738873058,
"kind": 0,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/markusde",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/markusde",
"pink.momostr"
],
[
"-"
]
],
"content": "{\"name\":\"markusde (knows how to count)\",\"about\":\"Human in the loop automated formal verifier \\n\\nAll opinions are my own \\n\\nNot a professional account\\n\\nIRL: Markus de Medeiros (he/him)\\nOLD ACCT.: https://types.pl/@markusde\\nSHITPOSTING ACCT.: You'll never find it\\n\",\"website\":\"https://mathstodon.xyz/@markusde\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/6365b6a3167f6e7d.jpg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/109/348/375/625/542/944/original/7ce3470d47b986e5.png\",\"nip05\":\"markusde_at_mathstodon.xyz@momostr.pink\"}",
"sig": "639f6dcadfa55df25dcb714b5d31a4b02800ffdfd0e46a1fc254827a1b3d860290500511587e1aff9acd55f1299bf9e1e02e385a5a539cb5350383f94fc12ce6"
}
