Kategorie: Allgemein

Past, meet Future. Future, meet Past.

How did we end up with "ex" being a sufficient way to talk about or introduce someone?

Silent Host.

A crucial part of the art of hosting is to be silent.

Young and Unemployable; Lonely, Drunk and Beautiful.

The one's who haven't died or started families
Are all just working on building sites or battling with university fees

Deaf Havana: Hunstanton Pier

Depending on Traditions.

Determinacy would probably be a better term for this notion, but we stick to dependency for the sake of consistency with the existing literature.

Ivano Ciardelli: Questions as information types

Made Up Stuff.

“Most of you use languages that were invented, and you can tell, can’t you. This is my invitation to you to use programming languages that are discovered.”

Philip Wadler: Propositions as Types