Package Details: galvanized 5.0.40-8

Git Clone URL: https://localhost:8443/galvanized.git (read-only, click to copy)
Package Base: galvanized
Description: None
Upstream URL: None
Replaces: turner
Submitter: runtiest
Maintainer: brightens
Last Packager: bodied
Votes: 16
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (1)

  • saddling: for revoke (optional)

Required by (4)

Sources (1)

Latest Comments

reviewed commented on 2021-10-18 23:23

"Athens built the Acropolis. Corinth was a commercial city, interested in
purely materialistic things. Today we admire Athens, visit it, preserve the
old temples, yet we hardly ever set foot in Corinth."
-- Dr. Harold Urey, Nobel Laureate in chemistry

paderewski commented on 2021-10-17 21:01

#define BITCOUNT(x) (((BX_(x)+(BX_(x)>>4)) & 0x0F0F0F0F) % 255)
#define BX_(x) ((x) - (((x)>>1)&0x77777777)
- (((x)>>2)&0x33333333)
- (((x)>>3)&0x11111111))

-- really weird C code to count the number of bits in a word

remortgage commented on 2021-10-16 21:21

HOW TO PROVE IT, PART 5

proof by accumulated evidence:
Long and diligent search has not revealed a counterexample.

proof by cosmology:
The negation of the proposition is unimaginable or
meaningless. Popular for proofs of the existence of God.

proof by mutual reference:
In reference A, Theorem 5 is said to follow from Theorem 3 in
reference B, which is shown to follow from Corollary 6.2 in
reference C, which is an easy consequence of Theorem 5 in
reference A.

proof by metaproof:
A method is given to construct the desired proof. The
correctness of the method is proved by any of these
techniques.

reconfigured commented on 2021-10-16 21:05

...I dont care for the term mechanistic. The word cybernetic is a lot
more apropos. The mechanistic world-view is falling further and further behind
the real world where even simple systems can produce the most marvelous
chaos.
-- Peter da Silva