922 karma · joined June 3, 2013
Over the years Linux desktop has indeed improved, but still with much problems to use. We should adopt a growth mindset instead of sticking to asceticism.
And as much as I don't think people can be completely "degoogled", we need some healthy competition to keep juggernaut's power in check. And hopefully we can nudge it towards more privacy-aware and open practices.
Yes. There are more technical issues to resolve. (e.g., How do we verify the algorithm they present is the actual algorithm they use?) Perhaps third party audit, APIs for third parties to test the algorithm? We need constructive criticism than cynicism.
Am I wrong or am I wrong?
However the Stadia platform doesn't seem to be gaining a lot of traction, mostly because of -- I guess -- the network bandwidth requirement, and the limited library?
Also what exactly made you think he was exaggerating?
Just a thought.
Rolling out new features is always stressful I guess.
Maybe a dumb thought: is SAT solver good for verifying concurrent system design? (e.g. locks, distributed systems, etc.) Or are systems like TLA+ a must for these cases?
https://hackernoon.com/why-is-hackernoon-com-leaving-medium-... https://praxis.fortelabs.co/why-im-leaving-medium/