Event JSON
{
"id": "7f026dd2086e6d4f42f328ca24e18a26e70dc7f48c4d030fb61e5456d5a44b21",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1732483986,
"kind": 1,
"tags": [
[
"p",
"6b7a2ef4a5cc8a61919a16d0cac34d8f87c1ca1f87ddaf8f629273a5861da296",
"wss://relay.mostr.pub"
],
[
"p",
"918253236da10cdbfe286d90cddca23f8ba8fd35225272468181223327f39670",
"wss://relay.mostr.pub"
],
[
"p",
"3a7a8db6d1beddd03d6a3e75517d6a3ffe15a47f77025dc8718159c9a14f0f8c",
"wss://relay.mostr.pub"
],
[
"p",
"e5c92743c5aec1c7624d504c3396fe7fb94cbd92e1ee0d469ba265b03a69574f",
"wss://relay.mostr.pub"
],
[
"e",
"09d591bfb8ee57af6a7b335d512a3a595918f623edc64dfadb0599e9ff0ae885",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodon.social/users/regehr/statuses/113540070539550066",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqddazaa99ej9xryv6zmgv4s6d37rurjslslw6lrmzjfe6tpsa52tqsvqf9z nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjxp9xgmd5yxdhl3gdkgvmh9z87963lf4yff8y35psy3rxflnjecqxnq7hd absolutely. I routinely teach programming in terms of informal proofs. every now and then I go read part of a book about invariant-based programming, there are a few of these. also every now and then I get to teach a course that centers this kind of reasoning. but most people make it through our program without major exposure to this",
"sig": "365a66c3bb725028c43493dae401887873c30cd1f1a057a079c38183c4cb75cf0b6413d79f810b96895d0e9791fed5e8151f0bc90d480d3b26a079b1ce3d30b5"
}
