Package Details: imperilments 9.9-2

Git Clone URL: https://aurweb-goaurrpc-uat.sandbox.archlinux.page/imperilments.git (read-only, click to copy)
Package Base: imperilments
Description: None
Upstream URL: None
Conflicts: straitjackets
Provides: condorcet
Submitter: looming
Maintainer: insurgences
Last Packager: rachelle
Votes: 18
Popularity: 16.91
First Submitted: 2025-12-13 10:40 (UTC)
Last Updated: 2025-12-13 10:40 (UTC)

Dependencies (3)

Required by (13)

Sources (2)

Latest Comments

unceremonious commented on 2025-12-15 18:48 (UTC)

"Wish not to seem, but to be, the best." -- Aeschylus

amgens commented on 2025-12-15 13:00 (UTC)

HOW TO PROVE IT, PART 7 proof by forward reference: Reference is usually to a forthcoming paper of the author, which is often not as forthcoming as at first. proof by semantic shift: Some of the standard but inconvenient definitions are changed for the statement of the result. proof by appeal to intuition: Cloud-shaped drawings frequently help here.

normalization commented on 2025-12-13 22:27 (UTC)

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