nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzask6gyrf (nprofile…gyrf) I'm invariant-pilled but I think I slightly prefer to think of this algorithm in terms of algebraic laws:
popcount(0) = 0
popcount(x) = popcount(clear_lowest_bit(x)) + 1 if x != 0
This can be turned directly into a function definition. Of course you have also have to prove clear_lowest_bit(x) = x & (x - 1) if x != 0.
Per Vognsen
npub152…3v7uc
2024-11-28 04:52:44 UTC
in reply to nevent1q…m2z2
Author Public Key
npub152ta9mm2x6nk4ffyrn7ycz444vf7x743t24yddyd40vvcwkw39wqv3v7ucSeen on
wss://relay.ditto.pubPublished at
2024-11-28 04:52:44 UTCEvent JSON
{
"id": "7cb6699e034ec333b309e721082c5aa49e7e12d2bec713461aa8d9d6589b131e",
"pubkey": "a297d2ef6a36a76aa5241cfc4c0ab5ab13e37ab15aaa46b48dabd8cc3ace895c",
"created_at": 1732769564,
"kind": 1,
"tags": [
[
"p",
"4c67f1ec329775408b6cfe504fabdf7915b7bfd39e0cb5b5c09b4799764c68bb",
"wss://relay.mostr.pub"
],
[
"p",
"a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"wss://relay.mostr.pub"
],
[
"e",
"9fe8208b0ab9eb5f1a8b062f42ae8e57f7a5dadb30398c875fc00c5bd63e81be",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodon.social/users/pervognsen/statuses/113558786181591066",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzask6gyrf I'm invariant-pilled but I think I slightly prefer to think of this algorithm in terms of algebraic laws:\n\npopcount(0) = 0\npopcount(x) = popcount(clear_lowest_bit(x)) + 1 if x != 0\n\nThis can be turned directly into a function definition. Of course you have also have to prove clear_lowest_bit(x) = x \u0026 (x - 1) if x != 0.",
"sig": "d1829c44996f73eab3b8371fd5c16fb80f4ab7b2f65ee87aa1d6a7bd84daf318c668c4ad587994f866200248a26ea70d93227240eece93ba646baad704184bbe"
}