"His project was to develop a program for automated theorem proving, but he got caught up in using the university computer to design a boat."
https://en.wikipedia.org/wiki/Robin_Popplestone
Devine Lu Linvegan
npub1z8…gmrq6
2026-08-06 19:53:12 UTC
in reply to nevent1q…a7me
Author Public Key
npub1z8rjwhwhg8dna3cq0uz6hded2rdqlegj7lrvcs7s0zd56yj9fdasfgmrq6Published at
2026-08-06 19:53:12 UTCEvent JSON
{
"id": "3f5a9d6188757545786a239686a4cee9cec93b12d9b8f2d88b487b07cc3bfc6e",
"pubkey": "11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b",
"created_at": 1786045992,
"kind": 1,
"tags": [
[
"p",
"11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b"
],
[
"e",
"7282232ffb74b570ca6db8fdfd0687d7622a293c2efc21916f39ce9adc30e53e",
"",
"root",
"11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b"
],
[
"proxy",
"https://merveilles.town/@neauoire/117050310142990907",
"web"
],
[
"proxy",
"https://merveilles.town/users/neauoire/statuses/117050310142990907",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://merveilles.town/users/neauoire/statuses/117050310142990907",
"pink.momostr"
],
[
"-"
]
],
"content": "\"His project was to develop a program for automated theorem proving, but he got caught up in using the university computer to design a boat.\"\nhttps://en.wikipedia.org/wiki/Robin_Popplestone",
"sig": "0fa4ca57ee2523bc335e6c58bd39411f6b00d08e253f1e389ffbfab7163353b0b0a0bb03e4d5a553c2d084e9ac24ee4fdae55bdea7a235933e1b72459322d469"
}