skysight-inc/HackerNews huggingface dataset:
Imperative and functional programming languages have gone in different directions with respect to proving program correctness. I'm not sure one path is clearly better than another, they're just different.

The imperative world has languages like Dafny or Whiley, where functions are annotated with expressions denoting things that must be true, and the compiler does theorem proving to ensure that the constraints aren't violated. So rather than put things like "length of array A equals length of array B" into types, you put that rule into the code, and the compiler proves that the constraint always holds.

Unfortunately all these languages aren't really mature, whether they use dependent types or contracts. The imperative versions in particular often need you to specify constraints that are obvious.
The way that's worded makes it sound like they will go on to try again, but are very likely to fail again. It makes sense that that would be the case, but I don't think it's the point you're trying to make.
Desperation is on the rise. That map of suicides by state looks like a map of "flyover states" that are probably disproportionately hit by the downturn in manual labor jobs.
I agree. This is actually an unfortunate (but maybe necessary) side effect of the push for "look for the signs." I had a fellow engineer kill himself, and it left a lot of unanswered questions. However, he was very familiar with "the signs" and actively avoided doing things that would have tipped people off. He even pushed code and did some code reviews just hours before he died :-(
Whether or not it's obvious in the map, it seems to be true.

> By race/ethnicity, non-Hispanic whites and American Indian/Alaska Natives had the highest rates of suicide, with rates for both groups showing notable increases across periods [1999-2007, 2008-2015] (from 14.9 to 18.1 and from 15.8 to 20.0, respectively). Rates among non-Hispanic blacks and Asian/Pacific Islanders and among Hispanics were much lower, and showed comparatively modest increases across periods.

From https://www.cdc.gov/mmwr/volumes/66/wr/mm6610a2.htm
Agreed. Divorce is one of the most financially devastating events that can happen in one’s life. The longer I’m alive, the longer I recommend to people to never get married. Live together, but keep your finances separate (does not apply in community property states; watch out!).
> I don't know why they did this (easier to include?)

I wanted to use Datomic, but none of the languages I work in run on the JVM. Datomic Client is really the only way I could. (Though I also considered, briefly, reimplementing the entire "transactor" library for this other platform, since the transactor living "inside" your process really is a selling point.)
It's really interesting work! Just a year or so ago, the features in the energy spectrum appeared to be independent of burn-up, so it's exciting to see higher precision data coming in. No matter what, we'll get a much better model for reactor antineutrino spectra.

It's about a year old, but I like this talk from Patrick Huber (one of the developers of the new reactor models), in particular his "Score Card" for the various evidence on slide 25: https://absuploads.aps.org/presentation.cfm?pid=13003. I keep this in mind as I am updating my personal priors :).
I am a psychologist and to be honest, I think focusing on methods is well-intended but misguided because it leaves the pain but takes away the mechanism.

I'm not convinced that even eliminating firearms completely would reduce suicide rates as much as some think because people would find another means. Even the linked piece states "nobody knows what would happen if firearm availability in the US resembled levels of other developed countries." In countries where firearms aren't as available, other methods are more prevalent. I also think there's a lot of differences between the US and other developed countries along a lot of dimensions other than firearm use.

Even if it did reduce suicides, though, what does that leave people with? It's akin to saying "we're going to take away this only out for your pain without addressing your problems."

Sure, keeping them alive long enough might allow you to intervene and reduce their pain, but the fact that they are driven to suicide to begin with suggests something failed earlier along the chain.

What we want are people who don't feel driven to suicide, not people who are unable to commit suicide.
Speaking of the no-fly list...

I got tickets at the airport last week (cool little trick to save some money on taxes vs. online)...

The ticket lady told me some customer was upset with her. So she called over TSA security and was able to put him on the no-fly list. She just thought it was great! That blew me away. Someone can ruin a person's life in seconds. Punchline: be a good, politically correct person at the airport. Even the hint of anger could get one on the no-fly list.
> no way to put a number on how much you want something

Counter-example: I do it all the time. Ever heard of "revealed preference"? Sure there are weird human things like preferring A to B, B to C, and C to A, but I'm OK with a map not being the territory.

> a plan for forcefully intervening in an economy

All government choices are forceful interventions, whether a choice to act or not act.
Ok but what if it does not make sense from a business perspective in the mid or long term?
Modular construction is pretty big here in upstate NY. I've never seen a stigma against it vs stick built, and it does not appear to be a differentiator in home pricing here.
Socialism doesn't have to be more than a principle. In fact, every capitalistic system has it in some form. So I think your point is dully contrarian.
I have attempted suicide. I am frequently suicidal. I don't hesitate to comment on it in forums. I sometimes blog about it.

Most people genuinely aren't interested in understanding it. If they understood, they might feel compelled to treat other people better and that isn't on their agenda in most cases, basically.
Have you used Firefox since Quantum was released?

I switched back to Firefox around version 57, and the only 'performance issue' was initially having to re-learn stuff that was muscle memory in Chrome. Once I got up to speed the user experience is indistinguishable from Chrome - even on the crappy old netbook I sometimes have to use.

The thing that might kill firefox is the aforementioned shitty web devs with their bogus UA checks, Firefox having a history of bad performance/stability, and most people already using Chrome with no reason to consider switching.
Python has much better support for data anlysis/machine learning, but, honestly, I don't hear about django or other python web frameworks anywhere as much as I hear about rails. Have you got a source for your first point?
I see a HUGE performance difference. I use VS Code now exclusively, having moved from Atom months ago. But most of the rest of my dev team is still using Atom. Every single time I've worked with one of them and used their machine one of the first things I notice is how much slower it is. We're all on Mac. And this happens even with folks that have much more powerful machines then I do.

And to your other point: I never even _notice_ it's Atom at first. They are so very similar visually, so I'm not sure I agree that the difference is in the UI. The thing that always tips me off that I'm using Atom is the performance, without a doubt.
Elephant poachers shot dead by rangers at wildlife reserve in Kenya
>2. Avoid creating or reinforcing unfair bias.

They DO realize that the YouTube recommendation algorithm is a political bias reinforcement machine, right?

Like, I think it’s fun to talk trash on google because they’re in an increably powerful position, but this one isn’t even banter.
Sorry, are you referring to the dictatorial planned economies of the soviet union?
It looked interesting until I saw it is yet another Electron app.
That is true.

There could be even other causes. Living in an area with less dense population affects one's outlook in various ways.
I like this statement because its vagueness has apparently allowed people with diametrically opposed viewpoints to both view themselves as the victim and the other as the perpetrator. I am not sure how to fix that, but it certainly seems like everyone is feeling persecuted regardless of any objective reality and that can't be good for us.
In this case the "game" is outright corruption and quid pro quo.

This is not a game without consequence.
Instagram (was) sending all bio links to instagram.com
Appears to be fixed now.
My house is 65 years old, built like this. The wood's kept dry, and the rest of the house is just gypsum, wire, and pipe.

As long as the roof and exterior walls hold up, there's not much to it. And the roof you change every dozen years or so.
Cryptocurrency   exchange   huobi   wants   to   become   decentralized
Makes sense. Unfortunately, the use of "them" instead of "those" in this case (actually, in many cases) is grammatically incorrect.

At the very least this usage would cause the listener/reader to assume that English is not the speakers first language, or assume a lower level of education.

Not meaning this to be a discouragement, but hopefully, a help
Actually it's more genetic than the environment.
If I'm understanding correctly, you can use enums in rust to recreate the same, though it would be slightly more verbose.

enum MyErrorSet {
NotFound(ErrorKind),
SomethingElse(ErrorKind),
}

If you don't care about propagating the original ErrorKind then that's just

enum MyErrorSet {
NotFound,
SomethingElse
}
<script>alert("xss")</script>
You're kidding, right? Many people were forced into the US, and not allowed to leave. The descendants of those people are natural-born citizens. It's their country too.
Amen, and thank you for saying this. Simply being kind and smiling can be one of the most powerful things you can do. The kindness of a stranger, even just an anonymous name on the internet, can literally save lives.
Can you really build an AI that can identify bad guys? What if it's a good guy in the wrong uniform?
That begs the question.
We already know what causes anxiety, depression, and lack of purpose. But reducing those would mean reducing the motivations for what keeps much of the economy functioning.

Society depends on the premise that suicide can not and should not be understood.
Buying GitHub takes Microsoft back to its roots
Socialism together with some capitalism is really the way to go. Having one of them totally uncontrolled to an extreme level is what leads to problems.
> Don’t want to see autopilot disabled as a result of this

I would. I think any self-driving system that expects the "driver" (passenger I guess) to take over in tough situations is bound to fail again and again. If people feel like they don't need to pay attention they won't no matter how much they know that they should.

I think that partial autonomy is a sort of uncanny valley, either side is much safer.
I'm not finding any breakdown of suicide rates by age, which would be useful especially comparing to the previous period they measure.

In fact, I'm unable to find which exact baseline period and the "rising" period they refer to. The article only states "from 1999 through 2016" but one of their data sources only started collecting data in 2003, in a limited number of states (16 in 2010, 18 in 2014): https://en.wikipedia.org/wiki/National_Violent_Death_Reporti... . Others like the NIS (https://en.wikipedia.org/wiki/Healthcare_Cost_and_Utilizatio...) started collecting earlier, 1988 in this case, and it's unclear how they aggregated this data together.

I'm aware that best-case approaches to disparate data such as this is often as good as it gets but I'm uncomfortable with how it's being described without being able to see the methodology the analysts used.
I'm not really making a point. Making comparisons like this or the OPs flagrant political comparison is silly at best and completely dishonest at worst.
More interesting might be shifts in party affiliations, also listed in that link.
In USA I don't think it is because the end use is transformative [1].

In UK it would be tortuous because it relies on Fair Use to temporarily store the images in order to extract the facial structure data. Fair Dealing is really draconian in comparison.

[1] https://www.lib.umn.edu/copyright/fairuse
- Yes : Directly responsible for death. AI is likely not the only means to have stopped those 'bad-guys'.

- Depends : How humans choose to spend their lives is their own issue. Personal responsibility dictates it is each individuals choice how to live their lives. Youtube is not some resource needed for life.
How data is acquired, analysed and used to influence you in political campaigns
I believe that they axed the mac product, then ported the iOS implementation to the Mac -- which makes perfect sense even if it was effectively a regression for those folks who had been happily using the desktop version.

The new version looks amazing, even if it may still be technically a regression in some nooks and crannies.
We only call it AI - creating an autonomous ML system that is designed to kill anyone can lead to us all being killed by math and plastic - it's a singularly bad idea, so much so there is no scoring mechanism that justifies it - too much chance we end up with this -- https://youtu.be/9CO6M2HsoIA
They circumvent this by using the word "avoid."
Avoiding and not doing are two different things.
>>Private solar energy will also reduce costs of maintaining a grid, reduce odds of widespread power failure

You have claimed this multiple times in this thread, but I'll need a citation to believe this. How, exactly, will residential solar make maintaining the grid cheaper? The houses are still tied in to the local utility, so unless you are trying to claim that what causes maintenance costs is literally the amount of power flowing through the wire and not weather/age then I don't believe this for a second.

Edit:typo
I concur. This post seems to be specifically targeting the negative perception the resignations were generating.
The suicidal feelings are generally temporary. Only 10-15% of people who unsuccessfully attempt suicide try again successfully. The linked study shows a high percentage of causes that are temporary like relationship trouble or crises within a one-month window.
When a company agrees to a contract, they are expected to abide by the terms of that contract. Why should unions be disallowed from forming exclusivity contracts when every other type of organization is allowed to?
It's pretty hard for a privately-funded company to compete against dozens of state-sponsored companies that receive government funding for the sole purpose of driving out their foreign competitors.
>I can't conceive of anything that would reasonably replace diesel for outdoor heavy equipment, either.

Believe it. Heavy equipment is a prime candidate for electrification. Mining companies are already using electric dump trucks in production, and they are incredibly more efficient because of regen braking with the mass differential of unloading at the bottom of a hill [0]. Literally anything that isn't dependent on the energy density of hydrocarbons will be electrified in the next few decades. That leaves basically aircraft and spacecraft as consumers outside the petrochemical and energy industry.

[0] http://revolution-green.com/worlds-first-electric-dump-truck...
I wished they could define and clarify what "harm" means.
I think a lot of it has to do with law and education. People in a bad situation hundreds or thousands of years ago were probably far more inclined to use violence to improve their lives. Banditry and similar were far more common. Combine this idea with less awareness of abstract ideas and dealing mostly with concrete things probably meant that people were less worried about larger concepts such as their life as a whole and were more worried about tomorrow or today. You're probably less likely to fall into negative thought patterns that way.

The other thing is that people back then weren't wealthy enough to not be constantly working. Becoming depressed and lethargic would probably mean starving in winter. So the people that did become this way probably died off for hundreds of years.
The fine will be used to educated and nurture so many US labors. Look what our president negotiated for us. MAGA. From mid west.
So was the “Don’t be evil” principle or mantra that we’re all disappointed about documented in a blog post? For some reason I thought it was on a page like this: https://www.google.com/about/our-commitments/

Either way it’s just a statement on a webpage which has all the permanence of a sign in their HQ lobby. It’s going to be hard to convince people that statements like this from a Google, a Facebook, or an Uber really mean anything — especially long term.

Will their next leadership team or CEO carry on with this?
A platform to create, edit and share JSON objects
Ah, I probably misinterpreted the group they were talking about.

Most of the time I hear people claim that someone else objects to someone's "existence", the person is claiming that people are objecting to the "existence" of homosexual or bisexual or transgender persons. So, with there seeming to be a correlation with red states, I thought maybe the comment was saying "That is because there are a bunch of hateful ___phobes in the red states grrr!"

However, I probably should have picked up on the part of the comment that talked about the unchangable property being treated as "violence", and realized that that likely implied that the group imagined to be saying the quote was likely, uh, the group that tends to define "violence" in weird ways to include things that they believe are bad in general.

I suppose my first interpretation of the comment also didn't fit particularly well with the increase in the rate being primarily among persons who are (considered) white.
I don't think it matters how exceptional or unlucky the specific situation is. A system that "punishes" bad luck like that is at some level fundamentally broken.
How does it get this pic from that angle? Or was this taken right after it landed?
All of us have those kinds of problems. I've been laid off, paid a tremendous amount of cash for dental work (growing up with poor dental health sucks), and have no meaningful help from relatives (quite the opposite, they're a regular financial drain because they need constant help.)

I remember being so poor growing up that I used my first paycheck to buy a loaf of bread and a tube of cheap sausage and it was the first time having anything approaching a real meal in a few days.

Costs happen. Kids get sick/injured, cars get damaged or break down, taxes only ever increase.

I save aggressively, consistently live below my means (not miserly, but frugally), do all of the home maintenance and car work I can do safely and legally, and cook almost all of my meals at home from relatively basic ingredients.

And you know what? I have a pretty damned good life. I had to move across the US to a place with a lower cost of living and better job opportunities. My wife had to switch careers. I had to work several years at crappy jobs.

When you buy a thing, evaluate it's lifetime cost. When something breaks, fix it quickly and correctly. Avoid unnecessary costs. Prefer mending to replacing. Save for the unexpected, and then save some more. When dealing in dangerous waters (legal troubles, real estate, complex investments or financials), hire a skilled expert, even if it means lowering your quality of life. Keep enough insurance, and do the work to get multiple quotes or bids for any kind of job.
I wonder who downvoted this. It is statistically true and anecdotally, it is easier to keep relationship cool when you are not in constant stress from lack of money or hungry or simply can leave job if they treat you badly in this one.
>>$10-20k is very little a 30 year mortgage. If you're buying an expensive house than that then you can definitely afford the baseline cost of solar panels. If you live in an area with high housing prices and can't afford to buy then you're renting, and the costs of solar installed on multifamily is shared across all tenants. The cost of solar panel production and installation will drop as processes become more efficient, and solar panel production costs are (were?) being halved every year or two so the $10-20k price tag will continue dropping despite tariffs.

That statement doesn't make sense. You have to compare the net present value of an upfront investment with the electricity savings over time. If you amortize that amount over 30 years it doesn't change the fact you made the upfront payment, you just pay the bank extra money (interest) for the privilege of differing payment.

>>Private solar energy will also reduce costs of maintaining a grid, reduce odds of widespread power failure, and reduce costs of environmental externalities of other forms of energy production. California is also pushing hard for electric vehicles. Solar powered electric vehicles reduce reliance on oil production and imports. I don't live in CA but it seems to me they're playing the long game by reducing government ownership/operation of energy systems while reducing the costs of energy for all Californians to a low equilibrium state that reflects the cost of solar panels, which will drop over time. I wish Texas were more interested in these kinds of programs rather than bathroom legislation.

None of that supports the claim that it is a worthwhile investment to install solar panels on homes. It doesn't follow logically at all. Externalities are the exact reason regulations exist. If you want to argue that the cost is worthwhile for society do it, but none of that has anything to do with the price to a homeowner of installing solar panels.
The market for driverless cars will head towards monopoly
Nah according to DannyB2, if you are _conservative_ you are more likely to kill yourself. He knows because he saw it on a map.
Just look at the outlook people had in the Soviet era. It's really not that better than what capitalism gives you.
Meanwhile we've had multi-hundred video group chats via Camfrog since 2004.

Apple certainly is moving slowly, here!
I think the argument is more so that the military killing 'bad guys' will protect 'good guys' in America long-term, if not civilians local to the country in question.

Not commenting on whether that's accurate; just trying to better articulate what I believe is the above poster's philosophical argument.
According to https://afsp.org/about-suicide/suicide-statistics/ younger Hispanic people are much more likely than young white people.
Supporting someone or an idea they believe in.
I agree! I'm generally a pretty upbeat person but seeing people smile is still uplifting. I have kinda a naturally scowly face but I try to smile when I'm outdoors and its occasionally contageous.
A comparison to helm would be nice
No, I just want to see who says they are a hard R or D and really vote middle of the road. Perhaps the site could let me vote too to see where and or who I agree with best.
By tomorrow, this functionality will be removed, and only Instagram business accounts will be able to have links in their bio, for a fee.

(I don't work for FB - this is just me being cynical.)
I assume the shell and racks will still be worthwhile in 5 years
> Having security and surveillance on our ports of entry seems entirely reasonable to me.

Having "ports of entry" as a concept seems entirely unreasonable to me.

I can travel between Bristol and Manchester without having to justify myself to anyone, prove who I am, etc. and I don't see why I shouldn't be able to travel between England and Canada under the same circumstances. Everyone in the world is an equally valid human being. How can one human being say to another "you're not allowed to exist in this public place unless you've got the correct paperwork"? It's barbaric.