mirrorbird (11:13:16)
i knew that (well i had forgotten the name of the thing)

zoi (11:11:25)
waste of money

zoi (11:11:23)
imagine someone used to pay me to model shit in Event-B

mirrorbird (11:11:22)
but, what if you forget how to read

zoi (11:10:20)
as long as the cleaner plugs the computer back in as specified I have an extra 13 notifications before the two weeks are up.

mirrorbird (11:09:53)
cleaner unplugs the computer to vacuum

zoi (11:09:25)
I proved its correctness in Rodin using Event-B.

zoi (11:09:14)
how could it fail?

mirrorbird (11:08:28)
vot iff cron job fails

zoi (10:59:50)
I wrote a little cronjob that sends me a push notification two weeks before expiration.

Deary (Soundtrack)

505 (Nils Feske)

bittin

Time Left: 3:52