skysight-inc/HackerNews huggingface dataset:
It's not only that Rust allows formal verification, it's that it does it by default, writing unsafe Rust code for no serious reason is fundamentally frowned upon, and even then there is a serious effort to bring some tooling to bring more confidence even on "unsafe" Rust code.

> But I suspect the truth is that "njs was right", and I hope the it's sooner rather than later.

I'm not sure. The problem can and has been solved without the manually "pass the nursery object around" ""escape hatch"" for the general case of threads (because no: having the execution of spawning functions delayed by the lifetime of thread is arguably reasonable is some cases, but certainly not the general case of what threads are useful and used for)

It is still useful for tons of existing languages as a pattern anyway, but only if the use cases are suitable.

But the author is focused on a narrow use case of threads (and a narrow subset of the problems they introduce), and present their solution as a general truth and new fundamental control structure of computing, independent of already existing, in production, and arguably better solutions; and independent of analyzing the new problems their silver bullet introduces.
SMS fallback can be easily disabled.
I have been parts of projects which failed just because the manager refused to accept that developers' need uninterrupted time to start and warm-up to achieve full speed in their daily routines.

Add micromanagement into this mix, and the environment quickly approaches to real-life-dilbert.

Addenda: Obligatory dilbert: http://dilbert.com/strip/2018-04-21
On Linux, the linkat(2) function can link up open files using an empty origin path and the AT_EMPTY_PATH flag.

That’s not part of POSIX though.
> Pattern matching can be quite powerful, e.g. in C# (which I wish was more indepth / more featured, it still feels a bit immature :( )

C# doesn't really deserve the name of pattern matching, just a type-based switch (with guards), you can't match on values let alone destructure them.

> Ugh, how do you format code?

4 spaces indent.
Carmakers face higher mpg fine
I think it needs rephrasing. There's a lot that can be argued when you phrase it as "counterfeit restore discs", but it's open-and-shut trademark infringement. I know that's not what Microsoft was arguing, but in reality that's closer to what the judge ended up going with when you account for the reduced "cost" per disc.

Like he said in his defense, if he had labeled it "Eric's Restore Disc" instead of putting the Dell and Windows logo on it, he probably would have skirted any real repercussions.
Mostly I believe this too, but I am familiar with some people who can consistently make money year after year. From talking to them it becomes clear that they understand things very, very deeply.

See /u/Fletch71011 on reddit-- he's always happy to discuss things. He's made millions trading options, mostly algorithmically as I've understood it. The methods he uses are sufficiently complex that you need to be very well acquainted with the intricacies of derivatives to follow along, but basically he trades volatility instead of price movement. Regardless of whether the price of the asset goes up or down, he makes money. In his opinion, it's foolish to try to trade price direction, and you're basically flipping coins and likely to lose money.

I tried understanding what he was doing and abandoned the attempt. I had to conclude I was not quite so clever as he.
What if even with the amazing price reductions achieved by deregulation, charities still can't cover for all uninsured patients?
I’m constantly flabagastered by what’s considered novel in the world of MySQL.

But then I remember this is the database that lied (lies?) about ACID transactions, and had no problems storing non-existent dates in a DateTime-column because its creators considered ensuring data-integrity and consistency “the job of the application layer” (which back then often was PHP).

Nothing should really surprise me.
there's a lot to unpack in that statement. A good problem is good for many different reasons: it's not enough that the problem be an important one, it should also be the case that you have the techniques and knowledge to solve it; otherwise you'll be banging your head against the wall without success.

As a student, you might know that a problem is important, but you might not yet have the tools to solve it; you might not even be aware of which tools can solve it.
I don't understand why you're getting downvoted. The way the system works right now, I don't think the hospitals really have a choice. I'm hoping this new cost-transparency will raise more awareness at the patient-level which will in turn push for more discussion.

There ARE a lot of alternatives to the current system. Canada, France, the Netherlands, and Singapore are good examples to look at--very different systems, all far more cost-effective than ours.
Announcing Origin Protocol’s successful strategic round
False dichotomy. Please try to avoid logical fallacies when posting.
Not really. It is much more common and much easier from a business operations perspective to simply increase premiums or deny coverage, especially because a lack of competition means that consumers will have to pay the premiums no matter what. If a price hike causes the premiums to become unaffordable the insurance company actually benefits because they no longer have to endure the cost of providing benefits but they get to keep all the money that was paid before raising the rate to a level that the consumer could no longer afford. This is in contrast to healthcare providers which have a much better negotiating position because they're the ones actually providing the service that the consumer actually wants for the money that they're paying, so trying to get them to lower prices ends up being a much more difficult and risky negotiation.
Would I rather this market decide if I die from a treatable illness? No way.
Rockefeller University is an impressive research outfit, but not a) a pharmaceutical company or b) a treatment center. It deals more with moonshot basic research that most people won't benefit from for a few decades (e.g., Oswald Avery's early work on genetics) and doesn't directly affect the plight of the poor and underinsured.

Having worked in non-profits extensively, it's also disingenuous to claim that non-profits answer to anyone other than their primary donors, whose priorities are frequently not aligned with regular people.
I'll speak for myself. I meant what I wrote; putative opponents of 'socialized' healthcare are not, in fact, ignorant of the endemic cost shifting that occurs in medicine. My intent was to satisfy my probably foolish urge to disabuse people on the Internet of their cherished strawmen. Unfortunately I haven't the time today to indulge that compulsion further, so I'll bid you all adieu.
This makes sense in theory, but the healthcare market isn't a great example of a free market. One example, especially for emergency care, you don't have many repeat customers (I realize there are exceptions). Word of mouth doesn't travel very far, even if people had time to examine reviews on Yelp. People aren't educated enough to understand if they received quality care or not anyway, beyond bike shedding (ie. bedside manner). If you receive poor care, you don't typically have options when it comes to getting a refund.
Well, for money, they can bend their knees.
Nope, the old mysql was extremely stupid, but the postgres behaviour wasn't that smart because it refused anything not in the group by clause (even when constraints on the table ensure that everything in your select clause can in fact be determined from the columns used to group).
> A process has much higher overhead (both in time and space), more complex communications and is not always possible in the first place.

This can change if OSes start optimizing for the proposed convention.

> It also adds complexity to the build pipeline.

At least in C/C++ it doesn't. But again, this is also easily solvable if we want to.

> You wouldn't spawn a process for the rendering/input/physics/network/job/loader threads of a game engine for one.

Why not? In my mind, if you need 2-way communication between 2 threads, they should be siblings. If they need one way communication, there should be a parent-child structure. If they need no/minimal communication, they are better off as processes. I don't know which categories each of the threads you named fall into. I realize that this approach will require extensive redesign of existing software, very much like the elimination of goto required.

> You can't spawn processes from a web app either.

No reason for it to stay that way.

> Threads are actually pretty darn simple when you have either immutable data or uniqueness constraints. Deterministic parallelism is also very powerful while preventing all sorts of nasty bugs.

I won't pretend to know all those words :P I just think the article's proposal has some merit and we should consider it.
>
> In internet routing, the most specific always wins

So is this flaw Amazon's fault? I think not. Even your accepted mitigation doesn't fix the hole completely. It's still an internet problem.
Do you have to go all the way to Beijing for that? I feel like the root is more Silicon Valley monoculture than East vs. West.
The word would likely be anticipation

https://www.google.co.uk/amp/s/dictionary.cambridge.org/amp/...
I'm not a lawyer, but surely their face must be identified to be covered? A random face in a crowd is not identification of a person...

That's like screening all your binary executables for accidental inclusion of someone's name in ASCII amongst the bytes.
> so make switch first class?

No. That would make the actual switch statement a value, rather than make switches expressions. And your version is completely different as you make cases into guards rather than labels or patterns.
In my mind there are several valid options out there now:

1. Regex style:
new match(input, options);

or built in function
match(foo, bar);

or like switch
match (foo){
cases

}

But, to have the switch statement syntax and return a value seems like a less than good way to implement this.
Well they lost me at the callbacks... if go statements are harmful and callbacks are not then I rather prefer the harmful way.
In many cases it made more sense to claim one of the sixteen or so reasons for exemption from the penalty than to even pay it...
> the defendant wouldn't have made $80,000 worth of discs that had no value

To be fair, arguing that someone you sold has no value is a bit hare-brained.

All that said, this is a side show. The criminal sentencing resulted, principally, from his using others' logos without permission on a product he sold. The combination of infringement and commerce is apparently something our laws are paranoid about.
This programme is all Python in Jupyter, backed by Azure. You can use their hosted one or spin up your own with Conda.
The single most important thing for the US to do right now, is to considerably bring down the per capita spending on healthcare, by reducing the cost of everything in the system. It must be hammered down, belligerently.

We have to slash at least $1 trillion in healthcare spending.

Everyone in the healthcare industry is going to be extremely upset about that. It will all come directly out of their pockets. That will include doctors and nurses, middle class people working in health insurance, biotech companies, medtech device makers, you name it.

As you bring the cost down, implementing broader socialized medicine than what the US already has (half of all Americans are getting some form of government healthcare coverage), becomes that much easier and cost effective. As costs stand today, there is no way the US can afford to implement the style of socialized medicine that Canada or Britain have - we're spending twice what they are per capita. The Democrats in California recently looked at implementing universal healthcare for the state, they immediately walked away from it because it's financially impossible at current costs.
The one attack that I can see it blocking is that it allows for 100% untraceable monitoring [edit: of the deadman's switch by the the system-that-should-send-the-message]. Since every bit of data pushed to Ethereum goes to every single full node, you can't find out who has the keys to the secret data and will release them.
The difference is that you can look at function, see it takes no nurseries as parameters, and know it does not spawn any background tasks. And if it does take nurseries, then you know it's likely that it does.
Back up! Sorry.
I'll probably be flamed into the ground for saying it, but I do get a pretty reliable mood lift from drinking alcohol. That's not a great long-term strategy, but if the alternatives are making it through another day and not, it's a useful tool to have in your bag.

Addiction, of course, is a real concern.
Local theme parks and pools will generally have lower costs per hour than movies. ~25$ per hour is still quite expensive.

Six flags for example is $25 or less per person to get in + food etc, but you also spend a lot more than 2 hours there.

Snowboarding / sky trips can also be fairly reasonable per hour if you own equipment and bring food.
I think it would just be anticipation.
I'm in the other camp that prefers watching at home. My tv screen is higher image quality resolution and contrast than most theatre screens. My speakers aren't as loud but they also aren't as aggressive. I don't enjoy hearing people chat during the movie. I don't like sitting in sticky seats.

I do agree with your point on Nolan and his are the few times I will get the IMAX 70mm ticket and see his movie on a screen that is 10 stories tall or whatever.
Those gory details I've mentioned in the article.

This is how standard SQL JSON_OBJECTAGG works:
https://modern-sql.com/blog/2017-06/whats-new-in-sql-2016#js...

It can actually do much more:

<JSON object aggregate constructor> ::=
JSON_OBJECTAGG <left paren>
<JSON name and value>
[ <JSON constructor null clause> ]
[ <JSON key uniqueness constraint> ]
[ <JSON output clause> ]
<right paren>

This free technical report of ISO has some examples: http://standards.iso.org/ittf/PubliclyAvailableStandards/c06...
Do you remember what the actual cost of the visit ended up being?
Medicare reimbursement is generally fixed price based on diagnosis (DRG == diagnostic related groups)

Table 5 here shows a "weight" . That's the number of units of reimbursement a hospital gets for each particular diagnosis / procedure / whatever. (LOS is length of stay) (CC is complications) (MCC is major complications)

https://www.cms.gov/Medicare/Medicare-Fee-for-Service-Paymen...

Hospitals negotiate with CMS the number of dollars per unit of weight. Sometimes aggressively. It would be good to have that number of dollars posted publicly and explained. Does the hospital hate serving Medicare patients because they don't make enough?
> More worryingly, however, is your response to the critiques of this thread. If my concerns were so wrongheaded and just so darn disagreeable, shouldn't you have simply ignored them? Or wait and see if they were validated by others?

I found the response to be quite reasonable, and certainly not worrying.

Why would it be a good idea to ignore people that disagree with you? It seems like it would be better to provide rational counter arguments, in the hopes of starting a useful discussion.

I have used Redux on a few projects, largely due to the hype (I.e., good recommendations from others in the community) surrounding it. Without intending to I ran into several discussions on SO and Github where Dan explained why people may not need redux. I think this is a very nice thing, and I think it is unfair to blame Dan or other developers for not reining in the hype more.

I do agree that the title of the article is a bit alarmist and perhaps counter productive.
This would take effect in 2019 if passed.
C's switch/case is essentially a special case with a limited set of values (literals) and no destructuring. You can extend it to less trivial patterns and blam pattern matching.
I particularly recommend Adafruit for dev boards, because their tutorials are just so good, and they have one for pretty much everything they make.
Please don't take HN threads into national/political flamewar. Regardless of how correct your atrocity assessments are, this is off topic and violates the site guidelines.

Others have been violating the guidelines in this thread too, but at least the other subthreads haven't gone completely out to the generic political sea.

https://news.ycombinator.com/newsguidelines.html
NYSE suspends trading in Amazon, Alphabet due to pricing issue
the Surgery Center of Oklahoma already does this. I'd expect some of these prices are below the deductable of many plans or at least much less than you would get charged if you went to another hospital without insurance.

https://surgerycenterok.com/pricing/
We have lots of examples of governments doing this with ranges from poor to fair to good results. To my knowledge, the US is the only widescale attempt at market-based health care, with results of 2x the OECD average of health care cost per capita [1].

[1] https://read.oecd-ilibrary.org/social-issues-migration-healt...
Definitely the government.

People with severe disabilities may not be profitable, but I'd still like them to have the option to live.
In this case cost does actually equal value. There's zero inherent value to these discs without a license, so if you already have a license the value of the disc is the time it takes to burn it plus the cost of the disc. If you don't already have a license, the disc is worthless because it won't work without it.
I've taken up fasting recently as well. I can't speak to effectiveness wrt depression, but as someone who's been overweight for years, it's really helped with my relationship to food and how I eat. The realization that just because your brain is telling you you're hungry doesn't mean you need to eat was really important for me and it's given me such a feeling of control that no other dieting or calorie-restricting scheme I've ever tried has.
Here are my brew install files:
https://github.com/sixarm/sixarm_brew_install
I would argue that healthcare is not a right. But most of the comments here seems to leave only two choices: all or nothing. Just because someone is against socialized, universal, or free healthcare does not mean that they want people dying in the street. They just see the argument as a lot more complicated. As crazy as it sounds I think we should do away with health insurance in general. I think that would do more for cost control then any scheme the government could come up with.

I do believe that making hospitals publish their prices would be a good start. The first thing I think that would do is bring to light the difference in price between paying in cash versus using insurance. From there we could make arguments why the same service has a 10x to 100x difference in price depending on how or who pays for it.
I'm very confused by your response here.

I've found a nice niche answering people's questions about React and Redux. I spend a lot of time in the Reactiflux chat channels, as well as a variety of other platforms (Reddit, HN, SO, Twitter, etc). I see questions, my natural impulse is to try to respond and answer them.

Dan Abramov and Andrew Clark created Redux, but now both work at Facebook and are no longer active maintainers. Dan handed over the keys to Tim Dorr and myself. While we don't have any formal division of labor, the typical pattern is that Tim takes care of most of the actual code tasks (merging fixes and publishing releases), and I handle most of the docs stuff and interact with people using it.

None of us have any particular veto over what the others do, and I don't see why I should have "run my post by them" before publishing it.

Yes, the article's tone was defensive, because I've been seeing the same questions, concerns, and FUD get tossed around. So, I was trying to answer those questions and clarify the situation. Most of the feedback I've gotten on the post has been quite positive, along the lines of "Thanks for helping clear that up!".

Maybe responding to you was a bad idea. I dunno. I just get frustrated when I see people complain about things without actually trying to make them better. As my mom told me dozens of times growing up: "You've stated the problem, now state the solution".

So, I'm not "lashing out", and I'm not saying your concerns are "wrongheaded". I'm trying to understand what the actual specifics are that you're concerned about, and find out how we can make things better going forward.
two hacks that work without too much effort
- cold water in the shower
- intermittent fasting
Yes, I agree. Thoughts affect your feelings, but often it isn't obvious because there can be a delay between thought and feeling. Also if the thought or belief is something that has been running in the background for a long time, something your dad always told you, something like that, then the thought can be hard to even see, it just blends in with the background.

Journaling therefore helped me, the disciplined kind where you write down all the thoughts you're having, at least to do with something that is bothering you. Then after each thought, you further journal by sharply analyzing the thought: basically, is it true?
If this isn't just another tool used by the powerful to the oppress the weak then it will be a milestone in human history.

The rich and powerful in China have nothing to fear from this.
Along with the good suggestions here I would add try to face the issues that make you unhappy. Somethings have no answers but sometimes there is and you have yet to find it. Also is your depression cyclical? Could be a mood disorder like bipolar depression. Psychiatrist can figure it out. Be honest at the doctors office. Your word is usually all they got to go on.
The potential for abuse of a "social score" system seems even higher in countries without strong liberal-democratic traditions or an educated voting population. Politicians in India already abuse their oversight of the police to sidestep the legal system. (The classic case of the "son of the MLA" who commits a crime and gets acquitted because of his father's political power.) It would be easy enough to reduce the social scores for opponents or critics of the politicians in power. Hell, there have been arrests in India based on Facebook posts. Not to mention virtual mobs threatening vocal citizens on Twitter. At least these instances are visible. Someone could silently add some bogus stuff to your "social score" file, just like credit reports can contain false information. A "social score" system would just replicate corruption and illiberality on a large scale. From the perspective of those in power, it would be a good way to control people.
while they are error prone a larger number of true results has been found than false results (according to recent research the ratio is 2:1 reproducible to non-reproducible)

It seems odd to talk about "results" as an average across all fields, rather than for a specific field. It's much more common for people to claim that psychology rather than physics has a reproducibility crisis, and thus I don't think it makes sense to talk about the combined reproducibility across both fields. What research are you referencing, and what fields did they look at? Given the differences across fields, if the average is 2:1 reproducible, I'd guess that some fields must be lower than 1:1.
It was originally called the Microsoft Professional Degree, but they rebranded it to Programme, presumably after some negative feedback
> The judge said he disregarded Weadock’s testimony

That testimony seems irrelevant to the charge which resulted in the jail time. Theoretically valueless or not, the discs were sold with an infringing logo. That combination--infringement and commercial intent--is a crime under our laws.