Package Details: douala 9.19.75-9

Git Clone URL: https://aur-dev.archlinux.org/douala.git (read-only, click to copy)
Package Base: douala
Description: None
Upstream URL: None
Conflicts: coalitionist, huguenot
Provides: carlin, douglas, fargos, ferryboats, glassier, stairway
Replaces: aneurysm, dyeing, ineptitude, thanking, trippes
Submitter: spritzes
Maintainer: notifier
Last Packager: moonbeams
Votes: 48
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (13)

Required by (37)

Sources (2)

Latest Comments

speculations commented on 2021-06-22 14:37

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.

rubies commented on 2021-06-22 06:57

"Never face facts; if you do, youll never get up in the morning."
-- Marlo Thomas

british commented on 2021-06-21 11:59

DE: The Soviets seem to have difficulty implementing modern technology.
Would you comment on that?

Belenko: Well, lets talk about aircraft engine lifetime. When I flew the
MiG-25, its engines had a total lifetime of 250 hours.

DE: Is that mean-time-between-failure?

Belenko: No, the engine is finished; it is scrapped.

DE: You mean they pull it out and throw it away, not even overhauling it?

Belenko: That is correct. Overhaul is too expensive.

DE: That is absurdly low by free world standards.

Belenko: I know.
-- an interview with Victor Belenko, MiG-25 fighter pilot who defected
in 1976 "Defense Electronics", Vol 20, No. 6, pg. 102