_hl_

19 ms·

151.
by _hl_ 7y ago
> It's also not clear what advantage "public healthcare" is supposed to have in this More people going to a doctor because they aren't scared of the bills means more people being properly tested, properly quarantined,
152.
by _hl_ 7y ago
My experience was the complete opposite. Just relax and do whatever you want, the pan is your own little canvas. If something doesn't work out, oh well, you tried and learned from it.
153.
by _hl_ 7y ago
> What's missing until regular websites have parity with mobile apps in functionality? Performance. But we're beginning to approach performance parity - not by the web becoming an faster, mind you, but by apps becoming slower.
154.
by _hl_ 7y ago
> AMD is not affected by CacheOut, as AMD does not offer any feature akin to Intel TSX on their current offering of CPUs. It seems to be down to the notoriously buggy TSX (hardware transactional memory) in Intel CPUs.
155.
by _hl_ 7y ago
Off-topic, but futhark is such a brilliant and well-executed idea, if only it had a better name.
156.
by _hl_ 7y ago
I hope that the actual vulnerability is far more complicated. If we can't even get crypto libraries right (where you'd hope most of the formal verification folks are), then there's not much hope of security for the rest of th
157.
by _hl_ 7y ago
> For each kind of bug, you need a different proof. Not necessarily; if your definition of security and correctness is sufficiently general and if you can prove that your program conforms to those definitions, you have effectively proven
158.
by _hl_ 7y ago
That's because DELETE is only idempotent, not commutative. Commutativity is solved by conflict-free replicated data types, but they can be extremely hard to implement without redefining correctness.
159.
by _hl_ 7y ago
> address blacklisting You need another human to make use of any kind of money. This human will be subject to some governments regulations, so it's entirely possible to implement some form of address blacklisting (in the form of som
160.
by _hl_ 7y ago
How can you be arguing that Bolsonaro is doing the best he can to reduce deforestation and fires when he has repeatedly shown that he has no interest in doing so? You certainly can't do much against the fires once they have broken out
161.
by _hl_ 7y ago
> how a person can monitor so much surface Brazil used to have an autonomous satellite monitoring system (Prodes and Deter) which Bolsonaro is actively working to dismantle, along with the environmental protection agency Ibama. There are
162.
by _hl_ 7y ago
That's very surprising, assuming they didn't doctor the results by choosing the workload all too carefully. I would have expected a GPU regex too perform much worse, given that regex matching is probably very branchy code. Especia
163.
by _hl_ 7y ago
> imagine GPU awk My intuition tells me that awk and other text processing tools won’t scale well to a GPGPU. I might be wrong though. Is there any example of something like grep etc working well on a GPU?
164.
by _hl_ 7y ago
Right, but Switzerland still has the draft, and consequently more awareness about gun safety among owners, as well as inflated gun ownership statistics because you are required to take your gun home with you. And while guns are relatively e
165.
by _hl_ 7y ago
You can use Google Analytics through the <amp-analytics> element [1], but since AMP prevents third-party scripts that were not approved by Google, I'm not sure how you would include other trackers in an AMP site. [1] https:&#x2F
166.
by _hl_ 7y ago
I think the antitrust argument against AMP is a bit more subtle. The argument seems to be that Google is abusing it's market dominance to push sites into using AMP. This in turn prevents them from using third party trackers, while the
167.
by _hl_ 7y ago
I think it's far more likely that people don't want to know. By now I think most people are aware that their privacy is being violated, but feel powerless to do anything and don't want to resist the temptations of using addic
168.
by _hl_ 7y ago
A while a go there was a post on here describing exactly that. I can't find it anymore unfortunately (maybe someone else has it?), but judging from my memory of that discussion this should be doable-ish. But if you're just running
169.
by _hl_ 7y ago
How would you define and reason about integration without infinite series? Genuinely curious if someone has tried to do that.
170.
by _hl_ 7y ago
So you're saying the donation is insignificant in comparison to other applications? I'd say 30k€ is pretty significant, and it makes sense to thank them by mentioning it right at the front.
171.
by _hl_ 7y ago
I guess that's just all they needed until they were done?
172.
by _hl_ 8y ago
Could you give some examples of things they do that you disagree with? I can't really think of any controversial non-firefox things they've done.
173.
by _hl_ 8y ago
I recently switched to Firefox and DDG, and am pleasantly surprised and seriously impressed. Obviously, DDG is not as powerful as Google. But it has been more than good enough for me so far.
174.
by _hl_ 8y ago
> exceptions, and consistent, universal use of monadic return types, are isomorphic and can have the same evaluation characteristics. I feel like there is a small but important difference. Encoding exceptions in monadic return types allo
175.
by _hl_ 8y ago
> Most monohull sailboats don't even have keels let alone weights. That's factually incorrect. Smaller monohulls that focus on racing performance often do not have weights, though they will certainly have a keel to reduce drift
176.
by _hl_ 8y ago
I maintain a small hobby site that used to have two embedded Google maps. The site is absolutely tiny and would have been well within Google's free tier, and yet I happily moved away from Google Maps when they made the change. Without
177.
by _hl_ 8y ago
Very cool, I think I will try using this as my standard google drive solution on linux. One thing I haven't found in your paper is how the software handles conflicts. Suppose I have two or more machines hooked up to the same account, a
178.
by _hl_ 8y ago
Which is pretty much where we are now. At this point smartphone sales are mostly based on making performance more affordable, and lots of marketing.
179.
by _hl_ 8y ago
I'm normally not the type to embark on wild conspiracy theories, but in this case I don't think the NSA actually believed it could push Speck into the ISO. The way Tomer depicts it, it sounds as if they almost wanted the process t
180.
by _hl_ 8y ago
Not much really. Blockchains are a cool solution to a very specific problem. Trying to use them for everything as a general solution, as the author suggests, is not very practical.

More ›