skysight-inc/HackerNews huggingface dataset:
Further it is not a good argument by itself. One could imagine a program with no administrative overhead that because of that lack of administration ended up costing far more than a program with higher administrative overhead. I'm not saying that's the case here, but the argument needs to be made that it isn't.
That's his point. The story doesn't include fraud prevention for Medicare because it's paid for by another agency.
I went to a state engineering college that provided students with tablet-style laptops so that you could fold the screen down and jot notes+diagrams with a stylus. It was really nice because some of the professors were flexible enough to accept tablet-written homework (one even required it as everybody had the requisite device).

I knew plenty of fellow students that eschewed paper notes during their time there.
Hey !

I have applied for the entry level position. When can I expect an update?
:)

I'm of the same opinion: you know you have no moral ground and no intelectual argument to make. You simply let yourself be driven by pettiness.

:)
wouldn't it be better to just find a way to prevent pop-unders in the first place. Why is it so hard to thwart them? All these sites use the same script that evades the popup blocker built into chrome yet none of google's 1000's of engineers can do anything about it apparently.
We pushed a change this morning to make it slightly less head-scratchy :)
In Search of Lost Time. It's definitely famous and well-known, but I think it's far more talked about than actually read. Proust is a philosopher and psychologist more than a novelist, and large chunks of the book are basically just philosophical essays, but its still probably the greatest novel I've read. I think it's one of the greatest achievement of the human mind to date and it has more to say about the human experience than anything since, as far as I can tell.
Ok - that "you are kidding" was an unwarranted swipe. I won't do it again.

Regarding "indentured servant" - that is the factually correct term to describe the situation. Even H-1B visa holders themselves use this term.

Here is a video of an H-1B visa holder using the exact term "indentured servant" with Congressman Darrell Issa at some policy event about the H-1B visa in Washington DC: https://youtu.be/2Tgc9m1IwNc?t=35m47s

The term "indentured servant" is exactly the right term to describe the employer-employee relationship between Guest Worker visa holders and their employer's. As demonstrated in the video, even the H-1B workers themselves are saying that they feel like indentured servants.

I personally feel that politically correctness is somehow having the effect of normalizing this very abnormal employee-employer relationship (at-least here in America).

As the guest worker in the video says, if he loses his job - he has to take his kids out of school, sell his car, sell his house and leave. This is not in any way a normal employee-employer relationship.

I would like to think the points I am raising are thoughtful. well researched and articulate. Apart the "swipes" - which I will tone down on - I don't think I am guilty of any other transgressions.
That's exactly what I do on my personal website. At the bottom of every page is a button which inverts the color scheme to white text and black background.[1] It sets a cookie, so the setting should persist across all pages.

1. e.g. scroll to the bottom of https://geoff.greer.fm/2017/02/28/software-rot/ and click "go dark".
Our schools and infrastructure are crumbling. Taking in more poor immigrants does nothing to address this problem, only makes it worse. Some of the golden European countries are very closed off from the outside world and their solutions are not an apples to apples comparison with that of the USA, which is already the third most populated country in the world.
> So basically you're saying that it is a preferred solution to teach kids math poorly, let them develop insecurity and aversion towards it and then spent a lot of money to let them overcome it than just do it right in the first place?
Yeah, I know that's not what you mean, but you're missing a point.

If you knew it's not what they meant then why did you start off saying that's what they meant? If you thought they were missing the point why didn't you just say that?
Depending on the programming
language being proved

That's true, GCed languages are simpler in this regard. But for low-level languages you have to do this 'by hand', and it can be complicated.

not had the concept of null

That doesn't make the problem go away, you just have another case in the destructors (e.g. pattern matching) that you need to account for logically. Just kicking the can down the road.

would love to read more
about it

Nothing published. Long story. I'll tell you in person, should we meet some day.
The word "negotiation" is a euphemism here:

> The most important source of cost savings under single-payer is that large government entities are able to negotiate much more favorable terms with service providers.

If there are no other options for clients, it's essentially the government telling doctors how much their services are worth.
Would be nice if the pipeline operator also supported promise chains.
I believe that your "failures" are not necessarily linked to "math", in the sense that other teachers probably experienced the same frustration for their own taught subject.

Math is definitely "harder" in the common thinking of people, but I suspect that there is often a generic underlying issue.

A number of students (I would say a large part) go to school or college not "to learn" but rather to "pass the exam" or to "get the degree", they are not interested in the subject but in what the consequences of having a good grade in that subject are or - sometimes - only do whatever is needed to get a passing grade.

I don't blame the students, mind you it is not their fault, it is society in general that somehow has shifted the values, and culture is not anymore valued.
In some projects, having a night shift can be a tremendous advantage. It works particular well in extremely agile environments with fast assignment->deployment turnarounds. For example, if the night shift does daily deployments, then the parent does QA during the day and sends fixes/new requests before the start of the night shift.

Other times, particularly if the project has complicated architectural requirements, it's too hard to get the night shift on the same page a super the parent.
One difference this time around is that AMD can make a good business just selling to Apple(servers), Facebook, AWS, GCP and Azure. As long as they hit their use cases they can create a good, sustainable revenue base. They also have a semi-custom division for tailoring their offerings, which the big cloud providers would definitely expect at the volumes they purchase in. Also, it's a good tool for them to use as leverage when negotiating with Intel.
> Honestly, if you do the same stupid shit with Go, it will take 0.51 seconds, according to many benchmarks out there

The whole point is that CPU-bound web framework time is never the bottleneck for most companies. Golang doesn't change your database network latency.

If you DO hit the rare cpu bottleneck, you can offload it to services, cffi, whatever. It's so astonishingly rare that it doesn't make sense to optimize for most of the time.
There is an EU study online recent that says digital currency is not used much for illegal activity
> a truly free market health care system would be substantially cheaper

Why would you imagine that?

Regardless... You must also then ask the question, whether a "truly free market health care system" would be ethical.
Oftentimes, not providing any service is better for patient outcomes then providing unnecessary services. Especially if those services are surgeries. [1]

[1] https://www.usatoday.com/story/news/nation/2013/06/18/unnece...
I don't listen to anything when coding. I need the silence, and deep thought. However, when I'm doing trivial things, I listen to classical music. Usually "Essential Classical", or something similar, on Google Music.
> It thus makes no sense to reject single-payer on the grounds that it would require higher tax revenues. That’s true, of course, but it’s an irrelevant objection.

> The most important source of cost savings under single-payer is that large government entities are able to negotiate much more favorable terms with service providers.

I agree these objections are not relevant for the overall system. But certain individuals and groups within the current system will get screwed.

The wealthy and upper middle-class will oppose any tax increases, as it will decrease their take-home income. Plus the resentment of having to pay for someone else (the moochers).

Providers will oppose any haircut that comes with single-payer rates and price controls. No more millionaire doctors, specialists, or dentists.

And of course the overhead of health insurance middle-men and the huge administrative bureaucracy costs.

This is the crux of the problem. We could have a reasonably good system for everyone. But it requires a lot of people with heavily vested interests into a less ideal situation.
Pop-unders are extremely annoying, not only do they slow the browser but they are always filled with malware. Good move by google.
I noticed and was irritated with the 4 Tb anomaly when I was setting up a RAID6 trying to achieve 30 Tb of usable space after mirroring and a hot spare.
Thanks for the link to the paper.

De Moura is giving a talk tomorrow
in Cambridge at the workshop in computer aided proofs called
"Metaprogramming with Dependent Type Theory". I wanted to go, but
won't be able to attend. I guess that talk will mostly be about the
content of the paper. Now I don't feel so bad for being unable to attend.
Try xrdp:

dnf install @"Cinnamon Desktop" cinnamon-session xrdp xorgxrdp

The only downside in Fedora 25 - software rendering in your X-RDP session
The article makes the assumption that the goal is to save money. Perhaps the way things are keeps the status-quo alive for those who make the rules, and that's why we don't have single payer.

I hate to be the conspiracy theorist, but I can't help but think that's the truth.
Introducing Gradient Ventures
This one works really well for me, when working (discovered thanks to HN !):
https://www.brain.fm
Oh, okay, I thought the study was going to be on the benefits of attempting to use the laptop itself for classroom purposes, not for social media distractions. This would be more accurately titled, "Students Are Better Off Without Distractions in the Classroom." Though I suppose, it wouldn't make a very catchy headline.

I found my laptop to be very beneficial in my classroom learning during college, but only when I made it so. My secret was to avoid even connecting to the internet. I opened up a word processor, focused my eyes on the professor's slides or visual aids, and typed everything I saw, adding notes and annotations based on the professor's lecture.

This had the opposite effect of what this article describes: my focusing my distracted efforts on formatting the article and making my notes more coherent, I kept myself focused, and could much more easily engage with the class. Something about the menial task of taking the notes (which I found I rarely needed to review) prevented me from losing focus and wandering off to perform some unrelated activity.

I realize my experience is anecdotal, but then again, isn't everyone's? I think each student should evaluate their own style of learning, and decide how to best use the tools available to them. If the laptop is a distraction? Remove it! Goodness though, you're paying several hundred (/thousand) dollars per credit hour, best try to do everything you can to make that investment pay off.
I keep waiting for the reasoned, technical arguments against systemd instead of veiled metaphors, complaints about its creator, or protestations that it's different.

The initd-inspired community has resisted the push for declarative and component-based core system infrastructure for so long, and it's causing very strange distortions to the linux ecosystem as solutions get sought for the problems it introduces.

Systemd, for all its flaws, fixes some very important problems that init and runit and similar systems left unsolved. It's complicated, but it's hard to argue it's unnecessarily so. We always end up at these tortured bike metaphors or some other garbage. There's a whole website devoted to criticisms and it feels like at least half of the site is devoted to this kind of baseless rhetoric.

As far as I can tell, systemd is a holy war. It's the new editor debate. It's vi vs emacs vs sublime vs atom vs ... down throughout time, with people arguing where the tradeoff between simplicity of execution is more important than delivering a system people asked for.
In the meantime, Americans will die needless deaths from not receiving basic healthcare, but the market will win, so their sacrifice will be worth it.
Mintty as a Terminal for Bash on Ubuntu on Windows / WSL
I don't think I ever implied any changes in human nature.

And I don't disagree that there's a degree of difference between hiding a comic book behind a textbook and having a machine that can likely grant instant access to the majority of comics, movies, games, etc., known to humankind, not to mentions texting, chatting, snapchats, social media, etc.

But I think it's ludicrous to think someone's ready for college if they don't have the self control to not give in to that temptation for a 50 minute lecture.

It's not the laptop that created uncommitted just-show-up-ism and incessant digital nothing-chatter or the thoughtless and blasé acceptance of app-based magic voodoo without thought towards its implications.

There's a much larger and more omnipresent failure at play. Deciding not to put games on your phone shouldn't be an amazing and praiseworthy anomaly.

Human beings don't lack for volition when sufficiently aware of it.
Plus some external drive customers immediately shuck the device and receive zero warranty.
I've been playing with ARKit quite a bit recently and enjoying it. There's a plugin available for Unity now that integrates with ARKit which makes converting models convenient.
Enterprise class,btw
Except that MDN isn't your hipster startup website with a 20MB hero image that needs to get its point across immediately. You're never going to end up on MDN and say "I have no idea what this is". You're there because you already know what's under the damn fold.
Sure, it might be because System D integrates so tightly with the whole ecosystem that it is hard to replace it.

Or: Those folks who write rants about system d are not very active in contributing to a distribution that runs without it. With some discussions, you have that feeling that there are "those who talk, and those who do".
what will this do that google / baidu search dont do
Thank you for this!

I actually used this site today. Found it on google...
The USA is not defined by Silicon Valley. I make 120k in Richmond, Virginia and another 30k online. Your figures are nowhere near accurate for most American cities.
That would require both ideological sides to agree on objectives, agree on what counts as successful, agree on metrics. Something I doubt will ever happen at this point.
Marking a math test is only objective when an answer is entirely correct. What mark do you give a student who makes a minor arithmetic error on a single step of a multi-step problem?
There's no particular mystery. Navigation in those days was rudimentary - not good enough to fly long distances across the Pacific and try to hit a tiny island at the limit of your fuel.

She missed the island, ran out of fuel, and crashed into the Pacific.

I saw a documentary on her long ago, and she was known to be sloppy in navigation, careless in handling the airplane, arrogant in dealing with her navigator, and would take unnecessary risks with the weather. It's all a recipe for disaster when taking a high risk flight.

It's all too easy to die in an airplane if you don't have a mania for doing it perfectly every time. People also had a hard time believing JFK Jr died because of a perfectly mundane mistake on a routine flight.
The problem with a 'each state do their own thing' solution is the very problem with health care in this country in general - the freeloader problem.

If California implements a single payer system, it would make people in other states more likely to choose not to get healthcare; if they get sick, they can just move to California.

This is the reason the ACA has the 'individual mandate' to go along with preventing the denial of care because of pre-existing conditions - without some coercive force, there is no reason to buy health care until you get sick.

This is why a national single payer system is the solution.
How do we compare apples to apples (between countries)? Compare health expenditure per capita (public and private) with multiple health indexes. I.e. get the bang for buck.

In the list of nations with the best bang for buck healthcare programs, you will notice that top 20 healthcare programs are mostly single payer.

http://www.who.int/healthinfo/paper30.pdf

But there are single payer healthcare systems with bad health indexes, you might say... Well, combine single payer healthcare systems and add some transparency in healthcare and you now have an unmissable correlation.

https://www.transparency.org/whatwedo/publication/global_cor...

The top 20 bang for buck healthcare programs (mostly single payer systems), have an average ranking in terms of healthcare transparency of 18.7.

Are you from the USA? Notice the countries with universal healthcare, who have a similar healthcare transparency ranking to that of the USA: Luxembourg, Canada, Germany, France, Belgium, Ireland, and Chile. Their bang for buck rankings are 16, 30, 25, 1, 21, 19, 33 respectively. All of these countries have a better bang for buck ranking than the USA's 37.

In one sentence... Universal and transparently managed healthcare consistently gives more bang for buck.

And now to quote the original article... "It is a bedrock economic principle that if we can find a way to do something more efficiently, it’s possible for everyone to come out ahead."

EDIT: Check page 18 in the first source. Check chapter 11 in the second source.
In a large firm, a lawyer isn't going to go through the active cases for every partner in the firm when choosing where to take clients for dinner.
-It is not much of an issue on a micro scale - biggest issue today is probably direct-drive electrical motors, which will run too fast (if 50Hz on a 60Hz grid) or too slow (vice versa).

Also, running a 60Hz motor on a 50Hz grid will cause it to run hotter (larger current than nominally on 60Hz; also, less efficient cooling as it turns slower). If the designer designed to a price point rather than to a standard, this may be an issue.

On the macro scale, however, you've got a problem if, say, you suddenly lose a power plant in the 50Hz region of your country. You cannot then simply make up for the shortfall by distributing the load between all plants in the country (or, unless you're an island nation like Japan - from your neighbours, too) - only the ones in the 50Hz part of it.

This is just a long-winded way of saying that the larger your power grid, the more robust it is when a power plant goes offline.

The Japanese are in the unenviable position of having two small national grids rather than one large one - and, for an encore, they're on a bunch of islands and likely unable to import significant power from neighbours, too!

Hence any plant downtime is felt much harder than it would any other place. Tough luck.
They are fundamentally not equivalent, you can not guarantee that a system respects a safety property with testing. You can prove that certain concrete instances, i.e your test cases inputs are safe, but you don't know where there exists a path in your program where the safety property is violated.

This is incredibly important in critical systems because it might not be possible to even detect a safety violation has occurred, for example file system corrupts data, distributed consensus algorithm commits to the wrong value, compiler slightly mis compiles your code.

We want to be ensure there exists no path where something "bad" can occur, this is what verification gives us over testing.

There is always the fundamental problem of needing to communicate what we want to the computer, but the goal is to do it minimal way, and then ensure the program we write exactly matches the minimal implementation.
But in this case I align with their decision. I don't mind websites that have advertisements as long as they aren't intrusive, and my privacy is maintained. If those demands were met on all of the sites I frequent I would uninstall my ad-blocker
Machine Learning helps amateur sports up their game
Keep up the good work. You are such a great example of Poe's law. I can't even
Out of curiosity, what laptop model and software combo?
I've been a VC for about 5 years and tbh I don't know why this industry standard exists. It's not something that makes sense to me. I think it would be a good change for the industry to get rid of this practice, and I think the change should come from the top (e.g. the National VC Association or from a group of leading VCs).
that's kinda what MOOCs are like
My kids are homeschooled, and I'm in charge of teaching Math, because my wife is one of those "I suck at math" people. Her parents focused exclusively on memorization when they helped her with homework, and then she got a few bad teachers, so her mental models are completely off. She's getting better, but that's not really my point.

The math program I use with my kids is this one: http://www.defimath.ca/ecole-maison/ (in French)

It was developed by two mathematicians who actually studied in classrooms what worked on kids when teaching math. They've come up with a method where kids learn negative numbers and multiplication _before_ learning positional numeration (numbers greater than 10, with units, tens, hundreds, thousands, etc.). I've seen first-hand how these concepts just click in my daughter's mind, and how she often comes up with the new concept herself when you introduce the prerequisites in an order that makes sense to her.
Algoriz (YC W17) Is Hiring Lead Engineer in New York
Which would mark the second time in 241 years those states agreed upon something...

In all seriousness, state run healthcare is a great idea, but the government is just such a big stakeholder in having a healthy population that I do not see a good reason for it [at some level] to stay out of that line of business. Single payer works, so much better than the current setup...why not start there and try iterate?
I developed malware that injects spammy ads into people's browsers.

Google banned my site from their index! Antitrust regulators need to look into this because it costed me my business and my employees! </sarcasm>
Prescient, the other link I submitted about Single-Payer has totally blown up. There are a lot of frictions to be sure.
I love how any education-related topic brings out the armchair-pedagogist out from the woodworks. Of course a big aspect there is that everyone has encountered some amount of education, and especially both courses they enjoyed and disliked. And there is of course the "think of the children" aspect.

To avoid making purely meta comment, in my opinion the ship has already sailed; we are going to have computers in classrooms for better or worse. So the big question is how can we make the best use of that situation.
In response to this - afaik, there is no evidence that Pokemon Go is running stateful game simulation servers for their game, especially those that would power something like an FPS or MMO (They may be, but I've not seen any public evidence of it), which is what I'm referring to in this article. Sounds like I should have been clearer on this point, as you aren't the first to point this out.