Schlagwort: Zeit

Winterschlaf II.

Blogpause bis 2023-02-01.

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