skysight-inc/HackerNews huggingface dataset:
There's kind of a considerable gap between formally verified software and test-driven development, though. For example, a parser or the routines that go into it might pass dozens or hundreds of unit tests, yet still fail to parse certain inputs correctly, fail to parse them in exactly the same way as another parser (as Langsec researchers have emphasized, often producing possible time-of-check/time-of-use vulnerabilities), or even have a memory corruption bug.

I don't mention this in order to criticize test-driven development or the improvements it can bring to software reliability or safety, just to point out that there's still a big gap from there to a formal proof of correctness.
Maybe Hacker News is budding. Is it spring already?
It's the smart quotes.
Make sure you own (and have a copy) of all code and assets created. A link into their github (or similar) code repository or a login into their servers is not enough. I had a client who's previous agency flat out refused to hand over anything. All invoices were paid and the website was running launched and running since months. All functionality had to be recreated from (almost) scratch.
Raganwald: (unlikely to Be) the Last Word on Interviewing for a JavaScript Job
To those unfamiliar with "III-V": Think GaAs (Gallium Arsenide) and friends.

gallium arsenide (GaAs) has six times higher electron mobility than silicon, which allows faster operation... Conversely, silicon is robust, cheap, and easy to process, whereas GaAs is brittle and expensive, and insulation layers can not be created by just growing an oxide layer; GaAs is therefore used only where silicon is not sufficient.

-- Wikipedia
Event Hunt – tech and startups events curated by locals
Resubmission as the last submission tripped the vote ring detector. Don't link this one on social media people!
False analogy, for a few reasons.

Linus is the maintainer of the Linux kernel. Linux is a product of the work of many people.

Linux is free, and can be redistributed without securing licensing or rights to do so.

Microsoft Windows is a proprietary product, which many people are only exposed to from the initial install on their bought hardware. The company who supplies the hardware, along with the company that supplies the software engage in contractual deals to allow this to happen.

Microsoft's image benefits when it is known that they do due-dilligence in checking out the suppliers who they allow to represent their product through licensing.

How are you okay with companies who create malware for corporations for pay? They deserve no responsibility themselves for simply existing with nefarious motivations? Microsoft requires licensing their product to use it, and goes an extra step by providing evaluation of the products which use their licensed software, and are vocally against the addition of crapware; but they take no blame when they allow their product to be continually licensed by a vendor that does harm to the image?

To answer your question: The distribution that is responsible for spreading the adware should be held responsible, as should the developers of that adware. That's likely why Mint became so popular (numbers wise) after all the Ubuntu fiascos in semi-recent history.

I don't think it's as simple as a one-party fault. Sorry.
Smaller companies just can't afford it. Also, a developer will keep other people employed at the company. If our company had no developers, all the sales/accountexecs/marketing/etc people would be out of a job.
Amazon EC2 Container Service Available in US West (Oregon)
Specifically Snowden was commenting on two different accounts. I assume his Android AMA app messed up due to their being so many authors to the AMA.
The scrutiny that Bell test experiments get from loophole people is always much appreciated, but the problem with Aspect's results in particular is that lovely parenthetical remark that appears in several of his figures, to the tune of "The dotted line is not a fit to the data, but the quantum mechanical prediction for this result."

While it is easy to imagine selective-detection effects that mess up the results enough to invalidate the test at the level of the inequality, it is very, very difficult to maintain all the physics required for precise, detailed agreement between theory and experiment of the kind that Aspect and others have shown. Here is an example of a "local realistic model" that reproduces the quantum mechanical results for in-time coincidences, but completely messes up any number of auxiliary measurements: http://www.tjradcliffe.com/?p=590

So while I'd love to see a modern version of Aspect's work using state-of-the-art entangled photon sources and the like, the likely reason it hasn't been done is that the odds of it revealing anything new and different are trivially small (but not zero, of course!)
Companies won't solve the problem, because the problem is in a different domain.

I think this is an interesting question, because it intersects with the rise and fall of the nation state - at some point (perhaps that point has already been reached) corporations will have greater reach and greater power than nation states and individuals will start to feel less allegiance to the state of their birth. Will they start to look to companies to protect their rights?

I disagree that laws which govern a nation state are the right level for this sort of issue or that nation states are more trustworthy - those are precisely the laws which have been subverted and used against us in order to subvert encryption of websites, sim cards or any of our other communications and allow recording of it all. Just as one example of how easily our laws are subverted the man in charge of supervising UK surveillance can be bought for a few thousand pounds for trivial matters:

http://www.theguardian.com/politics/2015/feb/23/mp-malcolm-r...

International law is even worse. Even with the relatively good accountability and civil rights in the US (for most citizens most of the time), the US government has arrogated the right to kill you without trial, detain you indefinitely without trial, or torture you without legal recourse because to give you legal recourse would endanger state secrets. Such is the state of our civil rights - they are selectively applied and withdrawn by the state as it suits them, and words like traitor or terrorist are used to put someone beyond the pale of civilisation and therefore outlaw.

Here is what Snowden had to say about it on that AMA:

How do we make that work for us? We can devise means, through the application and sophistication of science, to remind governments that if they will not be responsible stewards of our rights, we the people will implement systems that provide for a means of not just enforcing our rights, but removing from governments the ability to interfere with those rights.

I agree with that - what is effective is moral certitudes which individuals agree and act upon, not nation state law or international law which are so easily ignored or subverted. That means technical solutions, not legal ones, though I agree it is better to rely on neither the nation state nor the corporation in proposing solutions.
There are some great examples of that (return-oriented programming as a way of getting around non-executable data segments), but surely there are some tools where adopting them was a pure win for safety and correctness over the status quo.
I wonder how this would influence approaches to other allergies (a similar 'cure' for hay fever would make a huge difference to my quality of life from May-Sept each year).
You can get zero-copy for tcpdump with PF_RING or netmap.
No, this was unrelated.

SP, PC and FP are virtual registers, from the POV of the assembler. On _some_ architecture those words have real meanings, like RSP on intel, but on others they are just conventions.

I don't think Keith's rage quit has had a measurable impact on the direction of Go or its toolchain.
> I get HN's policy and the reasoning behind it

Are you sure? I don't see anything in your first paragraph that either we or HN's policies would disagree with—quite the contrary. And obviously HN hosts a great deal of just such discussion.
> Also, you wouldn't apply generating html on the server to everything, on the parts that make sense. If you want to use JS to update part of the DOM (e.g. showing an error that passwords don't match), then you'd obviously use JS.

In practice, this actually sucks to do. Now you need to query the DOM to get a handle on all the places you want to inject dynamic parts into. Now you've got coupling between the structure generated by the server and all the selectors in your client JS targeting those nodes. What if your client JS is served from a CDN and you can't guarantee the new version will be served up at the same time the server starts outputting different markup structure? You not only need to keep your code synced in two places, you need to keep the distribution of it synced. If it had all been generated in the client JS in the first place, you wouldn't have to worry about it.

And if an update to that markup arrives from an AJAX request or whatever, wiping out the existing markup as you're suggesting? you lose the dynamic stuff you injected and gotta do it all over again.

> It's completely ok to use the right tool for the right job.

Why is the server the right tool for generating DOM structure, something only a web browser cares about? For static documents, sure it still makes sense. But in the age of the DOM representing an application, people are rightly questioning why you'd ever generate the DOM structure on the server in the first place: it not only causes jank but just doesn't make intuitive sense.
Ask HN: Best back ends to stream raspberry pi data to node web clients
I've been playing the raspberry pi lately and I setup firebase to feed data from the pi to multiple web clients. It works great, but I don't have the perspective of all the options to understand the limitations of this setup.

I am familiar with rails and have thought about setting up sockets or SSE with that to see how that compares. There also seems to be a lot of services out there that deal with this stuff ranging from monogodb, pipelinedb, aws, apache libraries, etc.

Any ideas on a scalable system that allows me to feed data from raspberry pis and feed that out to multiple clients?
That's vague. I hope it's just Intel being quiet... I was under the impression that cutting-edge chips requires deep experience and planning - Intel must know exactly what they're going to move to if they're going to have any prayer of coming out with chips on a timely basis after 10nm in 2017.
I would add netmap to that list, too.
Well, as much as I'd like to work remotely, there aren't that many openings. Plus, I think that it's more difficult to find companies that are willing to allow more junior employees to work remotely.
Testing Flux Stores Without Jest
Something is really wrong when it takes 12 weeks to design a chip and 11 months to fab it.
I hate glare / screen reflections. I find them very distracting and annoying. The best way to avoid this is having a wall behind you.
You can read the original commit on Gerrit, it's less explodey.

https://go-review.googlesource.com/#/c/5652/
The way the presentation keeps mentioning IP makes me think that the chips are just a demo and they want to license the IP to be embedded in someone's SoC.
From http://www.netbsd.org/about/portability.html:

> Every effort is made to keep everything cleanly split into 'Machine Dependent' (MD) and 'Machine Independent' (MI) areas. For example, an Ethernet chipset would have a single MI core hardware driver, which would be matched with appropriate MD bus attachment code for a given platform. Not all drivers are as clean as we would like for historical reasons, but any new driver will be, and old drivers are in the process of being converted across.

Machine dependent parts are built to a hardware abstraction layer (HAL)[1] interface, so that spec gives a single abstraction that the hardware-dependant code is built against, and can operate w/ the rest of the OS. As I understand it, this is facilitated by the _build system_ (not a mess of if/then in code) like this[2]:

.if ${ARCHSUBDIR} == "mips64"
ARCHSUBDIR= mips
.endif
.if ${ARCHSUBDIR} == "powerpc64"
ARCHSUBDIR= powerpc
.endif

These are also the sorts of problems that are addressed by considering "lots and lots" of targets -- it'd be unmaintainable otherwise.

[1]: http://en.wikipedia.org/wiki/NetBSD#Portability

[2]: /usr/src/sys/arch/Makefile

EDIT: ws

s/it's be/it'd be/

s/that spec give/that spec gives/
Ha. It's always the smart quotes.

They've caused me so many headaches over the years it's amazing to me that they are still actively supported and implemented in any software. What value do they even bring?

#DeathToSmartQuotes
This must be the new and improved "eventually consistent HN" that dang has been talking about.
The second post wasn't there for the first 30 minutes or so, it just appeared out of nowhere, no idea why.
Looking into it now. Edit: hopefully fixed now. Will edit this comment later when we figure out what happened.

Ok, we figured out what happened. A background process that is upgrading old stories to a new data format went rogue and made multiple copies of a few stories in memory. Apparently it agrees with some of you that HN could use more stories about Go.

Sorry for the error.
The $500/month short codes were for unique. That is the actual CSCA pricing. When I do mobile banking projects, we typically pay that directly to CSCA and then we pay our SMS Gateway provider (commonly used Syniverse in the past) separately for usage.

http://www.usshortcodes.com/get-a-sms-short-code/sms-short-c...

I'm a pretty risk-averse person and I can't imagine in any way the FCC cracking down on the use of long codes for legitimate two way communication with an existing customer. On the other hand, using long codes for mass marketing campaigns and you'll probably be shut down by the carriers and possibly sued, no FCC action required.
I guess I come at it from the point of view of the DOM, where a single shape as a DOM node that can be styled makes the most sense. If you had a path with child nodes as real DOM nodes things would get weird, because how do things like contradicting fill styles work?

As I said in my other reply though, I'm just splitting hairs really.

As a user I think being able to specify the shape by just using the single d attribute is nice. Maybe because it invokes warm childhood memories of using turtle graphics back in the 80s :)
THIS!...It's so cool, wait how is this done?
I would be more curious to know the number of down votes the AMA has gotten, I could have sworn the number has gone down
Decentralized Domain Names Reseller
Also, one is marked as having exactly double the number of comments and points as the other.
Git gives you access to all revisions for ever.
What company? They need to be called out.
Purchasing a Kindle has been one of the most rewarding tool i use the past 5 years.
How do you feel about companies interviewing say 20 people for a single position?
>all the right oxygen-loving organisms…

So is this fjord naturally anaerobic, or is this some sort of remediation for some damage we caused? All it says is that climate change will "increase of this phenomenon in the future," not the history of this particular site.

Far from reviving from the dead, it seems likely that we're just replacing one ecosystem with another. How many species are unique to that habitat?

If you think the idea of humanity wiping out an entire biome and its associated species seems absurd, look at what agriculture has done to Earth's grasslands.
Told vultr.com thier IP is blacklisted. Says my sources are “not reliable”
Today I launched a VPS with vultr.com. Tested the assigned VPS IP in mxtoolbox.com (listed 3 times) and multirbl.valli.org (listed 6 times).

I informed them that the IP history has it blacklisted and their response:

"those are not reliable data sources"

I asked twice for the reliable source and they sent a link to www.senderbase.org/lookup/ (run by Cisco) which checks 4 blacklist databases in which indeed it is NOT listed.

Is it safe to ignore the blacklist reports in mxtoolbox.com and multirbl.valli.org? :)

By practice all my other IPs a clear in mxtoolbox.com, so just want to double check that this is safe to ignore.

Thanks
The solution to the patent system is to abolish it. The whole thing. Seek compensation for the act of coming up with innovative ideas instead of trying to apply artificial state granted monopolies to them after the fact. It would be so much healthier to have money pumped into the R&D of common utility goods for the sake of the innovation than to continue to perpetuate patent warfare while trying to attach a flawed profit motive to intellectualism.
Keep in mind that many companies start sponsoring an H-1B employee's Green Card as soon as they start working at the company. When considering those companies, H-1B is about immigration.
How do other countries patent systems compare with the US'? Can inspiration for changes be drawn from them or are they just as bad/worse? I ask because I only ever hear of trolling in the US system.
ZoomCharts
Have you ever gotten allergy shots? I've been allergic to cats and dogs all my life. About six months ago I started getting allergy shots and my allergies are already improving!
CS Education Must Go Beyond Intuition:The Need for Evidence-Based Practice
That reliable partners/network is as important as idea and talent.
Not for me anymore: http://imgur.com/XM8xmEp
you remove the data entirely and lump it into "other". I guess states or entities with less than 5 occurrences should be categorized as other.
For anyone who is interested, Nick Bostrom's excellent "Superintelligence" is the book that inspired Elon to this dire pronouncement.
I was once told about shots available to me by my doctor but it didn't sound too promising. She said the improvement wasn't always great and I think I had to take them every few weeks for 6 months and then every x months for several years. My allergies are debilitating for several weeks during the Summer and very difficult the rest of the Summer so if it sounded promising I definitely would have got them. This was about 10 years ago though so it's maybe worth checking out again, thanks.
Smart quotes tend to cause a lot of problems... especially since they don't just convert to a standard quote in Unicode, etc... [1]

[1] http://en.wikipedia.org/wiki/Quotation_mark#Curved_quotes_an...
> in web browsers the number of DOM nodes end up being the limiting factor

Yup. Each node comes with a significant amount of overhead. If every lineto command required a separate node, this map[1] would go from requiring a manageable ~3000 nodes to a laggy ~40000.

I ran into this while working on a population map[2]. To draw paths with variable stroke, I initially tried creating a path element for segments of different strokes. This was too slow to animate or even render without freezing the browser, so I ended drawing the path left to right then right to left, making the height offset smaller and larger to simulate a stroke.

[1]http://bl.ocks.org/mbostock/5925375/

[2]http://roadtolarissa.com/population-division/
At the end of the day is anyone arguing it was a bad thing that the Americans got to the bomb (and used it) before the Germans, Japanese or Russians did? I'd hand the button over to someone like Truman over Hitler or Stalin any day of the week.

Do I like the tools the NSA has in its possession? No. But I am happy they got there (and have access to them) before the Chinese, Russians or Arabs did. Are there going to be disasters like Hiroshima and Nagasaki thanks to these tools? I don't think so.

Will the NSA and the government misuse the tools and make mistakes? Definitely. Their effectiveness must be constantly monitored and questioned. (Huge respect for Snowden for making that possible.)

But these tools aren't going anywhere until all the embarrassingly smart technologists around here stop wasting their time pretending to be lawyers (the law and lawmakers aren't going to get us out of this hole) and design better tech to stop the next Boston bombing, Charlie Hedbo style attack or ISIS recruitment drives.
I've anecdotally heard of a number of people with allergies who's allergic reactions are reduced by repeated exposure.

The most common refrain of those I've spoken with (primarily animal allergies), is that (e.g. for those with cat allergies) the allergic reaction was reduced (in some cases to nothing) for a specific cat after repeated exposure to said cat. The most interesting thing was that the effect only applied to encounters with that specific cat.
L1 is a work visa for company transfers.
Chegg Stock Spikes in After-Hours Trading on Earnings Beat, Ingram Agreement
Since this is just a middleman to other services, even like instacart, it's more expensive. I wonder why humans are so lazy nowadays just to get trivial things done.
To quote Theo De Raadt:

My favorite part of the "many eyes" argument is how few bugs were found by the two eyes of Eric (the originator of the statement). All the many eyes are apparently attached to a lot of hands that type lots of words about many eyes, and never actually audit code.
How long do you think it should take to fab?

28nm is pretty cutting edge (many, many steps) and has a number of customers (competing for manufacturing line time).

It's a bummer, but it's a long process. Not to mention, each new chip you spin is $$$, so it's not like you would iteratively fab many prototypes, even if you had a fast turnaround time.
Note that cache is not always a solution. Cache is a terrible answer for first-time user experience. A lot of stuff on the web is loaded outside of the cache too for various reasons. Caches gets flushed.
Check out https://www.angularcourse.com. I run through all the things you'll need to build a real app starting from scratch.

The focus of the course is AngularJS, but a lot of students have been drawn to it because want to learn how to build the sample app in the course.

Another big advantage of my course is that I show you how to build completely server-less apps with Firebase. That means you don't need to learn frontend AND backend programming at the same time. This is huge when you're getting started.

I did this so that I could focus on teaching frontend stuff (Angular), but this had the unintended consequence of really appealing to startup types as well.

I'm the author, so if you have any questions just send me an email (my email is on the bottom of the landing page).
It's always handy when replies give no sign of having read my comment, let alone thought it through. It saves me the time of writing a real response.
Aside from what the other reply to your comment said, using R13 and R15 is actually a move away from standard notation: even though those do correspond to SP and PC, the ARM architecture manual as well as all assembly code I've seen uses the special names for those registers.
Yeah, maybe if we could compile to some byte code and simply download a VM to compile once and run everywhere ... hmmm where have I seen this before?
> The research team in London had previously found that Jewish children in Israel who started eating peanuts earlier in life

If you wonder why Israel specifically, it's because of the food called Bamba which is very very popular there.

They compared with Jews in the UK, who were otherwise similar except, no Bamba.
Don't blame you if you don't have time nor motivation to respond, but care to share a 2 min. description of those rules?

I'm a fairly new developer working in my first post-uni role and we're starting to rack up a lot of Angular code and I'm not sure if I'm structuring things right as far as events vs $watches etc.
So they finally gave up?
There's another story about the technology's accuracy and its application in law enforcement, here:

http://www.nytimes.com/2015/02/24/science/building-face-and-...
That does not really surprise me since allergen immunotherapy is based on that idea http://en.wikipedia.org/wiki/Allergen_immunotherapy