Schlagwort-Archiv: Zeit

Schon wieder.

Huch, na gut, noch ein Monat.

Very occasionally.

E is an equational theorem prover. That means it is a program that you can stuff a mathematical specification (in many-sorted first-order logic with equality) and a hypothesisconjecture into, and which will then run forever, using up all of your machines resources. Very occasionally it will find a proof for the conjecture and tell you so ;-).

github.com/eprover/eprover

Vorfreude.

New job, new operating system?

Deb7an.

Seven years of Debian, still happy.

Hollandse Brug.

Life was so different this time last year.

graffiti near Muiderberg

Kurzarbeit.

... when a man has reached the age of thirty, as Orlando now had, time when he is thinking becomes inordinately long; time when he is doing becomes inordinately short.

Virginia Woolf: Orlando: A Biography

Orlando had to keep waiting in the rain while I had my dinner.

Stell dir vor immer wenn du Pause machst müssen die Charaktere im Buch warten bis du endlich weiter liest.

Ältere Beiträge «