Pieces

[739397]

Diamonds are found only in the bowels of the earth; truths are only found in the depths of reflection.

Victor Hugo, Les Miserables

[739397]

Uncertainty is a personal matter; it is not the uncertainty but your uncertainty.

Dennis Lindley, Understanding Uncertainty (2006)

[739397]

The minimum expected number of binary questions required to determine X lie between H(x) and H(x)+1

Elements of Information Theory

[739397]

Mutual information is a measure of the amount of information one random variable contains about another. It is the reduction in the uncertainty of one random variable due to the knowledge of the other.

Elements of Information Theory

[739397]

First time to see a building being pulled in US (Taken with instagram)

[739397]

Taken with instagram

[739397]

Taken with instagram

[739397]

The term "marginal" (in machine learning) arises from the accounting practice of writing the sum of each row in the margin on the right hand side of a ledger or a spreadsheet.

Machine Learning: a Probabilistic Perspective

[739397]

The goal of multi-view stereo is to reconstruct a complete 3D object model from a collection of images taken from known camera viewpoints.

Seitz, Curless, Diebel et al. 2006

[739397]

It would be surprising if such a beautiful result (exchangeability) had not attracted a variety of generalizations, extensions and analogues.

J. K. C. Kingman 1997

[739397]

An important principle of denotational semantics is compositionality. that the meaning of a fragment of a program depends only on the meaning of its components.

Lisp in Small Pieces

[739397]

If there are two distinct reductions starting from the same lambda calculus term, then there exists a term that is reachable from each reduct via a (possibly empty) sequence of reductions.

 Church–Rosser theorem

[739397]

A program is the description of a computing procedure that aims at a particular result or effect.

Lisp in Small Pieces

[739397]

[739397]

Most arguments about "What is the essence of...?" do more to reveal the prejudices of the participants than to uncover any objective truth about the topic of discussion. Attempts to define the term "object-oriented" precisely are no exception

Types and Programming Languages