Expected type Target, found Foot.

Informally, though, safe languages can be defined as ones that make it impossible to shoot yourself in the foot while programming.

Benjamin C. Pierce: Types and Programming Languages

Imperfect Life.

Hey brother, I'd love to tell you I've been busy
But that would be a lie
Cos the truth is the years just pass like trains
I wave but they don't slow down

Steven Wilson: Happy Returns / Ascendant Here On...

Hugs for any n.

And now, everyone in a two-body problem, give your partner a hug. Their life is tough!

 Math, Chocolate and Circus: Two sides of the two-body problem.

Casuality Theory.

There's wisdom in types.


A DramaticIdentity is a temporary hat you put on when you assume the role of another (nonhuman) entity, allowing it to speak on the topic at hand.



Let us support each other, and support others, in the struggle to find the truth, to speak the truth, and to live by the truth.

Jan van Eijck: On Lies and Lying


Made in USA.
Not for use as pants.

T-shirt Waschzettel

Ältere Beiträge «