[latex/secretary].[coq/gradstudent].

  • 2014-04-04

Sooner or later computer proof assistants will become the norm, but the longer this process takes the more misery associated with mistakes and with unnecessary self-verification the practitioners of the field will have to endure.

Vladimir Voevodsky: UNIVALENT FOUNDATIONS

OS .

  • 2014-04-03

[...] dass auf der anderen Seite ungeheure Prozesse im Gange sind, ein gigantisches Simultanschach der Gefühle, bei dem wir im Grunde von vornherein matt gesetzt sind.

Bert Rebhandl (taz) über Her

Put a flag on it.

  • 2014-04-02

Die Masse der Angepassten hat keine Heimat, sie hat nur ein Establishment mit Flagge, das sich als Heimat ausgibt und dazu das Militär besitzt.

Max Frisch in seiner Rede zum Empfang des Grossen Preis der Schweizerischen Schillerstiftung, 1974  (Info / Video)

April, April.

  • 2014-04-01

Most of everything is neither beginning nor end.

Babbsäcke Bumbe un Schoppe Petze.

  • 2014-03-31

Von außen betrachtet besteht Hessisch vor allem aus Schimpfwörtern und Apfelweinverherrlichung.