skysight-inc/HackerNews huggingface dataset:
This is exactly the shot I've been hoping for since we got that first image of the Earth from DSCOVR. I tried to make an educated guess of how large the moon would appear from a million miles away, and I have to admit I far underestimated how large it would appear.
Drive the Curiosity Rover
> as long as police act lawfully

I knew, there is a glitch!
Logarithmic scaling with the fastest JSON validator
Imagine how well it would go over for Google if they started a copyright suit from the position that they heavily argued against in Oracle.

I'm not saying they wouldn't (or even shouldn't, since they lost the case), but I'd be amused as all get out. And it'd prove what we all know deep down: Google's position will always be whatever is the best position for Google.
Never listen to anyone who tells you that parsers are easy.

Parsers that work on simple input are easy. Parsers that get all the edge cases and diabolical input right are stupidly difficult.
I still want to know what made you think Go is a "community project".

Well, the main developers do listen to the community.

Any project can fork, if there are enough people who are very dissatisfied with the current management.

I'm not aware of any serious grumblings about such a fork though. Why?

The core team is very good, and very narrowly focused. They've communicated clearly on nearly every issue as to what they're doing, and why. It seems clear that they are intent on making the best possible tool that fits with their particular vision. There are people who agree with this vision, and broadly support their efforts. And then there are people who really don't like their vision, and wander off to use Rust or something else.

The core team has enormous respect from the existing golang community. If Google suddenly laid off the developers (or just switched them to something else) or otherwise dramatically changed direction in their support for the project, the community would move in quickly to help out the situation.

I could see people getting together to form a non-profit foundation that could at least pay for a few guys to continue to work on Go full-time. But currently, there is no apparent need, so it hasn't been done. Google is willing to pay substantially for the development, and I don't see gophers complaining about that.
Maybe your cover letter is a bit too straight-jacketed. Some candidates I have looked at try too hard to convey professionalism, when what we want as a salesperson is personality.

And about the app: one of the red flags for us is someone's side project. The nature of a small startup is that everyone has to live and breath the work (we all have terrible, terrible work-life balance). Some projects are fine, but for our salespeople, we don't want them selling anything else on the side. You can't serve two masters.

Other than that, I don't exactly know what I can offer. Being in Seattle, I imagine the hiring scene is completely different down there.
I am really disturbed by the difference between the report filed and the video. I almost want to say that we need to start thinking about mandating video recording whenever deadly force is used... for example, the cops could deploy this thing whenever they were dealing with a suspect (although I'm sure its creators never intended for this particular use lol): The Lily Camera https://www.youtube.com/watch?v=4vGcH0Bk3hg
Iconify – Turn ugly hashes into beautiful icons
This probably isn't meant to be installed in your home. Additionally I think Tesla's philosophy has been to popularize electric cars first and foremost, regardless of whether it's their own cars, so designing proprietary stuff won't help.

Elon Musk in general seems to go for "inspire other people to make shit, even if I personally go down in flames in the end". Of course, that doesn't mean he takes unnecessary risks, he just values doing inspiring/world-changing things more than doing profitable things in the long term.

(Also this would probably be great for self-driving electric cars)
Amazing how the stock market 'investor' language and mindset thinks of increases in costs of commodities as a positive thing.
"Are crashing" is appropriate IMHO. Today might be flat but the trend is down and there's no indication that's halted or reversed yet.
Somewhat like this but while on the move
Though oddly enough, the beta version only works for x86/64 architectures. So not Windows Phones.
I think you first have to define mastery. Is it perfect code on every imaginable measure? I don't think so. I've been learning Windows, Linux, Networking, UI/UX, HTML, CSS, JavaScript, VB6, VB.NET, C#, ASP, PHP, MySQL, Informix, PostgreSQL, MS SQL, SSIS, SSRS, SSAS/OLAP, Photoshop, AWS, Angular, Node.js... The list goes on. The point is, someone can prove my weaknesses in all of these areas. Jack of all trades master of none doesn't mean you can't be a play maker. Failing starts by calling yourself a master.
Well, Erlang is also basically immutable at its core, and seems to do reasonably well. It's definitely not up there with C (that'd be ridiculous) but within its domain I haven't heard many performance complains either.
> I content that it would be a good choice as a default programming language for most programmers.

Strongly agree. I now write all of my everyday “glue code” in F#, and use C# for the low-level algorithmic/library stuff. This is directly opposed to the received wisdom, but I find that it works far better (although I think in ML no matter what language I’m using).

My theory as to why this works is that designing and writing robust “line-of-business apps” is really tantamount to designing and implementing a protocol, which, in turn, requires writing something like a parser or recognizer, and it just so happens that ML is really good for writing parsers and recognizers.

> my feeling is that with Python it's easy to start programs and with OCaml (ML) it's easy to finish them.

I’m stealing this.
http://blogs.windows.com/buildingapps/2015/08/06/windows-bri... has some more details. Projections look cool!
It's plausible, but cryogenic fuels are currently only used on takeoff. This is because there's no way to keep your fuel cold; that plume of vapour you see from the top of rockets on the launch pad? That's fuel being vented because as the temperature slowly rises and the fuel boils. Once you reach orbit you typically switch to a different fuel, which will keep. Deep-space vehicles tend to use hydrazine. Voyager 1 still has hydrazine in its tanks which is 38 years old and it still works fine.

If you're capable of keeping cryogenic fuels cold in, say, the rings of Jupiter where such a shield would be useful, then you've probably got power to burn and don't need to resort to that sort of hack.
It's mind boggling that a centuries old weapon is a supposition for any problem, let alone such a terribly serious one. It's likely that dog catchers are more advanced in their approach.
The US Fed has been signaling that they are planning to raise interest rates late this year or early next year.

Not only does owning gold not pay any interest, it actually incurs ongoing cost for secure storage and insurance. Its main investment use is as a sort of insurance policy against the large-scale collapse of fiat financial systems.

Market participants evidently view the possibility of a financial collapse as remote enough that they are trading out of gold and into fiat currency, so they can receive interest rather than pay storage costs.
I think that's a healthy way to view mutability. It's an amazing performance optimisation, but like any optimisation, it's not to be performed prematurely...
Well shouldn't sv employees be lobbying their congressmen and senators for tax breaks for employee share schemes.

Take a leaf from Obamas play book set up a group in every company to lobby for this
I think the point is just that "memory safety is a magic bullet" is a straw man version of the actual argument, "memory safety improves security significantly over not having it".
Vmware Workstation 11 Crack Plus Keygen Download
I get the feeling from talking to folks who were tribal police or reserves, that charging a police office will get you shot. Trying to take a weapon from a police officer will get you shot.

The answer is no sane officer is going to shoot a non-dangerous person. Although the nature of non-dangerous is the problem. Several cases (New Mexico) that should have been national outrages have gone unreported, but a case (Ferguson) that the final report said was justified were demonized (although the report does make some very valid points about the police department in general and should have been part of an investigation years before). How we keep ignoring the problems with flash bangs, I will never know.
Tinder and the Dawn of the “Dating Apocalypse”
365 / 12 = 30.42
Most performance-sensitive Erlang programs use C for the performant bits (they use Erlang for the control plane and C for the data plane). So it's fast enough only for things that don't need to be fast.
Hmm, I am no expert in guns. Is it not possible to use blanks in a standard automatic pistol? I have seen people use blanks in revolvers. Is it because a blank cartridge would be missing the bullet part, so it would be shorter? Just curious.

I suppose that logically speaking, if I know that most cops have a blank loaded as their first shot, logically, I shouldn't be startled by the first shot. But that said, an encounter like that is so traumatic, to both the officer and the suspect, that I hardly think any one in that situation is thinking very logically at the time of the encounter.
Sywork stands for "Show Your Work". Cool!

Are you guys going to introduce software based filter in the future?
If he is running by foot at the officer, he is a threat. If he is running at another person, he is a threat. If he is running away, he is NOT a threat. Simply, "unarmed and running" is not enough information.
The only constant is change. I'm at peace. Unlike the other guy up there. Take a look at his posting history. This is where my comment comes from.

You know, this is going to be downvoted because it's a truth that a lot of the Rand worshipers hate to hear, but people like that guy up there? Essentially, they are the weak betas of the community. People like that with the means to do good in the community around them, provide for people that can't provide for themselves, but can only see as far as their own greed will allow. It is a sign of extreme weakness, stemming from some personal trauma like child abuse or something of this nature. And hence my response, because they have built these huge walls between them and the communities they rely on to survive, externalizing as anger the pain that they suffered in their lives, whatever it was. I really do feel sorry for the guy. He must be suffering with all that anger and hatred. It does get better, though. Usually through significant humanizing events like the death of a loved one, or similar.
The big one here is oil.

The markets go down on tumbling oil prices. I mean I see why oil companies go down. It's lower profits and, worse, as oil becomes harder to find the technical cost of extraction goes up. There are I'm sure many fields where the technical extraction cost is pushing if not exceeding $50/barrel.

Yet this is actually good for pretty much everyone else. Oil is one of those things that's an input cost into almost everything.

So why aren't the markets talking about how this is going to be better for particularly high oil consumption industries? Airlines spring to mind.

Actually, side rant: the so-called "fuel surcharge" airlines charge is such a joke. I wish it were illegal. There is no "fuel surcharge". It just costs more than it used to. Put it into the ticket price and be done with it.

Because you know the fuel surcharge isn't going away when oil prices drop.
How does it make things awkward for you? I wouldn't necessarily dismiss it out of hand without some self-reflection but you can't let what others think of you affect your performance.
It's a good language but I really struggle to see why you'd choose it over Haskell. You may not need the fancier types yet, but in Haskell they'll be there for when you do, whereas in OCaml you reach the infuriating position where you know exactly what you want to do but you can't quite express it in this language without repeating yourself several times over. I guess if you've never used higher-kinded types maybe you don't miss them?

/Scala myself, but that's a slightly different niche.
Seems like no "affordable" API at all? Should I just put widget or link to big players? If so can I get any payment per sold ticket, if user bought ticket after our link?
> But Texas has loads of opportunity and many programs for business development.

I keep hearing "business development" thrown around, but it really sounds like "avoiding paying taxes". As Kansas has shown, it drives your state into the ground.
Make the Magic go away
I'm not a cop or a lawyer, but I can imagine a situation in which people could be expected to sometimes shoot at the cops but the cops weren't allowed to shoot back would meet with a supreme court challenge sooner or later.
Luckily there exist multi-line comments and that the code provided are two short snippets that aren't really useful. No, what this article desperately needs is an actual implementation which can be referred to when needed.
The humble Programmer can't handle the taco.
Then you'll also know that part of the design of the NATO 5.56mm was to wound and not specifically kill.
One minute is 60 seconds by definition. Minutes with more than 60 seconds are just one (hacky?) way to support leap seconds.
Yeah, I noticed that too. I told them and they fixed that typo.
After watching this GIF, I imagined what it would feel like walking past a charging station with this thing on it. How it slowly turns its 10KV-charged head towards me.

"- You definitely do look like a charging socket to me.

- I really do not. Look, I am human...

- No, you really do. You just need a quick charge..."
Finally a consumer application for a robotic arm!
Subuser 0.3 – Secure Docker to X11 Bridge
To add on to wilcoxjay's excellent response, this sort of proof development is exactly what Voevodsky would like to (eventually) see happen in mathematics. The linked proof of Raft uses Coq, which is a small proof checker which makes sure that no mistakes were made in the proof. Simpler, "paper" proofs had already been done for Raft.
In 1985 the Supreme Court ruled that police are allowed to use deadly force to stop a fleeing suspect only if they have "probable cause to believe that the suspect poses a significant threat of death or serious bodily harm to the officer or others." It was soon tightened up to a standard of "objective reasonableness", so one can't simply "believe" in a threat.

Before 1985, using force, including lethal force, to stop a "fleeing felon" was accepted from common law--for any party, not just police. Lethal force would not be acceptable for minor or non-violent crimes. Doubtless the trope comes from practices pre-1985. I'd imagine the same provision of common law applied in the UK at one point, but I couldn't say when or how it stopped. Perhaps quite a long time ago.

Police and civilians also have legal justification for use of lethal force in defence of one's self or others from imminent use of deadly force (and usually other serious violent crimes like kidnapping or rape). Exactly how that line is drawn varies slightly; some states have a strong "duty to retreat" whenever possible, but most don't.
At the Universal Congress of Esperanto
Are there any engineering advantages from choosing this design vs. a more traditional arm, or plug that just moves on two rails up or down and then extends out?

In theory, there is minimal height distance from where such a charging station would be in relation to the car and the charging port height, even when accounting for different Tesla models. As such, I'm not clear why they went with something that on the surface appears overly complicated unless it was for the "wow" factor.
You're probably looking for ITA Software (by Google): https://www.itasoftware.com/solutions/

However, it's not cheap. I think you have to ask for a price quote for the full QPX product, though Google offers a public "QPX Express" API, which costs 3.5¢ per query after the first 50 queries per day, just to give you an idea.
In the future roads would probably contain wireless charging within them with solar panels alongside them.
Security Company Builds Unhackable Version of Windows
I suspect that depends entirely on the site you are visiting. This one for example loads almost nothing so running additional plugins will indeed add overhead.

Many of the sites that I use the most load very little unneeded resources and I tend to leave lots of tabs open while working.

Granted, I am not a "normal" web user, but so far all of the responses to my question have brushed it off as unimportant. My suspicion is then that they don't know the answer, which makes the brush off unconvincing.
Mostly it was to be cheap, though.
One could imagine doing some kind of differential testing of another key-value store against vard to ensure that for a random but large number of requests, they return the same value. I'm not sure that doing that would gain you anything over using Jepsen [1], though. One could also imagine implementing another key-value store in Verdi and proving it equivalent to vard; reasons to do this might include using better data structures or serialization mechanisms, or a different consensus protocol. I'm not sure that this would require significantly less effort than proving this new key-value store (usrd? whittend? :)) correct from scratch, but I'd love to see someone do this!

[1] https://github.com/aphyr/jepsen
If you think about it, it makes a lot of sense. It is not the case that investors are simply greedy and want higher prices so they can make more money. Economies are not a zero-sum game where people can only make money when someone else loses it.

Commodities are the basic inputs into other overall economic activity. Glossing over the details, if commodity prices are falling, it means that overall economic activity is faltering. It means fewer commodities are required because fewer higher order things are being produced with them. It means more people are out of work rather than building stuff.

Conversely, high commodities prices means there are lots of people willing to buy them at high prices. This implies that lots of new stuff is being built -- otherwise, nobody would pay those high prices, and prices would fall. It means that lots of people are working productively and lots of new value is being created.
How Artificial Intelligence crushed all human records in 2048
Personally I think a new DNSSEC2 based on for example online signing might be a good idea.
Because, honestly, none of it inconveniences them.

You honestly think a congressman gives two shits about how much it costs to buy a DVD? Or having their internet traffic logged? Or whatever else is backdoored in these deals?

Meanwhile, by kowtowing and allowing this to happen, they win major career points.

Face it--we're not the citizens, we're the product.
Quite the opposite. The only way to use so much RAM is with lots and lots of threads (running on lots and lots of cores), which means either sharding or sharing. Sharding scales really badly because when you do have cross-shard transactions or queries, you need expensive locks. A GC makes general-purpose, high-performance lock-free data structures much, much, much easier.
Regarding 7, I think you should explicitly mention "git bisect" and similar tools. (Or, are you doing that step by hand?!)

For me, when I run out of ideas, "git bisect" is the most efficient debugging tool. On success, it allows me to pin down the exact commit that introduced the bug. It is very fast to do (binary search), and on success it narrows the bug down to a relatively small amount code to check.

Of course, this only works if you have a clean code history: small commits and always a working state after each commit. That is, no intermediate crap commits, and no monster commits doing 3 things at once.
s/late-capitalism/crony-corporatism/

We don't have capitalism, we have the joining of government and corporations and they are becoming ever more entwined.
Yeah, it's not great. Drug prices are going to skyrocket to US levels for a lot of people currently enjoying correctly priced (cheap) drugs outside of the US.

The lobbyists are on board with this one.
This is simply incorrect.

The OEMs have to pay developers to implement AOSP on their devices. They reassigning the developers to new devices after a Handset has shipped. Those developers are always working on the next revenue source.

Assigning developers to implement patches on devices that have long since launched does not generate new revenue and it takes them away from developing devices that will generate new revenue.
Also, tests aren't for you, they're for the next guy who inherited your code and is trying to make a change, hoping his assumptions about how it all works are correct.

The tests are a way to provide a backstop, but also another way to document what the intentions are.
Boeing has a new assembly site in South Carolina opened in 2011.

This is especially ironic (and painful) for Kansas since Boeing had been a major employer in the Wichita area for decades. It sold its Wichita Commercial Airplanes division to Spirit AeroSystems in the mid-2000s.
Some sites do absolutely horrible. The worst I've seen set has been rdio. I'm boing to put that down to bad developer priorities.
Pistols can use blanks quite happily, both revolvers and the semi-automatic pistol used by most as they use recoil.

I think the issue being raised here is rifles that make use of the pressurised gas produced by the bullet leaving the rifle... as there is nothing to retain the pressure it will not load the next.. Which is why they have 'Blank Firing Adapters' to create the pressure:
https://en.wikipedia.org/wiki/Blank-firing_adaptor
In my mind, I'm seeing a simpler solution that may be viable, enter the The "Claw Game" charger:

* Attaches to ceiling of structure

* Has some sort of sensor to identify charging port, perhaps on the charger end itself

* Has some limited range of mobility - 2'x2' with X & Y axis movement

* Cord unreels down to the charging port once it is reasonably lined up

* Charging cable has Macbook style electromagnet, reaches "charging zone" and activates, inserting itself

* Safety checks are done, wattage is pumped into the cottage if all is well

I honestly don't know if this is better or worse, it's definitely less cool.
As a native Michigander I continue to be amazed at how Tesla is able to out innovate Detroit. After 100+ years of gasoline powered automobiles where is the gas robo snake?
The appropriate response to assault is getting police involved.
DNSSEC has several problems some of which is in the design, as tptacek likes to mention.
Waiting for Android’s inevitable security Armageddon
Do you think that without sci-fi horror robotic tentacles and chromed vertebrae would seem more friendly?

All my instincts are screaming "evil thing!"
"One thing I've noticed in watching videos of police recently is that they seem really quick to draw their weapons on a target."

That is what scares me along with the use of SWAT. I would love to have stats on drawn weapons per encounter through the year (yeah, pipe dream). I'm not sure its more frequent or we just have a ton more video. My brother had a gun drawn on him by a young highway patrol officer while he was stranded by the side of the road putting a new belt in his car. His first knowledge of the officer was hearing the clicking of the gun. He and the person with him (standing on the engine push down on the alternator with a 2x4 so they could slip the belt on) were not amused.
Well some contrarian investors are buying back into commodities as they have been over sold.

I even brought British Gas as a play on the Takeover by Shell a net 8% yield is tasty.

I did very well (300%) buying commercial property in the last down turn.
Understanding map and apply