Sorrop

I'd have a beer with you

Anarchism does not exclude division of labour.

That tidbit is very interesting

What is baffling to me is why they're doing this now? They've clearly benefited substantially from last year's lockdowns[0] so what is the rationale for squeezing labor costs? A directive from holding company (delivery hero) following the trend of other players in the space to challenge the working status of the drivers?

As a side note: Since yesterday's twitter backlash, a lot of people are requesting to delete their accounts only to get a response back with a dodgy document[1] stating "that they require time to understand your demand" and "that it will take from 1 to 3 months to process". The say that "they may ask additional identification". They ask for email/username (which they should already have??) and that depending on the frequency of your demands, they may charge you a "reasonable fee" for "administrative costs". The GDPR require the capability of deleting ones account from a platform be "without undue delay"[2]. I'm no lawyer but their response seems to violate the terms.

[0]Article in greek. Basically says that their income went from 43M euros to 64M and they paid a dividend of 20M euros to their shareholders: https://www.capital.gr/epixeiriseis/3551288/tinaxe-tin-mpank...

[1]Greek again: https://twitter.com/mpodil/status/1438620693055352834

[2]Paragraph 1 on grounds of (b) https://gdpr-info.eu/art-17-gdpr/

I live in Greece and what you describe is very much applicable here too.

Especially the part about government trolling us.

Fuck this reality.

This almost made me fell off my chair.

  5:5 And, behold, I will deliver you up to the programmer
  tendency to build overelaborate castles of abstractions

You may find closh interesting then https://github.com/dundalek/closh

Previous HN entry about it: https://news.ycombinator.com/item?id=15600928

For the first question, there you go: https://lamport.azurewebsites.net/tla/formal-methods-amazon....