ugk

The arrows generally indicate addition of new symbols and/or axioms. Arrows that meet indicate the combination of structures - for instance, an algebra is a vector space that is also a ring, and a Lie group is a group that more...

"We are not scanning all those books to be read by people," explained one of my hosts after my talk. "We are scanning them to be read by an AI." -- On artificial intelligence, Google, Turing and von Neumann

”Mars Direct is a proposal for a relatively low-cost manned mission to Mars with current rocket technology.”

“A planimeter is a table-top instrument for measuring areas, usually the areas of irregular regions on a map or photograph. They were once common, but have now largely been replaced by digital tools.”

“One of the characteristic features of Unix is the architecture of its kernel. While previous operating systems employed an explicit monitor process which governed all other activity, the Unix kernel is, in some sense, a virtual process. In technical terms, more...