skysight-inc/HackerNews huggingface dataset:
Considering that digital electric meters have been compromised, and that the one I studied had dual-band radios including WiFi spectrum, it may be best to assume that there may be unexpected data pathways that could use a MAC address.
Note that the WiFi of many routers broadcasts the wired MAC addresses on the LAN as well as the wireless clients.

You're right about false-negatives with sniffers. If you read the source on pages you visit, you'll see https analytics data mining, so don't assume that every outgoing https connection is okay. (and some browsers don't use your normal DNS / hosts settings, so sites you think are blocked may not be)
Python's parsedatetime module can do some level of language parsing.

https://github.com/bear/parsedatetime

Examples:

next thursday at 4pm

at 4pm

2 hours before noon

2 days from tomorrow
My ISP is in the middle of a project to roll out fiber to a specific neighborhood in my town. Before they'd begin construction, they required commitments from 56 (of 225) of the passed homes that they would take at least the (symmetric!) gigabit fiber service (at $70/mo for two years). They could add on other services (TV, landline, security system, etc.) as well, but that was the minimum. They're in "phase 3" and the whole thing will be completed in a couple more months so apparently they made it work.

As far as what it cost them to build out, etc., I really don't know.

More info, if you're interested:

https://www.smithville.com/news/blue-ridge-fiber-expansion

http://blueridge.smithville.com/
More important, when they do miss, the bullet will keep going, possibly actually killing a bystander.
This is an objection that people seem to raise disproportionately often - particularly when they have no performance tests and never profile their code. The one time I've seen a real-world head-to-head comparison between C and Haskell, the Haskell version performed 5x better than the C version. In fact I've literally never known a real-world Haskell program to have serious performance problems (I've known some that needed a small amount of time to be spent on profiling).

I realise this is much less satisfactory than a convincing theoretical solution; all I can say is that it just doesn't come up in practice.
US police have 2nd Amendment rights like anyone else, so that seems unlikely.
Because the general public isn't expected to be armed with firearms either.
If you're running from a cop, you must be guilty. Right?

Which means you're a criminal; which means you're probably a serious threat to others.

It's a bit of a toothless ruling because it's about the cop's state of mind at-the-time which is damn hard to disprove, harder when it's a cop's word.
Of course if it comes to shooting you have to shoot to kill. I think the problem is with too trigger happy cops that are too quick to pull their guns out and are not utilizing their tools to deescalate the situation. And yes sometimes deescalating means letting someone just get away temporarily if he only stole a pack of smokes.
> the officer has probable cause to believe..

https://www.youtube.com/watch?v=Nt6kKhlX8vU
sysctlbyname() implementation in Frameworks/CoreFoundation/CFMisc.mm does not check the destination buffer size.
Any chance of the MacOSX APIs coming along for the ride? Or how much extra effort would it be to use this and port the MacOSX apis as well?

I'd love to get Mac Apps on Windows.
Why do they want me to enter my email address to continue reading? I had to delete 3 HTML nodes to get past their "drawbridge"...

Here's the gif for anyone who doesn't want to deal with the (totally useless) article:
https://img.washingtonpost.com/blogs/the-switch/files/2015/0...
No. From experience, the only other rounds that would go into my magazine were tracer rounds. Additionally, the mechanics of how these weapons work make that not possible.

Edit: Beyond the above, from a tactical perspective...just think through the game theory on that and you'll see why that would be unwise.
How does one go from "memory safe languages are not magic bullets" to "reading out of bounds is ok"? That's not a type safe argument.
As I understand it, the only beverage allowed on paleo is water, and the only sweets allowed are whole fruits and limited quantities of honey.

It is a matter for some debate among paleo advocates as to whether exercising in a gym is an adequate simulation of hunter-gatherer activity. And that's about when I start tuning out. Then I get to the part about donating blood to account for recoverable injuries, and I switch off. It's a diet/lifestyle, not a cosplay.

The success is driven by having a plan and maintaining the individual motivation to carry it out.
This is a great question that permeates all verification work. In the lingo, we call the set of assumptions a proof makes the "trusted computing base" (see https://en.wikipedia.org/wiki/Trusted_computing_base ).

I listed some of the assumptions we made in another comment https://news.ycombinator.com/item?id=10018985 .

The question you ask was believed for a long time to be the death knell of formal verification. It was persuasively argued in "Social Processes and Proofs of Theorems and Programs" https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf that any proof of a complex system is necessarily at least as complex. Thus there would be no reason to trust the proof any more than the original code.

The breakthrough in verification came when we started using machine-checked proofs. In this approach, you write a short, simple, and trusted proof checker. You can then verify complex systems using complex proofs that are checked by the simple checker. Then the only possible errors in the proof can come from the proof checker being wrong. Because the checker is simple and general (ie, it can check all kinds of proofs, not just proofs about a particular program), it is more trustworthy.

Just to reiterate (including some content from my other comment): we can be wrong only if we have written the wrong definition of linearizability, misstated the correctness theorem, or if there is a bug in the proof checker or in Coq's logic itself.
Any practical language will have escape hatches, but it's the equivalent of doing a cast (indeed it sometimes literally is doing a cast) - it sticks out in code review, compilers have options to warn or ban them altogether.
I've long been disappointed that, even as far as we've come, most robots or moving computer-controlled things have been a box with something going round on it (car, washing machine etc.) or sometimes back and forth along a straight line. This therefore pleases me greatly.

(and it totally gives me the creeps)
If you look at a current example, a lot of Buzzfeed's success seems to attributed by people to the crowdsourced work at Reddit - up-to-date and current trends and content is provided and filtered for them to easily digest and compile - especially photo content.

Re: Google, Apple, Amazing, etc - In reality anyone who already has an organization or infrastructure to curate or the pool of funds to use and/or has the audience to promote to would be able to provide these services/do these tasks more efficiently.

Is this bad though? IMHO it's only bad if an unbalanced or unfair amount of resources are made or left with an organization or group of people - leaving others at a deficit and potentially suffering instead of all of this productivity increasing abundance and quality of life for everyone. You could apply same thought exercise to taxes.

Systems are only bad when there are frictions and inefficiencies allowed to exist to benefit one group more than another, otherwise you can create roles to reduce unavoidable frictions.

If an artist was able to travel the world freely (literally at no cost), the only real issue then is having space available for such an event - so then you'd have people who curate those spaces letting the artist in or not or based on criteria of how many fans they have in that part of the world, and perhaps it would become a celebration of that artist and his work, instead of simply entertainment or the artist trying to make enough to survive; sounds a lot like museums, why not more of this? Why not more startup co-working spaces that are social and not isolating and support creativity and connection?

There are of course ecosystems evolving that have more and more of this, culture breaking through systems of control and pressure - I'd like to see the world and cities designed as platforms to facilitate this kind of life - and not only because investment money is heavily funnelling into specific cities.

It's all about distributing resources to get tasks done - governance. Whenever you remove friction then productivity can increase - however if you allow oil to be burned until we pollute and damage our ecosystem to be so unstable as life is threatened then that is bad governance. Determining who gets access to resources needed for different types of creativity will be the interesting piece to figure out..
Nice. Robotic fueling has been done before [1][2], but this is much less clunky. This looks like the OC Robotics snake robot.[3] Finally, a use for snake robots, which have been around for 25 years but are not used much. Tesla has a good application for this - the car end is cooperative and standard. The car's parking guidance system can be programmed to recognize visual targets and get itself into the proper position.

The mechanism is simple. There are many linear actuators in the base pulling on cables that run through the snake segments and attach to plates at the joints.[4] Cable wear is a common problem, but that can be overcome. Charging robots won't cycle that fast; tens of cycles per hour, not thousands.

[1] http://fuelmatics.com/videos-2/video-demonstration/
[2] http://www.robosoft.com/robotic-solutions/transport--logisit...
[3] http://www.ocrobotics.com/
[4] https://www.youtube.com/watch?v=WTkmyDO2ubs
Tasers are not all that non-lethal :(

Police ought to be part of the community, rather than some external paramilitary force. Their behavior would then be modulated through social mechanisms.
In my experience it's typically more like this:

"Well, there's probably nothing wrong, but there are some test we can run to be sure."

The patient agrees to the tests because it gives them peace of mind and they mostly don't pay for them, their insurance does.

The doctor orders the test because if they don't and there is some sort of rare problem that was actually present, they can be sued for malpractice. GPs in the US generally aren't making any money from these tests, but they do have a strong incentive to avoid a malpractice lawsuit as those are costly and time consuming.

But yes, this is part of why US healthcare is so expensive.
More or less. I like to describe it as a 100% seller-financing deal, with the business itself as collateral, so you get the business back if you aren't paid what we agreed in the given amount of time.
Trust me, I have.
Show HN: Watch strangers talk on Omegle with a MitM attack
This is my first Coffeescript project. This has already been done before, but I didn't bother to Google before inventing it, so here it is. You can specify interests that strangers will talk about.
This is very exciting to me, especially because visual art doesn't get as much public attention compared to the performing arts. It's perhaps not surprising as we only see the finished products, assuming we even know where to look. Would music get as much hype if there were no live performances, and only straight-to-download albums? The analogy isn't perfect, but lending a live production element to visual art might just make audiences feel more involved.
When I was 14 a cop drew a gun on me while I was running away and said, "Stop or I'll shoot".

Actually, I think it was, "Stop or I'll pop a cap in your ass!"
Have a look at these:

- https://gist.github.com/akatzbreaker/5849024

- https://github.com/chesles/naturaltime

- https://github.com/kvh/recurrent

- https://github.com/bear/parsedatetime

- https://github.com/Carbon/Language
> do police in the US shoot suspects when there is no threat other than the risk they will get away?

Yes, but the better question to ask is, "Do police shoot citizens who do not (or are not known to) pose an immediate threat?"

The answer is yes. Here's a recent murder, complete with two other officers attempting to cover it up:

http://www.theguardian.com/us-news/2015/jul/30/samuel-dubose...

It's also worth asking how so many citizens are able to "shoot themselves" while handcuffed in the back of a police cruiser:

http://www.cbsnews.com/news/police-teen-shot-self-in-head-wh...

I see that sort of incident in the news several times a year, and I can't possibly be seeing all of the reported incidents. There are just too many deaths for one person to keep up with:

https://en.wikipedia.org/wiki/List_of_killings_by_law_enforc...

And those lists probably don't include suspicious deaths in police custody (squad cars, jail cells).
That's convenient, but I don't think they made the same deal with Google (Project Astoria, the Android variation).
I have been using clearbit the last few months and it really is a great service with the best api docs and versioning I have seen to date (a la stripe). We use clearbit for company, persona, compliance, and prospect data.

Checkout https://svbtle.com/signup for a great experience built on clearbit. @maccman + team is killing it.

Clearbit is more narrowly focused on business apis, but in my experience Clearbit does a better job with company/persona data globally than orb intelligence, everstring, relateiq, madisonlogic.

Feature request: Better api key management to easy manage multiple environments (upgrading api versions between dev/prod)
That's not an issue, as long as police act lawfully, and laws allow protest and civil disobedience.
That's exactly what's happening with my girlfriend right now. She gave up cannabis after years of heavy smoking, and it seems like every morning she wakes up telling me about the intense, vivid dreams she had.

That said, while the quitting process has been quite difficult for her (irritability's through the roof- almost as bad as when I've tried to quit smoking cigarettes), she says she started feeling "better" almost immediately. Probably the best part (for both of us, haha) is that her natural appetite is coming back- and in fact, she's reporting that she's developing a taste for a lot of foods she previously didn't like because the flavor was too intense or the texture was too unusual. The only real explanation we can figure out is that the cannabis intensified culinary experiences to the point where she couldn't handle it, and so she just ended up avoiding a lot of types of food.

The brain is an interesting organ.
Somehow this feels like an overcomplicated / expensive solution given that they control both the car and the charger. How much would it cost to install a robosnake in my garage.

Could they put a charging port on the back of the car that you back onto something? Or something on the floor that you drive over? There has to be a cheaper solution. If a Roomba can do it we must be able to.

I mean, that wouldn't be backwards compatible with existing teslas but I wouldn't think the installed base would be so high that that is a big issue yet.
Maybe, I am from a different planet, but sometimes I heard, that police should protect people, but currently some policemen are more caring about protecting themselves -- and they are trained exactly that way.

This at least, as an European, goes threw my mind, when I read such descriptions and some news from unarmed people shot into the back.
Make the hacking tools written in atari 2600 pac-man and you have got yourself a gen-x comedy.
Meeta.vc – Public calendar for investor appearances at events
I've always thought about the idea of getting investors to share a public calendar of their talks or presences at events as judges, etc. Do you think it would be a helpful tool for investors and entrepreneurs to meet or would it be just too creepy?

Do you usually go to certain events just to try to connect with a specific investor?

Wanted to open a discussion. (more on meeta.vc)

tks
There really aren't many freely available DNS servers that have seen serious production usage - I'm really excited to see RRDNS open sourced as previously hinted at, does anyone know if there is a timeline for this?
I think it's telling that this is the kind of comment that's voted up.

Jeep remote exploit: "OMG, are you kidding, what kind of idiots would even allow this to be a possibility? Car control systems remotely accessible, etc?"

Tesla: "Kudos to Tesla for taking this seriously and working on it."
IF someone is running by foot, he is not a threat to anyone, unless he is swinging a weapon of somekind. Shooting someone while fleeing is terrible in so many levels.
Consumption is still pretty weak in the US as a result of late-capitalism income inequality-- in my opinion, the US will continue with the gradual stagnation we've seen since the crash. This stagnation has been going on for years now, and it constitutes a serious crisis of its own, but the sky isn't falling like in 2008. Until there's another crash, that is. Then, there will be another "recovery" with another large slice of the wealth going to the oligarchs. My completely uneducated and totally invented prognostication for this crash is mid Q4 2015 or early Q1 2016. The biggest indications that a crash is coming are the record high stock values we've seen recently. Relatedly, the SV bubble is going to pop when investors realize that there isn't really that much "disruptiveness" in a lot of the software startups they've been funding.

China's consumption is strong as a result of it being in early to middle stage capitalism, which drastically reduces income inequality, which takes the form of a new middle class(perhaps temporarily). The problem with China involves their middle class's population-level involvement with the stock market. Everyone and their mom is invested into the market, meaning that the commoners are currently losing vast amounts of wealth as a result of the implosion. Whether this ultimately will hurt consumption isn't clear.

Europe might be okay in the medium or long term, but a small crisis is already playing out right now. Greece, while somewhat ameliorated by recent talks, is still a ticking time bomb.

An interesting third case is Japan, which is now having its second "lost generation" in a row as a result of long-term stagnation and demographic issues. Japan is a neglected back-door to the world economy. The coming months could be a much-delayed ultimate collapse or resurgence from the sleeping economic giant, though after decades of horizontal movement it's hard to envision what either would look like.

Interesting times ahead.
As long as you allow the general public to carry firearms the police will have a hard time establish a power superiority in any stand of without the excessive use of firepower.

As this article talks about firing multiple rounds per encounter is the norm it nigh be worth pointing out that the whole German police fired less than 100 shots at person per year for the last decade. https://de.m.wikipedia.org/wiki/Waffengebrauch_der_Polizei_i...
Artificial intelligence decodes Islamic State strategy
That would never work with the amount of gun ownership in America. People wield guns against cops hundreds if not thousands of times a year. Imagine if criminals knew the cops wouldn't have a gun.

This is a problem with the gun violence issue as a whole. The use of guns is absurdly high across the board.
> I am always amazed when some more experienced programmers than me spend valuable time grepping files and using GDB on the command line.

I don't know about Vim, but Emacs works very well as a visual debugger, for quite a couple of languages. It looks like this for C, for example: http://www.inet.net.nz/~nickrob/gdb-ui.png (it's Emacs debugging itself in this screenshot).

In general both Vim and Emacs can become IDEs that are on par with other offerings. For Python development, I worked with Komodo, PyCharm, Vim and Emacs. With jedi[1] both editors get context sensitive autocompletion (for some strange reason called "IntelliSense" or something by some) and "find definition", "rename identifier" etc. With Rope, they both get nice refactoring support. With Magit/Fugitive, you get the prettiest and most functional GUI for git. With Speedbar/TagBar[2] you get classes outline. With yasnippet/vim-snipmate you get configurable, programmable snippets/templates. And so on and on - all that on top of largely superior editing model that is being developed and improved for 30 years.

I worked with Komodo, PyCharm and a couple of other IDEs, then switched to Vim and I didn't feel that I'm missing something. Then I switched to Emacs because I wanted an editor that I could easily customize as much as I'd like, and VimL just didn't cut it. There is nothing comparable to Emacs in terms of extensibility, LightTable and Atom may get there with time, but I suspect it will take quite a few years. No other IDE even tries to approach this level of extensibility and customizability.

[1] https://github.com/davidhalter/jedi
[2] Vim version: https://i.imgur.com/Sf9Ls2r.png
Some of this code is just... WTF? For example, https://github.com/Microsoft/WinObjC/blob/106d8b2738101872a1... ; even setting aside the fact that some minutes don't have 60 seconds, 30.42 days per month?!
Does it really work that way? Police men should not be able to use any kind of weapon on the job other than the ones they've been assigned.
Sanctions against states that conduct cyber-attacks on the US
Wandering the web stacks to improve your information diet
You can't get away from exceptions in Go. Closures, maybe, depending on the code you're writing (though I doubt it), but the highly dynamic semantics of defer makes it impossible to avoid.
I don't know about the real estate market for each state you cited but if the market activities were driven mainly by speculation and short term flipping then a 50% dive esp. in a highly leveraged market sounds very plausible but it seems that Vancouver has very sound fundamentals to sustain the higher prices.
Also an excellent point. The selling of non-lethal weapons has been a several-decades long exercise in manufacturers lying about the safety of those non-lethal weapons. Rubber bullets, tasers, it's all bullshit.
CA roads are notoriously badly maintained, especially in places like the Bay Area, where local taxes are high. (Sales tax in many cities is around 10%.)

It's all about priorities and how your tax $$ are used. Also, Prop 13 in CA has skewed things, and the fact that businesses are exempt from Prop 13. There's been a movement to fix that, but I doubt it will happen.
There are data structures that are a combination of linked and contiguous, such as the classic rope data structure. For persistent collections, a common backing data structure is the hash array mapped trie, which is basically a quickly-navigated tree of arrays.

Somewhere in there is the obvious tradeoff you have to make between access time and copying time, with regards to the array length.
Even on Main Street, when an upscale boutique gets replaced by a dollar store that's not a good sign.

When times are good it doesn't feel like stuff's getting cheaper, it feels like people have more money. A crash in raw materials is a bad sign - it likely means companies have stopped buying because they've stopped innovating, or because they think pretty soon people aren't going to be buying stuff.
> In fact I've literally never known a real-world Haskell program to have serious performance problems... all I can say is that it just doesn't come up in practice.

Considering how few real-world Haskell programs are, and how small they tend to be, I think it's best to say that we don't yet know how serious the effect is. If anyone ever writes an ERP or an air-traffic control system in Haskell, then we'll have pertinent evidence to support or contradict the claim.
Not Just an App: The Front End of the Trillion-Dollar, Full-Stack Revolution