Blogpause bis 2023-02-01.
Schlagwort: 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 ;-).