Event JSON
{
"id": "3b45e7f763488fc78de08a815dd4d9c8ad227360bc4a9c52b15327bf61e9a36b",
"pubkey": "2f0afd5abe64f93d8a7586063f781b69e63387bb9a54d5455cfce53f7b87ed06",
"created_at": 1739558135,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"e",
"545783b35712805500548e2968f6076d4a87a8571bf99c800080e3f183797750",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/boarders/statuses/114003681983319740",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 mathematicians and mathematically-oriented people just seem to only be comfortable with induction on the natural numbers in a way that makes me think that time with a proof assistant in a mathematics education will prove beneficial",
"sig": "2208b089547e6dbb26c4fe22528b39cee65dc536086670c1f65bd98ac0a961710d6e94cb49648762e47edad43cb54820debfe38f993e4c46149815ca7f43c149"
}
