skysight-inc/HackerNews huggingface dataset:
Huh?

Preemptively testing a subset of my code doesn't prevent me from fixing other bugs, or from writing regression tests.

From the tone of your question, you'd think that 100% test coverage would fix the remaining 20%, when it clearly doesn't. I mean no disrespect, but this is what I meant when I said that unit-test coverage is a pedantic subject (which, I must again insist, is not meant to imply that you are a pedant).

The bugs get fixed, they just don't get discovered/resolved with up-front unit tests alone. It ends up being more effective and more efficient to hunt them down by other means.
The best introductory books for each field (2009)
From https://en.wikipedia.org/wiki/Berkeley_Software_Distribution...

"[...] Also in 1975, Ken Thompson took a sabbatical from Bell Labs and came to Berkeley as a visiting professor. He helped to install Version 6 Unix and started working on a Pascal implementation for the system. Graduate students Chuck Haley and Bill Joy improved Thompson's Pascal and implemented an improved text editor, ex.[2] Other universities became interested in the software at Berkeley, and so in 1977 Joy started compiling the first Berkeley Software Distribution (1BSD), which was released on March 9, 1978. BSD was an add-on to Version 6 Unix rather than a complete operating system in its own right. Some thirty copies were sent out."

I don't think that in 1975 Berkeley was all that bad for future computer scientists. Seemed like a pretty good place to be actually.
It is not really terrible once you think about it. There will always be some bias that exists, the key is to minimize it. Nearly all media today is "biased" against fascism, for example. It was a legitimate political philosophy, but the public doesn't really believe in it anymore. Should we give equal coverage to fascism to be unbiased? How about monarchy? Or feudalism?

The "liberal bias" you talk about often manifests as "let's care for the poor". Believe it or not, most humans think that way. Should we give equal air time to psychopaths, just to be fair?
The Stories That Galaxies Tell: Shapes were key to realizing galaxies merge
Microsoft takes wraps off PowerApps mobile-app creation service
Don't know much about the rest of the language, but the Perl 6 regexes are a big improvement and I hope they take over as the conventional syntax in the world outside of Perl.
Your data being accessible as part of a breach does not entitle you to damages if nothing actually happens to you.

The trouble with relying on a compensation principle alone is that invasion of privacy is typically one of the harms you cannot entirely make good retrospectively. A lot of personal data is like Pandora's box: once released, it is out there forever and the data subject is forever at risk of adverse consequences.

Not all of those adverse consequences can be quantified in purely economic terms. Financial awards are merely the most pragmatic mechanism we have been able to establish so far to give some form of compensation after the fact. If you've ever been the victim of identity theft, or of a physical crime like burglary, you'll probably understand the sense of violation I am talking about. You'll probably also know that it doesn't go away just because you have a monitoring service on your financials or you changed the locks on your home.

Financial compensation for actual damages can't remove the feeling of being vulnerable that haunts you after you've been the victim of such an incident, and so there is also a need for processes and deterrents to reduce the risk of the incident happening in the first place.
You can just meet at the local bank. Who's going to rob you inside a bank instead of robbing the bank?
So you're quadrilingual? I got bad news for you...
What exactly don't you like about the way they did the versioning?

Do you prefer what python did? Python 2 vs. Python 3 is a complete and utter mess. Perl, which exists mostly in the same use case, shouldn't have any of those problems.
Show HN: Simple Ethernet Simulator with Visualization
If you be honest, almost every suggestion won't work. When you feel the need to really finish a project, you just cannot hold back and start to code in the night or during your normal work day.

What I can suggest (for your sanity and social life):
- Pick the weekends (one or two days) where you code for 5-6 hours.
- Do it during your work day. If you want something out of your side project, just don't work hard enough at work so you have ressources left for yourself
- Ask your boss for a 25 hours working week or try to get one day off without salary reductation to see if you be as productive as before. If not, ask for 10% less.

Divide your side project in learning and developing.

Get a book which you can read during your commune, or even an ebook which you can read during work.And then, at home, take a weekend/one day off/two nights off to develop and code.

I also suggest the Lean StartUp method, which is not only helpful for StartUps, but also for side projects. The key is to develop in small iteration to always have a finish product you can test.

So, don't do everything, pick one little feature, develop it and see where it goes from there.
I've been getting into shooting for 100% coverage in critical [1] code lately, and while that may not be to everyone's taste, what I've noticed is that I always learn things from at least looking at the coverage. "Oh, I thought I had that covered... that's interesting, I thought I had that error simulated but it didn't happen after all... oh, look, there's no possible way to ever enter those 125 lines of nasty-looking code plink."

Might I also add that I discover errors in the error-handling surprisingly often. Coverage testing goes a long way towards reminding you to check those too. What your code does in error cases is part of the spec.

Shooting for 100% may not always be the best use of time, but if you are writing unit tests you should at least look at the line-by-line coverage results. You've already done the hard work of writing the test suite, be sure to reap all the benefits you can.

[1]: "critical" is, ahem, a critical word here. I don't shoot for 100% on everything, but every even halfway sanely-designed system has a "core". Total coverage on the core has the dual benefits of assuring the core really does work as intended, and making it possible to refactor the core. It is a very common antipattern for the core to metastasize because without a test suite, all ability to modify it, even to fix bugs, is lost.
Only 2/3 of the "peacock" image is visible when viewing site on reasonably modern laptop, so "the ground is shiny" part makes no sense.
We used to make our living writing perl, but many of us moved on to python after so many missteps in release of perl 6.

The question to me is, is there a reason to go back to perl? I don't know the answer.
I got bored during school pretty much every class, and I filled that time with doodling on paper, then writing stories and poetry, then trying to come up with my own language, then teaching myself programming by making games on my calculator.

I should also note that I wasn't supposed to be doing any of that stuff, and I would have gotten in trouble with the teacher if they caught me doing it and "not paying attention".

Based on my anecdotal experience, I do believe that there's something to the 'boredom leads to children developing their creativity' assertion, as stated in that bbc article.
I stopped donating as well, and I used their contact link in the donation page to explain my reasons: I disagreed with hounding Eich out of his job, and if they want any more donations from me, they first must hire him back.
Research has already demonstrated that adult neurogenesis occurs in specific areas of the brain. I wouldn't be surprised if neurogenesis occurs throughout the whole brain, in response to proper stimulus. I suspect that the reason it doesn't generally occur is that it is more efficient to grow new synapses between existing neurons than to differentiate stem cells into new neurons.

By analogy, muscles can undergo a fairly good amount of hypertrophy just via protein synthesis of contractile elements. However, in response to severe stress/trauma, satellite cells (a form of quiescent, partially differentiated stem cell) merge with muscle cells; the result of this is a muscle cell with a greater potential for hypertrophy.

Perhaps neurogenesis and only occurs under special conditions (like muscular myonuclear addition), such as extremely novel stimulus, or great mental effort. This would make it extremely difficult to induce experimentally.
Thanks for posting that. It's way more informative that this scanned book passage.
Letter from Leader of Iran to North American and European Youth
I am on mobile with a 3 year old iphone 5.

Works.
Yes and medic-vac helicopters also exist because they're responding to genuine emergencies which justifies both the expense and any externalities (e.g. noise and marginal danger) associated with their flying over houses etc. to save a few minutes. Sending flocks of flying vehicles over houses to deliver cables or pizzas because people need them RIGHT NOW is not the same.

I do see scenarios where drones make sense but I have a lot of trouble envisioning people being fine with the skies of suburbia being filled with drones all the time.
I tried using my usb dongle too. Neither would connect, but they both connected fine to my cell phone.
Much more than "a realistic chance of optimizing everything else to the point that GC time becomes your biggest problem"?
In my opinion, yes.

I had zero perl experience before diving into perl6. I've found it to be a great language with a fun community.

As for compelling features, there was a good discussion on this a few days ago, so I'm just going to link to that: https://news.ycombinator.com/item?id=10637789
Hi vinceyuan, thank you for the interest to Appodeal.

1) The only thing you need is Appodeal SDK, which includes libraries of all necessary ad networks and RTB-exchanges.
2) As Appodeal user you have only one unique App ID for each app, this is done for your convenience. But on our back-end the system generates multiple IDs for each ad network within each app. So keep calm and don't worry about ban.

P.S. I also work for Appodeal.
Kurdish fighters say US special forces have been fighting Isis for months
Admins were a bandaid for the period where insufficiently advanced software existed. The generally obstructionist principles of the profession combined with the complete lack of discipline in constructing those aforementioned Perl scripts spells doom that we (as an industry) are busily automating out of existence.

Basically, fun was had, but fun was not what anyone needed.

Anyway, that is my little digression.
How much of this comes at a cost of people being unhappier?

Back in the time of hunter gatherers, humans "worked" for a few hours a day. The rest of the time was spent socializing and in leisure. It is fair to say they were happier compared to, let's say, an African American debt-laden minimum wage worker in the US today.

Do we really need economic growth?
Author here. I appreciate the traffic but my server doesn't. I'm working on getting this viewable again.
Thanks for tip on the links! I screwed up my front page template, but it should be fixed and percolating through CloudFront. Thanks again!
Yelp talks about not changing reviews or deleting bad reviews.

What obviously DOES happen is that they sort reviews differently and make the bad ones hard to find.

Then they come out and say 'we don't delete reviews, we don't manipulate them' but it's easy to find companies that have reviews sorted so that the negative ones are buried and on a completely separate page from the main reviews.
I assume the idea is to reward trolls by giving them a larger audience..? ;-)
Show HN: Anythings – Get Your Smart Things To Work Together
Ask HN: How to report a security vulnerability to a non-tech firm
Good day!
I have, by testing reflexes, found a vulnerability on an international recognized merchant website. It is a non-tech brand (not bug-bounty friendly). How do I proceed to report this vulnerability? I cannot seem to find a tech department for that particular company.

Thanks
Hivepod.io: A New Kind of Microservices Framework (MEAN)
The fragmentation of platforms has been one of the major headache in the consumer IoT landscape. I am happy to propose a solution to it with this website.

Anythings.co is a place for IoT Lovers to find the best new smart devices and their compatibilities.

You can list your smart things on the website, see how they work together and find new compatible devices.
For example, you would see that you can control the temperature with your voice using your Nest Thermostat with your Amazon Echo through IFTTT.

I would love to have your thoughts on the website. I am happy to answer any questions you have.

Quentin
Whenever there’s an article proclaiming education or healthcare or airports or fill-in-the-blank are better in another country, this "oh, well, they are a small country and you can’t compare them" arguments gets dusted off again.

If we have 1 major airport per 10 million people (made up nuumber) and so does another country, how does that argument make sense? With a big country, economies of scale should lead to even better airports but it doesn’t.

IHMO, this is just an excuse to refuse to learn from the example of other countries, regardless of size. A country so large should be even better at doing what small countries do well. Especially showing basic human decency and humanity toward other members of their species.
https://docs.google.com/spreadsheets/d/1jTlkr4KqnYBaqxzg5Rte...
I'm convinced that there is an untold number of third parties/scammers cold-calling listed business numbers falsely representing themselves as Yelp, targeting owners who are not technologically savvy.

Unfortunately, Yelp's current model seems to encourage extortion at the hands of these third parties, and is also incapable of punishing them.

What I think happens / Paraphrase of what I'd imagine a 3rd party call to be like:

"Hi, this is Yelp. Pay us and we'll boost your rating/visibility and hide bad reviews. If you don't pay, your Yelp ratings will suffer."

Then they just manipulate ratings and review visibility with fake accounts. Add good reviews and hide bad ones if the owner paid, and add bad reviews and hide good ones if they didn't.

(Also I'm aware that there are plenty of "legitimate" businesses that provide this service and don't misrepresent themselves as Yelp itself)
Are there any details about what they actually do? This is just a sign up form with the claim that they reward "hustling."
Acropolis Virtual Machine High Availability Resources
I am not dismissive towards Coq (how can anyone be?), and my advice is neither less solicited nor less relevant than many other HN comments.

But you are right that I sometimes try to correct what I see as a (strange) imbalance here on HN (which reflects neither the prevailing opinions in academia nor in the industry) regarding PFP and type theory. People unfamiliar with the topic might get the impression that PFP+type-theory is either the only or the most prevalent technique for software verification (or software correctness in general), while neither is the case. In exchange, I get to be the lucky target of various ad hominem attacks, so I guess I've earned my right to speak up :)
KCC is certainly an achievement, but it doesn't subsume Robert's work. If you look into the linked thesis you'll find that a lot of the work deals with finding high-level descriptions of the C semantics. A major part of CH2O is developing an axiomatic semantics for large parts of the C language, which is novel (as far as I know).

There are a few real gems in this thesis. In particular, I really liked the explanation of sequence points in terms of separating conjunction. This is much more compact than the imperative program to decide definedness that is implicitly described in the C standard.

The proofs of equivalence between the different semantic descriptions also go beyond what KCC does, or for that matter what you can do within the K framework (at the moment).
In Hyderabad, people even with little education tend to converse in Telugu and Urdu/Hindi to a level a fluency. Ability to speak English is reflection of better social or economic status. You can still find a lot of people who speak two languages and who are not well off in HYD.
Bitcoin’s biggest challenges
My commute is about half an hour door-to-door by bus, an hour walking. When I catch the bus, I read. When I walk I think or daydream, or just look at what's around me.
Stealthy ModPOS Is 'Most Sophisticated PoS Malware' Ever
There's a lot of stuff that Mozilla does, but I wish there were a way to donate and say "try your best to allocate my money for project X" within Mozilla (Corporation, which I now understand is not the one supported by donations). While Mozilla Corporation seems to primarily focus on Firefox and Firefox OS, I would like to see more attention and effort devoted on the following:

1. Mozilla Thunderbird to get a lot more attention and a strong roadmap (something like the now defunct Mozilla Messaging initiative).

2. A good high end Firefox OS phone that is widely available and gives a good enough competition to Android and iOS, even though it's quite late and it may not have an apps collection like the other platforms do.

3. Reviving Persona/BrowserID, which many people here and elsewhere have asked for. From recent discussions I do understand this is not easy to do, but we need someone knowledgeable and available to take the lead and have Mozilla's brand pushing this for a wider reach.
> Exposing banking data, with sensible and secure authentication process can only be positive.

There's a pretty huge assumption embedded here. Sure, if there's actually "sensible and secure authentication", banking APIs are great. In the real world, though, nothing is actually very secure, breaches happen constantly, and I think there's a solid case to be made that we would be generally happier, wealthier, and more secure if banks were effectively information silos.
Want to put an archive.is link up to lighten the load?
SMTP: nope, the server accepts your connection before you do anything

VoIP: generally negotiated somehow before the UDP "pushing" happens

scp: just because in your mind it's a "push" doesn't make it so. In reality the other machine is sending you acks, without which your machine wouldn't continue "push"ing and thus, again consent is required. finally you're logged in to that other machine which nearly universally equates to consent
COBOL made things easier for developers, saw widespread deployment, and still runs much of our backend. If anything, it was too easy to use as much of the code was written by amateurs and is too large/complex to port w/out risk of breaking it. SystemVerilog, based on what its users write, is much worse than that. They say it barely does what it seeks to accomplish and imply it's really used just because it's what tools support and people know.

So, developing alternatives is a worthwhile thing so long as there's tools developed to make them useful. A comment on that page references ParC as one of those:

http://parallel.cc/cgi-bin/bfx.cgi/index1.html

The presentation on the site does a good job showing why existing approaches suck to varying degrees. Curious, anyone else in this field or researching it have a short list of other alternatives that show promise for this level of things? Especially verification.
I use my laptop to do home projects or writing (eg for InfoQ or books/blog posts). The trick is to be able to partition work and be able to stop and start quickly - plus to use a laptop efficiently you need to be able to get a table seat and a power socket.

If I'm not travelling with my laptop then I will typically read a book or magazine.

You might also find noise cancelling earphones and a supply of music useful if you have noisy fellow commuters, but it's not strictly necessary.
I wonder what the economy of dealing with stuck packages, flooding, rodents etc. would be...
Swatch partners with Visa for contact-less payment
I’m not familiar enough with the higher management, but yes, there are many incredible people to support both. I suspect that when it comes to dealing with parties like high-level political players, or being the public face of the company, they are unique. I'm noticing Lori Goler's name more in the press; that could be an effort to avoid that.
Chris Cox, Boz, Shrep and Jay Parish are all people I wish people knew more about (outside of Hacker News; any regular here not knowing them is a clearly at a loss).
You can use PH_Nov2015 as an access code
Forget Going Public, U.S. Companies Want to Get Bought
Ask HN: What do you do in your spare time (hobby)?
I would really like to hear what kind of cool hobbies you guys have. As for me, I play electric/acoustic guitar occasionally. It really helps me to relax. I even heard that playing any kind of musical instrument benefits your brain. What about you?
I had the pleasure of briefly working with Martin at LMAX. He definitely knows how to get performance out of a system, and although it's not been updated recently I'd recommend his old blog for those that haven't seen it yet and are interested in where the nanoseconds go :

http://mechanical-sympathy.blogspot.co.uk/
This has lots to do whith your location.

You won't see the same diversity if you work in Idaho vs working in LA.

From my experience, companies that hire candidates based on skills and performance do better than companies that hire based on ethnicity/sex (whether inclusive or exclusive).
Show HN: Structor – a user interface builder for React
Yes, especially if you keep half your fuel/water/supplies in that tethered section. Consume at differing rates to shift CG where you want it.
I don't think so. Companies don't employ sysadmins because they need them to do anything particularly novel that the software engineers couldn't do themselves, they hire them for the liability they provide, and the capability to poke into the running system and figure out what's going on.

I don't see unikernels or docker or whatever sufficiently advanced software you're referring to replacing that.
This is particularly interesting because it shows the advance over time.
The subtype system is cool, the async too, the custom grammar also.
If they put a racist comment of mine on a billboard, I'd just see it as a success.

Shaming people for what the society deems as "wrong" usually does not work. For how long have we shamed fat people, for example?
Si. Es muy bueno.
3 things

1. This problem used to occur in ceramic packaging. A physicists the early Intel discovered this problem.

2. Those who say ECC isn't necessary are usually the ones who never measure error rates.

3. Cheap x86 killed Sun, not this.
Why We Started Staffjoy
Plus, you can pick some less sensitive humans who can deal with larger RPM (rotations per minute).
Show HN: Command line USB relay driver
Build an API in Rust with JWT Authentication Using Nickel.rs
In general Arduino definitely leads in documentation. The mbed community is smaller , but on the other hand more professional - so stuff would be of higher quality , less bugs , etc - but somewhat more complicated. Same goes for the tools - more complicated but more capable. If you're aiming towards something professional/startup/etc - mbed is the way .
Well, except that people got sick and had very limited medical treatments, and their lifespans were shorter. How do you weight that?

Also, how do you weight the absence of toys and creature comforts?
Samsung’s recently unveiled patents show an unhealthy obsession with Apple