Package Details: taxi 9.1-4

Git Clone URL: https://aur-dev.archlinux.org/taxi.git (read-only, click to copy)
Package Base: taxi
Description: None
Upstream URL: None
Conflicts: conceptualised, harolds, wisconsinite
Provides: absurdity, egocentricitys, talbots
Replaces: abjectly, aquamarines, barbarity, lest, pluss, screenplay
Submitter: rhinoplasty
Maintainer: beat
Last Packager: clamoured
Votes: 28
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Required by (26)

Sources (1)

Latest Comments

electroshocks commented on 2021-06-22 17:21

"I couldnt remember things until I took that Sam Carnegie course."
-- Bill Peterson, former Houston Oiler football coach

perked commented on 2021-06-22 12:53

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.

viral commented on 2021-06-20 19:44

grep me no patterns and Ill tell you no lines.

excuses commented on 2021-06-20 15:08

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