Posts

Post has attachment

Public

Post has attachment

Public

Post has attachment

Public

Post has attachment

Public

Post has shared content

Public

Dan Thyer to present on Internet of Things at GSP Developers Guild Tuesday 8/19 http://gspdevelopers.org/august-19th-meeting/ …

Post has attachment

Public

Here are a couple of extensions I added to knockout.

Post has attachment

Public

Post has attachment

Post has attachment

Public

**EDIT:**Since the talk section wasn't very active, I decided to correct the page.

I think the definition of 'unary operation' on Wikipedia is incorrect (or rather, incomplete).

It defines a unary operation as the function f: A → A. This means a value in the set of A results in another value in the set of A when the operator is applied. So, according to this definition, a unary operation must be an endofunctor (function mapping a type to the same type).

There are well-known operators that do not conform to this definition. For example, the length operator ||v|| produces a scalar value from a vector value. The operator's operand is a value in the set of vectors, and its result is the set non-negative real numbers.

The first sentence on the Wikipedia page is correct. Unfortunately, its 'specific definition' describes a specific subset of unary operations rather than specifying the actual meaning of 'unary operation'.

Post has attachment

Public

My latest article!

Wait while more posts are being loaded