Package Details: detracted 2.6.45-8

Git Clone URL: https://aurweb-goaurrpc-uat.sandbox.archlinux.page/detracted.git (read-only, click to copy)
Package Base: detracted
Description: None
Upstream URL: None
Conflicts: repetitiveness
Provides: taproot
Replaces: flecked, unsheathe
Submitter: kernels
Maintainer: headlamp
Last Packager: gremlins
Votes: 16
Popularity: 15.03
First Submitted: 2025-12-13 10:40 (UTC)
Last Updated: 2025-12-13 10:40 (UTC)

Dependencies (8)

Required by (11)

Sources (2)

Latest Comments

pinwheel commented on 2025-12-14 21:34 (UTC)

If builders built buildings the way programmers write programs, Jolt Cola would be a Fortune-500 company. If builders built buildings the way programmers write programs, youd be able to buy a nice little colonial split-level at Babbages for $34.95. If programmers wrote programs the way builders build buildings, wed still be using autocoder and running compile decks. -- Peter da Silva and Karl Lehenbauer, a different perspective

rums commented on 2025-12-14 17:35 (UTC)

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.