skysight-inc/HackerNews huggingface dataset:
> My industry experience clearly shows that you're just flat wrong

Please tell me how a code search performed by library author Foo will ensure that library user Bar won't break invariants Foo intended to enforce.

> What kind of nonsense is this?

In ML, I can prove that users my library can't use my library wrong. Maybe they won't be able to use my library at all - they type checker will reject every attempt. But it guarantees that, if they can use my library, they will use it right, in the sense that every invariant I enforce won't (and can't possibly) be broken by users.

For example, there may be multiple ways to realize the same ordered set as a red-black tree (balanced differently), but I can arrange things so that the difference can't be observed by users of the ordered set abstraction.

> The library users in Smalltalk would do such searches.

Library users shouldn't be in the business of enforcing invariants that are only relevant to the library's author. See? This is what I mean by “Smalltalk can't separate concerns”.

I'm not saying all of this to be mean. It's been known for quite a while that parametricity is the mathematics of abstraction and separation of concerns [0]. If you need to insulate users of your code from your design choices, you absolutely need parametricity. (Or “social conventions”, but those don't work in the long run.)

[0] http://www.cse.chalmers.se/edu/year/2010/course/DAT140_Types...
> Intel doesn't let anyone else use their fabs.

I don't think this is true any more.
Good introduction to bolts and shit....
that's almost certainly a limitation of the projector
> The price of these drugs is directly linked with the risk*cost of being sued

Generally, prices are set to whatever will maximize profit. In the 'free market', nobody with any sophistication prices things based on cost. It's a fundamental of microeconomics.
EXACTLY

A free market would mean anyone who wanted to to create one of these.
NSA Auction File: Only Worth What Someone Is Willing to Pay
In the article they mentioned "Crossing the Chasm". That theory comes from this book [1] which I have only recently read. Whats important to notice is this book was written in 1991 and what it lacks is how the entire technology market has shifted in modern times. I don't think you reach a place with product line maturity, especially with a SaaS offering where you can ever tone down R&D and focus on sales and marketing your product. Unless you have some hook to keep your customers in your ecosystem having a SaaS means I can jump ship to whoever is better at this moment.

1. https://www.amazon.com/Crossing-Chasm-3rd-Disruptive-Mainstr...
I agree Keras is the easiest way to get into RNNs and deep learning in general.
I hope the ... was because you're aware they already broke RSA.

http://www.theverge.com/2013/12/20/5231006/nsa-paid-10-milli...
The ACA standardized basic health insurance and prohibited excluding pre-existing conditions.
Ok, we've attempted to make the title more accurate, and also changed the URL from http://www.circleid.com/posts/20160821_ipv6_now_dominant_pro..., which points to this.

Submitters: the HN guidelines ask you to submit original sources. When it's obvious that one post is simply a copy of another, please submit that one instead.
> a fully constexpr implementation

That's actually simpler to do in Nim than you'd think, but I understand what you mean. I might expand my implementation to be const and see how complex it makes it!
I don't know; that sounds sort of like a distinction without a difference. If someone who fantasizes all over the place but has vanilla sex isn't kinky, what's someone who fantasizes about sleeping with guys but stays faithful to the woman he married? Is the thought of a unicorn a real thought?
There's a LOT of biological data out there. With a little bit of effort, researchers can design AI systems that beat doctors at most specialized tasks, in both computer vision and genetic data analysis. The question is how such systems can actually be used in practice.
> Their resume is so good. They worked at top companies. Nobody wants to insult them with some simple test of programming basics during interview, so they rather ask them what was it like working in the Big Companies. After some chit-chat, they get the job. The company thinks they're lucky to have hired someone that smart.

So, bad processes and cultish worship of certain companies.

> Inertia, lack of communication inside the company, etc. Those people are usually also very friendly and soon learn who reports to whom and how to hide the fact that they aren't contributing anything useful.

So, more bad processes.

I know my responses are bordering on flippant, but having come up from the real engineering world I don't see how these things happen for any reason other than companies in this industry are not run nearly as well as their management thinks.
I tried this about a year ago with the hopes of finding a use for an old iPad (was planning on leaving Dash running on the iPad. A dedicated "doc screen").

I found that there is a noticeable latency for older iDevices with 30-pin connectors. This latency seemed to disappear when I substituted a current iPad Air 2.

Just something to keep in mind for anyone interested in using Duet.
I haven't tried them so I'm going by the models and demo's I've seen.

I think the field of view issue is a physical limitation, not software, and only slightly hardware related. The peripheral vision is blocked out by the components. To achieve a wider field of view you have to shift components further back out of viewing range. and then modify the screens to wrap around in the new viewing frame.

I don't think this has any impact of field of view for that reason.
This "one weird trick" may save your life if you experience anaphylactic shock and do not have multiple auto-injectors available, for whatever reason (cost, some have expired, remote location, etc).

I discovered this technique a couple of years ago and was interested in it. I tried replicating the use with some expired autoinjectors. As far as delivering subsequent doses, I was able to reliably deliver 2+ more doses (into oranges) from my expired injectors. I feel better prepared for an emergency now.

I have never needed to use my autoinjector. I had one incident where I was very close to shooting up my thigh but the symptoms were just "mild" enough that I did not. I met another person with severe food allergies at THOTCON this year who described to me in detail two separate incidences where he felt it was necessary to administer two doses. I hadn't really given much thought to multiple doses before hearing his stories (one of which included a medically induced coma). Now I make sure to have at least two doses on hand. My doctor certainly didn't express to me the potentially dire necessity of multiple doses!

Of course, this bushcraft advice doesn't hamper my cautiousness about having autoinjectors around everywhere I may need them. I have a pair at my home, my office, my parents home, and my backpack (always with me when I travel). Eight autoinjectors, that need scheduled replacement, is a luxury I can afford. Others may not be so lucky and may be helped by these bushcraft techniques.

I do need to research the issue more though because my insurance currently covers eight autoinjectors (not EpiPen brand, but a "generic"? Lineage Therapeutics brand [0]) at the rate of $15 per two 0.3 mg injectors. I'm not sure if I'm lucky, have great insurance, or what.

[0]: http://www.epinephrineautoinject.com
Just because you have not experienced it doesn't mean it is BS. There are countless horror stories out there about people getting their apps removed by an automated process, receiving templated emails with ambiguous reasons for the removal that is impossible to pinpoint the exact cause, and having no way to contact any real person to ask about it.
Yep, I agree. The post are too generic, something like submitting http://www.youtube.com , but there are plenty of similar posts that are submitted and ignored.

My recommendation to the OP is to write something interesting about the service. What is the technology stack? How are you hosting video without melting the server? How do you curate/find content? An interesting use case?
Insurance simply distributes the high cost to many people via higher premiums. Without competition to reduce the cost or regulations that set the price by law, the high cost remains.
welp, I measured the problem on my machines, and enabling pause frames on the switches fixed the problem...
People don't like the idea of putting a price on their health.

They don't like it, but healthcare costs money and money is a limited resource. That's reality.

In the US system it's the insurance companies that limit access (or the cost to an individual). In other countries it's the gov't.
I'm not really game theory expert, but negative sum game is when the total gain is less than total losses, isn't it?

That's exactly what happening - the only source of money are participants, and part of the money goes to brokers.
Vinci – like Prisma app, but faster
We Turned Down a “Once in a Lifetime Chance” to Build the Company of a Lifetime
So basically you just hire people with stellar-looking resumes. When has that ever been a good idea?
Not only that, in this example the shopkeeper is simply helping the customer find what they are most likely requesting simply to be helpful. A more accurate example would have shopkeepers buying customer data from each other using a 3rd party entirely for their own benefit. This really isn't the same thing at all.
You're talking about the Altera deal a while ago? Intel bought them last year.
One of the reasons for drug shortages is because it's just not profitable to produce the drugs when you roll in all the regulatory costs.
I've used Duet to send out a presenter display when rehearsing presentations, and it works great for that task. The quality for day-to-day use is a bit choppy, however, I'm not sure I'd use it as a primary display.
Can my iPad Pro now be used to draw in Clips Studio Pro on my PC notebook, or is it only as a secondary display with touch, but no Apple Pencil support?

Downloading now...anxiously had to ask, since the download is 129 MB!

Everyday I wake up there is some new tech I was wishing for yesterday ;)
Sometimes I'm afraid to stop at a just-turning-red light because I know the cars behind me expect to be able to speed up and follow me through the beginning of the red light, and if I stop they might rear-end me.
I wonder if the $19 price is making up for sales volume lost to sticker shock. That's expensive for an iOS app.

I've got a pile of old iPads that would be nice to resurrect as displays. I downloaded the Mac app but balked and left at the double-digit price. (not to mention the unknown in-app purchase)
Shouldn't the FDA require that manufacturers provide evidence that consumer medical devices can be used reliably for their intended purpose?

What makes you think the FDA doesn't require this?
I suspect there's probably high stakes involved for somebody, at some point in the fastener supply chain, based on whether their product is classified as a "screw" or a "bolt". E.g. there could be different import duties on screws vs. bolts based on the location of manufacture. (I'd hazard a guess that duties on screws are lower, while bolts are higher, because protecting the domestic structural bolt industry was probably viewed as more of a national interest at some point.)

There's also some grey area between "screw" and "bolt" particularly when you get into what are conventionally called 'machine screws'. For instance, you can get very large socket cap 'machine screws' that are the size, and could easily serve the purpose of, large hex bolts. The only difference is the use of an internal hex head vs. an external hex, which doesn't matter all that much given modern drivers. It would seem, based on the CBP's definition, that a socket head "screw" of any size would be a screw as long as it's continually threaded, but the moment it has any amount of unthreaded shank, it might be classed as a bolt.

So it's not surprising to me that the document exists, although the fact that it does exist hints at the byzantine nature of the Customs system.
I don't, and said nothing of the sort. I said that their decision to cooperate with one government is independent of their decision to cooperate with another. Thus, cooperating with the US does not mean they can't tell Russia and China to go fuck themselves if they asked for the same thing.
I haven't worked with this class of medical device, but I expect the major cost of the unit is in the approvals and lawsuits.

So far as the pen itself - They've got some injection-molded plastic, where the mold costs are amortized across the production lifetime. A needle + syringe, which are probably subcontracted from Becton Dickinson. A spring. A printed label. And the medication itself (probably the #2 cost).

The assembly of the above all had to conform to the FDA's Good Manufacturing Practices rules. Every part & ingredient had to have trace-ability to their source. With documentation thereof.

When we got our device approved (in a looser classification than this) we had to get UL approval ($50k per test, per device, per test-run), and we had 3 people on staff whose sole purpose was navigating the FDA paperwork and their approval process. I never heard what that cost was, but it was substantial. And then we had an IP attorney, and corporate defense attorneys to respond to the inevitable lawsuits.
Because, as others in this thread have pointed out, the law (Tariffs, specifically) requires them to.
"my partner" = "them"?????
I don't have a copay on epipens, but I do have a deductible. This actually can help me but the max is $100 off of full price (a few years ago I got $75 off with a similar card).
If you have standard compliant hardware, pause is point to point, not broadcast. You can configure hosts to ignore pause and also to not generate it; although it may be difficult to configure an embedded device, so you probably need to fix the switch or replace it with something that works.
Not so much fixed as "Canada doesn't insist that everyone make separate deals so everyone can get fucked harder".

It turns out when you have millions of people dealing together as a block, they have much more bargaining power.
What about http://www.intel.com/content/www/us/en/foundry/overview.html ?
That's not the point I was challenging (which I couldn't highlight and quote because Safari in the iPad apparently decided I didn't need that ability). I was challenging the idea that cooperating with the US government somehow makes it easier for, or in any way affects the ability of, other governments to demand cooperation with their own programs. I was not saying there wouldn't be consequences for Apple doing so, or that they should have.
The paper is available on researchgate: https://www.researchgate.net/profile/Hadi_Ghasemi10/publicat...

Original link: www.nature.com/articles/ncomms5449
> there's no denying that the difference in safety between the cheapest smart car on the road and the safest car on the road is huge. In a head-on collision between the two, there's absolutely no contest.

I don't think that's true. Certainly expensive cars have new safety features, but ...

I read a study of empirical data on what, in practice, made cars more survivable in accidents. It was awhile ago but here is my vague memory:

The data was hard to analyze - they were trying to untangle cause and effect from wrecks - but the conclusion was that the most important factor was the relative location of hard points: If their hard point (e.g., bumper) lines up with your soft spot (e.g., driver-side door/window), it's bad for you. That's something that doesn't depend on cost.

Otherwise, I would assume safety depends heavily on weight and structural integrity, and certainly some cheaper vehicles, such as pickup trucks, would be much safer by those measures than much more expensive sedans.

It also might depend on center of gravity, roll-over potential, breaking ability, etc.
This comment crosses into not-ok territory for HN. It's fine to argue, say, that there was reason to be skeptical. It's not fine to deny good faith on the part of others or be outright nasty ("I hope everyone quits".) Even if that's deserved, which I doubt, it pollutes the environment here.

HN comments should be charitable in the sense of preferring the strongest plausible interpretation of something. The blog post you're talking about is 4 years old. It doesn't seem plausible that this was a 4-year-long bait and switch. A much stronger interpretation is that circumstances changed.
If corporations don't have an obligation to maximize profits for shareholders, then you'd better try and take that argument to shareholders rather than believe someone's opinion piece on the matter.

I didn't say corporations are legally required to seek profits, but they do have profit-seeking obligations in most cases. Without investors' expectations of future profits, those companies wouldn't exist in the first place.

And last I checked, murder is illegal, so no, I can't expect the government to do anything beyond that (as long as that law is enforced).
A mechanical engineering professor at our institution loves to ask the uninitiated what the difference between the two is. His answer, "It's the intent or purpose for which it's being used."
To build SPF for the PSTN you'd first have to build DNS for the PSTN, then convince the manufacturers of carrier-grade switches to implement it, then convince telcos to buy new switches, then convince every single telco on Earth to throw out its last remaining equipment that doesn't enforce "SPF" for caller ID (or spammers would just use those companies).
I think the term has sort of evolved to become less dismissive.
no man picture a "padded room" and a helmet like http://www.daqri.com We can make it safe and indestructible and it's the future of babysitting. VR babysitting is a trilion dollar industry.
The fact that three out of five people trained to use this lifesaving product weren't able to.
> But you can't, can you?

Yes you can! Believe it or not this completely unregulated free market utopia exists. It is not just a fantasy. Now don't get excited, I imagine after I tell you about you it, you probably won't be headed to the airport to go there -- that's because it is actually horrible.

Unregulated market is what was (and is) happening in any of the post-Soviet republics, Russia, probably China, probably many other countries.

Those countries are better at free market than America. Yes on paper they have their EPAs, FCCs, FDA and other nuisances, but in practice nobody cares.

So you can buy some pills from the street corner shop that sells cigarettes. But chances are they are expired at best, made in a basement from chalk and sugar, or harmful at worst. Of course the claim is, "ah but market takes care of it, next time you won't buy from there and they'll go out of business". Nope, you might be dead next time and no they won't go out of business.

You can go and buy unregulated vegetables from the market. And they look fresh and plump and nice, but they are chock full of horrible chemicals in them. How do I know? My relatives there grow and sell them. They have a separate plot of land for such things and wouldn't let their kids or themselves eat from there.

Gun ownership there is restricted. Unless you are friends with the police. Then you can have a special permit for a gun. Oh but you have to pass a psych exam to make sure you are not crazy. But it so happens you are crazy. But, no worries, such regulations are bypassed with a quick $50 gift. And yes, I have seen them shoot their Dragunov sniper rifle, in a village, with houses right next to each other, and nobody cares.

The list goes on. Now maybe I assumed too much that you won't like it. Who knows, maybe you would. Well you are welcome to visit and try it out.
[citation needed]. As far as I know, Intel is suspected to be using TAGE or some variant of it in its last few generations of chips.
Exactly! I own this device and still use it often...I see no reason to stop using it. It received a security patch just recently, and I don't feel that missing out on further updates will impact watching YouTube videos
The "Gitlab doesn't handle big commits" bug is still a thing, and the two issues open for it are still open (and have been for months).

8.11 overhauled the diff backend, which works great! But the front-end still chokes up and freezes because the default appears to be 1000 files worth of diffs. This still pegs my CPU and hangs my browser when the page tries to render.

The second time loading the page is always fast (maybe something caches somewhere), but the first time is slow and chews the heck out of my poor PC. :(

Any chance we could get some sensible limits on the amount of information shown in a diff? Nobody is going to wade through 1000 files of diff in a web browser, so there's no reason to jam things up trying to render it.

https://gitlab.com/nrclark/dummy_project/commit/81ebdea5df2f...

edit: also, clicking the "Plain Diff" button breaks Gitlab
That changed a week ago (Intel making chips for others).

http://www.recode.net/2016/8/16/12507216/lg-chip-manufacture...

Also, it's important to understand that chip process measurement is not standard across the industry. 14nm has different measurements across different components across the vendors. See:
http://www.extremetech.com/computing/221532-tsmc-will-begin-...
> If C# and Visual Basic had support for higher-kinded types

Although it doesn't have higher-kinded types it can do ad-hoc polymorphism which will get you most of the way there. The primary problem is C#'s terrible type-inference, which means type annotations everywhere.

I am currently migrating the types in my language-ext project [1] (a functional framework for C#) to support this. Take a look at this [2] issue raised for a discussion on ad-hoc polymorphism in C#. There are lots of links to examples further down.

[1] https://github.com/louthy/language-ext

[2] https://github.com/louthy/language-ext/issues/120
>Social media and the internet has made it incredibly easy to see the various people out there who are in the top of their league at any particular hobby, vocation or activity, and made it seem like that's the 'norm'.

I had to quit social media altogether because it was driving me insane with frustration, anger and envy. I was in a real dark place and it seemed that everyone else around me was living in a completely different world than I was, quitting facebook and the like was the best thing I've ever done for my mental health.

Thankfully things are much better now, unfortunately I had to sacrifice a lot of relationships who relied exclusively on social media as a means of contact.

>In other words, don't worry too much about it.

I will have to disagree on this, at least when it comes to being a developer. I think the bar has been raised so high by the startup culture and the Google's and Amazons of the world that it feels like if you want to get hired nowadays you have to be above average, as a proof look at the current hiring process for developers.Being a mediocre hard worker is not gonna cut it. It seems like EVERYONE wants to hire nothing but the best of the best: you need to be a "Ninja", a "Rockstar", code in your free time, as well as know all kinds of algorithms like the back of your hand....As a mediocre, slow-witted developer I tried really hard to stay afloat even taking on desperate meassures like pumping myself full of adderall in order to study for interviews.Frankly I am now burned out, I find this environment so toxic that I'm seriously considering leaving development once my current contract has finished.
Oh, I didn't think you would be terribly concerned about the savings, I thought the company helping patients use their insurance was a nice addendum to your comment about the agency problem.

Edit: The way I read it, if you give the card to the pharmacy, the company will pay the $25 on your wife's plan.
Visualization with React