skysight-inc/HackerNews huggingface dataset:
this is the reality in our black communities. night raids, arbitrary detention, brutality, denigration. the police fight a war against the poor.

if they behave like an occupying army, they should not be so offended when they are fought like an occupying army. the black communities will continue to be oppressed, and so there will be more incidents like the slaughter in dallas. everyone will say "oh, the humanity" or similar, but nothing will change until public policy tightens the leash on the cops.

until we start taking officer safety more seriously and hobble their ability to abuse the public, we should expect continued violence against the police. to improve officer safety, the police need to be stripped of their weapons, armor, and legal leeway to abuse. it's simple: violence begets violence. rather than doubling down, pull back. unless the lives of police don't matter-- then by all means, let the police try continuing with the shootings until the morale of the black community improves.

under the best circumstances, the black community won't trust the police for another generation or two, provided that the police stop doing damage now. we need to aim for the children of their children being able to trust the institutions that are there for their benefit... or we could keep beating/shooting/stealing from/raiding them for another 20 years, and cause peace to be that much farther off.
Regarding "because OEMs told Yandex that Google forbid them from working with Yandex" that appears to be true. Google forbids OEMs from selling both Google-logo and other-ecosystem devices. Google's excuse is "anti-fragmentation." They do this to make OEMs accept Google's decisions about Android, and either you are in or you are out.

But that's not a high barrier. Amazon's tablets are made by some CM/ODM who most likely manufactures Android devices for a number of OEMs. Yandex could have private label phones much the same way. Or they could get phones from China OEMs that don't care about making Google-logo devices.

The Amazon Fire phone was as much a turkey as Echo is a hit. It wasn't Google's fault.

As for China, Google does operate there now, and Lenovo sells Google-logo Androids in China. But the non-Google ecosystems continue.
35 years old, 5 years of experience as a software dev.

Poland

I make the equivalent of about $16.5/h on B2B (net pay after all taxes, social fees etc.)
Can you clarify why? I'm curious.
Agreed. SpaceX may well have called the FBI at first, who likely would have called in the Air Force, seeing as how they have the expertise in this sort of thing. The FBI was probably involved from day 1, since there are quite a few possible criminal subplots going on here (terrorism - state sponsored or otherwise, sabotage by competitors, etc).
Also don't forget about free DNS hosting with API: domain.yandex.com. Might be useful, I made dyndns-like setup using this API once.
Google Work Apps Gain New Powers, but Microsoft Still Rules
I think in a lot of economic systems we're still a long way off from reasoning at all about long run behavior, let alone formally deriving it. Hence the urge to try and steal modeling concepts from other fields, with or without theoretical foundations.

That said, I have very shaky intuition about how physicists actually use these concepts. Is egodicity necessary or just sufficient for rising entropy?
Tor Users Might Soon Have a Way to Avoid Those Annoying CAPTCHAs
It happened the same with some Apple patents in the case against Samsung.

It seems, IIRC, that invalidation after the trial doesn't change the outcome of that trial
Cache-control headers. Browsers won't cache indefinitely unless you ask them to.
> Academic achievement,

That seems counter to my experience. In school and college the kids with the best grades were almost always the ones who studied the most. Though of course, everyone has that one friend who aced the final with a hangover after flipping through lecture notes for 5 minutes.
Good point, that might be the better solution for the public HTTPS part of things.

Lets Encrypt doesn't provide MS Authenticode signing certs (eg to validate our downloads are legit) though. Hopefully this whole mess doesn't scope creep to include those too.
> "The impression I got is that men like the thin type more than the fit type."

I know it's a cliché, but it's also true... men have different preferences, just like women have different preferences. However, if we're looking at average preferences across the world, I'd say men overall do prefer fitness over thinness (assuming it's toned fitness instead of a bodybuilder physique).

I suspect the idea that men value thinness above fitness may in part come from the fashion industry, where height and thinness are definitely prized highly, but in my opinion that's mostly because they make it easier on fashion designers (long flowing lines, less need to tailor the clothes to the body shape of the model).

> "And, even then, they care about the face more than they care about the body."

I would say this is true, but again I can only speak for myself. In my personal opinion a woman with an attractive face is attractive almost regardless of their body shape.

> "The motivation to exercise for that kind of reason is just not there for women, in my opinion."

Sure, the motives are different. From what you've said, it sounds like you're already committed to working out, so this isn't something that applies to you, but what I want to make it clear to anyone reading this is... do it for yourself. None of what I've just said about body preferences matters, feeling healthy is better than just looking good. If it gives you a confidence boost too, great. I guess what I'm saying is don't let a feeling of 'not being good enough' drive you, instead enjoy the results you get out of what you put in.
I need feedback
please tell me whether you can get feedback on service http://proofy.io/
What would a piece of legislation be to actually solve the issue with East Texas court being so pro-patent? Something like all patent suits must be prosecuted in the jurisdiction of the company supposedly infringing? Which I guess would end up in Delaware mostly...

It seems like there are problems in the patent office with issuing a lot of patents that shouldn't have been issued in the first place, but there is also a problem with there being several judges who collectively control billions of dollars worth of legal decisions.

So if you're going to legislate, it seems to me that patents should be easier to overturn and cases need to be spread more uniformly across jurisdictions.
But as much as people here might scoff at me, the way a desktop system looks is high up in my priority list. I spend 8+ hours a day looking at my main system, so looking nice and having a nice UX is important. All of those alternatives you mentioned seem ugly or complex to use to me, so I would want to switch to an "alt" window manager, which just sets me down the rabbit hole.

ElementaryOS would let me leave it at the defaults for just about everything.
Anybody remember what happened to Lone Star? 3 episodes, not 3 seasons, for a critical and cult favorite.
I did a bunch of stuff with Ada, and like it a great deal; the core language is rock solid, fast, expressive, and extremely easy to work with. But I still have a laundry list of issues, and probably would pick something else for future projects. (My current one is in C. C89. Because reasons. Sigh.)

The three biggest turnoffs for me with Ada are:

- case insensitive identifiers. I understand why they chose that, but history has shown that that's not what programmers want, as evidenced by ever other mainstream programming language ever. Also, there's nothing more likely to repel a new developer than forcing them to switch to a new coding style. (It's also weirdly unAdalike; surely a language which puts such an emphasis on correctness and precision wants things that look different to be different?)

- no garbage collector. As soon as you spend any time with the language it becomes obvious that one's been planned right from the very beginning --- it would drop right in. It just hasn't been implemented.

- deeply inscrutable object oriented syntax. I've used it several times and I still have to look it up, every single time, and even so I keep getting it wrong. There are several hidden gotchas --- it only works properly if your class is defined in a named package and all your method declarations need to be next to each other. I think. It's all totally unmemorable and desperately needs a 'class' keyword.

There's some other stuff which would be nice to have, like better strings, or the ability to have pre- and post-conditions on procedure definitions and not just declarations, but for me those are the three big ones.

I might try Nim next, as that looks nice, and appears to have a number of features borrowed from Ada.
The Fire Phone was definitely hugely impacted by not having access to the apps which only the Play Store has (most of them), and the fact that, specifically, Google's own apps are only available through them. Who's going to buy a phone without YouTube? Similarly, if you look at reviews of Windows Phone, most are very positive, with one exception: Without Google providing good support for the platform, people don't want to use it. Google's monopolies span far and wide, and it's difficult for anyone in the tech industry Google refuses to work with.

As far as the Echo... Google hasn't even released Google Home yet, and they're already telling manufacturers they're going to have to choose between supporting Alexa and supporting Google Home.

If China has Google now, it's still not a huge problem: Lenovo is only a small part of the market share there, and most importantly: All of the apps popular in China are already available in other stores. Maybe we should ban the Play Store for a few years in the US until the same situation happens here?
You might be onto something there ...
There's also Achron, an RTS game that uses time travel as a key mechanic. There's a single timeline, but it's malleable.

http://www.achrongame.com/
Cloudflare/challenge-bypass-specification
I recently looked at SSDs for a project I'm working on. By far, the biggest performance impact is in using PCIe rather than SATA interfaces. (The performance boost also may rely on M.2 and/or NVMe; because I don't have a PCIe controller on the system I was working on, I didn't look into it further). An example:

Samsung 850 Pro, reputedly one of the fastest SATA SSD drives (SATA 3, 2.5", AHCI):

* Sequential read/write: 550/520 MB/s

* 4K random read: 100K IOPS

Samsung 950 Pro (PCIe 3.0 x4, M.2, NVMe):

* Sequential read/write: 2,500/1,500 MB/s

* 4K random read: 300K IOPS

Source: http://www.anandtech.com/show/9702/samsung-950-pro-ssd-revie...
So, basically, this is the thing in a crime detective movie where the forensic analyst is looking at a terrible pixelated surveillance camera still and says "enhance," and the computer magically increases the resolution to reveal the culprit's face.

Just another entry on the "things that are supposed to be impossible that convolutional nets can do now."
I'm not making this up; it's based on what some police officers I know have told me.
It's not about open vs closed. Google has a dominant market position and Apple does not. Abuse of a dominant market position is illegal.
Microsoft's case was about Microsoft threatening OEMs to not sell Windows to them if they dared preinstall Netscape. The purpose was to keep a high barrier to entry for competing OS's, as they controlled the Win32 API but not the Java applets API.
That site is quite the goldmine. It would be awesome to have this preserving other people's snap stories too. I wonder if it's an official site from Mark.
DJI MAVIC PRO UNBOXING Live (Coming Soon) Podcast #6
But if they're already shipping GPLv2 code then they've already failed at this goal.
on $175k married filing jointly put me in the 28% bracket federal (21% effective tax rate), 9.3% California tax rate (7.6% effective tax rate), 5.65% FICA, for a total of $60k tax liability. I reduced this with mortgage deductions, business expenses, home office, charitable donations, retirement and medical savings plan deductions.
This is the law: https://en.wikipedia.org/wiki/Outer_Space_Treaty

And no, you don't get to claim the entire planet by planting the first colony.
The Best TV Shows and Movies New to Netflix, Hulu and More in October
Apple Weekly 2016/39 is out, iPhone 7 camera review and an October Mac Keynote?
Failing startup trying to pivot?

http://www.coindesk.com/itbit-exodus-populating-startups-blo...
https://www.dropbox.com/s/8bays3lv9enk66b/2016-08-16%2019.36...

The most trending kind of paper at last crypto was about cryptanalysis
If you can handle purchases, loans, negotiable bills of lading, equity investments, and derivatives, you probably have the important use cases covered. Trying to support transactions of types not in standard business textbooks is excess functionality leading to bugs.
Honestly, I prefer wiredtiger API. Otherwise I can only tell that it's pratical over a 50Go dataset that is all.
>> For example, iodine (an element, not even as big as a molecule) supplementation at the fetus and early childhood stages can, among other benefits, result in as much as a 13 point IQ increase from a previously deficient region's average. This is a huge enhancement by human standards. Why hasn't evolution found a way to have our bodies produce iodine automatically (perhaps by producing iodomethane like some algae?) at that stage of life, or maybe only by the mother when the child is in the womb or perhaps produced and distributed only with breast milk? Then even if you lack natural sources of iodine you'll still benefit. It should be easy, it's just a single element!

FYI Iodine is concentrated by the breasts so as to provide it to babies via milk for exactly this reason. Iodine is critical to a lot of things. What you overlook is that as an element (atom) there is no way for the body to "make" iodine. The only way to get it is through what you eat and drink. In my opinion, the thyroid hormones are mostly a way for the body to store iodine - they are numbered T1, T2, T3, and T4 based on the number of iodine atoms in the molecule. The thyroid gland also concentrates iodine for use in making these hormones, but ultimately the only way to get iodine is to consume it - which I highly recommend.
you're all idiots.
How is this technically different from TinyChat?

Is it the social graph? (Friends or friends of friends)

In that case, how does this have advantage over Facebook if Facebook ever decides to build one like this?

I hope they have some other advantage that can't be easily replicated.
yup, to certain point! there are information theoretic limits though. You can fill in information, but there will be biases to a certain point. in this case defined by the dataset. if the "enhance" is too strong, we should be careful with what we do with the results in forensics.

but man, it can make your internet pics look smooth! :)
thanks for the comment!
That's a bit like polling Trump on how the debates went.
Google has a dominant market position, Mozilla does not.
> Spatial decomposition

Would like to learn more about this. Do you have recommended links?
You should get a refund from your cert provider.
Representatives of Google, Apple, and Mozilla have all dismissed the suitability of a fast reactionary nuclear approach.

There are plenty of innocent sites who use WoSign/Startcom certificates.

It's easy to be flippant when you're not actually responsible for a browser which users use, and need to worry about adverse side-effects. You kill WoSign overnight and you now have millions of users habituated to ignoring TLS errors, and now know how to override internal browser security settings.

Hope it was worth it.
Student loan debt causes a chain reaction in the housing market
I bought a Fire tablet without YouTube. Amazon has their own media ecosystem. Almost all the mass-market apps I use are available on the Amazon app store. Even Netflix.

I would, however, agree that it is petty, pointless, and possibly counterproductive for Google not to put apps that use the Google ecosystem on Amazon's app store.

As far as what the Fire phone was missing? I'd say maps and navigation. They should have gotten HERE on board at launch.
They're basically just microphones you set up around an area to triangulate the source of any gunshots by sound.
Essential code for apps written against the platform's official APIs.
Interesting image "upscale" algorithm.

I'm not familiar enough with the field to understand how the "neutral net" part feeds in, other than to do parallel computation on the x-pos, y-pos, (RGB) color-type-intensity tensor interpolated/weighted into a larger/finer tensor.

(linear algebra speak for upscaling my old DVD to HD, that sort of thing)

At the risk of exposing my ignorance, this has nothing to do with "AI", right? It's "just" parallel computation?
I'm in the same place right now.

Working as employee and cotractor for about 10 years now.

I have the feeling all business lectures focus on what to do AFTER you got this kind of thing sorted out, before you are pretty much on your own.

I will go to a trade fair next week, maybe I'll find something there...
Margin accounts are so dangerous. Most brokerages make you go through a rigorous process to make sure you're qualified to handle margin trading. The fact that they let average joes do this seems incredibly alarming.
This is only my personal experience, bu I am embarrassed to report that I have been in DreamHost customer for over 10 years for hosting some small and unimportant personal projects. I have been consistently disappointed with the level of their engineering and systems. Their systems are unreliable, their custom build ticketing system is atrocious. I would take any technical advice from them with a handful of salt.
Halloween Is Coming
Ah, I see what you mean. The fork would break the execution model/reality equivalence and thus (possibly) invalidate the verified properties. It could also modify the Solidity code itself, as in the DAO fork. Formal verification still provides benefit here: the proposed changes are easy to check for backwards-compatibility breakage prior to the fork, providing a valuable political tool to either oppose the change or require a rider contract code fix in the fork.

I do think your requirement of universal correctness is unfair. We can rightfully criticize the naivete or misleading marketing of Ethereum, but the system isn't valueless despite its limitations, and formal verification enables us to capture more of that value.
He Kept Us Out of War
1. Both of the rockets ULA currently uses(Delta IV and Atlas V) are much, much older than the rocket that SpaceX is launching. These rockets are on their 4th and 5th iterations, so they've had time to work out basically everything and aren't really pushing the limits of what they can do. Early on, these rockets did not have a 100% success rate.
2. I wouldn't call these experiments. In the past, all experiments(such as the landing attempts) were conducted after the customer payload was delivered so it posed no threat to them. Recently, they started performing static fires with the payload already integrated to save a couple days between the static fire and the launch. I suspect that they will stop after this anomaly.
You'd be better off with a $5/mo digital ocean VM.
The Crystal Palace – John Lars Zwerenz. Listen Cdbaby
I will just say it without any proof. I think spacex is not competent enough to solve this. Rocket science is still hard. That is the impression I got when they said they do not know the cause yet. Rocket exploding on the launch pad is pretty big fuck up in my mind, but I am not a rocket scientist. They will learn from this but this is a reality check. Without major breakthroughs they are no better than russians launching soviet era rockets.
So You Want to Be a Functional Programmer (Part 5)
I mean, Theranos, so on more thought, YMMV!
Exactly. If you're not a monopoly (or otherwise massively dominant in the market you compete in), antitrust law doesn't apply to you. Antitrust law is specifically to guard against the situation where one player in a market is so dominant, that the market itself becomes less competitive.

Although usually when I hear people misuse antitrust concepts on tech forums, they're not trying to understand complicated legal conflicts, rather they're grasping at straws to use as ammunition in dumb flamewars about platforms/companies/etc. that they don't like.
I learned Ada in a survey course in the late 1980s. My impression was that it was perfectly fine, but no one was hiring Ada programmers other than in the immediate DC area. There were few public libraries to do stuff (compared with C or Fortran for example). Finally the defense industry imploded just before the technology boomed caused by the rise of the Internet.

I vaguely recall intense licensing issues as well, like it was the only compiler we used which we had to return the floppy disks. So while we could hack around with C, Prolog, Perl, etc. we couldn't "play" with Ada outside of the course.
When you look at one of the figures in the linked paper, a 1RM test is performed every 3 weeks. So some heavy lifting with a reduced rep range is done. Also the study uses young men who have been strength training at least 2 years, averaging around 4 years. Exercises were mostly machine guided except the bench press:

"inclined leg press with seated row (superset 1), barbell bench press with cable hamstring curl (superset 2) and front planks (set 3) and Tuesday/Friday: machine-
guided shoulder press with bicep curls (superset 1), triceps
extension with wide grip pull downs (superset 2) and machine-guided knee extension (set 3). "

Both the low rep and high rep group did these supersets. It would seem like making the low rep group do supersets(extra exercises between the sets) would defeat the purpose of calling it low rep. It may have hampered the low rep groups gains.

From the link you supplied:

"Though there is no apparent advantage of lifting with different loads on changes in muscle mass, there is undoubtedly a neuromuscular advantage to lifting heavier loads if the primary outcome is performing a 1RM test (28). Conversely, it appears that periodic practice of the chosen strength outcome (e.g. 1RM) is effective at eliminating the majority of any post-training difference. "

and:

"In conjunction with previous data (28), it appears that if 1RM strength is the primary goal, performing the to-be-tested exercise with heavier loads, either consistently and/or periodically, may be required for optimal improvement."

So if you want to develop maximum strength(at the reduced rep range), you have to periodically practice in that rep range if only for the neuromuscular advantage. In this case, at least a 1RM every three weeks for the men in this study.
Let me rephrase: hard to have optimal (or even suboptimal) athletic performance without carbs.
Like everything you can do it in good way, bad way or very bad way.
There's something I don't understand about the enterprise vs consumer (or "client") SSD classification: According to the widely quoted JEDEC standard, JESD218A, [0] these are the date retention standards:

Retention Use (power off):

* Client: 30° C, 1 year

* Enterprise: 40° C, 3 months

It's not a typo, I've seen it in many places: It appears that the power-off data retention standard is only 3 months in enterprise drives (1 year in client drives isn't great either).

Can anyone explain it? My only guess is that the "enterprise" classification refers to drives designed to churn data 24/7, not store it long-term. But I think many people understand the term 'enterprise' to mean much greater durability. I'd be very disappointed if I experienced dataloss from leaving any drive on a shelf for 3 months, much less an expensive enterprise drive. (Or maybe I misunderstand what's meant by Retention Use (power off)?)

[0] Available here: https://www.jedec.org/standards-documents/results/jesd218b.0... and quoted here in the table here: http://www.kingston.com/us/ssd/enterprise/best_practices/ent...