nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2fpvdepea3xlyxyayf22h7xy6q06kchfeeh8j568n8j07wm49j7qkfq0jd (nprofile…q0jd) Another scenario that's always interesting is when there are two schools inventing the same ideas at the same time, sometimes in collaboration but with very different points of view.
Modern program logics like Iris and its community are interesting, because the community cleaves into two halves and there is almost nobody in one half who can even remotely understand the papers of those in the other half, about their own research topic. (With like two or three exceptions — and I am not among them.)
Jon Sterling
npub1hf…9ls8k
2026-02-11 14:14:30 UTC
in reply to nevent1q…7g3k
Author Public Key
npub1hfga8wmley5fzqtttpeupd8hc6s92rykfmzktm8zfdhu9h8exvqsj9ls8kSeen on
wss://relay.ditto.pubPublished at
2026-02-11 14:14:30 UTCEvent JSON
{
"id": "30b0adca949c568bed0b440307e7f42b7cae8148a04bc1b6f8a6605eb4611387",
"pubkey": "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"created_at": 1770819270,
"kind": 1,
"tags": [
[
"p",
"5242c6e439ec4df2189d2254abf8c4d01fab62e9ce6e79534799e4ff3b752cbc",
"wss://relay.ditto.pub"
],
[
"p",
"a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"wss://relay.ditto.pub"
],
[
"e",
"74686f9162d1b06369f1d8ba721e87214a8c379859cd5e7a8a0188c357c957ad",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jonmsterling/statuses/116052411702116555",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2fpvdepea3xlyxyayf22h7xy6q06kchfeeh8j568n8j07wm49j7qkfq0jd Another scenario that's always interesting is when there are two schools inventing the same ideas at the same time, sometimes in collaboration but with very different points of view.\n\nModern program logics like Iris and its community are interesting, because the community cleaves into two halves and there is almost nobody in one half who can even remotely understand the papers of those in the other half, about their own research topic. (With like two or three exceptions — and I am not among them.)",
"sig": "15a136bcb87fc088de24d3afffe2822a598be3e17056dcbb0d571f4e3e68a36ca693a997165066cb1f15480e06df8cd398e6886d6c4402f027dfd7881946f31e"
}