Schlagwort-Archiv: Zeit

LLP.

The first thing which struck me was "jeez, that's a lot of songs!"

Nico Cartron: Review of Archive's latest album "Calls to Arms & Angels" 

Christmas 1998.

And I can laugh about it now

Porcupine Tree: Feel So Low

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

Ältere Beiträge «