skysight-inc/HackerNews huggingface dataset:
Alphabetically: ABB, Adyen, Airbus, Alstom, ASML, BAE, Booking, Ericsson, Logitech, Philips, SAP, Siemens, Spotify, Teamviewer, TomTom.

Not going to spend more than two minutes on this, by the time you do some more reading you will likely end up with 100+ companies on this list.
Thanks! I wanted to force connecting the smartphone back on the user by making the check every couple of seconds and locking. For that reason event driven approach wasn't the best fit.
How to start windows 10 in safe mode?
Can a robot be the sole asset, employee, and officer of a corporation?
It also has a very large CO2 footprint. https://www.nytimes.com/2013/01/27/sunday-review/the-biggest...
> It is the populists (which is what they are) core gambit to yell about something everyone thinks is bad and then just use that support to do whatever they want. If at this point in history we as human beings still cannot recognise this core tenet of how they operate we deserve what's coming to us.

The mention of the word "populist" always puts me in a state of mild amusement coupled with a slight bewilderment. This word seems to have come into the public discourse relatively recently. Perhaps it's been there all along and I wasn't paying attention. More to the point I don't quite get what it means. It generally has a negative connotation associated with regardless of the context (e.g. Italy, Brazil, France, UK, etc). I consider the HN crowd to be enlightened. Perhaps someone can explain it to me in simple terms what exactly is meant by the word populist.
Gotta try adding a feature to an app I use. Partially there, learn some Android along the way. Already learned about dependency injection.
One pretty cool use of schema on read is Splunk. It wants to take in all the data and let you search, transform and visualize it in a variety of ways some of which you may not know until you start exploring what data you have.
Your main point stands, but, for terraforming purposes, a decade is a very short time period.
There a many services that can get around a Google Recaptcha. They are not free, but cost roughly $2 for 1000 recaptchas. This means is that recaptcha makes things more expensive, but still surmountable.

Services that use recaptcha should consider why they are using them. Preventing spam, stealing proprietary data, and preventing actual harm are legitimate reasons. On the other hand, stopping free information from becoming truly free is bad. For example, numerous U.S. government agencies use captchas to prevent scraping or analyzing of public documents. These government organizations provide "public access" in the narrowest possible sense, making it difficult to search for a specific record or analyze data in bulk. If they can't do it, they should allow others to try.
I'm doubtful about any good solution for having computers decide whether we are sufficiently human.
> The problem with this is that it is wrong.

> You can translate between different logical theories by building a model of one in another, so it's not like you loose anything. But it's cooky to insist that we should start with ZFC of all things.

I don't see how these two are consistent. Almost everything most mathematicians do can be done both in ZFC and your favourite non-kooky axiom system. Certain Powers That Be seem to have decided that ZFC is the foundation of mathematics, so they say that what they're doing follows from ZFC even if they have a very hazy idea of what it is, but why does it matter? Most mathematics probably won't be formalized in their lifetime anyway, so whether it ends up being formalized on top of ZFC or something else doesn't affect them.
Memcached scales vertically. Redis is single threaded. Multiple cores are wasted.
There's no point in designing schools for "three sigma". Schools should be designed to push the median upwards. "Three sigmas" should be homeschooled, any sufficiently large system will only inhibit them.
Show HN: As a dwarf on the shoulders of giants
Because you've got kids who have more below average marks than everyone else maybe?
Unless I'm misunderstanding you I'd consider that table stakes -- you don't have much of a overlay network if it can't do at the very least pod<>pod and pod<>svc routing.

Thinking aloud, by "Service IP" routing do you mean that actual services can have external facing IPs? I had no idea kube-router supported that, maybe I'm on a version that's too old?

[EDIT] Looking back at the kube-router docs, I see no mention of what I was discussing above so I'm going to assume "Service IP" means the usual IPVS/LVS stuff that kube-router does. I find that feature doesn't really affect me directly as a cluster operator though... Though it's probably saving me some latency (I assume you can skip a DNS resolution or two?)
Hm, so selling to a robot without someone behind to represent would be extralegal I guess, and if any problems occur during the trade you'd be on your own?

The closest thing would probably trades with wild animals. Are there any laws on that? (Probably not, but the situation is not unthinkable.)
"It's an odd selection as population size isn't indicative of aircraft size. Congestion of airports and slot constraints is."

I disagree. Since it is the wrong solution for the problem.

> Which is why you find most A380s in Dubai, London

I am not surprised that it did not work for this airlines.

"Istanbul doesn't even have a single A380 gate."
Not sure what you mean with this. I was talking about the new airport and the airport is prepared for the A380, see link. Again, the A380 is the right solutions in size, it is just wrong in cost performance because it came 10 years too early.

https://airlinerwatch.com/new-istanbul-airport-prepares-room...
Show HN: How to build a successful UX career
Introduction to gradient boosting on decision trees with Catboost
If you want to sell whatever you have, despite function, would you rather purchase something that "looks old" or something that "looks new"? I suspect most people would go with the latter. Since "looks new" sells, people will design it in that matter.

Note that "looks new" and "looks old" are relative terms to the last design. That's why they're trends and cycle back and forth.
http://web.cecs.pdx.edu/~maier/TheoryBook/TRD.html
For how long are guest applicants invited to stay at the house, on average?
> I'm doubtful about any good solution for having computers decide whether we are sufficiently human.

Two questions:
- Couldn't a computer just temporarily hire a human to prove there is a human involved?
- Why are we using recaptcha or verifying humanity anyway? I understand stopping spam, scams, and fraud, but scraping already public data doesn't present significant harm.
Removing leading zeroes doesn't require Python. One easy solution would be sed:

$ echo -e '0001\n0010\n0002' | sed 's/^0*//'
1
10
2
All bleed systems are filtered. The comparison you meant to make is between bleed air and air delivered by electric compressors, as on the 787.

The A350 & A380 (and all current Airbus airliners) use bleed air from the engines, just like all other airliners bar the 787.

The reason that people feel better after long flights on more modern aircraft like the A380, A350 and 787 than they do on older aircraft is due to lower cabin altitude and thus higher cabin humidity, which is largely down to the use of more composites in the construction, which can handle the higher humidity without corrosion problems. This better cabin environment is possible with bleed air or with electric compressors.

As an aside, the 787 also offers some protection from "fume events" (leakage of combustion byproducts or oil fumes from the engine into the cabin) since it doesn't use bleed air. However, there's still oil in the electric compressors so there's still some (much diminished) risk of fume events.
Cost per seat per mile comparison across airplanes anyone?
I find it incredibly hard to find this key info...
‘Better’ is an extremely imprecise comparison here. Music is not objective, for one. If it were touch typing, we could measure wpm and accuracy. This is not the case with evaluating how ‘good’ guitar playing is.
The Product Development Triathlon [by Kent Beck]
Hi, your opinion will help me to improve this work. Take a few minutes to browse this paper. Please, don't be evil. Thanks in advance. Alain Marty
Oh nice. sed still scares me a bit.
That’s not true. Only “das Radio” is correct Standard German. Only “die Butter” is correct Standard German. Other forms may well be common, and accepted as dialect. But they’re not Standard German, which means they’re not taught in school (except by mistake), and are not acceptable in official communications. You may not like that German is so overly prescriptivist (I have issues with it) but it’s a simple fact.

Additionally, your explanation about the origin of the gender of “Butter” is entirely apocryphal: the original Greek/Latin gender has at best an indirect influence on the gender of the modern German word (and in fact both were neuter: βούτυρον vs butyrum).
Software pirates use Apple tech to put hacked apps on iPhones
Reverse-engineering the new “captchaless” ReCaptcha system (2014)
Going Self-Hosted: Moving Away from Google and Others
Where I am, there isn't really a problem with robocalls and not many scam calls, thankfully, but I still refuse to give out details over the phone, especially if they rang me.

I'm still shocked at the amount of times I got legit calls from my bank that start off with "please confirm your details". No, YOU confirm your details. I always tell them sorry, I have no proof that they are who they say, but they usually just say "No problem, call us back on the number on the back of your credit card" or somesuch, which is fine. I just wish they said that right away and didn't ask to confirm details, since it makes scammers lives easier.
At this point I'd rather take the risks and costs of nuclear instead of the sure problems of coal and gas. Until it is all replaced with renewable (hopefully very soon) we should definitely keep everything possible running.
Wow. Just wow.

JNR ("JP Rail") is in debt because underperforming local lines and inability to increase fare. During privatisation, the Shinkansen is only leased to the newly formed companies as it's making money hand over fist. JR East/Central/West have since bought the line, though.

And flying is cheaper precisely because people like Shinkansen more, though it's not always cheaper.
We've found water on Mars, but we've also found ancient river and lake beds, deltas, and minerals that can only be found in water on areas of Mars where no water currently exists.

We wouldn't know any of that without having gone there to explore it.

By learning about the mechanisms behind why Mars went from water-rich planet to its current state, we learn more about what could happen us, its closest neighbor.

There also remains the possibility Mars could currently harbor life, or once did and there's evidence of that to uncover. Mars represents our best chance of finding direct evidence of extraterrestrial life.

Please try to have a richer view of this.
Well for starters this is protected from the weather and secondly it is more stable which opens up usage to more people. So comparing it to a motorbike (EV or not) is easy, the use case against a Leaf would be size.

The difficulty I see is, well the size may be off putting to many but they are likely the same people to be worried about a motorbike. The cost seems a bit high but I haven't looked at the full feature set.

I think it really comes down to a cultural shift, getting people to think of personal transportation being well, more personal in size. For the most part there haven't been alternatives to a full size car and when cost it factored in many two car families cannot afford the third one, the commuter car.

I think their idea of service vehicles is a good idea but that might require areas where there is sufficient charging
You can also fly more direct routes. Not everyone flying in to LHR wants to go to London, far from it in fact. So if airlines would service more direct routes that would decrease traffic on busy airports.
If you're a paying customer, complain to the company. Let them know their site is annoying and frustrating to use because of this.

If they lose enough customers over this, they will probably remove the captcha.
They're completely different products for different uses -- Cilium is a overlay networking solution (so, more than one program working together) for use inside container orchestration frameworks like Kubernetes/Mesos/Nomad, where as HAProxy/Traefik are applications that do reverse proxying and load balancing.

Cilium may happen to do some proxying and balancing but you dont do things like "add a backend to Cilium" -- you "add a backend" to Kubernetes, Cilium is handling your networking, so it sees that, and ensure your frontend (which is already deployed let's say) inside the same kubernetes cluster can speak to the backend when it reaches out for it.

HAProxy is a TCP-only reverse proxy and load balancer similar to NGINX.

Traefik is a reverse proxy and load balancer (currently HTTP only I believe) built relatively recently with modern features like a HTTP administration interface, OpenTracing compliant (IIRC) request tracing, let's encrypt for certs, and automatic polling of a container orchestration layer (if you have one) to populate backends/frontends.
Agreed. However I see Billy as a product of the startup culture embracing failure. You have an idea for a company, convince someone else to finance it, the company fails and that person looses all their money. If that company succeeds then you're hailed as the next Steve Jobs despite the very real possibility you're a conman at heart like Billy.

FuckJerry deserves all the backlash they get and probably more but we can't let them overshadow the type of culture that has allowed someone like Billy to be doing this for so long.
Supposedly ‘Fair’ Algorithms Can Perpetuate Discrimination
> This old person tends to give their credit card information slowly, and remember that they're using the wrong card after about 14 digits.

Give the full number and an expired date and go "oh.. this is my old card... I'm sorry... give me a moment, I need to look for my new one1'
Yeah plus seq can generate sequences with leading zeroes (something like seq -f %04.f 1 20).

So instead of scripting, he could have generated a sorted list of numbers from the files he had. Created a file with the sequence of numbers for the range and diffed/commed the whole thing. Voilà...
Error Handling in C++ Or: Why You Should Use Eithers
Bryan Cantrill: Principles of Technology Leadership
I don't think it's strictly true that you always have to have a single point of failure. Trivial counterexamples: 6 people carrying a sofa, an ant colony, BitTorrent.

The closest thing I can remember encountering to what you describe is the "Contracrostipunctus" chapter in Douglas Hofstadter's Godel, Escher, Bach, where he writes a dialog featuring record players as an analogy to Godel's Incompleteness Theorem (which only applies to "formal systems" - descriptive mathematical languages). He does go on to explore a real-world example of the principle in the form of viruses - a cell cannot fully defend against DNA modification using only instructions found in its DNA. The same principle applies to cracking copy protection in games - no matter how elaborate the validity checks, there's always a single point of failure in the form of the final decision - "if(checks_pass){run_game()}" - which can be trivially short circuited with a debugger.

I'm not a good enough mathematician to fully understand the limits of Godel's Theorem. But it seems to me that all of the above applications are examples of some sort of well defined formal computational system, and you can't generalize it to "everything has a single point of failure" without some carefully defined rules as to what constitutes the boundaries of system.

http://www.math.yorku.ca/Who/Faculty/Brettler/3500_06/Godels...
I have a trick, when I'm feelin a bit down I watch blooper reels. There is something about other people laughing when they shouldn't that cracks me up.
Majority of Australian railways are government owned. What makes you think passenger trains there are deprioritised?
I have fixed to fly with a380 with London for many years, until I need to go to another airport. The 77w is actually quite good.
The airports that have problems expanding (because ten thousands of people live in close vicinity) also will have problems opening at might (because millions of people live underneath the flight paths).

Even Heathrow and Frankfurt, with famously strong opposition against new runways, have managed to get new runways approved but not to extend hours into the night.
Isn’t the compromise position essentially ‘after X weeks’, where the value of X is highly contested? (And on the binary yes/no question there’s nuances too which get debated eg if continuing the pregnancy would be a significant threat to the mother’s life)
So long as you can trade off robustness for performance, the fact that there must be a single point of failure is less important. You make the single point of failure more robust. In the example of the control surface, perhaps some ionizing radiation could flip bits in the flight control computers, but it takes a physical collision to damage the control surface.

To argue otherwise is to imply that all designs and all systems are equally robust, which is clearly not true.
Isn't it, though?

By that same logic, I can walk into a hospital, go to someone on life support who can't currently "survive on their own", and unplug their systems, thus "withdrawing the support they require to live". If they die, is it really any different from killing them any other way?

To make the analogy even more accurate, let's say you are in a coma and will come out of it in 9 months. You can't survive without support now, but we know for a fact that you will come out of the coma after the 9 months have passed and will then be able to do so. Is it fine for me to shut down your life support half way through?
A lot of useful features don't end up being implemented in Java and even if they do, libraries and frameworks have to update to take advantage of them. With a new language libraries are built from the ground up based on the new features.

For example adding async to the language isn't necessarily going to change your programs to be async because every widely used library has already adopted threads and doesn't support async yet and often never will.
> Cost per seat per mile comparison across airplanes anyone?

It's so much more complicated than that. Sure, there's probably not much more efficient than a fully loaded A380, but airlines that doesn't present the full picture if there are connections. Also, on the same plane, longer flights are often less efficient than shorter ones because the plane needs to carry extra fuel. Further, actual seat density matters: a full A380 may be very efficient, but an empty one is miserably inefficient.

Today, airlines are so competitive, they build airplanes for specific routes. To do a proper analysis, you need to analyze a specific route, look at the competition, what they are flying, their utilization, etc.
Large fines. They take spam calls very seriously here. I even remember a story where a company was fined for sending unsolicited sms messages and then got fined again because the company somehow thought it was a good idea to send an apology sms message to everyone. The fines aren't small.
In the UK doing isn't grey, it's copyright infringement. It briefly was allowed, but Tories goin'a Tory.

There's no moral justification for not allowing ripping or any other format switching for personal use IMO.
A Love Letter to the People Who Build the Internet Archive
I usually do text processing in Bash, Notepad++ and Excel. Each has its own pros and cons, that's why I usually combine them.

Here you have the tools I use in Bash:

grep,
tail,
head,
cat,
cut,
less,
awk,
sed,
sort,
uniq,
wc,
xargs,
watch
...
seq -f %04g 0 3
echo {0000..0003} # if bash
Can Europe's Latest Tech Darling Keep It Up?
I have some HP Stream 7 tablets. 1GB RAM, shipped with a full Windows tablet/desktop setup. Windows 10 runs better than Windows 8 did.

Comparable to a Raspberry Pi 3, I believe.
well part of your statement applies to why jumbos don't work, you have to expand airports to support them, in particular you cannot have as many gates servicing them compared to other planes within the same space.

Plus besides the exterior space needed for the gate the interior space for handling so many people loading and offloading is the equivalent to two or more planes.

Even Boeing recently went to folding wing tips to fit their newest super efficient designs into existing gate setups.
I also liked this article on a similar note: http://www.deconcrete.org/2011/02/10/inhabit-a-wall/ - comparing fortresses and modern stadiums.
given the limited scope of files in the direcctory... not sure why it was necessary to use grep, instead of the built in glob?

ls dataset-directory | egrep '\d\d\d\d_A.csv'

which FWIW wouldn't even work, on multiple levels: you need -1 on ls and no files end with A.csv

vs

ls -1 dataset-directory/*_A?.csv

ref: http://man7.org/linux/man-pages/man7/glob.7.html

Update: apologies, apparently my client cached an older version of this page. at that time the files were named A1.csv and A2.csv
My point didn't have anything to do with birds in particular. You can think about a cat planning how to pounce on a bird instead if you want. The pouncing cat is thinking in terms of its body, the space around it, and the movement of the bird, without really involving language.
I don't have a spam problem, don't have a house phone and still I wonder if I actually need a phone. I basically talk to my friends over text chat (telegram/signal/whatsapp) and my family calls me on whatsapp. Its very rare that I use the actual "phone" (typically only to call utility companies really).
Did not know that. Thanks! That's much easier.
It's amazing that you can see them so far south in the US. I live at +48° latitude too and around here it's completely unheard of to see anything of the Northern lights (even when I used to live in the countryside at ~+50°).

Thanks for the advice.
Slack has never made sense for open source communities, and I don't know why they have persisted in trying to use it for so long. Even Slack themselves have basically come out to discourage it.
To your point, the effect of Fukushima is two-fold in Japan. On top of the meltdown and its consequences, since most of its 50-odd nuclear plants were stopped with only half a dozen restarted since, and with Japan lagging quite a bit in renewable energy projects, most of the energy needs have been since then met with a substantial increase in coal and gas use.
Don’t get too excited of WOW flights - prices in Iceland are pretty steep.
Zulip not rocks at all. Maybe topics are handy buy overall user interface so clumsy, small fonts and so on. Tools like Slack spoiled us in terms of UI. Mattermost maybe closest one to slack slickness.
The regulation the FCC is threatening to enact has existed in the UK for a little while. This means the source of spam calls is known, and can be fined.

Based on my understanding of our phone system it's a bit easier here though, as we don't have the split in operators of the core landline network - it's all OpenReach underneath.
I assume you're talking about ads. But you're bidding at least cents on Adwords and making at least cents on Adsense. In Adsense's hey day, I had relatively low-volume sites making over $1 per click and paying my rent in lucrative niches.

I didn't find any pricing examples on hcaptcha's website. For all I know, people are bidding 5 cents per image.

Anyways, I definitely want to see more serious contenders in the captcha space so that we all aren't contributing to Google's middle-manning of the entire internet, and I'd like to try hcaptcha even out of curiosity.