skysight-inc/HackerNews huggingface dataset:
That is conjecture. I could similarly hypothesize that things would improve under a single payer system, even for the rich... because of the compounding scientific advances of government backed healthcare.

BUT we could go back and forth all day with conjecture... Give me some apples to apples numbers; that's what I joined HN for.
Not sure why the downvote there is a lot of truth in his statement. Everyone gets access to healthcare on one end which is good but on the other end newer meds are denied because of costs. On average doctors are trying to reduce the number of patients they serve so there is always a feeling like they are doing you a favor by even seeing you. Other little things you don't expect like it's very hard to get a second opinion.

I have no idea how life is when you rely on an insurance company to approve of your level of care. That sounds like a nightmare.

Wish there was something in the middle where you paid a little bit but had choice.
I have 0 interest in any of their notions of "good taste." But thank you.

These are exactly the kinds of complaints I was saying I find less than compelling, because many of the same people who raise them then think the Linux project is okay to run like if UFC was also a papal state.
Given the pervasiveness of price discrimination I would be surprised if this was prosecuted at all.

The only thing that popped up about price discrimination in the usa was this: https://en.wikipedia.org/wiki/Robinson%E2%80%93Patman_Act

Which seems to have a requirement that there was harm to competition, which is not the case here.
The school has been purchasing laptops from the Fujitsu Lifebook T series for a few years now. They swapped out old models for each student after 4 years of use.

Back when I attended, most people were on the Fujitsu Lifebook t901 I think, but looking at their IT site now, the latest models the school uses are http://www.fujitsu.com/global/products/computing/pc/tablets/....

I loved those tablets, the stylus and screen digitizer felt top notch back when I used them.

Software-wise, most students used OneNote for note taking/annotating text and a few professors required https://en.wikipedia.org/wiki/Windows_Journal for assignments. Not sure the preferred approach these days as Journal seems dead.
Nuances of Replacing OpenSSL with Google's BoringSSL
It would be great if the "game" was really altered but I've heard that statement and hope many times over the last 10 years. While there has been some progress, patent trolling continues. Here's hoping...
/w - with, /wo - without
The SAFE by design contains a full ratchet anti-dilution protection for the investor, if you have raised a loot of money normally by stacking some SAFES on different dates and then raise the next converting round at a low valuation you can find yourself completely diluted.
Interesting, thanks.
Just "re-sold" it here, where a similar (but different) case of forgery is discussed:
https://www.forensicfocus.com/Forums/viewtopic/t=15641/
Actually, the 1% would have private healthcare, i.e. pay twice.

This is directly analogous to private primary education: the wealthy still pay taxes to fund public schools, while paying addition for private schools as well.
35 Most Popular Freelance Websites to Earn Money in 2017
Tensors are a good example: In a proof you might want to do induction over the dimensions of a tensor. This means your type of tensors needs to contain all tensors of all dimensions. But working on the type of all tensors is not so nice anymore: a lot of algebraic properties do not hold, they only hold for tensors of a specific dimension. An example is the Tensor library in the Deep_Learning AFP entry.

Now in Isabelle most strutures are encoded as type class, but when your type is not anymore in the type class suddenly you need to proof a lot of theorems yourself, and the automation does not work as nice as with type classes. Generally, in HOL provers you want at least that your type at least has nice algebraic properties on the entire type. If this is not the case proofs get much more convoluted. Isabelle's simplifier supports this case using conditional rewrite rules, but it still does not work as nice as using type inference to handle this cases.

In dependent type theorem provers it isn't a problem to proof everything on tensors with a fixed dimension. When a proof requires to do induction on the dimension itself these kind of shape can always constructed in the proof itsefl.
Thanks a lot this was exactly what I was looking for :) sorry if the question was a bit fuzzy.
The linked page does not actually answer the question. Instead we get a long bicycle analogy that does not really map to systemd in any way that I can tell.

It would have been much more interesting to hear about what software had to be rewritten or replaced to support desktop environments like Gnome.
Medicare patients are more expensive because of who it currently covers: elderly and disabled people, two groups that use more services than the general population. The whole point of a single payer AKA Medicare for all system is to cover the entire population, which would (because math) bring down the average cost per person.
What are the odds they're traveling to the same hospitals that Americans travel to when they're seriously ill? I doubt that Canadians are hopping the border to go to Montana's hospital system - they're more likely going to the Cleveland Clinic just like someone from Texas would.
Ah I see, and yeah I haven't really used boot since I already got comfortable with lein by the time it came out. It sounds like they both work pretty well nowadays though.
If I ask you, "Where did Rob go?" and you, having never even heard of Rob, respond "he might be out cheating on his wife," it would be an arbitrary statement bordering on malice. Qualifying the statement with "but I'm not sure," doesn't help you, because even the suggestion of the initial possibility needs to be based on evidence.

If, instead, you know Rob well and you happen to have a general understanding of his schedule and needs, you might respond with "It's possible he went to the store; last night he mentioned he ran out of toilet paper." This is an evidence-backed claim.

A claim about the state of nature is the same. Your knowledge leads you toward certain avenues of research, so you might think, "photons have properties x, y, z, so maybe they can travel at .5c, let me look into it." However, it would be improper to base your research on whim, like "I think photons are little gremlins and they run really fast, but can they run slow too?" Such a claim is not a claim about reality, it is arbitrary.

Claims about the world must be grounded in knowledge, and knowledge must be based on evidence.
Speaking for myself, in college (2008-2012) I used an HP EliteBook 2760p. It was a very solid device and I was able to completely eliminate carrying paper binders/folders by using that machine.

The software I used for handwritten notes was Microsoft OneNote. It was even somewhat successful at translating my scrawl into text behind the scenes in order to make my handwritten notes completely searchable.
> Why would you imagine that?

Why do you imagine it wouldn't!? The portions of health care universally not covered by insurance are not subject to the same cost disease of the industry as a whole. Lo and behold, the real cost of eg. breast augmentation is declining (total cost of about 4K)! The cost of lasik has decreased ~50% over the last 15 years, current results are better, and the surgery has the highest rating of patient satisfaction in the entire industry! A similar result anywhere else in medicine in the US is completely unimaginable.

> Regardless... You must also then ask the question, whether a "truly free market health care system" would be ethical.

Nonsense. The important question is: 'would a "truly free market health care system" be more ethical than the current system'.
If you are not brought up in the tradition of SV startups, it is far harder than one can imagine. I've worked here and still get confused with the variation in terminology, requirements and preferences. I've a lot of empathy for anyone struggling with figuring this out - this information should be simpler and more accessible.
This reminded me of a passage on pilot checklists from The Checklist Manifesto by Atul Gawande:

> Commercial pilots have been using checklists for decades. Gawande traces this back to a fly-off at Wright Field, Ohio, in 1935, when the Army Air Force was choosing its new bomber. Boeing's entry, the B-17, would later be built by the thousands, but on that first flight it took off, stalled, crashed and burned. The new airplane was complicated, and the pilot, who was highly experienced, had forgotten a routine step.
>
> From http://old.seattletimes.com/html/books/2010737113_br08checkl...
> a good business just selling to Apple(servers), Facebook, AWS, GCP and Azure

How can other clients get in on this? My CS department (UK university) is wanting to replace servers (and extend ML capacity) and I've been making them wait until AMD availability becomes clearer (but I can only do that for so long...).

There's definitely a market here - if anyone from AMD happens to be reading this and would like to demo... though I'm not sure our volume would be quite the same scale as the above.
I struggled a while back trying to get FDE on an OpenBSD install, and I think I did eventually get it working, although it took a good amount of time and effort. For comparison, back when I installed Arch with FDE for the first time, I found the documentation to be more than sufficient for getting it working relatively easily. Given OpenBSD's emphasis on security and the fact that the installer already can autopartition the hard drive its installing to, it would be awesome if the installer supported FDE in the installation without needing to manually deal with all the disk commands.
> One of the main problems was the speed with which systemd was rolled out on all the major Linux distros, despite it being relatively immature and very controversial at that.

I agree this is a big part of the problem, and appreciate it being raised.

> All of this adds up to a storm of controversy that the systemd people mostly brought upon themselves

I think Systemd comports itself as project exactly like most free software projects do, including Linux. Linus creates a template and then rages about how he doesn't like it.
Another bad handwriting guy here. For me, the answer is "I have better things to do". Learning to cut out distractions on a laptop will serve me better (IMO).

Although in grad school I never used to a digital method of annotating papers and did it by hand anyway.
>I would think that private, competing companies would seek out better deals vs a single government entity who couldn't really negotiate

That's the biggest advantage of single payer, one buyer can negotiate better deals with suppliers because there are no other buyers. It's basically a reverse monopoly.
I'm not convinced this is insurmountable. How do countries with single payer handle this?

Surely you could require an newly established resident who wants treatment to pay a portion since they hadn't been funding it directly via taxes, and then add a further penalty if they move back out of state within a certain period of time (to discourage moving in-state just for treatment).
No worries - and thanks for pointing it out (I meant you weren't the first person to say this to me). It's worth the clarification.

It's an interesting differentiation in vocabulary between the games industry and what would be the wider technical community, in my experience - a "game server" is a simulation server when talking about it in the games industry. I should have made a note of that in the previous article.
It's still absurd to me that we make the false differentiation between taxes and insurance premiums. If you've got a family, neither is negotiable. If you have a job that pays, I promise you it affects your check in nearly identically the same way as payroll taxes do. There's a tradition in America where the price isn't actually the real price, we artificially advertise fake prices to get you in the door and stuff a bunch of surcharges on the back end. I wish we'd cut it out-- our taxes aren't crazy, but the way they're presented make people flip their shit.
> The NPE category includes universities and researchers.

Good point. Aren't they more likely to develop patents rather than buy them, though? Or are there more edge cases missing?
Not a bad idea -- I've only read his book on the formerly-Ottoman world (_Eastward to Tartary_, I think), but this sounds worth looking up.

Have you come across Tony Horwitz? He's goofier than Kaplan, but his writing scratches the same itch.
This is often brought up, so show the corrected or aggregate miscarraige and mortality numbers to get some point of comparison. Leaving it just open seems incomplete...

Edit: Absent more aggregated numbers, it looks like Canada records similar to the US, while also having some similar issues with a higher pre-term birth rate, and US rate is still 50% higher than Canadas.

http://data.worldbank.org/indicator/SP.DYN.IMRT.IN
It's the latter. It didn't take anywhere near 2 full years to integrate systemd into Debian, so obviously there's a far smaller number of people in Devuan working to undo that.

The whole systemd shouting match has been dominated by anti-systemd people who are the extremely vocal majority, happy to blog incessantly about how "evil" systemd is, but apparently not that happy to contribute their time to an alternative that's more to their liking.

I'm not a systemd proponent (or detractor), as I'm not a professional sysadmin and just use Mint personally, but throughout that debacle it was fairly obvious which side was the more religious and less rational, and also less willing to put their money (or time) where their mouths were. Consequently, without doing any deep research on it myself, I tend to believe the systemd proponents far more.
If you like this, consider Maher's series on Oregon Trail ( http://www.filfre.net/2011/03/on-the-trail-of-the-oregon-tra... ) and indeed everything else he's written.

I have read his piece on Monkey Island more than once.
Aren't unions the way to give labor pricing power? Of course the problem with Unions is that they are a big Prisoners Dilemma game. You need everybody in the union or the people outside of it undercut the whole system.

Globalism makes it extremely difficult to maintain unions without significant government support. Can you imagine a scenario where every textile worker in the world was a member of a union? How horrible would it be if they couldn't be kept as wage slaves and paid pennies per hour out in Bangladesh? Your clothes would cost more for sure.
>I opened up a word processor, focused my eyes on the professor's slides or visual aids, and typed everything I saw

There are studies that show that verbatim computer note taking is actually inferior to remembering the lecture content:

A Learning Secret: Don’t Take Notes with a Laptop

https://www.scientificamerican.com/article/a-learning-secret...
50 Ways to Live on Your Own Terms
How English sounds to non-English speakers
"2) if you can't pay, you die in the gutter."

No. It is simply false. Even a 100% free market does not exclude charity.
This is great, I guess I'm going "Prior art searching" right away.
If you get another opportunity to write, I'd like to ask Wolfe whether there exists an allegory with the present world Wolfe lived through e.g. The Oil Shocks in the 70s, the esotericization of Nuclear Energy, the half century unvisited moon. I want to know whether the "New Sun" is symbolic of nuclear power in the present. I wondered reading the book whether Gene Wolfe was writing of a Dark Age in the present because the very first few words out of Sevarian's record are "presentiments of the future", which I thought to be kind of telling given the historical circumstances Wolfe has lived, especially since he obviously has the mind of an engineer.
We Are Crowdfunding the New Card Game Designed to Destroy Friendships. AMA
My reason may only be applicable to me, but: it requires a change in behavior on my part but solves no problem I face. That's really all there needs to be to it for me not to adopt it.

(Though, I'm also a huge proponent of declarative init systems; I like both shepherd and PIES)
>I don't mind websites that have advertisements as long as they aren't intrusive, and my privacy is maintained

It would be a cold day in hell if google stopped tracking people.
Well, people are allowed to have opinions even if they dont' have the time, resources, or know-how to contribute to a solution, so yes, there may very well be "those who talk, and those who do".

I don't see what your point is.
I want proof. I only see numbers. Everything else is conjecture.

Transparency in healthcare + Single payer (by the government) = Efficiency

(see sources and explanation in my original comment)

So yes, putting the US government in the middle is what I'm suggesting. Or is the US government not a leading force in fighting corruption anymore?
Appreciate the reply, thanks! Any thoughts on my other question at the top of the thread - https://news.ycombinator.com/item?id=14746570
So the notion that any non-crypto company is considering an ICO in lieu of an IPO is pure speculation?
> 1. The mesh interconnect looks like a big loser for the smaller parts. It's a big jump up in complexity (there's an academic paper floating around which describes the guts of an early-stage version) and seems to be a power and performance drain.

Indeed surprising given that they had a few years to learn from the KNL experience.

Got a link to that paper?

> I have an upgrade budget and it looks like it'll be heading nVidia's way at this point.

Just for curiosity: what workload allows you to go with NVIDIA instead of Intel (rather than AMD)?
Curious as to why, out of all the hundreds of deprecated calls in the JDK, it was those six methods that got removed.
Product- vs. Service-centric Companies
I'm sorry, but what's the point of this?
This is not true, and can be trivially observed to be not true by counterexample, viz. looking at other countries that have a hybrid public/private system e.g. here in Australia.

Incidentally, "level of care" is almost meaningless in most first-world systems. The difference I experience, due to my private health insurance here, is not in outcomes, but in time to service for elective procedures, and access to private facilities (most notably a private room for overnight/extended hospital stays). And that time-to-service difference vanishes for emergency care.

EDIT: additional insider tip. If you have private health cover in such a system, and are being treated for a major medical issue, ask for a private room in a public hospital, because that is where our clinicians spend most of their day-to-day. If you are in a room in a private hospital, there are often no specialist clinicians on site. Whilst this may make no difference for most cases, any sudden complication may be dealt with much more quickly. This is possible in our hybrid system because the hospital is a separate institution from the state and happily does both public and private billing.
I mean, it is kind of strange that with one apt-get install, one apt-get purge, one apt-get autoremove, and one pinfile in /etc/apt, you can replace systemd in Debian. You'd think Devuan could just do that and redistribute or something.
I noticed that the article is speaking from a university perspective. I work in the high school realm, where teachers have more ability to reprimand students not on task. That seems to help students use computers more effectively, but at the same time it requires some effort on the part of the instructor.
I think devices like the surface pro have shown that we have the technology needed for more advanced io now - we just need proper CAD programs and symbolic math packages that work well with pen/touch input - much along the lines of original Sketchpad[s].

In the same vein, I think "notebooks" of the Jupyter style for R, mathlab or Julia etc - could be a great addition to many classes - allowing interactive exploration etc.

It's an odd time to think computers won't be transformative to learning (also in the classroom) - because we just got useful hardware in affordable packaging.

True, the past decades, computers could probably help better with writing projects - but I know of few places that for example simply let students cooperate on writing up projects with their own wikimedia instance - rather than using crappy dtp/word processors.

On the other hand, I don't think I knew anyone that got top marks on essays in high school who worked only by hand - it's a slow process to work through two-three drafts of a multi-page essay by hand.

[s] https://en.wikipedia.org/wiki/Sketchpad
TOR hidden service in docker for generating onion address Docker and GOLANG
> Point two would be a hell of an incentive to get insurance, by the by. Beats the hell out of some candy-ass tax penalty. "Young invincible bet wrong, got caught in some freak skateboarding accident? Sucks to be you. You an organ donor by any chance?"

It wasn't before, so it probably wouldn't serve as one in the future. The issue is that people aren't very good at estimating risk.

I'm young, healthy, and no one in my family has been in a serious car accident/gotten cancer/had a heart attack in the last 15 years. Obviously that happening is a low risk compared to the financial penalty of maintaining insurance today, so why should I worry? Besides, I'm sure I can get some kind of plan from an insurance company if something bad does happen[1]

[1] I'll be sure to look into the feasibility of this statement as soon as I finish all the other important things on my todo list...
> We either push back on all of them to make a more professional environment or we accept this is what we want.

This is a false choice. We can choose our battles as we please.
New Android malware will leak your private photos to friends unless you pay up
But they're the primary demographic that the class was composed of. The article used it as shorthand. In a broad way, sure, something more precise could've been "East Coast old money WASPs"
In that case, why would the person choose to do skateboarding? Also, does the individual has any family / friend / church support? If you have no family, no friend, not involved in any community, why do you risk yourself for fun? Because "the society" have to pay for your stupidity?
I keep waiting for the reasoned, technical arguments against systemd instead of veiled metaphors, complaints about its creator, or protestations that it's different.

I think @pmoriarty here just nailed it. It's not necessarily that "SystemD sucks" or that it doesn't do what it proclaims to do. But the fact that it's so monolithic (in practice, if not in principle) and subsumes so much of the rest of the system, and introduces so much coupling, is a very real issue. That switching from SystemD to $SOMETHINGELSE is a huge undertaking is, in and of itself, a problem.

The "Unix Philosophy" of "do one thing and do it well" isn't just a tagline. That philosophy is cherished because it's been proven to be valuable. Replacing init with something that moves away from that is certainly worthy of questioning, if not outright criticism.

Now maybe it's the case that SystemD is really just plain "so much better" that it outweighs all of that. I honestly don't know. But I can understand why people raise these issues.