{"pubkey":"8f238be7b347f1f70ceeea8a3c750ba686e68158ec1847214066d2b5e0fe3051","posts":[{"contentHash":"d1b19c49046a8e52c3e37304230d860eff0097dcf10e2bfe06d0f9bf2aa6482a","protocol":"bitcoin","authorPubkey":"8f238be7b347f1f70ceeea8a3c750ba686e68158ec1847214066d2b5e0fe3051","text":">See how Rust and Typescript are the most popular languages on GitHub despite being considered pain to write before 2023 Source? I see Javascript and Python. >so strong static types seem like a must Source? The paper I saw didn't show this. They're investing in formal verification: https://www.anthropic.com/research/formal-verification Strong static types just seems like placebo.","topicHash":"913c62c2ee31793c7e8517600dbc8f0c337afae133700a128a7d8ffb8a21c93e","topicName":"technology","parentHash":"ee440fa01364c93afaeffe47de29904e469faeb8a1b93e385ac75ab6735d9bde","costSunk":"0","biasSupport":0,"biasOppose":0,"biasVouch":0,"biasNull":0,"blockHeight":null,"confirmations":0,"timestamp":"2026-10-31T16:05:48.794Z","tripFp":"0f6c20660cde","viewCount":0,"powDifficulty":0,"relation":0,"ephemeral":true,"nonce":"6cc4ae0d7942fae9","sig":"1d41394ccf7475f1de085d7a7103700e8bf2aaaaa820b40b8cf3fac09f34cdfd8df95e670c56163f00fa47189c908a1f3d1ce386597102a69ce9dad3245b4737","ephStamp":{"blockHashHex":"000000000000000000018356b268dc5909ffff0c74d46b5e659eec67c3834a92","nonceHex":"5bd7000000000000"},"replyCount":0,"chainReplyCount":0,"vaporReplyCount":0,"clusterSize":1,"receiptHeight":973995,"expiryHeight":976155,"authorMarks":{"since":"2026-10-31T15:08:45.547Z","via":"sight","inscribed":0,"likes":0,"biases":0},"lang":"en"}],"nextCursor":null,"pageReceipt":{"host":"6af58b1822e0cabfe57d76540f745d059b438f489a796ec6a705c6540233845e","t":"2026-11-08T21:34:52.478Z","sig":"36081eb171ee4fbfcf4e98695f91d921e181d318c2b364398de6f145e2fba777530fcd6ee89264b4429fa91e6117ff9ab85fb7bba2a449fdfe345acae855f65c"},"marks":{"since":"2026-10-31T15:08:45.547Z","via":"sight","inscribed":0,"likes":0,"biases":0}}