DEEn Dictionary De - En
DeEs De - Es
DePt De - Pt
 Vocabulary trainer

Spec. subjects Grammar Abbreviations Random search Preferences
Search in Sprachauswahl
Search for:
Mini search box
 
Proverbs, aphorisms, quotations (English) by Linux fortune

APL is a mistake, carried through to perfection.  It is the language of the
future for the programming techniques of the past: it creates a new generation
of coding bums.
                -- Edsger W. Dijkstra, SIGPLAN Notices, Volume 17, Number 5
FORTRAN is a good example of a language which is easier to parse
using ad hoc techniques.
                -- D. Gries
                [What's good about it?  Ed.]
It is possible by ingenuity and at the expense of clarity... {to do almost
anything in any language}.  However, the fact that it is possible to push
a pea up a mountain with your nose does not mean that this is a sensible
way of getting it there.  Each of these techniques of language extension
should be used in its proper place.
                -- Christopher Strachey
To those accustomed to the precise, structured methods of conventional
system development, exploratory development techniques may seem messy,
inelegant, and unsatisfying.  But it's a question of congruence:
precision and flexibility may be just as disfunctional in novel,
uncertain situations as sloppiness and vacillation are in familiar,
well-defined ones.  Those who admire the massive, rigid bone structures
of dinosaurs should remember that jellyfish still enjoy their very
secure ecological niche.
                -- Beau Sheil, "Power Tools for Programmers"
A plethora of individuals with expertise in culinary techniques contaminate
the potable concoction produced by steeping certain edible nutriments.
-- All articles that coruscate with resplendence are not truly auriferous.
-- When there are visible vapors having the prevenience in ignited
        carbonaceous materials, there is conflagration.
-- Sorting on the part of mendicants must be interdicted.
-- A plethora of individuals wither expertise in culinary techniques vitiated
        the potable concoction produced by steeping certain coupestibles.
-- Eleemosynary deeds have their initial incidence intramurally.
-- Male cadavers are incapable of yielding testimony.
-- Individuals who make their abode in vitreous edifices would be well
        advised to refrain from catapulting projectiles.
-- The writing implement is more potent than the claymore.
-- All articles that coruscate with resplendence are not truly auriferous.
-- When there are visible vapors having the prevenience in ignited carbonaceous
        materials, there is conflagration.
-- Sorting on the part of mendicants must be interdicted.
-- A plethora of individuals wither expertise in culinary techniques vitiated
        the potable concoction produced by steeping certain coupestibles.
-- The person presenting the ultimate cachinnation possesses thereby the
        optimal cachinnation.
-- Eleemosynary deeds have their initial incidence intramurally.
                        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.
Proof techniques #2: Proof by Oddity.
        SAMPLE: To prove that horses have an infinite number of legs.
(1) Horses have an even number of legs.
(2) They have two legs in back and fore legs in front.
(3) This makes a total of six legs, which certainly is an odd number of
    legs for a horse.
(4) But the only number that is both odd and even is infinity.
(5) Therefore, horses must have an infinite number of legs.

Topics is be covered in future issues include proof by:
        Intimidation
        Gesticulation (handwaving)
        "Try it; it works"
        Constipation (I was just sitting there and ...)
        Blatant assertion
        Changing all the 2's to _n's
        Mutual consent
        Lack of a counterexample, and
        "It stands to reason"
Regression analysis:
        Mathematical techniques for trying to understand why things are
        getting worse.
Proof techniques #1: Proof by Induction.

This technique is used on equations with "_n" in them.  Induction
techniques are very popular, even the military used them.

SAMPLE: Proof of induction without proof of induction.

        We know it's true for _n equal to 1.  Now assume that it's true
for every natural number less than _n.  _N is arbitrary, so we can take _n
as large as we want.  If _n is sufficiently large, the case of _n+1 is
trivially equivalent, so the only important _n are _n less than _n.  We
can take _n = _n (from above), so it's true for _n+1 because it's just
about _n.
        QED.        (QED translates from the Latin as "So what?")
"Don't come back until you have him", the Tick-Tock Man said quietly,
sincerely, extremely dangerously.

They used dogs.  They used probes.  They used cardio plate crossoffs.
They used teepers.  They used bribery.  They used stick tites.  They used
intimidation.  They used torment.  They used torture.  They used finks.
They used cops.  They used search and seizure.  They used fallaron.  They
used betterment incentives.  They used finger prints.  They used the
bertillion system.  They used cunning.  They used guile.  They used treachery.
They used Raoul-Mitgong but he wasn't much help.  They used applied physics.
They used techniques of criminology.  And what the hell, they caught him.
                -- Harlan Ellison, "Repent, Harlequin, said the Tick-Tock Man"
World Domination, One CPU Cycle At A Time

Forget about searching for alien signals or prime numbers. The real
distributed computing application is "Domination@World", a program to advocate
Linux and Apache to every website in the world that uses Windows and IIS.

The goal of the project is to probe every IP number to determine what kind of
platform each Net-connected machine is running. "That's a tall order... we
need lots of computers running our Domination@World clients to help probe
every nook and cranny of the Net," explained Mr. Zell Litt, the project head.

After the probing is complete, the second phase calls for the data to be
cross-referenced with the InterNIC whois database. "This way we'll have the
names, addresses, and phone numbers for every Windows-using system
administrator on the planet," Zell gloated. "That's when the fun begins."

The "fun" part involves LART (Linux Advocacy & Re-education Training), a plan
for extreme advocacy. As part of LART, each Linux User Group will receive a
list of the Windows-using weenies in their region. The LUG will then be able
to employ various advocacy techniques, ranging from a soft-sell approach
(sending the target a free Linux CD in the mail) all the way to "LARTcon 5"
(cracking into their system and forcibly installing Linux).
        Plumbing is one of the easier of do-it-yourself activities,
requiring only a few simple tools and a willingness to stick your arm into a
clogged toilet.  In fact, you can solve many home plumbing problems, such as
annoying faucet drip, merely by turning up the radio.  But before we get
into specific techniques, let's look at how plumbing works.
        A plumbing system is very much like your electrical system, except
that instead of electricity, it has water, and instead of wires, it has
pipes, and instead of radios and waffle irons, it has faucets and toilets.
So the truth is that your plumbing systems is nothing at all like your
electrical system, which is good, because electricity can kill you.
                -- Dave Barry, "The Taming of the Screw"
No guarantee of accuracy or completeness!
©TU Chemnitz, 2006-2024
Your feedback:
Ad partners