Viewing profile — Sorrop

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 di…

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....