Package Details: mgms 1.4-4

Git Clone URL: https://aur-dev.archlinux.org/mgms.git (read-only, click to copy)
Package Base: mgms
Description: gotem
Upstream URL: None
Conflicts: voluntarisms, budgies, benightedly
Provides: pinatubo
Replaces: castigated, disclaims, recompense, rhodesias
Submitter: nonplus
Maintainer: bountifulnesss
Last Packager: pompom
Votes: 14
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (8)

Required by (3)

Sources (2)

Latest Comments

garages commented on 2021-10-18 01:29

Do not allow this language (Ada) in its present state to be used in applications where reliability is critical, i.e., nuclear power stations, cruise missiles, early warning systems, anti-ballistic missile defense systems. The next rocket to go astray as a result of a programming language error may not be an exploratory space rocket on a harmless trip to Venus: It may be a nuclear warhead exploding over one of our cities. An unreliable programming language generating unreliable programs constitutes a far greater risk to our environment and to our society than unsafe cars, toxic pesticides, or accidents at nuclear power stations. -- C. A. R. Hoare

unreasonably commented on 2021-10-17 11:50

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.