skysight-inc/HackerNews huggingface dataset:
An optimist might look at all that and say, it just shows you how much fertile ground there is outside conventional programming languages. Maybe any or all of those could be significant.

It seems more likely to me that once you get far enough down any of those roads, the complexity of programming reappears. Now you have to decide whether you chose the wrong road or whether complexity is an unavoidable feature of programming. It looks to me like the Eve folks kept thinking they might find a twist that would avoid it.

I'm impressed at how many ideas they tried. But I can't help but feel that they were never in one place long enough to really build something lasting. Every time I looked at Eve, it was totally different (and looked promising) but when things change that much, that quickly, it's hard to lay down roots.
I once reported a group created solely to harass & defame my FB friend. The creator of the group clearly violated multiple Facebook policies, 3.3 You will not bully, intimidate, or harass any user, 3.9 You will not use Facebook to do anything unlawful, misleading, malicious, or discriminatory, 5.1 You will not post content or take any action on Facebook that infringes or violates someone else's rights or otherwise violates the law.

Facebook reaction? They found it doesn’t violate their community standards: http://const.me/tmp/fb-policy.jpg

Right, “no place for hate speech”.
I'm surprised no one mentioned this but the biggest takeaway for me is that it moves Windows one step closer to becoming open source. We're still many steps away and it's going to be more like the hybrid model of Android or even OSX/iOS/Darwin and but it seems much more feasible now, even if it starts with baby steps.
"Facebook Allows Advertisers to Target Users on the Basis of Their Interest in Illegal Firearms"

"And it doesn't seem interested in closing this loophole any time soon."

https://slate.com/technology/2018/04/facebook-lets-advertise...
A 6-core CPU beat a 2-core one in a perfectly scaling multithreaded benchmark? That's just shocking! Truly, that is definitely, unquestionably, beyond any doubt representative of what a battle at the workstation level would be.

But more seriously and less snarky there's a reason they used the 13" macbook pro there specifically and that's because the 15" with the quad-core i7 destroys the A11, 15k vs. 10k. Of course that's with wildly different power & thermal budgets, and I haven't seen much reason to think these geekbench results are at all representative of anything, so grains of salt and all that.
That is why I run my "vintage" MacBook pro without a battery (first unibody, with swappable battery), always plugged in. It works for me as it stays stationary at home. If I need to unplug for any reason, I close the lid and macOS saves everything, then unplug, replug later, and nothing is lost.
> But at the same time, people often call either flawed proofs or purported proofs formal proofs in a looser sense.

They are wrong. A purported proof is only a proof if it is actually correct. If you cannot reliably come up with a proof, not mere purported proofs, then just be honest and say so. We are not in a consultant-client relationship, so you gain nothing by lying about your skills to me.

> You know that my point was that a manually verified proof might still be wrong.

Only if you cannot reliably come up with correct proofs.

> And yet rather than addressing that point you decide to evade it by an ill-considered nit pick on whether an incorrect proof is still a proof.

It is not an “ill-considered nitpick”. It is essential to my point. If you can prove that your assertions hold, you do not need to check them dynamically. (Of course, this is logically a triviality, and it is awful that I need to explicitly make this point.)
Chewy.com | Full Time | Quality Engineers & Java Engineers | Boston, MA or Dania Beach, FL

Quality Engineer:
https://www.chewy.com/jobs/position/967514?gh_jid=967514

Senior Software Engineer- Java
https://www.chewy.com/jobs/position/767894?gh_jid=767894
Rick and Morty: Bushworld Adventures
For web development, I think Ubuntu for ARM will be fine:

https://www.ubuntu.com/download/server/arm
One simplified example: say people are investing in a passive property fund. Those funds generally yield around 3 to 5% per year.

You're a smart entrepreneur. You build a huge skyscraper for $200m. You manage to generate a yield of 10% on that $200m. Most of the $200m is debt levered against the asset. The building subsequently gets sold to the fund on a yield basis. They'll pay $400m, i.e. $20m in yield p/a = 5%.

Smart entrepreneur just made $200m.
Show HN: COINDATAX – Cryptocurrency analytics with no hassle
Aconex | Melbourne, Bangalore | Full-time | Software Engineer, Senior Software Engineer, Senior UI Engineer | ONSITE | $100k-$175k (varies by location)
Aconex is a highly profitable project collaboration company with most of the worlds largest construction companies as customers. We are to construction projects what Atlassian is to software projects.

We have several open roles in various locations: https://www.aconex.com/careers/engineering

We're looking to build a team of experienced software developers to help us bring a new product to market with a strong financial aspect. Our stack is based on a service oriented architecture, so we have a number of different technologies at play - Java, Go, Ruby, Python etc. To begin with, you'll be working with Java 8 (using Dropwizard or Spring Boot), Angular, Typescript as well as many other tools.

Love to chat stack, so if you're interested - reach out! Technology choice is open for discussion on new services that we start.

More about us: https://www.aconex.com If you're interested, email me at timols(at )aconex( dot)com
Don't a number of iOS apps use essentially the same technique?
Sometimes pride and a sense of justice are more important than money in terms of building a wonderful life. I agree with you that most people don't do the right thing, but that doesn't excuse doing the wrong thing. Based on the version of events listed here, the parents failed a basic character test. I would rather be on my own, than held in orbit around such people by the occasional gift. If I were OP I would separate on good terms and get a high paying job that allows me to claim I am too busy to have anything to do with the business.
The T Swift issue you describe has everything to do with negotiating a direct deal with Apple, there was never any truth to it.

The way Spotify works she probably would have received the lion’s share of the artist portion of all Spotify ad/subscription revenue the month her album came out based on listen time. Apple just gave her marketing/guarantee money on top.
Atrium LTS | Mid/Sr. Machine Learning or NLP Engineer | San Francisco, CA | Onsite | Full-Time The corporate legal industry has grown fat and comfortable on the back of poor incentives structured around billable hours. Justin Kan's Atrium ( https://abovethelaw.com/2017/10/justin-kan-answers-the-call-.... ) is reinventing the world of corporate legal work and growing incredibly quickly for a company founded just last year.

We are looking for experienced NLP (ideally) or ML generalist engineers to build our automation team. The team is an army of one at the moment and has headcount to rapidly grow throughout the year. We are looking for entrepreneurial, experienced NLP/ML engineers to join and build amazing products with us.

More details here https://jobs.lever.co/atrium/
Given software !== chips and their ARM chips are - hands down - the best on the market... yeah, I'd think people would trust them.
Depends. What do you want to happen when you press ctrl+C?
When looking for this I think it's useful to note that immediately after switching the amount of vaping can be huge. I was actually experiencing nicotine rushes and nausea in some cases when I first started

The problem I had was that a cigarette has an obvious stop point - it runs out - whereas a vape will go on as long as you have juice and power.

Over the 6 months or so getting used to it I've been vaping it's started to fizzle out. I know, n=1, but I think it's something worth noting in case people see an increase in nicotine intake immediately after switching
I also don't trust these types of "surveys" that are usually based on sample sizes and extrapolation models that are unsuitable at best. This vaping thing is a phenomenon that is somewhat localized and clustered with a significant "explosive" spread vector. It's kind of like any infectious spread pattern or addiction/drug abuse spread pattern. You will see far higher rates in schools where it has taken hold, e.g., in FL and CA, especially in urban areas.

This is a "technology" that is very much like any other drug ... which it actually is ... that makes people physiologically addicted and dependent, only it's maybe even worse than, e.g., heroin, because it has a "cool factor" or "innocent" nature because "it's just water vapor" and "it's just glycol" that heroin really doesn't benefit from. What's the harm, right? It's cool' it's technology, it's "Science" (with a capital S for the cult proto-religious nature of the current Science cult). Best thing, we have absolutely zero understanding of its effects in the long run, let alone the fact that it creates psychological patterns of dependence and habits of self-abuse and compulsive self-harm.

In many ways anyone who is dependent on any drug, whether legal or illegal, be it nicotine, THC, heroin, Xanax, or Prozac should be declared mentally unfit and have their privileges curtailed.
My position comes from experience.

My situation is a bit different: My grandfather was killed in a a car accident by an extremely over-worked trucker and we get a very large settlement, millions, out of it. Terrible tragedy. My grand-mother was severely brain damaged, basically lobotomized and has to live with help.

This was in the late 90s.

Ever since, the amount of mis-handling, under-handed dealings, and outright stupidity of my aunts in regards to this money has been astounding. Together, they managed to piss away ALL of the money and pull in a fair share of debt in the meantime.

My parents were more in your position: On the outside looking in, not wanting to throw down legally with family members. Waiting and hand wringing and hoping for the best go them nowhere.

In the end, I got to work 40 hours a week and go to night-school though college, when REALLY, the entire family should have been comfortable and highly educated for an entire generation.

It's been battle-royale, lord-of-the-files for years on end. I tell this story to elucidate you on a very specific point: Just because they're family does not mean they are going to watch out for you. OR, they can just simply be not as intelligent as you are, and make decisions that seem rational to them.

Or they can lie to themselves, and construct a false narrative where they are the good guys, and you are the bad guy. I suspect your father has written your contributions out of his mind, and replaced them with his own.

People see the dollar signs and lose sight of what's important. I've since just forgiven everyone and let it go. That's the decision you have to make, and make it quickly: Drop it and be on good terms with your family, or get a lawyer and quit kidding around.

edit: I'll also update that I struggled with this for years and years. What finally lead me to acceptance and living a much happier life was therapy. Talking with my therapist about the decisions people made, the greediness I saw, the irrationality of the decisions, and the betrayal of my family members.

Talking through it, processing it, and contextualizing with my therapist was enormously helpful.
A certain conservative radio talk show host has a hobby of stringing together identical-sounding phrases from various sources in the establishment media, as if they all read from the same memo. It seemed certain someone had coordinated their talking points.

Is the Sinclair issue that much different?

Presumably the former example was performed by a group of like-minded individuals operating under some flavor of free will, who arrived at a consensus. But we can't be sure that was the process. They might have been coerced, or merely chose to parrot each other regardless of circumstance, because they found themselves so well aligned.

Sinclair, on the other hand, assumed obedience by virtue of signing the checks.

That said, I don't know if this situation is as scary as it used to be, now that we've had some experience with the power of more monolithic-appearing news sources such as FB and Google.
Wasn't that Twitter to the point the State Department contacted them about moving a planned service outage?
And some of us, with actual CPU design backgrounds, have been saying that for a while now.

We've been asking why Apple doesn't already do it.
Unfortunately AMD's licensing deals with Intel terminate if AMD is purchased.
Seems totally ethical to me IFF you don't make stuff up. In fact, if you can drive a strong, negative campaign solely with actual facts, I find it imperative to do so.

Then again, you did say "propaganda" campaign, so I guess there was your assumption of dishonesty.
It's unlikely. Apple has shown a clear trend towards trying to get rid of absolutely any 3rd party components from their devices. They want the control that full vertical integration gives them.

The got rid of the 3rd party ARM design in their iphones/ipads, going for their own ARM/AARCH64 design. They are currently in the process of getting rid of the PowerVR GPU, to be replaced with their own GPU.

Moving to their own AARCH64 CPU for laptops/desktops fits with that trend. Many people have been wondering 'when' this will happen, not if.

Moving to AMD doesn't fit with this long term trend.
I hope it does. Snap was clearly overvalued to an absurd level. If things like this don’t make investors more discerning, then you’ve got the workings of a bubble on your hands.
I seriously doubt this will happen. Why would they throw away three decades of work that's known to work on both x86 and ARM?
And my IP address, linking my browsing to my google account and my identity.
If the company is doing more harm than good, what's wrong with counteracting it with information?

If Facebook is the vector of incitement to violence around the world, they may be as hazardous as tobacco and firearms.

Nothing wrong with regulation and information campaigns about the dangers of tobacco and firearms, so why not Facebook?
I didn't say forbid AI PhDs to work on ethics. I just say that an AI PhD shouldn't be a requirement.

We already have an ethics discipline. This is an ethics problem.

Do you also propose that for example self-driving cars accidents should be investigated by AI PhDs which worked on self-driving cars algorithms, and they should be the ones proposing regulations? Are you saying that a regular "car accident specialist" is ill equipped to handle these, and it's opinions aren't as valuable because he's an expert in "human car accidents" not "AI car accidents"?
The Working Person's Guide to the Industry That Might Kill Your Company
This won't be abused by anyone ever.
In Mac world 1080p is bad. In low cost Windows laptops 768p is normal. It's one of the reasons why they are cheap. One random laptop under 300 USD:

https://www.amazon.com/Performance-HP-Quad-Core-Processor-Gr...
Location: US (Eastern Time)

Remote: Yes, exclusively

Willing to relocate: No

Technologies and Skills: Python, Django, JavaScript (including Backbone and React/Redux), AWS, Ansible, Git, Vagrant, Ubuntu/Debian, SQL (MySQL, Postgres), continuous integration, people management, project management, architecture and technical leadership, building remote teams, API design

Résumé/CV: Available by email. I have a CS degree and 7+ years of experience working on web applications as an individual contributor, manager, and technical leader. I've worked on large and complex web applications as well as hired and managed multiple remote teams.

Email: hn@waterloggedwarden.33mail.com

I'm looking for a full-time position as a senior engineer or engineering manager at a company with a strong culture fit: a remote-first culture, good work/life balance, genuine care for employee health and happiness, input into the work that I do, co-workers who respect and learn from each other without ego getting in the way, a product that impacts real people in a positive way, and interesting engineering problems to solve.
Oh boy. I just verified this with a few phone numbers of folks that I know personally, and their personal data came back just fine. This isn't good! I hope it's patched ASAP.
I have in no way equivocated ethics with religion or dismissed the purpose of ethics in AI, merely questioned who will be most fit to pass judgment while claiming them as a justification, however, it's now clear to me you're a idiot from that last post so I will not engage further.

Edit: edited moron to say idiot
How to Easily Detect Objects with Deep Learning on Raspberry Pi
Lawyer up. Time to sue. Your family put you in this position. Most likely out of misguided greed. Get what is yours.
I thought it was for this reason, though the sibling comment's link seems to indicate that we don't really know (and I trust him more than my memory).

It used to be common to tax different religions in a different way in some countries of Europe. Even today in Germany you are legally required to pay taxes to your church, and I have read multiple accounts of French expatriates who have discovered this only after a year of working in Germany, and getting significant amounts of back taxes to pay, as well as being required to be debaptised, etc, if they wanted to stop paying for that.

In France that would be unthinkable, but every country has its customs.
Much likely they would get acquired by another BigCo specifically for patents, trademarks, etc.
Sure nvidia could build a traditional co-processor card(just like in the old SBUS days) but what are the chance of apple releasing hardware with that kind of extendability after going all in on the IOSification of the mac?, even thunderbolt(which is a much lower level bus then USB3) did not support the same kind of performance as a proper PCIe slot.

And even if you could most of the software in question is composed of countless components some of whom predates the mac itself and porting that to support anthing but the traditional big core CPU platform is not a trival thing to do, which is why the Xeon powered workstations and servers still exists and why manycore designs only really work in the supercomputer space.

You could argue that the workstation itself is a dead concept and that the future is "cloud" with html5 frontends even for video and CAD workloads* which is something autocad and adobe is likely working on as a long term strategy, but in the short term they need the workstation that post Jobs apple don't appear to to have any interest in building.
Paid bullshit campaigns.
>That would presuppose that the dog knows that he has a fit immune system, which we couldn't really explain either.

feeling well is a pretty good proxy for a well working immune system, and it doesn't require any knowledge about immune system.
Social-news platforms like Facebook and YouTube are automated media machines, without the checks and balances of a people heavy news media company. In traditional news, employees maintain stronger consciences because they deliver the news manually day after day, they are not separated from that news by automation unlike the engineers working on social-news platforms.

Because of this, social-news platforms are more free to recommend stories to users that promote anything, as long as the user clicks it's a win. With this anything goes approach to news, we get sensational stories, conspiracy stories and hate stories because people click on them. Obviously the consumers are also responsible, but being perhaps accustomed to journalistic standards, maybe they are culturally unprepared for the level of bullshit-dressed-as-news that we are seeing online. I also notice the problem is compounded by the aggressive evolution of head-faking in media. For example it's becoming really hard to know what is real news vs what is marketing-dressed-as-news. How many commenters are real people? Basically I think algorithm-driven-news and marketing is outpacing traditional society and creating something new, time will tell what but it might be a monster...
Your concerns would be better founded if this was news of iOS coming to desktop instead of Apple switching desktop processors.
Why should one of the biggest alt rock bands of all time charge less for shows, so you can go? I can’t imagine anyone but Foo Fighters fit into the same category and are more popular.

Literally millions of fans want to go to their shows, charging less would only mean they sell out in seconds rather than minutes.
> There is no person (a) who doesn't meet the accredited investor requirement and (b) for whom an illiquid, volatile security like start-up equity is a prudent risk-reward decision.

You say this as if its obvious, but I'm not even convinced that it's true.

Sure, there are all sorts of strategies that VC firms employ to mitigate their downside, but those are only marginally effective. The real reason the successful ones are successful is because they were part of the right deals, not because they lost less money on the wrong ones.

Modern portfolio theory is adequate protection from that kind of risk.
Also don’t mix family and money. Or friends and money. It rarely works out.
The only thing that could go wrong with this kind of switch is software compatibility, and as long as this chips could run x86 software properly and will have same or better performance, I don't mind.
But, I would be responsible for peoples deaths if my system said there wasn't any nuts in the dish and they ate it.
It may not be designed to "listen around the room explicitly", but my phone makes a decent speaker phone, so it still has that capability. And to be honest, I'd be less concerned with what my Echo hears in my livingroom compared with what my phone hears all day long.

The Echo has pretty decent privacy settings (only listens when you say the "wake word", etc).
Didn't Parallels start off with an Intel emulation before Apple switched to x86.
The Guardian, that initially published this “insecurity”, has been heavily criticized by security experts for their article: https://mashable.com/2017/01/20/experts-demand-guardian-retr...

If there are other insecurities, please post them here - I haven’t heard of others than this one.
This FB Mynamar issue reminded me of the looming crisis at Telegram:

'Telegram has told Russian regulators that it is technically unable to hand the encryption keys to user accounts to the country’s secret services, just weeks after the messaging platform was ordered to do so or risk being banned in the country
Roskomnadzor, Russia’s communications watchdog, told the company last month that it had two weeks to give the FSB, successor to the KGB security agency, access to the company’s encrypted messages or face the possibility of being blocked'.
https://www.ft.com/content/84a878da-3664-11e8-8b98-2f31af407...

Iran (where Telegram have 40 m users) is on the verge of banning it too as it was 'used to organise mass protests last year'.

We seem to have gone from FB being an enabler and hero of 'arab spring' to now being accused of being a tool of darker forces against states. Telegram have raised over 2 billion USD (of probably dodgy money given terms of ICO)and may now be crippled by state interference...
That would put Intel in the crosshairs of anti-trust. The have a defacto monopoly on personal computer processors, and this sounds like an abuse of their market position to stifle innovation.
https://www.theregister.co.uk/2015/03/19/andrew_ng_baidu_ai/