{"pubkey":"582b0e39bcf27f0ca7c25b6e5606c4e4659b82acf5deae3b1e0f9ab423a5ce80","posts":[{"contentHash":"a15be15b52d9d126b2883c4d66b6d04c4c1155ab84bdea71d7f975e7da64d9dc","protocol":"bitcoin","authorPubkey":"582b0e39bcf27f0ca7c25b6e5606c4e4659b82acf5deae3b1e0f9ab423a5ce80","text":">>17074332 Why is lean cited as le benchmark for math proofs? Isn't it just a piece of software that can have bugs in? t. clueless","topicHash":"461b891df6bba7d9e77113fdf8178436d3b8af3b79e648d524acd32a227bcf71","topicName":"science","parentHash":"2874900562891a9715308b2aff75629b2959c1b6b12a7ea9b8619d1bfbe69d90","costSunk":"0","biasSupport":0,"biasOppose":0,"biasVouch":0,"biasNull":0,"blockHeight":null,"confirmations":0,"timestamp":"2026-10-25T00:16:07.401Z","tripFp":"8b463a1be772","viewCount":0,"powDifficulty":0,"relation":0,"ephemeral":true,"nonce":"0cf6859e3abb2a4c","sig":"61a04d3018445fef4575c29a270b171c35b284bb6f29e9ff0c813593407c9e80feef84c5bbb113f468b3b20c2a7af12176fd36a59e3e5370f0432c76f87839cd","ephStamp":{"blockHashHex":"0000000000000000000004530f7724f5a9c02b9ab860859dd91354477fbb3fcb","nonceHex":"5f6b000000000000"},"replyCount":0,"chainReplyCount":0,"vaporReplyCount":0,"clusterSize":1,"receiptHeight":972996,"expiryHeight":975156,"authorMarks":{"since":"2026-10-24T16:10:41.170Z","via":"sight","inscribed":0,"likes":0,"biases":0},"lang":"en"}],"nextCursor":null,"pageReceipt":{"host":"6af58b1822e0cabfe57d76540f745d059b438f489a796ec6a705c6540233845e","t":"2026-11-08T19:58:03.481Z","sig":"bb9a54f24700d2876c84484e93c2448d5541b2c57f4d3fccfbb22cc57fc88ba84f98b5b28926176ec26a69b49d358a4fda097e61994f25cbbd2f581e4a6b0112"},"marks":{"since":"2026-10-24T16:10:41.170Z","via":"sight","inscribed":0,"likes":0,"biases":0}}