FORMAL : Dictionary / Wörterbuch (BEOLINGUS, TU Chemnitz)

Proverbs, aphorisms, quotations (English)	by Linux fortune

A formal parsing algorithm should not always be used. -- D. Gries
Computer Science is merely the post-Turing decline in formal systems theory.
Real software engineers work from 9 to 5, because that is the way the job is described in the formal spec. Working late would feel like using an undocumented external procedure.
...And no philosophy, sadly, has all the answers. No matter how assured we may be about certain aspects of our belief, there are always painful inconsistencies, exceptions, and contradictions. This is true in religion as it is in politics, and is self-evident to all except fanatics and the naive. As for the fanatics, whose number is legion in our own time, we might be advised to leave them to heaven. They will not, unfortunately, do us the same courtesy. They attack us and each other, and whatever their protestations to peaceful intent, the bloody record of history makes clear that they are easily disposed to restore to the sword. My own belief in God, then, is just that -- a matter of belief, not knowledge. My respect for Jesus Christ arises from the fact that He seems to have been the most virtuous inhabitant of Planet Earth. But even well-educated Christians are frustated in their thirst for certainty about the beloved figure of Jesus because of the undeniable ambiguity of the scriptural record. Such ambiguity is not apparent to children or fanatics, but every recognized Bible scholar is perfectly aware of it. Some Christians, alas, resort to formal lying to obscure such reality. - Steve Allen, comdeian, from an essay in the book "The Courage of Conviction", edited by Philip Berman
As I argued in "Beloved Son", a book about my son Brian and the subject of religious communes and cults, one result of proper early instruction in the methods of rational thought will be to make sudden mindless conversions -- to anything -- less likely. Brian now realizes this and has, after eleven years, left the sect he was associated with. The problem is that once the untrained mind has made a formal commitment to a religious philosophy -- and it does not matter whether that philosophy is generally reasonable and high-minded or utterly bizarre and irrational -- the powers of reason are suprisingly ineffective in changing the believer's mind. - Steve Allen, comdeian, from an essay in the book "The Courage of Conviction", edited by Philip Berman
When you have to kill a man it costs nothing to be polite. -- Winston Churchill, on formal declarations of war
Computer science: (1) A study akin to numerology and astrology, but lacking the precision of the former and the success of the latter. (2) The protracted value analysis of algorithms. (3) The costly enumeration of the obvious. (4) The boring art of coping with a large number of trivialities. (5) Tautology harnessed in the service of Man at the speed of light. (6) The Post-Turing decline in formal systems theory.
Crenna's Law of Political Accountability: If you are the first to know about something bad, you are going to be held responsible for acting on it, regardless of your formal duties.
Rules for Writers: Avoid run-on sentences they are hard to read. Don't use no double negatives. Use the semicolon properly, always use it where it is appropriate; and never where it isn't. Reserve the apostrophe for it's proper use and omit it when its not needed. No sentence fragments. Avoid commas, that are unnecessary. Eschew dialect, irregardless. And don't start a sentence with a conjunction. Hyphenate between sy-llables and avoid un-necessary hyphens. Write all adverbial forms correct. Don't use contractions in formal writing. Writing carefully, dangling participles must be avoided. It is incumbent on us to avoid archaisms. Steer clear of incorrect forms of verbs that have snuck in the language. Never, ever use repetitive redundancies. If I've told you once, I've told you a thousand times, resist hyperbole. Also, avoid awkward or affected alliteration. Don't string too many prepositional phrases together unless you are walking through the valley of the shadow of death. "Avoid overuse of 'quotation "marks."'"
Software, n.: Formal evening attire for female computer analysts.
One can't proceed from the informal to the formal by formal means.
The Linux House 1.01 Mr. Billy O'Nair knows how to build a house. The 24 year old retired dotcom billionaire has constructed the "Linux House 1.01", a bachelor pad built in the shape of Tux Penguin. This geek haven features a 256 foot long computer room, along with other smaller, lesser important rooms (kitchen, bedroom, bathroom, etc.). Explained O'Nair, "Why do architects waste a bunch of space on formal living rooms, family rooms, dining rooms, closets, foyers, and hallways that are rarely used? In my 'Linux House', the majority of square footage is devoted to the two rooms that I myself use the most: a computer room and a procrastination room." ...The Linux House features a LAN (Liquor Acquisition Network) that delivers alcohol or caffeinated beverages to any room in the house by way of pipes that run through the ceiling. 'PANIC' buttons scattered throughout the house activate the RAM System (Random Access Munchies), in which candy bars and other snacks are immediately delivered by FPM (Fast Pretzel Mode) and EDO (Extended Delicacy Output) pneumatic tubes.
His life was formal; his actions seemed ruled with a ruler.
What really shapes and conditions and makes us is somebody only a few of us ever have the courage to face: and that is the child you once were, long before formal education ever got its claws into you -- that impatient, all-demanding child who wants love and power and can't get enough of either and who goes on raging and weeping in your spirit till at last your eyes are closed and all the fools say, "Doesn't he look peaceful?" It is those pent-up, craving children who make all the wars and all the horrors and all the art and all the beauty and discovery in life, because they are trying to achieve what lay beyond their grasp before they were five years old. -- Robertson Davies, "The Rebel Angels"
<knghtbrd> this is college course in formal logic <devkev> knghtbrd: i hate that shit, much prefer fuzzy logic :) <knghtbrd> kev: fuzzy logic tickles. <taniwha> knghtbrd: lol <devkev> knghtbrd: fuzzy logic is so cool, it models the world really well
<netgod> And once Diziet/CQ make the formal announcment that LSA sucks, we can even reduce the Crisis Level rating and move on to linuxfoundation.org. -- #Debian
But the greatest Electrical Pioneer of them all was Thomas Edison, who was a brilliant inventor despite the fact that he had little formal education and lived in New Jersey. Edison's first major invention in 1877, was the phonograph, which could soon be found in thousands of American homes, where it basically sat until 1923, when the record was invented. But Edison's greatest achievement came in 1879, when he invented the electric company. Edison's design was a brilliant adaptation of the simple electrical circuit: the electric company sends electricity through a wire to a customer, then immediately gets the electricity back through another wire, then (this is the brilliant part) sends it right back to the customer again. This means that an electric company can sell a customer the same batch of electricity thousands of times a day and never get caught, since very few customers take the time to examine their electricity closely. In fact the last year any new electricity was generated in the United States was 1937; the electric companies have been merely re-selling it ever since, which is why they have so much free time to apply for rate increases. -- Dave Barry, "What is Electricity?"