skysight-inc/HackerNews huggingface dataset:
The 99PI episode is great. It goes into a bit more detail about how it's not only important to develop these food technologies but also get the overall food industry to adopt them as well.

If a war does happen, the manufacturers are already prepared to ramp up ration production.
Hmmm.

What would you recommend for the instance where someone's emailed hn@ycombinator.com and hasn't gotten a response?

I suspect it's something I said, I'm just unsure exactly what. I asked about the posting and API ratelimits, the reviewer idea mentioned at https://news.ycombinator.com/item?id=11662380, source release (notwithstanding the voting system, which is fine), and other curios. I don't think I said anything offensive.

I have successfully gotten in touch in the past, so I'm just not sure what to do. The email was sent on the 27th of April; I just checked my spam folder (I must admit I didn't until now...), but I don't think gmail would have deleted any incorrectly-filed replies, since they'd be less than a month old.

I'm not complaining or trying to create drama, just curious what to do next. My fear is that it's not possible to answer the "what did I do" question due to social context and so forth (a hole I've fallen into many, many times due to communication perception issues).
I think you're right to point out that the people in the UK deserve what their elected representatives bring upon them. As their manifesto points out, they want to be world leaders at bringing the internet into parity. As you say, prosecutions for publishing silly comments do happen as a consequence of this process.

I don't think anyone's surprised by the proposal, just part of the small minority who would rather not have the government intrude on their space. From a practical standpoint the legislation risks making social networks prohibitive to run, and will make it financially and/or legally intractable to do things like run forums or possibly any website that publishes news or has a comments section.

Any move by a government to regulate the internet will always be viewed through the lens of this minority as an infringement on a space where ideas should be free, controlled by an actor that shouldn't be trusted and can't be removed (i.e. no Second Amendment) if it's caught abusing its powers.

>> They also remove the need for there to be a victim of a crime.
> Could you explain what you mean by this?

Online hate speech has been prosecuted when it was targeted at a dead person.

> I think a lot of people behave as though the discourse they engage in on social media is as if it is in the pub, but it is simply not the case. The existing laws regarding on-line communication encompass anything that is 'published' online and people do get prosecuted.

While true, this is an example where the line isn't concrete. If a pub is full of people being unpleasant or talking about things one doesn't want to hear, one can simply leave. Targeted abuse is different to being uncomfortable about topics one is voluntarily eavesdropping on.
What it costs a business to pay a wage and what an employee receives as a wage are not that tightly coupled. An important analysis is how these two numbers vary relative to each other. Business costs track economic productivity and employee output pretty closely in competitive markets. The wage is what is left over after all non-wage employment overhead costs have been accounted for.

If the business cost of employment is growing faster than wages, which I believe has been the case for some time (and anecdotally matches reality in my experience), then the culprit is a non-wage cost that is growing even faster than the business cost that will keep a company solvent. Employee wages are net of healthcare, new regulatory costs, etc. Healthcare cost growth rates the last several years are probably by themselves sufficient to explain depressed wage growth relative to business cost; the growth rate of overhead for wages has been high enough to eat up quite a bit of potential wage growth.

To make wages go up faster, you need to reduce the growth rate of employment overhead so that wages make up a larger percentage of the business cost of employment.
Yep, not just Bahrain but the Saudis as well. I won't vote for the Conservatives for other reasons but UK governments both left and right have always sidled up to awful regimes in the name of diplomacy. We don't need to add extremist groups to the list.

How about we reject both the dictators and the terrorists?

http://www.libdems.org.uk/saudi_arabia

https://www.greenparty.org.uk/news/2016/09/07/new-green-co-l...
This advice is situational, but if you find yourself on a team with some experienced, talented, productive programmers, pay attention to what they're doing and learn as much as you can from them. (Things like: what they choose to spend their time on, what trade-offs they make, how they evaluate technologies, when they listen to customers and other stakeholders and when they ignore them.)

Most programmers are short-sighted, selfish, and lazy, so it's unusual to find yourself with a group earnest talented people who have experience. Appreciate it, and take advantage of it while you can.
> Gosling went around Sun R&D offices asking about unsigned arithmetic and almost everyone got it wrong.

Maybe R&D would be busy making cool demos of futuristic technology which could beat Microsoft's cool demos.
They also have concrete proof (by way of the reaction to the 2008 crisis) that they have essentially unlimited license to be as greedy as they like, and the public will just take it.
>Case in point: Most everyone is opposed to people owning people, but very few are opposed to people owning other animals.

because human beings have an embarrassingly limited understanding of other creatures? ignorance is not a valid rationale (frankly this should be obvious). in fact its exactly the same thing. in 1860, people were ignorant and had to be educated. in the present day, people are ignorant and need to be educated so they can make better decisions.
> ... between 1999 and 2010, states that permitted medical marijuana had an average of almost 25 percent fewer opioid overdose deaths each year than states where cannabis remained illegal.

Source: https://www.scientificamerican.com/article/could-medical-can...
http://lmgtfy.com/?q=xkcd+telegram
I have recently started volunteering my tech skills (I'm a data scientist for a well-known tech company) to the local chapter of the ACLU and am exploring volunteering for a UN subsidiary who desperately needs the help. If you are interested in potentially working to help the UN project, message me.
Back and Forward Button Visual Studio Code
Its almost like crowdfunding a record label (remember those?), with the investors thinking they're getting a piece of Madonna or Michael Jackson record sales. It's a hits driven business, the returns are extraordinarily long tail.
Who knows, the accuser, Anna Ardin left Sweden for Israel shortly after making the accusations and has not made a single comment since then as far as I know.
What would be your ultimate recommendation on storing sensitive data, if not TC/VC?
On JVM and Native kotlin does support coroutines and supports all kinds of concurrency models (including go style goroutines). Check this more details - https://github.com/Kotlin/kotlinx.coroutines/blob/master/cor...
The parentheses are redundant as well, if the code was reordered.

Haskell eliminates the ( ) for function arguments. While Haskellers like this, I find it makes the code very hard to read.
Last time I went to the circus it sucked. Half the show was on some TV with cartoon animals. No one pays $$$ for a ticket $$$ for parking, $$$ for a cup of soda to watch cartoons on a TV.
Amazing Iron Maiden album.
Perhaps I have rose colored glasses, but the "sleeping in the car" problem seems new. But I could very well be wrong.

That said, how are we really in a better place? Same problem, different master.
I like the idea of having poppies when doctors are fishing around in my body with scalpels or after I break a femur.

Eliminating would just punish those who don't make questionable life decisions.
It can both be an industrial complex and the morally correct thing to do.
Perhaps we require that our legislators eat a cannabis cookie before opening any session of congress?

I have no idea what they would spent the tax revenues on, other than a Strategic Doritos Stockpile, but it couldn't be any worse than the budget they are likely to pass this year.
You just summed up the history of the industry.
It would be great if it was, but it's also infeasible for a lot of code (at the moment anyway): it takes too much time and effort, and, in the FFI case, requires proving a whole external library correct too.
Win32 is essentially deprecated and the native toolkit from Windows 8 on is the WinRT components/engines in "Windows.UI.*" which natively speak XAML (and natively here means these are C++ components baked into the OS). WPF has much more in common with the modern Windows.UI toolkit than Win32 does.

DirectX is at the same level of abstraction as Win32's Graphic Device Interface (GDI) and Hardware Abstraction Layer (HAL) that the rest of Win32's "native toolkit" was built on top of; Windows.UI is just as "native" as Win32 ever was. It should not be a surprise that the hardware abstraction toolkit beat into performance submission by performance demanding games is the new native layer for Windows. The surprise should be how long it has taken to make the transition across. (Avalon promised it back in Vista and WPF was the closest to delivering it. Windows 8 finally delivered on the Avalon promise.)
First Leaders’ Debate – A Public Speaking Perspective
who are all these people going to a code "camp" and getting a coding job afterwards? what kind of programming job is ok with that?
Start Using Feature Toggles Now
> means that you have to reflect on what you're saying?

No, it means you might want to reflect on how you're saying it.
What happens when the crowd funded company tells you that the cap on their note was 2x that of the A16Z backed one and they chose the route of less dilution at a stage where they were searching for product market fit?
Show HN: Interactive article on convolutions
we're talking about 3-4 seconds here.
Shameless plug but we are hiring React Native developers at Dave.com in Los Angeles if anyone is looking. Email jaaon@dave.com
I'm sure you know there's a difference between killing an animal for food vs mistreating it for entertainment.

So, what are you trying to do?
Another digest of the info: https://thehackernews.com/2017/05/athena-cia-windows-hacking...
Clojure is unfortunately implemented in such a way that makes it extremely slow to load/start. It's really only suitable for heavy duty long running servers where you don't care about startup time or resource usage, the exact opposite of what android apps need. It's sort of sad to see such an amazing language packaged up in a J2EE'ish manner.
> Have you ever wondered why these irrational behaviors are so common?

Yes, it's because we have tribal roots: we have spent 99% of our evolutionary lifetime in groups of countable quantities and competing with similar-sized groups.

> Clearly the fact that they are widespread instincts indicates [..] there is a trade-off at the societal level.

No, it merely indicates that there may have been a positive trade-off for this trait. Assuming that every trait is a net positive now or must have once been a net positive is a naturalistic fallacy.

> people sometimes respond poorly to the absence of value or things to believe in

Since there are narratives out there that do not paint artificial boundaries (and some do, but do not pursue confrontation because of it), this in no way excuses racism, jingoism, or nationalism.
The old saying "The market can remain irrational longer than you can remain solvent" always applies.

It really doesn't matter if you are a responsible company that takes on low/no debt if a significant number of your competitors take on debt, and their investors allow it. "Soon" is highly overrated. Amazon is going to make lots of money 'soon' unless they are wrong about future market conditions, yet their investors have given them a pass at reinvesting most of their money for growth. Entire industries can commit irrational actions for long periods of time and have plenty of analyst attempt to rationalize the situation.
Fidelity does this (FBGRX, FDGRX) and GSVC has been around (top investments are Palantir, Spotify and Dropbox) http://gsvcap.com/portfolio/

So I'd guess that demand for high-risk investment of the kind is well-served by existing instruments, and even if Schwab or Vanguard have evaluated a possibility of launching such fund, they have not pulled the trigger yet.
As a U.S. soldier in Afghanistan, I ate a few times from a French kitchen. No clue what I was eating but it was good every time.
love create-react-app, to get up and running but I've never liked keeping it that way.. I've found ejecting and forging forward from the base react app is best.
Why Are Murre Eggs So Pointy? New Research Debunks the Prevailing Theory
Just a data point. Unemployment in Japan is 2.3%. Pay has been stagnant during Abenomics and years before that.

Underemployment is also very widespread there. I'd expect parallels in the states in this regard.
What a wonderful illustration of a child's boundless curiosity. My five-year-old asks these sorts of questions constantly, and it's fascinating and hilarious (and, I confess, sometimes tiresome).
Whatsapp then syncs the messages with iCloud as plain text by default, so ¯\_(ツ)_/¯
I wish the crowdfunding platforms well but, in the end, there is an inherent tension between the core idea of crowdfunding and the idea of investor protections under the securities laws.

U.S. securities law give two broad choices to issuers trying to raise money: take your company public or do a private placement. With the former, you can deal freely with all sorts of investors, in any number and with whatever background. With the latter, you deal with sharp restrictions on the number of investors you can deal with (if unaccredited) and on the qualifications of investors for investment in such offerings (accredited, unaccredited, etc.).

Conceptually, crowdfunding tries to straddle these two worlds when it offers true equity (as opposed to promotional giveaways only) in the ventures. It seeks to broaden the number and type of investors who can invest in a startup venture while simultaneously trying to protect prospective investors from dishonest or otherwise improper offerings.

Problem is: the larger the number of investors and the more latitudinarian the standards for who qualifies, the more it looks like an unregulated public offering and the more it becomes susceptible to all the problems that brought public offerings under strict regulation in the first place.

So today we have a hybrid that theoretically tries to open up startup investment to all sorts of small investors but that practically attempts to keep a whole variety of restrictions in place to ensure investor protection. This hybrid is what is failing to gain popular appeal. There are too many restrictions needed to ensure investor protection to make it a fluid vehicle for small investors to invest and to make it attractive for startups to use it as a means of doing their funding.

Thus, the technology is there today to facilitate a robust crowdfunding marketplace but the law is not there for traditional reasons of investor protection. And so the current efforts sputter along akin to how an otherwise intriguing startup might seem to have almost unlimited potential but never quite seems to gain traction.

It took five years to get the regs in place to support the statute that put this funding mechanism in place. That is slow because the issues (in my view) are intractable. Will another five years make a substantial difference. In my view, no.

But who knows? My free market side says do away with the investor protections and let it rip. But the lawyer in me says, no way - such a free-for-all will likely cause many to be duped and few to prosper. It is not an easy choice and that is why I think this will ultimately remain sputtering along with highly uncertain prospects of effecting true change in the investment landscape.
Don't be silly, kids aren't allowed outside anymore.
I don't know why investors would be interested. There's really no innovation happening at the startup level anymore.

There was a time when you would hear of some interesting startup that had a huge, grand vision of the future. But the last ten years have brought us startups like Facebook and Snapchat -- and that's just not very inspiring.

I, for one, am looking forward to the next economic correction and Sili Valley implosion, so that the froth will clear away and all that will be left are those fighting for a vision instead of scheming for a profit.
Thai is a really hard language to listen to in my mind, I've been learning for 3 years. Japanese I could start hearing words nearly immediately. Thai has far more sounds + tones.
Curious: What makes you need to eject?
This looks so cool!!! Can't wait to try it out!
> Nowadays, the amount of high-level software written as a ratio of total programmer-hours is probably upwards of 90%.

What makes this an appropriate metric? What about, for example, the ratio of total user interaction time?

The lower layers of the stack may not need as much programming attention compared to the top of the stack, but that's only because the stack is top-heavy in terms of programs produced.

But in a given stack, the set of applications at the top of the stack is still not particularly big (most users do not use most applications). On the other hand, everything that users do passes through the lower parts of the stack (most users use the kernel, drivers and the graphics layer constantly, even if indirectly).
No, I meant implementation in SPARK. The specs were already done in TLA+ in the OP's model. There's also implied porting between two notations.
The extra typing you mean? If that increases the chance of mis-typing maybe, but it is easily detected.
As Lamport says: why do we always use blueprints before constructing a building?

I agree there are some missing links, but checking your model before doing detailed implementation is a good idea regardless
It is very implausible. A sandbox detection algorithm has a lot of different options on what to observe to decide whether it is running in a "genuine" environment or in an "artificial" one. You probably have to see what every single sandbox detector is doing and cook up something specific for that.
I think jazzyk was hinting that - with enough pay, people will do what they can to make themselves qualified. There's also the option of choosing the best people they get and start training them internally to make them qualified.
Meetups and friends of spouses etc... Golf works as well.
I just noticed that Duolingo also released Hiragana and Katakana stacks via their spaced repetition flashcard app, TinyCards.
I'm not seeing any gray here https://news.ycombinator.com/threads?id=nickpsecurity

Maybe the hive mind is not that aggressive after all?
The Bolt is not direct drive, it has a single motor hooked to a fixed gear ratio final drive and a differential in it. It looks like Chevy doesn't actually provide a maintenance schedule for the oil in the gearbox but it's no different than any other gearbox, the oil will wear down from shearing and contamination will build up over time. 100,000 miles is probably a good service interval but Chevy doesn't bother to tell you how often you should change it.
"If someone hasn’t put much thought into their setup and works from their couch 100% of the time, or worse, “doesn’t know yet,” this signals that they might not be ready for a remote position yet."

False. Unfortunately, this (and similarly ignorant snap judgments I've seen and heard) is yet another example of why companies fail at hiring.
Tokens that have meaning to humans (which would be stripped when compressed) aren't redundant. Tokens that overlap in function are.
"Without the NASA contract in 08, SpaceX would have gone down, according to Musk himself."

Yeah, that's what I said in my above post. In the depths of the Great Recession, both were on the razor's edge, and the government helped a lot for both (particularly SpaceX). But this situation was temporary, not current.
When this topic flipped to [flagged] yesterday the top comment thread was the one about racism/sexism. That may have influenced it.
So you are saying you actually agree with the FED's assessment ? It essentially states that anyone who doesn't find a job in 6 months therefore isn't looking for a job.

If you don't agree with that, then there aren't any good stats, hence the use of the labor participation number, as the "default" goto for unemployment.

If you want alternatives, may I recommend:

https://www.bls.gov/news.release/empsit.t15.htm

This does suggest that U-5 at least is a more realistic figure, or perhaps the average of U-5 + U-6. That would make real unemployment somewhere between 6 and 7.8, and indicates plenty of slack in the labor force.
The question seems to be wrt language design, and assisting the developer. It's harder to spot the error due to the flexibility in syntax.

Requiring explicit "foo" + "bar", while less sugary, would mean a missing comma in the above example could be marked by a checker as an error.
Hasn't it always been like this though apart from a brief window in maybe the 00's? Prior to blogging taking off you needed money and real world marketing to reach an audience through books/magazines/newspapers/music/film. The owner of the garden has just changed (and it's less restrictive than Wallmart ever was.
Hello! I'm Stephen - the Product Manager at JobFlare. We're really excited to have just released JobFlare!

We built JobFlare because of a couple of problems that we saw in the hiring process:
1) Job seekers (especially those new to the workforce) can easily get overlooked by potential employers because they don’t have the right background or experience
2) Employers are often inundated with resumes but don’t have a way of seeing which candidates have the right cognitive abilities for the opening
3) Job seekers are increasingly using mobile devices in the job search process

We hope that JobFlare can provide a way for job seekers with strong cognitive abilities to demonstrate their potential to employers and enable employers to find candidates who might not traditionally be on their recruitment radar.

Here's a link to download the app: https://itunes.apple.com/app/apple-store/id1224641282?pt=118...

We would really appreciate any feedback or thoughts!

Best,
Stephen
If you’re looking for a job where you can do good as a programmer, we’re always interested in speaking with talented people at Chimp. Our platform, chimp.net, is built to dramatically improve the human experience of participating in charity by helping people, communities and corporations to make bigger impacts on causes they care about.

I personally have been at Chimp for over 5 years. I can tell you that it’s a pretty amazing feeling to come into work every day, sit in a comfy chair, wiggle my fingers on a keyboard and, as a result, help get hundreds of millions of dollars flowing into the charitable sector. All while getting paid a competitive salary at a stable company that’s poised for massive growth.

If this sounds interesting, checkout https://chimp.net/careers or email jobs@chimp.net if you don’t see a role posted that matches your skill set. Again, we’ll always connect with talented people that we think we can work with.
That's probably because those are the only ones that were also in the print edition. The others are blog or analysis pieces. Which, by definition, are opinion pieces. One of the section headings even includes the word blog in its name! That seems pretty clear to me.
Ask HN: Why did Google choose Kotlin over Scala?
... for Android.