skysight-inc/HackerNews huggingface dataset:
"For people in democratic republic countries"

So obviously people from the UK, Norway, Netherlands, and Spain should not get involved /facepalm
Dropshippers add range and access to market segments the manufacturer, or wholesellers, cannot ofer. These dropshippers are able to go after small customers with low order volumes. So they indirectly add value by increasing revenue.

they also cut out other middlemen like wholesellers and brick-and-mortar retailers. Done well, and at scale, this could be one of the more serious thrats for Amazon in the future.
They're simply tamper seals. Not padlocks. Payment terminals have the same thing. You're only supposed to detect tampering, there is no way to stop tampering when the system is local. Do Vice not understand this simple principle?
No Billionaires
There was this recent thread that had a pile of good answers:

https://news.ycombinator.com/item?id=18066101
Tactics are very useful when developing proofs rather than dependently typed programs (unless you are using very precise types, as is common in e.g. the Coq program package).

The point is that in a proof you are usually not interested in the precise shape or computation behavior of the underlying proof term and this allows you to use far more aggressive automation than what you are doing with a typical macro. Likewise, you don't really want to see the proof term in the first place. Think about how long chains of equational reasoning are encoded in type theory - this is just noise that detracts from writing your proofs.

As for homoiconicity, I think this is orthogonal to a tactic language. Both lean's tactics and template Coq allow you to reify the syntax of the type theory in order to write automation tactics, but this is separate from the proof search aspects of tactics.
What Are Simple Random Sampling?
Sony brings its 100 percent renewable energy goal forward a decade
> working smarter not harder

Not even. I think it's more about, what to work towards - i.e. the goal. I mean, feeding hungry people is definitely a worthwhile goal, but... you have to do it again, tomorrow. It's not a scalable solution.
> These days, don't Chinese companies mostly list the products on Ebay and Amazon themselves?

Yes, it's pretty standard to find the same company with store-fronts on AliExpress, Ebay and Amazon. It's sometimes worth checking for differences in prices though due to lag in updating each catalogue.
Trump moves to quit 144-year-old postal treaty
I applaud the authors of this letter. It's an open question whether an open, democratic society can exist in the world of computational media. If it can, we'll either need a well-educated citizenry or a benevolent oligarchy of people who are skilled, knowledgeable, and wise in the use of computers. We have done a lousy job of ethical political leadership so far, preoccupying ourselves with profitably dismantling what's left of the old paradigm. I would love to see more folks in tech running for office.
Well, as you should know, the UK is a special case because the concessions it has demanded from the EU include not opening its borders like other Schengen countries. Thus, normal border controls for people traveling between the UK and continental EU. And NI, of course, is an even more special case due to the conditions of the Good Friday agreement. In the Brexit negotiations the question of what to do with NI borders seems to be one of the most hairy ones.
But, it will be open-source, which is good.
I wish I had this
Can we call a greyhound's tail natural, if it has been bred for purpose by people?
It's owned by a Silicon Valley startup accelerator, so even if HN is for "hackers" (for some arbitrary definition of the same) it will also never not be for MBAs.
Faster shipping, added support, ease of returns. I am sure there are many other ways those "useless middlemen" could also add value.
Have you found anything unexpected in your data download from Google? I agree that Google & Facebook (esp. Facebook) appear more greedy when it comes to data collection but that should be visible in the downloads they provide.
They wouldn't use three trailing zeros. More likely is that they interpreted 1B as a million million, like the British do, instead of 1000 million.
Based on the diets you listed, you missed my point completely. If you are not getting any gains, you are not eating enough and/or not lifting heavy enough. Track your food. I thought I ate a lot and when I tracked it was clear I was not. I had to set alarms through the day to tell me to snack on the jars on PB I kept at my desk. I was almost never hungry, ate 2 dinners, etc... And it worked. I'm 6'1" (not very tall) and went from a skinny fat 165 to a lean 205.

Lifting heavy is the other part. Everyones biomechanics are different, so you need to adjust to fit your own, but being tall is not something unique. There are plenty of tall athletes who put on lots of lean muscle.
Homo sapiens is technically part of the megafauna, so the human miners that most probably dug this tunnels looking for valuable raw matherials would fit in this description, yes.
The point I was trying to make is that the order of operations matters. But we can only judge the outcomes of our efforts based on their effects not their original intent
I’m a long-time follower of 80000 Hours. I agree with your comment, but still found this particular post to be far too verbose. The advice borders on non-actionable far-mode thinking.
I haven’t seem the film, but I will try to find it.

It’s good that some historical remnant - the control tower -remains. In NE Australia, there were a huge number of airfields that many hundreds of B-25s and other aircraft flew out from on missions to distant Pacific islands and back again. There is almost nothing remaining of that history as landing strips became roads or crops were grown over them.
On the other hand: try fixing anything that goes beneath the surface in certain cities. There's pipes, cables, subways, shelters everywhere it seems.

People from New York might have some further input here.
https://github.com/paramiko/paramiko/issues/1283

Same bug in python ssh library.
I intermittent fast everyday, apart from when I run long distances (more than 10 miles). I also do a 24 hour (sometimes more) on a Monday which is when I don't run at all.

Doing this has helped my sleep so much and my productivity has gone through the roof.

I don't do ketogenic though, I believe a good source of carbs in our diet is fine. I tend to get mine from sweet potatoes. I stay well away from refined sugars though.
Samsung DeX on the Galaxy Note 9 Review
Awesome! Interesting that it can prove that given only the loop invariant.

The inner loop could be factored to a subroutine with the following contract: let P be a predicate on the integers such that (i <= j) => (P(i) => P(j)), and let low be such that P(low) = false and high such that P(high) = true. The subroutine returns i such that P(i) = false and P(i+1) = true. The subroutine further promises to only call P(k) on low < k < high.

This may be applied to the predicate P(k) = (x <= arr[k]) on the range (low,high) = (-1,arr.length) to find the point at which the predicate flips from false to true (we're essentially pretending to know that there is a small value at arr[-1] and a large value at arr[arr.length], and the subroutine promises to only call P(k) on values strictly between -1 and arr.length).

Is it possible to do this with WhyML?
I would as they where bread for speed not looks, with the tail evolving based on selection pressure.
Hey man, are you having a good day?
I was wrong about veganism. Let them eat meat – but farm it properly (2010)
And that's likely not somebody that I want to hire. Hiring and oboarding is incredibly expensive. If you are going to get bored in a year and move on I'd much rather hire somebody else.
I never shown my ID to anyone when flying between ZRH and ARN. When flying from Nice I had to present it though, but they barely looked, and just waved me through.
Show HN: Strongly-typed UserDefaults
While you are kind of right, when comparing managed languages with modern micro-controllers, people should go back and check the hardware capabilities of those 70's mainframes running Lisp binaries.

A PIC won't do it, but there are others that will surely be able to.
This is certainly one of the most bizarre hardware reviews I’ve read, including this rather bombastic claim:

Our phones are radicalizing and dividing society

Perhaps the title of this piece should be changed:

“Google Pixel 3, I literally can’t even”
Inside the $2.6B subscription box wars
What happens when they combine this with image enhancement powered by deep learning?
Expert dismantles Tesla, says poor design and manufacturing hurting profits
They are self funded except that every year they have another multi-billion dollar loss.
Thought it was the awesome Open Source Music Synthesizer. https://github.com/mtytel/helm
Naturally a pessimist on these issues. Listening to graduation speeches on how we're gonna change the world, as if it were this one weird tip discovered by a student. (Philosophers hate him!)

Bleh. You'll change the world alright. Likely, not for the better.
Move along. This isn't the exploit you're looking for.

(Unless your server uses the relatively uncommon libssh on your server. If you use openssl you're not vulnerable. Github's not vulnerable either.)
Malaria is one of the biggest issues preventing Africa as a continent from going forward. Where it’s worst, malaria contributes significantly to childhood brain damage, causing untold amounts of lost economic growth as generations after generation are stunted for life with the disease. 12 billion usd annually is spent on directly treating malaria patients, with many times that being lost due to long term damage. [0]

Because of this, I’m very skeptical of the idea that dealing with malaria isn’t one of the most effective use of resources in improving countless lives right now.

[0]https://www.cdc.gov/malaria/malaria_worldwide/impact.html
I think a lot of this boils down to having the right amount of introspection and insight on the part of the individual.
Getting Started with Powershell Iot and Sensehat – Temp Sensor
I agree with this in general but in this particular case we were actively subsidizing shipping costs from China.
Crypto is caught in the trade war crossfire
The dream of someday being wealthy is what makes most people get up in the morning. No human wants to be equal we just want to be treated fairly and uniformily. I don't need nor want bumber lanes on my road of life. I embrace the challemge of comoeting. Having a billion dollars doesn't give you amazing ideas. Everyone can do that for free
Bill Gates' Plan for Climate Change
While we are calculating the externalised costs, why not include the considerable health care impact of the exhaust gasses on the populace? I'd welcome the reduced personal costs, if electric vehicle adoption is much more:

* My immune system would work much better without having to deal with all the pollution so I wouldn't get sick as often.

* I would be able to commute work by bike if I wouldn't have to inhale that much smoke during such an intensely aerobic activity. I wouldn't need public transport that much either.

* I wouldn't have to consume fuel (or charge for that matter) when there is a jam.

* I would feel and think much better if I don't have blood full of CO. Less reason for costly vices that forces me to feel only slightly better.

If I have to put a figure, I estimate ~$150 monthly savings minimum for my current lifestyle which is nothing to sneeze at personally.
The Robot Economy Will Run on Blockchain
>The "bedrock of computer science" is machine code

It hasn't been machine code for at least two, maybe three decades.
How do you justify this ethically?
> Everyone is different, but I found it is down to allocating the time you are most productive effectively.

I agree, and I used to be one of those who stayed up later. I found though with myself and some others I personally know that making the move to an early wake up was still better.

It's silly, but when you get a mental discipline win as the first thing you do in the morning (getting up) it builds on itself. The next step is, "I'm up, so of course I'm going to the gym". From there, "I got up early to hit the gym, of course I'm skipping that donut". And so on. Like I said, it's silly in some way, but it also builds this discipline. For me personally, it completely got rid of my procrastination habit.
Seems like an amazing solution for really a non-existent problem.
The average consumer doesn't bother with his email privacy if he had other online solution would have been much more popular.
The more technical consumer will probably would prefer to run something open source on his own server.
So I wonder who is willing to buy and pay for this kind of solution.
Luckily, they do state the lessons to be learned up front:

> In brief, it raises the importance of finding good mentors, consistently seeking advice and feedback from experienced colleagues, and ensuring you’re a good fit for a project before you take actions with potentially large or long-term consequences.
Can you call any domesticated animal natural?
Cryptocurrency hackers undermining investors' faith in blockchain technology
This - a bit like discussing before vs after you’re married whether you both want kids - is the sort of thing it’s best to ensure you’re aligned on before throwing your lot in with a co-founder.

Given that it’s a little late for that, your options are basically for someone to compromise or to split up the team.
How to import .eml files in outlook?
If You are Searching How to import .eml files in Outlook? here is a Best Solution, through this Amazing tool You Can Easily Import .eml files in Outlook The tool maintains a detailed report of the whole conversion process and it displays all the valuable information, such as process start time, file path, and total emails found. Log file can be saved at any location you desire.

CheckOut this tool free demo here: http://www.regainsoftware.com/eml-to-pst-converter.html
All I'm saying is that, while it may not be a perfect system, I like having the the power to judge the quality of service provided to me on a case by case basis.
Man, this argument is so dumb indeed...

Even dumber than the "Hey, why should we care about the environment since a few countries can decide not to"
How Can I Convert EML to PST Outlook Format?
Now Its Easy to Convert EML to PST Outlook Format. By Using this Amazing Software You Can Easily Convert EML file to PST file.
The Software Performs complete conversion of Windows Live EMLX/EML files into PST. Keeps original formatting intact even when conversion is complete. Filters EML files on To, From, Date, Subject. Convert EML to PST files, including email properties like To, From, Attachment, Subject etc. and emails Allows entire or selective emails to migrate from EML to PST safely.

Try free demo here: http://www.regainsoftware.com/eml-to-pst-converter.html
Whatabout!
Singapore is not a developing country??

And Czechoslovakia hasn't been a country in decades...
> You also still have a lot of mechanical components just the same as combustion engines.

This certainly wasn't true for cars, a fully electric vehicle is simpler, resulting in an immediately noticeable reduction in maintenance overhead - are you sure it will be different for aeroplanes?

Keep in mind that the combustion engine of a propeller aeroplane will have an entire electrical system as part of the combustion engine because it turns out even most private pilots are not inclined to get out and start the propeller by hand ever time.
When I was in the Navy, they showed us that film as part of leadership training. Our instructors said the portrayal of discipline, leadership, and the burdens of command was perfect. Except for the very end, which they felt was a bad Hollywood ending.
About new interesting diagnostics introduced in PVS-Studio 6.26
> bad for globalization

No it just was a bad policy. It has to be a win/win for both sides. Currently this was a bad deal for America.

Prepare for things to cost much more now in regards to electronics.
When I picture a person in tech successfully running for office, I imagine precisely someone who has excelled at "profitably dismantling what's left of the old paradigm". Unfortunately, technical ability, business savvy, ability to understand social, political and bureaucratic systems in motion and strong, reasonable ethical convictions are all mostly orthogonal and rare qualities.
Week Plan
They are just some factors you may want to take into account. Usually things like this have some clear cut answers. If these questions require real thought and potential paralysis then that's a good thing. If you are paralysed by the fact you aren't sure what you are doing may actually do more harm than good that's good.
Well, I think we just disagree in how effective are these substitutes.
(I'm not American but these sources do not seem to be particularly biased):

https://money.cnn.com/2018/01/05/investing/jobs-report-const...

https://www.industryweek.com/leadership/america-s-new-factor...

https://www.bloomberg.com/news/articles/2018-01-03/manufactu...

https://www.businessinsider.es/jobs-report-july-manufacturin...
That's what I've been gathering too. Trump signed a few bills recently, and while they weren't his administration's bill in the first place, that hasn't stopped the media (and definitely social media) from trash talking Trump constantly.

It's almost as if people that hate Trump with the ferocity that they do are incapable of reporting anything positive and just saying "Ok, this was a good thing."
I think there's more to it than actively opposing - in Ireland deaths at the hands of the cops are rare, and there's a huge fuss when one happens ... but that's more a manifestation of the norms of Irish society than anything to do with active opposition to police brutality. It's more - if police brutality is rare then there's not much point in becoming a cop if you're a brute
I can't believe I've been living in the "seven-string capital of the world" for 10 years and didn't even know it.
Introducing the Rust crash course
Do you for some reason not believe the experts in the article? Or have an explanation for the claw marks?
I'm sure nothing terrible will happen by exposing Bluetooth to the world of skeezy javascript malware.
A pity that the classic RFCOMM interface is not supported (at least how I read it).
I wanted to speak only for my own country, while I sadly think, I must agree.
That's because US bound flights have separate security, which operates with different standards.
I've visited several caves this summer (Lascaux, Combarelles, Font-de-Gaume, Rouffignac, and a couple others) and there is a constant: the artists weren't amateurs, they were extremely skilled. First, in many places it was impossible at the time to see the entirety of the drawing at a glance because of the very low height, or the wall curvature, but the proportions are right anyway (most visited caves have been dug out; back then you had to crawl for hundreds of meters in pitch darkness to reach the drawings).
Similarly, the animals are drawn with a very high anatomical precision. Even animals that didn't exist locally, like mammoths (which mean that the artist had seen mammoths earlier, very far away).
This is FUD - AWS, as opposed to Amazon the e-commerce company, has pretty strict walls between itself and the data of its customers. In these cases the data is owned by the police department and AWS or Amazon won’t be allowed to use or profit from it. Unless there’s some kind of special agreement in exchange for a discount, which I doubt very much.
No it has no bearing on China. It is the same policy with Switzerland. You get the international package to America we pay for the final delivery. Pay for a package to Switzerland and Switzerland pays for the final delivery. It was suppose to be a wash for both parties. China just got a much better deal. Cost me more to mail a package the next state away then for me to get a package delivered from China.

Now you have to pay for Switzerland delivery and then the domestic cost.

Wish and EBay from China is now bye bye.
So the TLS certificate for websocket users are stored in the server? And its generated by letsencrypt?
Well, that is very informative, but probably not in the way the interviewer intended. Certainly doesn't sound like a great place to work?
The other day I was scrolling past a panoramic picture on Facebook. I happened to jostle my phone, and was surprised to find I could look around the picture by tilting my phone.

When the fsck did this become a feature? Why did nothing ask me if I was ok giving Facebook access to my hardware? How do I turn it off? Who thought this was a good idea!?

These same questions apply to Bluetooth. Already, such a terrible standard when it comes to privacy. And now, random websites can grab control of my radios? With JavaScript? Nothing wrong can happen with this, for sure!

FFS. This is like the battery api. Too much time spent on "can we", too little time spent on "should we".
Mac has supported beginner friendly ways of sshing into let's say a Raspberry Pi over Bluetooth[0]. I would love to see a progressive really any app for Windows like this.

[0]: https://hacks.mozilla.org/2017/02/headless-raspberry-pi-conf...
That is not a good favicon, I was skimming for a list of '8 ways people trying to do good'.
> due to outsourcing to China

No it is the demand for better working conditions and wages. That helps the local Chinese and American workers. Oh that's right labor unions are evil????
I thought generating more than they can use or export was the default for Orkney now?

Which is why they're leading the pack adopting EVs, heat pumps, community heat schemes etc, and the hydrogen plan for the ferries. They have to find something to do with it all, or turn off some wind turbines and solar. So they're migrating every remaining use of fossil fuel possible. Which seems a much better plan than anywhere else.

All that for a tiny fraction of the fuel bills the rest of the UK pays. I wish the mainland was a little more inspired to blatantly copy. :)
All new web standars are a terrible idea to our privacy and security. And for some reason nobody seems to care.
"if amazon doesn't fuck people over someone else will"

yeah i said that.

"so who cares"

no i didn't say that.

I said the best defense isnt the benevolence of corporations willing to say no to gov contracts on principal. the best defense is a populace able to subvert these technological systems of oppression. For facial recognition this means adversarial patches. for Internet censorship this means VPNs. in other cases it means encryption and cryptocurrency.
ffs not everything needs ML. It's not like they need to scale to every individual dandelion in the known universe.
Maybe a translator thought that it was an error and 'fixed it' adding the extra zero...
in this specific case, it's not about the location of Suisse per se, but more about the people living there - focus on absolute quality, not cost-cutting, not price/value ratio but quality first. Of course this is very simplified, and may be less true for some cases these days.

The other point - most countries subsidy agriculture in some way. If US shouldn't dump their corn on global market, so shouldn't european farmers/milk producers (especially French I think).
Logic Apps and Flow have the same tech and platform (shared code base). One requires an Azure subscription, the other doesn't so is aimed at Office/IT rather than devs and platform people
Devoted Health Just Raised $300M – Podcast Interview with Ed Park, CEO
I'm glad we have experts who can count to 100 instead. /s