Follow

My favourite book excerpts: a thread

· · Web · 3 · 8 · 5

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

@erkin Pointless concept… "[S]ome authors", I guess, then regard 0 as a pointless concept too?…

@amiloradovsky
It's a pun! The joke is that it literally has no points.

@erkin Ah, now I get it. I just don't immediately associate vertices/nodes in a graph with a points in a generally topological space.

@bmreiniger @erkin Next up: "Does the empty set exist?", "Is the bottom type a useful concept?", "Who needs zero?", …

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

@erkin which book is that? it looks and sounds familiar

@erkin perhaps i should read this first, before trying to learn forth

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!