Follow

My favourite book excerpts: a thread

OCR Output (chars: 494) 

@erkin
X Windows is the Iran-Contra of graphical user interfaces: a tragedy of
political compromises, entangled alliances, marketing hype, and just plain
greed. X Windows is to memory as Ronald Reagan was to money. Years of
“Voodoo Ergonomics” have resulted in an unprecedented memory deficit
of gargantuan proportions. Divisive dependencies, distributed deadlocks,
and partisan protocols have tightened gridlocks, aggravated race condi-
tions, and promulgated double standards.

OCR Output (chars: 494) 

@erkin
13.1 Introduction

In a talk at the Kleene symposium, in 1978, Morley stated the following result
(he acknowledged that it had been discovered independently by a number of
other mathematicians).

Theorem 13.1 Recursion theory is very hard.

Many of the results and problems in computability theory (recursion theory)
have statements which can be readily understood. It is the proofs which are
hard, especially certain priority constructions. We have already given several

OCR Output (chars: 268) 

@erkin
Note: While it is not an error to compare inexact numbers
using these predicates, the results may be unreliable because a
small inaccuracy may affect the result; this is especially true of
= and zero?. When in doubt, consult a numerical analyst.

@erkin thanks. This has permanently altered the way I pronounce oop now

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!