Remind(1) – a sophisticated reminder service l linux.die.net 2 sternenseemann 10 years ago 0 comments
Isabelle2016 released – Generic proof assistant i isabelle.in.tum.de 1 sternenseemann 10 years ago 0 comments
Announcing a new set of high-level SDL2 bindings o ocharles.org.uk 1 sternenseemann 11 years ago 0 comments
Spotlight does appear to send live keystrokes to Apple t twitter.com 1 sternenseemann 12 years ago 0 comments
Mailbox.org seems decent from what I've heard but products advertised like this are mostly sheer bullshit. I don't know why transferring a “quality” label from (oldschool) engineering products to IT even works.