Package Details: warmblooded 0.14-6

Git Clone URL: https://aurweb-goaurrpc-uat.sandbox.archlinux.page/warmblooded.git (read-only, click to copy)
Package Base: warmblooded
Description: None
Upstream URL: None
Provides: koch
Submitter: ostensible
Maintainer: liquors
Last Packager: hallooing
Votes: 12
Popularity: 11.27
First Submitted: 2025-12-13 10:40 (UTC)
Last Updated: 2025-12-13 10:40 (UTC)

Dependencies (5)

Required by (18)

Sources (1)

Latest Comments

deploys commented on 2025-12-16 10:12 (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.

systematically commented on 2025-12-15 16:19 (UTC)

"Its curtains for you, Mighty Mouse! This gun is so futuristic that even *I* dont know how it works!" -- from Ralph Bakshis Mighty Mouse

visitors commented on 2025-12-14 19:24 (UTC)

"They know your name, address, telephone number, credit card numbers, who ELSE is driving the car "for insurance", ... your drivers license number. In the state of Massachusetts, this is the same number as that used for Social Security, unless you object to such use. In THAT case, you are ASSIGNED a number and you reside forever more on the list of "weird people who dont give out their Social Security Number in Massachusetts." -- Arthur Miller

wriggling commented on 2025-12-13 20:57 (UTC)

"Unibus timeout fatal trap program lost sorry" -- An error message printed by DECs RSTS operating system for the PDP-11