skysight-inc/HackerNews huggingface dataset:
While I agree it should likely be illegal, the solution to bad laws isn't more laws.

A better solution would be to

* do better examination of patents so that BS ones don't get issued

* allow third-parties to invalidate patents by showing prior art to the patent office for a nominal fee

* punish patent applicants who know about, or should have known about prior art

* if a patent is invalidated, force them to return all of the money they were paid for licenses and/or fees

See the lawsuits around the "Happy Birthday" song for similar problems:

http://www.latimes.com/local/lanow/la-me-ln-happy-birthday-l...

IIRC, the settlement came about because the plaintiffs were able to prove that the song had been published and put in the public domain. They had found a copy of a songbook which was the definitive proof.

How did they find the songbook? They were given a scanned copy in discovery... with most things clear, and the date suspiciously blurred. After a few months of looking, they found a print copy which confirmed their suspicions.

i.e. it looks like Warner Brothers deliberately fudged the evidence. If the plaintiffs hadn't noticed, or hadn't been able to find a print copy, people would still be paying license fees.

When there is no punishment for lawyers who break the law, I think that "ignorance of the law" is an excuse. There is just no way that ignorance isn't a defence for me, while at the same time the lawyers use the law to attack me, and aren't punished for their violations.
'My Son' is a high quality web page and I applaud its transparency
this is not because google is your friend, this is because they want you to have less reason to use adblock.
1. Those countries are all capitalist economies, some with more economic freedom than the US. They can't be used to defend socialism/communism

2. We're on HN so we all now about scaling. There's a big difference between 5 million and 300+ million citizens.

3. The US subsidizes those countries in terms of defense and innovation in health care. Pharma makes their profits off us while they have price controls in those other countries.

http://www.heritage.org/index/ranking
We detached this subthread from https://news.ycombinator.com/item?id=14737020 and marked it off-topic.
More detail on what we are doing from three blog posts:

Standing Up to a Dangerous New Breed of Patent Troll
https://blog.cloudflare.com/standing-up-to-a-dangerous-new-b...

Project Jengo
https://blog.cloudflare.com/project-jengo/

Patent Troll Battle Update: Doubling Down on Project Jengo
https://blog.cloudflare.com/patent-troll-battle-update-doubl...
http://www.erasmatazz.com/library/the-mind/history-of-thinki...

History of thinking is the book which Sapiens / Homo Deus would like to be.
I think it is one of the best complete arguments on the nature of our relationship to computers.
> One is that administrative costs average only about 2 percent of total expenses under a single-payer program like Medicare, less than one-sixth the corresponding percentage for many private insurers.

That story needs to come with a caveat that Medicare's anti-fraud efforts are covered by law enforcement budgets, namely FBI https://news.google.com/news/search/section/q/medicare%20fra...
Sure! What would you like to know?
> I think the main driver of this is simply the changing demographics of TV viewers. Ever since the rise of the Internet, social media, and smartphones, traditional television viewing hours have been plummeting for some demographics.

No. This trend predates the full development of most of that. IIRC, TLC ("The Learning Channel") went from educational stuff (like videos of surgeries) to full-on home improvement over the course of the 90s. The internet in 1999 was GeoCities and email, not social media and smartphones.

What really happened was these channels started out programming to a little niche audience, then they realized there was a lot more ratings and money programming to the lowest common denominator. In TLC's case, I think it started with some husband and wife home improvement show and snowballed from there.
Good point. This is why legal issues are complicated. :(

But the counter is that if you're offering the technology for sale, then lack of sales is an actual loss. The thieves could have paid your price, but instead chose to steal it.

At that point, penalties, etc. apply,
The difficulty of getting health insurance for small companies perhaps?
you are being submerged in liquid? therefor holding your breath? therefor all together avoiding any of the torture induced by waterboarding?

if you're interested in hammering out some science for us, waterboard yourself and report back. i think you might be surprised.
BS, Canada has continued to struggle with a brain drain problem where tech workers can easily cross the border and earn 40 to 50k more per year. The economy has been doing well under Trump and I suspect with decisions such as this, we'll continue to see a rise in American prosperity. http://www.reuters.com/article/us-canada-tech-braindrain-idU...
No, I said that more smart people would not fix the problems with Greek society that make starting businesses there vs. USA unpleasant. That doesn't say anything about whether or not "we need visas."
Thanks, now I know what to look for next time I go equipment shopping. I'm sure many GA radios have this, but I'm using particularly low-end radios since space and power consumption are more important for what I do. Still won't fix getting an earful about skydivers at an airport a hundred miles away, but it would be an improvement!
And that doesn't happen with private companies? There's loads of fraud that goes on there too.
Just remembering the amount of excuses and ways we used to rationalize our laziness in college really makes me cringe :P

Most people do grow up tho.
I agree based on your link that skepticism is in order. I'm sympathetic to the idea that certain topics should be 100% forbidden in a work environment, but then I catch myself and realize that ultimately a lot of what is deemed appropriate vs inappropriate has to do with the tastes of the people involved.

Even in cases where there isn't "org chart" status at play in a company, there are other forms of status, and so any kind of inappropriate talk could be abusive in some way.

This is not to say we should accept these problems without trying to make the world better, just that work culture is a hard thing to understand. Maybe when a customer calls up angry, the team refers to the person as an asshole. To some this would be highly offensive, to others it would not. Maybe someone who worked there went along with it but did so resentfully and then they find another job and write a blog post outing the team for being vulgar.

The point I'm trying articulate is that the bigger issue is that we (humans) are bad at understanding how status dynamics impact our own willingness to engage in certain topics of conversation, banter, humor, even flirtatious behavior. I've seen one sales guy who would go into the main office and kiss each of the secretaries on the cheek as part of a sort of greeting ceremony, full of high fives, etc. They all seemed like great friends who did that little ritual willingly, but it's possible one or more of the secretaries hated it and dreaded his arrival at the office. It was confusing to me at the time because I thought how I really wouldn't want to be touched by him, but I figured it wasn't really my place to judge since they all seemed to be enjoying it.

Probably the best way to handle it is for firms to establish a code of conduct for workplace interaction that forbids certain problematic topic areas explicitly, but such things are hard to enforce and seem to me to be better handled by positive examples being set by leaders and clear, zero tolerance policy toward any form of abuse of power (regardless of whether it's harassing, sexual, etc.)
For real though. Many large undergrad lectures kinda run this way. I'll take the video of the lecture (many large universities record all lectures now) and just play it back at ~1.3x speed later. I can rewind, stop, and fast-forward to the stuff I know I need to know. Since the tests/HW are the only thing that matters, why would I not do it this way? It's a better use of all of our time.
I know I'm gonna get downvoted for saying this, but this is kinda dumb. Might as well look for Dyson spheres by looking for gravitational lensing around dark spots in the sky.
Yes. Mostly.

But in practise, you need to specify what sortedness means, and in a generic sorting algorithm that means axiomatising the comparison predicate, including its side-effects. Note for example the C standard library implementation of Quicksort does take an arbitrary predicate, which may not be transitive, may have arbitrary side effects etc. The behaviour of sorting becomes pretty complicated in this scenario.
I find it hilarious that this article uses state government taking over road maintenance as an analogy and claim it will save money, while it's known that California has a bad reputation in road repair, due to funding problem.

http://www.latimes.com/politics/la-pol-sac-road-funding-prob...
In your second point you are referring to fact that is needed in a calling context when proving a large spec, that means it is a top level specification, and therefor trusted. You don't need to prove an implementation only touches the allocated array to verify it as a sorting algorithm, its because there is some other part of the top level specification that requires that.

For example I recently verified a JIT compiler, and the compiler spec was functional correctness but we really wanted to ensure it was correct AND only used the memory we allocated for it. In this case we had to grow the specification to be larger, its not longer just being correct, but isolated in some way. This of course has a trickle effect where we need intermediate facts, and proofs in order to be able to prove the top level theorem.

As some posters remarked above you should still be able to give a concise top level specification that is much smaller then the implementation. You really just want to say (where m is pre-sort, and m' is post-sort):

(forall addr m m',
addr < addr_of(array) \/ addr_of(array) + length < addr -> read addr m = read addr m')

We have a spec very similar to this in said JIT compiler, where we prove it doesn't write outside its input and output buffers. The top level spec is no more then a few definitions and a few lines of spec, compared to the JIT compiler which is 10,000s of lines of proof & implementation it is tiny and very easy to audit.

You can also make proofs obligations like this easier by using regions, a framing rule, or some programming model that gives some amount of memory isolation.
Are locks and mutable shared memory a good thing? Advances in modern programming languages aim to abstract threads away (e.g. .NET's Task Parallel Library), because mutable memory shared between threads is a minefield (atomic, locks, mutexes, compare-exchange, etc.).

Not only are these difficult to reason about and program against, introducing locks over mutable memory causes performance problems and are a speed bump to high concurrency. (Heck, just yesterday on HN, a story was published "24-core CPU and I can't move my mouse" [0] - the culprit? Low-level locks.)

Creating too many threads introduces performance problems, too, thanks to CPU context switching; pools must be created and threads reused from those pools.

And now in JS land we're trying to introduce threads and mutable shared memory? Are we just going to learn these lessons over again?

[0]: https://randomascii.wordpress.com/2017/07/09/24-core-cpu-and...
Time for the daily confirmation bias on HN! Sponsored contend? I wonder...
I agree, probably a big part of why the standard of living has dropped so much in recent years. We should reduce the budget significantly. Government massively missallocates resources
The memory consumption will surely be better, as HOL or Isabelle will only store the fact that a theorem was proven, but not how. But then Lean can store the proofs and has two independent external type checkers. Isabelle has the infrastructure to do this, but it can not cope with it after a certain size (Isabelle's HOL-Proof does not even contain all of HOL/Complex_Main). In my experience Lean feels much faster than Isabelle, so I would guess the proof will take much longer than in Lean. But I don't have any concrete measures.

In Isabelle one might want to trust the code generator to evaluate certain computations in ML.
A big part of this to is drs in places like Canada get training on how to save costs which generally means not providing service. I had to switch to a private system in Canada to get drs who would take a proactive approach.
> My definition of being successful is being happy and content. I make decent money and have a happy life, that is successful enough for me.

You and I are the same, then. I just don't feel the need to have children to feel successful or happy.

Don't get me wrong, I don't mean to put people down who genuinely enjoy having children. I just know that they're not for me, and my soon-to-be-wife is on the exact same page. We've been together for 7 years, and I'm 35 and she's 34, so it's highly unlikely we'll ever change our mind.

> What are you going to do after you retire with all that money? You should do that thing now!

Travel. Without having to worry about where I'm going being family friendly. I plan on spending less than 3/4ths of my time at home, the rest being out of state.

I can't travel as much as I'd like to right now because I only get 17 days of PTO per year, and my company shuts down between Christmas and New years so I often need to bank 4-6 days of PTO for that time.

My fiance and I went on a 7-day cruise to Alaska last year. I couldn't imagine doing it with a kid tagging along. Sure, they have some kid and family friendly activities, but if we had one with us, we couldn't decide to get shit-faced at a bar or head to an on-board dance club.

Yeah, I could find babysitters, but I prefer the other option: Just not having kids. I never have to tell my friends "Sorry, we can't join you...we can't find a babysitter". My brother has had to say that too often.
Which is why those companies hire entire departments dedicated to fraud. If a government agency stepped in and instead offered to do fraud investigation for free, that would provide a rather nice reduction to their overhead costs.
Just going to mention it here since many folks don't seem to know this but we here at Microsoft also have a cloud build (CI/CD), Git source control, Kanban (lots of agile tools), etc and its all free for up-to 5 users.

The build system also geared for "any developer, any platform" with support for Xcode, Android, iOS, Java, .NET, and other types of applications using our Windows or multi-platform agent.

We also do unlimited private repo's for those 5 users which I know is super important to people.

Details on VSTS:
https://www.visualstudio.com/team-services/
Okay, I'll bite. Why? Why do you think this merits such an investigation?
From your experience, do most remote interview loops have take home projects like this or do they tend to focus heavily on whiteboard-esque programming challenges?
I wonder if even the AVX512/other SIMD boost is even worth it when you factor in pricing.
During indoor recess at my kids school, kids don't eat their lunch and just throw it away because of the chromebooks. There are only have a few computers and they are first come first serve. Kids would rather go without lunch to be able to play on the internet for 20 minutes.
What is the best crypto-currency for illegal activity today?
That's a one-sentence action that's brushed over in the article. I see nothing suggesting it's novel or effective, and I don't have enough knowledge of patent suits to decide that.
Presentation remotes like those from Logitech have a button to do just that.
"My only guess is market pressure because of higher demand."

That's exactly right. In the mass consumer market (ie. people buying hard drives at retailers), a lot more external drives are sold than internal drives. Larger market → more competition → lower prices. On the other hand, for companies buying directly from manufacturers or from distributors, I would bet an internal drive sells for (a bit) less than the comparable external drive. Though I have never seen a price sheet. Would love to hear confirmation from someone in the industry.
Another required nuance is the difference between modern socialism, Marxism, and Stalin-Leninism. Lumping them together is like suggesting that the US has the same form of capitalism as Saudi Arabia.

No one is proposing anything remotely similar to Stalinism/USSR-esque or Nazi socialism. When people bring those things up, it's a straw man.
CPU-based CFD?
Fair enough, and that guy's work was pretty close (in time) to the "germ revolution." The accounting of scientific revolutions is that anomalous results start getting common enough that people get uncomfortable calling them noise or faulty methodology. I'm not an expert in the history of paradigms of disease, but these results coming out were almost certainly part of what chipped away faith in miasma theory and, if you will, created the unease required for revolution.

Importantly, Semmelweis couldn't offer an explanation for why washing hands helped, which seems to have greatly hindered his credibility. I said you were offering a germ-theoretic perspective, because we do (and must do) the same thing: How else should we separate the spurious correlations from the important ones? How do we separate superstition from good practice? How do we tell the crackpots from the creative? If we suspend the germ theory, what if there was something else going on at the hospital, and hand-washing was just something this guy noticed and latched on to? Then you'd be giving people the wrong advice---which is, after all, one of many reasons that correlation is not causation.
Yea, I am all for more government cost controls, and maybe a public option for a more tiered system. But it seems like universal single payer is not really realistic for the US.
Can you give me examples that come anywhere close to Nazi Germany, Soviet Russia, Mao's China, Cambodia, Vietnam, etc?
We need a parallel world without borders. A way businesses can operate without govts meddling. Ethereum? Bitcoin? VR?
>Is there really a qualitative difference?

Yes! Resoundingly, yes!

Reddit is not a democracy, it's a private forum for discussion. Confusing this with a media outlet or a public forum (to say nothing of a democracy!) is as patently insane as confusing an infomercial with a scientific paper.

Feeding into the outrage only makes the beast stronger. Just roll your eyes and focus on the things that matter, like democracies.
It makes sense that during a lecture, simple transcription (associated with typing) yields worse results than cognition (associated with writing). So pardon my ignorance (long out of the formal student loop):

Are students taught how to take notes effectively (with laptops) early in their academic lives? Before we throw laptops out of classrooms, could we be improving the situation by putting students through a "How To Take Notes" course, with emphasis on effective laptopping?

It's akin to "how to listen to music" and "how to read a book" courses -- much to be gained IMO.
What if you built/launched something on your own? It doesn't have to be huge, or even commercial, but being able to demonstrate that you can go from idea to launch by yourself will help.
Have you ever threatened to, or alluded to your ability to do so, to obtain commercial negotiating leverage in a context other than defending the company from the threat of a patent suit?
I'd always assumed La Cie's storage business model the past however many decades was to take stock drives from other manufacturers and put them in nicely designed enclosures. The premium on their stuff has always seemed to correlate to the nicer materials and design on the cases, not the drives themselves.

I guess occasionally they also seem to tap the early adopter market when a new storage interconnect comes out (FireWire 800, Thunderbolt etc). They often seem to be one of the first out of the gate with support when Apple add a new port.
x.com was indeed a weird business communication platform. They designed an entire API around SOAP-style verbs that had no RESTfullness whatsoever and were defined in a bunch of public read only repos.
for some reason it didn't catch on.

some random evidence of its legacy:
https://github.com/johnj/php5-xcom
I imagine both single-payer and a truly free market health care system would be substantially cheaper than the current system -- which has none of the benefits of either approach.

With the federal government unable to act, turning healthcare back to the states to test a number of different solutions seems entirely reasonable. Let California try single-payer and Texas try something different -- after a few years see if we've found a solution that could work for the whole country.
What a genius idea, design only for people with expensive screens, make software only people with a dual Xeon and a GTX1080 can run, and be sure to make the minimum resolution 2560*1900. You're sure to make friends.

Welcome to reality, most people use cheap $20 chinese screens.
Dupe.

https://news.ycombinator.com/item?id=14744560
Producthunt featured SAAS product webinar
I think you meant to respond to me, but accidentally responded to someone else.
From the first part of the series.

While I am aware of more than a few companies that are containerising their game servers and running them in production, I am not aware of any that are doing so on Kubernetes.

I believe Pokemon GO is using Kubernetes, which is one of the biggest multiplayer mobile games in the world at the moment.

Link: https://cloudplatform.googleblog.com/2016/09/bringing-Pokemo...
> catching up

Not quite. The n-hashing methods described in that paper are rather different from yours. They're significantly faster, for one thing, which matters if you're building e.g. high-performance networking products.

An equally important contribution of the paper though is providing a framework for proving the reliability of such methods. There are areas of software development where "in practice this has worked fine for me" isn't good enough.
Google broke $100B market cap at seven years old. Apple mail did it at 29 years old. Google never has declined for a single quarter YoY since day 1. Not a single time.

Apple had $2.33 EPS for Q2 2015 and for Q2 2017 reported $1.90 EPS. So declined over the last 2 years.

Google other revenues (non ad) were over $10B for 2016 and growing at 50%. Apple total revenues in 2004 when it was 28 years old were less than just Google other. Just sayin.

Btw, Google holds the record of getting to $100B cap faster than any other. Even accounting for inflation.
There's a quip in the show "Archer" (forget exactly the words) where Mallory tells everyone something along the lines of "move up to my tax bracket and see if you keep spouting that socialist propaganda". I found it hilarious because it is true for many out there that if you suddenly find yourself moved from your minimum wage job with Obamacare insurance into a position of making a huge salary with legit benefits, you suddenly shift your position on the fairness of Capitalism and whether or not people are getting too much from the government and how they should do what you did to get ahead.

Additionally, while it certainly appears that the richer get richer and it does nothing to help those that are struggling, you have to ask yourself whether or not you'd do anything different if it were you in the position of wealth and power to change how people earn money for the work they contribute. Then you'd have to wonder if people could truly come together and share everything under extreme government over site, but why wonder when there is decades of data to prove that it doesn't work?