I care about speed because I'd rather hear words at the end of a "thought much and said little" process than a stream-of-concious word dump.
Also I like math and logical reasoning. Language is only sorta useful for that. We have to come up with special definitions of words for logical contexts. Programming is an excellent case. By if we mean "if and only if" and or is not exclusive OR. If the symbols, oft times, WERE the conclusion I wouldn't have to hold so much in my head at once.
You'll have to forgive me, I want this to be able to solve the twin prime conjecture, but I run into a hard limit on the complexity that I can reason about at once. I wonder if I could offload some of the work onto a symbolic system that maintains part of the state for me.
Daniel Wigton
npub1w4j…30zp
2024-06-07 21:58:53
in reply to nevent1q…2n3k
Author Public Key
npub1w4jkwspqn9svwnlrw0nfg0u2yx4cj6yfmp53ya4xp7r24k7gly4qaq30zpPublished at
2024-06-07 21:58:53Event JSON
{
"id": "044246bdc7c27204959e471d01c4abac13e7b6201336c042a31c73b1117855a6",
"pubkey": "75656740209960c74fe373e6943f8a21ab896889d8691276a60f86aadbc8f92a",
"created_at": 1717790333,
"kind": 1,
"tags": [
[
"e",
"af61883cb3aec8de6010e6756bb34fbc9c711c077215906818f028f22fc257df",
"",
"root"
],
[
"e",
"06ad65df3cf7b36d0e16858fbfcf598f75f4caadfb981d9c7c9b98d4e04b51f3"
],
[
"e",
"1edcb75580ae2061a5dcddeec38ea729b29ecbabdd496cd8638716a925a6b2cc",
"",
"reply"
],
[
"p",
"70122128273bdc07af9be7725fa5c4bc0fc146866bec38d44360dc4bc6cc18b9"
],
[
"p",
"75656740209960c74fe373e6943f8a21ab896889d8691276a60f86aadbc8f92a"
]
],
"content": "I care about speed because I'd rather hear words at the end of a \"thought much and said little\" process than a stream-of-concious word dump.\n\nAlso I like math and logical reasoning. Language is only sorta useful for that. We have to come up with special definitions of words for logical contexts. Programming is an excellent case. By if we mean \"if and only if\" and or is not exclusive OR. If the symbols, oft times, WERE the conclusion I wouldn't have to hold so much in my head at once.\n\nYou'll have to forgive me, I want this to be able to solve the twin prime conjecture, but I run into a hard limit on the complexity that I can reason about at once. I wonder if I could offload some of the work onto a symbolic system that maintains part of the state for me.",
"sig": "8ffe1987bb134b5eb33fdf6d549fba13f6ea3ee920a8fd6080b7e900cdd8cc1ab838a00d9d1562e8f59b2367e5df11bdf08871e2f6264613ecb09717e43a56c3"
}