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.
@amiloradovsky @erkin
It's a paper even:
https://link.springer.com/chapter/10.1007/BFb0066433
@bmreiniger @erkin Next up: "Does the empty set exist?", "Is the bottom type a useful concept?", "Who needs zero?", …
@erkin Is this from the The Little Typer?
@ayberkt Bingo!
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 what book is this
@trickster
Modern Compiler Implementation in ML
@erkin thanks. This has permanently altered the way I pronounce oop now
@erkin atting @dankwraith into this OOP dunk
@erkin which book is that? it looks and sounds familiar
@hirojin
Programming a Problem-Oriented Language
@erkin perhaps i should read this first, before trying to learn forth
@hirojin
It's pretty good but I never finished it.
@erkin It me