villasv

27 ms·

241.
by villasv 6y ago
> They already host source code of millions of apps. Release integration should be trivial to implement. Release integration is trivial for anyone. It's the easiest and most irrelevant part of the app stores. > Unlike Google they
242.
by villasv 6y ago
It doesn't matter how much you invest in making it easier. It will never be as easy as doing nothing, which is what the competing alternative provides.
243.
by villasv 6y ago
Ahh, neat. Indeed, checking SAT felt a bit more generally applicable than checking SAT for temporal behaviors.
244.
by villasv 6y ago
First time I see Z3 in the wild. Bonus points for the CLI friendly model checker, but lisp syntax... is less legible than TLA+ imho. Gotta give it a try someday to see for myself if the experience of creating the spec is better.
245.
by villasv 6y ago
I enjoyed the article and mostly agree with the authors opinions, but I think it glances over some important shifts in modern economies. 1) It is becoming increasingly hard to stay small if you have a competitor taking advantage of economie
246.
by villasv 6y ago
Would be nice to have a comparison with existing alternatives, specially Grafana and Kibana. The first win is a cooler sounding name and backer credentials.
247.
by villasv 6y ago
There's the word punk in the title. Why not analyze the game relating to the punk culture (including its philosophy and politics)? There's enough space on the Internet for "is this game fun?" reviews and "is thi
248.
by villasv 6y ago
Ergo Proxy is somewhat that. The success of the utopia is questionable (kinda the starting point of the story), but the plot is more akin to existential-crisis drama. I'd bet you know about Psycho Pass, it also shakily satisfies your d
249.
by villasv 6y ago
I'm not going to get clickbaited. Sorry, that headline deserves a boycott.
250.
by villasv 6y ago
This is such a low impact and harmless change. Even if someone is not to agree with it, why be against it? It's not like a small team inside GitHub is going to deplete the world's activism budget and this will hinder the advance o
251.
by villasv 6y ago
That's a false dichotomy. You can worry about politics and other "essential" debates, and still worry about language and better defaults. It's low-gain/low-effort, but that's not really a reason to object.
252.
by villasv 7y ago
> Are books worth it? Maybe not for you. They are for me. This is impossible to answer generally. > Is it more true for [older/some fields]? I don't believe there will be such a simple heuristic. I've read many books th
253.
by villasv 7y ago
Jenkins ( https://jenkins.io/ ), but specially most of its plugins. I know it's already open source, but it lacks good FOSS alternatives.
254.
by villasv 7y ago
I have found that using KillMode=mixed is very useful when running Airflow with Celery workers. It allows the system to shudown gracefully coupled with TimeoutStopSec, so the workers will stop receiving new jobs but will finish their curren
255.
by villasv 8y ago
"With that in mind though, we can brute force similar keys" You mean actually brute force key generations until you get what you want? In that case, how's anything previous in the article worth anything? The drunken bishop ar