wsxcde

10 ms·

61.
by wsxcde 7y ago
What you're leaving out is that the one person being killed is not picked randomly from the citizen pool, they are all persecuted minorities. So, a more accurate statement would be that China is murdering one person from a group the co
62.
by wsxcde 7y ago
What if there's no kid though? My MIL lives alone, and this is the kind of thing you can't explain over the phone. Speaking from experience as we once tried to help her to connect to a open WiFi which needed an OTP-based login via
63.
by wsxcde 7y ago
Great point about email. Speaking from experience, lots of people in India simply don't know how to send email. For example my MIL is a medical doctor, so is obviously educated, speaks English well and uses a smart phone but wouldn&#x2
64.
by wsxcde 7y ago
Vaguely relevant: there's reason to believe that the current Central American gang violence epidemic, which is driving the migrant crisis at the US/Mexico border is also due to leaded gasoline. Central America didnt' eliminat
65.
by wsxcde 7y ago
> Isn't this exactly the major thing that is wrong with research today? Limiting work/creativity to a few well known conferences done by elites for elites? I read blog posts, posted daily here on HN, that are way more informati
66.
by wsxcde 7y ago
I am in sympathy with the author's goals but the major problem with publishing everything on arXiv like forums is that: (i) it becomes impossible to sort out the good stuff from the nonsense produced by cranks, and (ii) it unfairly adv
67.
by wsxcde 7y ago
I enjoyed the article, but I think the author learned the wrong lesson from his friend's success story. Csongor says: > Then learning the answer revealed that it's actually something that can be fixed --- as is always the case
68.
by wsxcde 8y ago
If you're interested in playing around with loop invariants for non-trivial programs, I recommend the Dafny programming language which can automatically verify the invariants using SMT solvers. (Dafny is much more convenient that messi
69.
by wsxcde 9y ago
Relevant war story: I was one of the engineers who initially started looking at GPGPU computing at one of my former employers. This was circa 2007 and people were getting really excited thanks largely to NVIDIA's hype machine. 2007 BTW
70.
by wsxcde 9y ago
They'll still know where you live, where you work, what devices you use, what places you travel to, what hotels you stay in, what times you're usually awake, who your friends are, which friends you're more interested in, what
71.
by wsxcde 9y ago
Being forced to comply with GPDR forces companies to keep track of data, limit usage, add data expiration policies -- all of this makes compliance easier and definitely improves security. A well-known researcher once joked to me that progra
72.
by wsxcde 9y ago
Nah, the issue of people learning English in school is totally orthogonal to the use of the Roman script in texting. People used the Roman script for texting when that was the only script available on the mobile phones. Android has really g
73.
Time-Inconsistent Planning (tldr: a graph theoretic model of procrastination)(arxiv.org)
2 points by wsxcde 9y ago|0 comments
74.
by wsxcde 9y ago
> The general thrust of “mainstream” thinking on “enlightened” thinkers of the past is that they offer a framework for freedom and justice, however I’m perfectly framed, and in spite of them falling short of living up to the ideals they
75.
by wsxcde 9y ago
The answer I want is a clear explanation of these so called enlightenment values. What I'd also like is for you to stop putting words into my mouth, I never advocated for disregarding all knowledge generated before 1970, nor did I sugg
76.
by wsxcde 9y ago
Genuine question: what values count as enlightenment values? And who gets the credit for coming up with these values? I heard Pinker on Ezra Klein's podcast and he seemed to imply that Gandhi/MLK's non-violent movements were
77.
by wsxcde 9y ago
Could you explain how the statement "before the Trump tax cuts, US corporate tax rates were higher both in theory and in practice than in Germany, France, Australia, Canada, etc. https://www.npr.org/2017/08/07
78.
by wsxcde 9y ago
Doubtful. Comcast only need a small number of states without these rules to make create a miserable user-experience for Netflix/Youtube and then word of mouth will do the rest. After that, whatever sums Comcast have to pay their lawyer
79.
by wsxcde 9y ago
The unfortunate thing is that the hardware guys do all the hard work but the software guys make all the money. And that's the real reason why Google pays way more than Intel. It's the likes of who Intel figure out how you can put
80.
by wsxcde 9y ago
> Performing even speculative operations on protected memory is a mistake. Every high performance processor in the world performs speculative cache updates. That did not cause meltdown, nor did it cause spectre.
81.
by wsxcde 9y ago
But that is what it is, a design mistake -- a totally non-obvious design mistake. I believe the number of people who would have looked at Intel's design decisions related to meltdown and thought to themselves this was a credible securi
82.
by wsxcde 9y ago
The assumption is that there are only "a small number of faulty or corrupted sensors."
83.
by wsxcde 9y ago
Yes, the British imposed taxes on Indian salt produced and sold in India in order to force people to buy imported (British) salt. Millions of people died because they literally couldn't afford salt any more. This eventually led to Ga
84.
by wsxcde 9y ago
What's "make-believe" is the idea that a nation which was brutalized by 300 years of unfettered crony capitalism would choose to align itself after Independence with the very forces that destroyed it and set 1/5th of hu
85.
by wsxcde 9y ago
No, the notification of a new member joining is always sent. Subsequent messages might be blocked.
86.
by wsxcde 9y ago
> but encoding an SMT problem to multiple SAT instances remains a feature there Sure. I'm not arguing that bitblasting should never be done, it's probably still the best way of solving bitvector problems. My point is that the p
87.
by wsxcde 9y ago
This is, in my opinion, not a "real" SMT solver. It translates an SMT instance into a SAT instance. This is easy to do for the theories the author is considering (bitvectors), but not at all straightforward for integers or reals.
88.
by wsxcde 9y ago
On a vaguely related note, Nomadland ( https://www.goodreads.com/book/show/34068480-nomadland ) is a really good book that describes both living in a van and why a lot of people are considering (aka being forced int
89.
by wsxcde 9y ago
Margaret Martonosi at Princeton runs a Great Moments in Computing Course where students read a through a number of papers that describe, well, great moments in computing. Link to a recent syllabus is here: http://mrmgroup.cs.pri
90.
by wsxcde 9y ago
If we're trading anecdotes, then I'm an Indian-educated migrant with a PhD from one elite US school who is current a postdoc at another elite US school and I've accepted an offer from an IIT. Trump is by no means a temporary

More ›