Januar 2019 Archiv

Quite enough.

I do suspect that he is not really necessary to my happiness. So much the better. I certainly will not persuade myself to feel more than I do. I am quite enough in love.

Jane Austen: Emma

Runless.

A proof assistant is what happens if you spend all your time developing a type checker for your language and forget that programs also need to be run.

Vladislav Zavialov: Why Dependent Haskell is the Future of Software Development

Wisseresse.

Could a linguist, could a grammarian, could even a mathematician have seen what she did, have witnessed their appearance together, and heard their history of it, without feeling that circumstances had been at work to make them peculiarly interesting to each other?

Jane Austen: Emma

Legaccess.

Most of the focus seems to be on figuring out how to accommodate the existing legacy journals [...] and very little attention has gone into looking at how you support smaller publishers or more innovative new entrants, people that are trying to really bring change to scholarly publishing.

And without supporting these new innovations, there is a risk that the additional funding coming in is going to further entrench the traditional publishers as we start moving towards open access.

Paul Peters (CEO of Hindawi Publishing) in Open Science Talk Episode 10

Unterrichteutung.

People may forget what you say. They may forget what you did, but people will never forget how you made them feel.

Maya Angelou