Let us know how you like it.

Your open source project collaborator may not be a real person anymore. technologyreview.com/s/612336/a-bot…

I am highly anticipating this feature with Overleaf v2 -- Great to see that it arrives as announced in December 2018! Great work!

That's amazing!

A farewell present from Malte Hawich and friends after the last lecture of formal methods in software engineering, which I held as a Juniorprofessor at Leibniz Universität Hannover. Because of the recurring coffee machine example in the lecture. Thanks so much, you make my day!

Theses supervised and co-supervised in the last 6 years. Dear students, thanks for your good work. I wonder what you are all doing now... I wish you all the best wherever you are.

That's what "Leaving Academia" looks like.

Good question. Because the mortality rate observed so far is higher and there is no vaccine yet.theguardian.com/world/2020/jan…

By a Berkeley professor :-)

Visual algebra

The many reasons why the coronavirus is much worse than the flu youtu.be/FVIGhz3uwuQ

Schüler bekommen nach "freiwilligem" test einen kleinen grünen Punkt auf das Namensschild und können sich dann freier auf dem Schulgelände bewegen. - - erinnert mich an irgendwas, aber nichts gutes. heise.de/amp/tp/feature…

Extradition hearings continue today. Sign the petition. Silencing reporters and leakers on illegal government actions severely inhibits the people's ability to be informed of and oppose against these actions. rsf.org/en/news/rsf-re…

Hi Andreas, very cool! I'd be interested in a high res digital version as well!

Cool! Congratulations!!

Die gezählten Toten sterben nicht unbedingt AN Corona, sondern MIT Corona. rki.de/SharedDocs/FAQ…

Ok. 160.000 Menschen sterben vermutlich jährlich an schlechter Ernährung. mdr.de/wissen/ernaehr… Wie vielen Flugzeugabstürzen am Tag entspricht das?

An masterpiece of video by Veritasium explaining Turing's Proof and the foundations of Gödel and Hilbert, well structured and illustrated youtu.be/HeQX2HjkcNo

Thrilled to announce that our paper „Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal“ has been accepted for the Practice & Innovation Track of MODELS Conference . Thanks to @crwch Joel Greenyer @andivogelsang Carsten Wolff Roman Dumitrescu

What a nice Monday morning to find two papers accepted MODELS Conference! jgreen.de/two-papers-acc…