skysight-inc/HackerNews huggingface dataset:
1 and 2 are much harder to prove, since they're not about whether some big thing happened as much as about who orchestrated it, which is a much more ephemeral concept. We (mostly) all accept that some ships sank in Hawaii and that the World Trade Center towers are missing as of 9/11/01. It's what happened and who made it happen that are in question.

I'd say 4 is just as easily disprovable as flat-earth-ism: There are other, contemporary societies in contact with Western Europe who were also keeping track of time... unless there was an Eurasia-wide conspiracy (in CE 1000) to fabricate those years, the dates only line up the way we count them now. There are also well-established (and recorded) astronomical events that line up well with the commonly-accepted timeline (but that would take believing that astronomical events are predictable by science).

In all, I'd say it's much more likely that NASA pretended to land on the moon than that the century we think Mohammed lived in didn't happen.

EDIT: Misread my own numbering
Ask HN: Will Rust ever become a mainstream systems programming language?
You would hire a self-taught chemical engineer? Nothing that can possibly go wrong with that.
This weekend I played with the Buffalo framework [1] which includes "pop" [2] which an ORM of sorts.

I really enjoyed working with both. It's nowhere near as magical as Rails, but it totally reduced the amount of code/boilerplate I needed to set up databases, migrations and to get Go "model" structs to and from the database.

[1] http://gobuffalo.io/docs/getting-started

[2] https://github.com/markbates/pop
Funny, we are currently building exactly this (incl. CUPS driver) for a research project, using an ESP8266 and a Pervasive Displays 10.1" panel.
>Besides, if you confuse extant with useful you might end up believing that some random large integers aren't "there!"

In addition to the points already made about the "all at once" claim, every integer (every rational number, even) can be given a finite description (just write it down).
Ask HN: How to plan getting out of tech?
I could go on about where I work and why I'm unhappy there, but ultimately, I just think there is something deeply wrong and unhealthy with the industry and the people in it, and I want to stop doing this to myself.

I'm American, 35, single, no kids, living on the west coast of the US. I have no debt and around 100k in the bank. I don't own any property. Is there anyone out there, who was in a similar position and figured out a way to stop working in tech? I feel open to a lot of different possibilities, including of course moving abroad.

I guess I'm just wondering if there are others who have been in a similar position and what they did, or, what resources I can use to figure out my next steps. I wish I could be more specific about what I'm asking, I don't want to be spoonfed information, but I just need some guidance on where to look to start planning what to do.

Thanks for any advice or input.
As well as everything the author mentioned, keep in mind that business data services circuits are what keep many competitive phone carriers and the big four wireless providers connected. Eliminating the regulations he talked about would effectively allow incumbent telcos to price these people out of the market
And yet the thing people actually shop on is price.
He's saying this IS a staffing fuckup, and the term "oversold" or "overbooked" is wrong here, as it relates to having too many tickets for a plane, not UA staff fucking up.
We've started building Bugfender using GORM and it was good for the initial job, but we now decided to remove it completely and continue on a lower level.

We've summarized our whole experience with Go here: https://bugfender.com/one-year-using-go and we're just wrapping up another blog post with the Go pros and cons (from our point of view), which should be out soon as well.

The biggest problem with go is, that it is still a very fast and changing ecosystem. Which is great for a new language, but didn't serve us too well for building something stable.
>The police in the US are trained to de-escalate situations too.

Sure, but practically speaking if you have a realistic understanding of how most US police forces operate, you know that involving them in any kind of dispute greatly increases the chance of violence and harm for all involved. YMMV per locality and situation, but it's a pretty sensible rule of thumb that police involvement equals increased risk of violence, even in previously nonviolent conflicts.

Which is sad and unnecessary. I think it directly results from the prevalence of "warrior mentality" in US police training and operations. They are trained to view all citizens as potential enemy combatants to be dominated, rather than innocents to be protected; they are trained to put the safety of themselves and other officers above the safety of the citizenry; and they are trained to, if not always escalate, certainly to err on the side of escalation if there is any hint of violent action or ill intent from the citizens they interact with.
NPR needs to be more concise. Their informative articles such as this one are written as if the writer is trying to get an A in creative writing 101. Knock off the color and give us the scoop in 2-3 paragraphs.
You didn't say anything about buying an OLDER phone. That's not really delayed gratification. That's just being frugal.

And none of this is relevant to income inequality, which is what the article was discussing. If your income is $15k/year, you're still in the bottom quintile regardless of how much you save.

You said you wonder about the role of delayed gratification. The answer is that there is no role. If you earn nothing, you're still poor even if you wait to buy stuff. You might be less poor than your neighbor who buys on credit, but you're still poor.
The first three aren't parallel in my mind. Those people aren't saying 9/11, Pearl Harbor and JFK assassination didn't occur. they just have different, mostly unfalsifiable theories about why they occurred.
Imho, not good. They feel like a hack.

It's the main reason i wouldn't use go for building a webapp that needs to discuss with a moderately large sql backend.
Not a direct answer to your question (because I don't know) but there's a couple doing research into a cure for prion disease because one of them (Sonia Vallabh) has it.

Eric Minikel has been blogging about their research [1] [2], maintains an active Twitter presence [3] and has GitHub [4] repositories on the issue. The blog has a lot of information for anyone wanting to know more about bioinformatics, basic research and prion disease in particular.

[1] http://www.cureffi.org/

[2] http://www.cureffi.org/about/

[3] https://twitter.com/cureffi

[4] https://github.com/ericminikel
But if the airline takes their agreement a lot more seriously than this, then they're going to need to have reserve capacity. No more overbooking flights. Have standby pilots and planes available. Those things cost, and will show up in ticket prices.

The public has pretty well demonstrated that they prefer lower-price tickets over a higher-quality flying experience. So the airlines are giving the public what (the majority of) the public wants - a crappy, but cheap, experience.
Struggling in Washington DC terms.

Thriving in human terms.
Y'all somehow missed the article saying he was carried out on a stretcher AFTER he went onto the plane a SECOND time.
> Does anyone know of any prominent case where a major company passed a shareholder proposal? And/or the board recommended in favor of one?

In my experience, the people with enough savvy to get a shareholder proposal passed for an individual company will instead field their own candidates for the board.

When competent shareholder proposals are presented, they usually are done across a swath of the market and have to do with corporate governance. Managers of major market players (e.g. pension funds) will decide they want a certain change and then present it to many companies.

As an example, board declassification proposals passed at over 50 companies in the first half of this decade; note some of these were supported by the board or at least not opposed: http://www.srp.law.harvard.edu/companies-voting-on-proposals...
SEEKING WORK - Remote

Highly skilled at:

* Django and full-stack web development (8+ years)

* System administration (Debian Developer, etc.)

* Almost any open source work (see https://chris-lamb.co.uk/blog for recent examples)

If you are in search of a reputable software developer with a track record of producing high-quality and maintainable code, please get in touch to discuss your needs. As former Technical Architect at Thread.com (YC S12) and Playfire.com I was responsible for two major Django codebases, receiving acclaim from my peers for scaling both the site and the codebase in a maintainable and reliable manner whilst still delivering features at an extremely fast pace.

In addition to significant development on the products themselves, I was sole system administrator, deploying servers and performing low-level diagnostics to investigate performance, security and configuration issues. I also introduced quality assurance tools such as configuration management (Ansible, Salt, cdist), continuous integration/deployment (Jenkins) and code review to detect mistakes and regressions as early as possible.

As a freelancer, I have debugged, designed, and implemented projects in C, C++, Python, Java, Bash/POSIX shell, etc., and I also have assisted technical teams with their infrastructure and architecture so they can deliver better results faster. Native English speaker.

Github: https://github.com/lamby

My open source projects: https://chris-lamb.co.uk/projects

Homepage/writing/about, etc.: https://chris-lamb.co.uk/

Contact: chris (at) chris-lamb.co.uk
"Uber losses expected to hit $3 billion in 2016 despite revenue growth"
https://techcrunch.com/2016/12/21/uber-losses-expected-to-hi...

So Uber lost ~$3 billion in 2016, yet in 2017 they're supposed to start paying drivers more or providing more benefits? You know what happens to businesses that are losing money when they're required to start spending more money? They lose even more money. And the rate of loss has only been increasing for them, not decreasing.

If you want to impose more cost on them, it might help some drivers in the short run but in the long run it will kill jobs and likely kill the company, assuming the company doesn't already implode on its own.

We all need to remember no one is forcing anyone to be an uber driver. If we impose restrictions on a company that is already hemorrhaging money, it is absolutely going to kill jobs. If these people had a better alternative to uber they'd be doing it already, so when the uber jobs are gone they'll be forced to take even worse jobs.

If these folks really are being underpaid, another company can come in, pay them better, have better drive retention and satisfaction, and beat uber at their own game. Assuming that isn't happening, then drivers are in fact being paid the correct price, and any action to alter that price will lead to job options being reduced.

I think that is the ultimate elitist mindset, that these jobs are simply too wretched for anyone to do voluntarily. And for those poor souls that are being "forced" to do them, we should protect them from their terrible decisions by imposing extra costs. This makes people feel good by claiming to look out for those less fortunate, while ignoring the economic reality that it will reduce options and opportunities.
I had a step-father who believed the moon landings were fake. He also thought cigarettes were healthier than chocolate and that Columbine was a false-flag operation to sway the public in favor of gun control, though.
From a purely customer service conflict resolution standpoint, the fact that the guy claimed to be a doctor gave whoever was handling the situation for United a very easy out and a way to move on to the next person. I wonder why they didn't take it.
United Airlines Drags Random Passenger Off Flight
WikidPad
Jay Z's Entire Catalog Has Been Removed from Spotify and Apple Music
Next time ask how long they've been doing Uber. For the most part, I've only heard longer than 1 year a handful of times.
> You're saying Twitter isn't obligated by the law about free speech.

The concept of freedom of speech is that pure speech is free from government-imposed consequences, but that private parties can and do choose what expressed ideas to support, oppose, reward, and punish. That's the fundamental concept of the marketplace of ideas.

The idea of freedom of speech is not that speech should be free of all consequences.

Now because businesses (especially those that are creations of government, like any that operate as juridical entities distinct from the constituent natural persons) are creatures of government and/or often depend on exercise of government powers, there is an argument for limiting the consequences that they can impose for speech in certain cases, especially when they are in monopolistic roles, and even more especially when that is in regard to key communications media, because those are in effect acts of government by other means.
As Feynman put it: "The first principle is that you must not fool yourself – and you are the easiest person to fool"
Yeah, if they conduct the same survey to adults, the result would be similar I suppose.
Tesla passes General Motors to become the most valuable US automaker
This may be clearer to the parent commenter if expressed as "there are only countably many strings drawn from the Unicode alphabet, so if we fix a coding scheme such that a string expresses at most one number in that scheme, then there are only countably many numbers we could have defined. If you try and get around this by saying that the coding scheme is arbitrary so the symbol L can be made to stand for any real, then you have dodged the question of how you specify that coding scheme; there are only countably many coding schemes which can be expressed by strings of Unicode once a coding scheme is fixed, and in particular there are only countably many coding schemes expressible in English".
Thank you, that was a nice read.
The entire premise of this article is based on the old fashioned idea that "work" will always be performed by humans and that human labor will always be in demand. I mean, it literally opens up with this:

"In a decade, who's going to fix your vehicle, deliver your mail or landscape your yard?"

Whoah there! Don't you mean, "what is going to fix your vehicle, deliver your mail, or landscape your yard"?

Now that we've injected some reality into the situation I think the answer is quite straightforward: Robots (and other forms of automation).

Bearing that in mind is it really all that surprising that kids want to go into entertainment in large numbers? Logically, if robots take over all the "physical work" humans have traditionally occupied going into entertainment seems like the perfect solution.

Entertainment can be produced from nothing, can be delivered to a nearly infinite audience size thanks to the Internet, and has no upper bound on how much can be produced or consumed in any given time frame. It seems like the perfect replacement to fill all those gaps in human labor.

Also, with robots replacing so much "work" it should--in theory--free up the time of so many humans that would otherwise be working hard for basically no reason other than to earn some money. That means there's going to be more demand for entertainment as well.

There's always going to be a wide variety of human occupations but it wouldn't surprise me in the slightest if 70% or more of the "workforce" is occupied by various forms of entertainment in the future.
The Java version is still being maintained, but the pace of development is as slow as it has always been.

The great thing about the Java version is the huge modding community that has been built around (specific versions of) it.
Unrelated, but I read a article a while back which said something similar, but it was based on the fact that our entire mathematical system is designed around "base 10" and as such is only relevant in many constructs to our specific human 'ten fingered', interpretation of math.
My new android game called Tap It! Need some honest feedback
I recently uploaded my second game on google play market. It's an arcade game that focuses on the players reaction time. Since I'm relatively new to the Android gaming community, I would really appreciate your honest feedback. It can be both pros and cons about anything thats on your mind.

Link to the game:
https://play.google.com/store/apps/details?id=com.noberg.TapIt

Thanks in advice!
Tech is a double-edged sword.

I also could think of anti-human-targeting weapons to stop or neutralize those vehicles.

Everything is possible.
Most Americans hold shares indirectly through funds where they lose all governance rights. The fund managers have zero interest in any proposal which has the faintest whiff of risk.
Something that might fulfill your interests would be the BoogieBoard Sync[0]. It can bluetooth connect to your phone (iOS and Android), where it will upload what you write in a PDF format. The device can be connected to a PC via USB, and the data can also be pulled off in PDF format. You cannot pull up what you write on the device itself though.

I don't think it's quite US Standard Paper (I don't have mine with me at the moment to check), but it is quite a decent size.

It takes only a moment to save what you've written, and clearing the screen takes a split second. You do have to use a special stylus it comes with to write to the device though, other strokes won't be saved. The battery life is supposed to be ~7 days of run time, if you were writing continuously. It is quite slim, and very light weight.

From what I've read, the PDFs store your pen strokes. They claim this is optimal for OCR, but I've never tested that claim.

[0]: https://myboogieboard.com/ewriters/sync
I don't understand. Aren't biopsies of the brain possible? I still remember that episode of House MD, Euphoria.
Ok, so the definition of batch programming means that debugging is only allowed by print statements (or other side effects from which we infer what happened in an actual run of the program and work backwards). For instance, using a breakpoint debugger on C isn't batch.

Still, Lisp is good for that. I've debugged Lisp programs with print statements and it was at least as good an experience as debugging programs in other languages using print statements.

For instance, if we compare to C, C has no trace, and generally no easy way to wrap any function with a wrapper that takes the arguments. Ecosystems built around C, like the Linux kernel, have developed things like that: Linux has a function tracing thing in it (more than one, I think).
And why should I believe Proudhon?
Dockrails, a CLI to Generate and Run a Dockerized Rails Environment
I have T-Mobile, but I think most of the major carriers work the same.

My bill is simple to calculate -- phone plan + payment plan.

If I bring my own phone, there are no extra fees. If I buy a phone on a payment plan, my bill is my phone plan + (phone cost/24).
I personally prefer whatever language/framework gets value out the door quickest on the side of handling HTTP requests (e.g. rails or laravel for the front-facing items) and something like Golang for plumbing or work that requires speed/CPU optimization - queue workers, file manipulation, data streaming, whatever.

Golang (and NodeJS) both feel really kludgy to me when getting into things like handling form submissions (validating input, redirecting with error/success messages, and all those tedious things that the popular frameworks abstract away the best they can).
Okay, atleast some benefit of being a vegetarian. But iirc there was some vegies too that can infect the brain.
You don't have to be dead when they start, but you will be when they finish.
But in our universe, if it's discrete on a macroscopic level, then it's either inherently a natural number (it can be counted), or it's intelligently created.
I think people have come to interpret the pre-optimization mantra in different ways, which leads to some confusion.

Personally I think it's fine to have optimization goals, particularly around things like performance, cost and security (or even your ability to hire engineers). Maybe you park some of them while you prove another point, but you can (and should) measure and adapt along the way.
It's crazy and scary at the same time how fast new approaches are improving machine learning efficiency. Am I only one who thinks that we will be able to simulate the brain with much less computational power than the brain itself has?
Sorry. I should have said "per capita."

http://www.globalresearch.ca/libya-from-africas-richest-stat...
Thanks for the info! I may have an offer and I want to make sure I am aware of my unknowns.
A Software Developer’s Mac Pro
Lets say both, I'd like to hear your perspective.
They aren't penalized for escalating it inappropriately.

Even being fired for cause just means getting the same job in the next town over.
yep, like many other faux paradoxes, it stems from mixing language and meta-language
It's true that the mechanics of triggering HTTP/2 Push are done with the Link rel=preload directive (defined by the W3C [1]), the advice to hardcode HTTP headers on outgoing responses that point to file references is simplistic at best -- which shows that this whole thing (still) isn't yet thought out too well.

Most of the content of my earlier post on this topic [2] still stands; since then, Caddy has implemented rule-based ways of specifying what to push [3][4] (although not via Google's push manifest [5], despite being asked to). It'd be far more productive if the community coalesced around one clear declarative way of specifying what to push -- Google's push manifest does this well enough -- which could be ingested by server software and applied as needed.

If this were done, the problem space is moved to somehow generating that manifest, which can be done by hand, or scraping resources, or as an output of a more complex tool [6] that knows more about the info-space of the resources.

And of course, keep in mind the advice that Google has prepared as part of the research they've done on deployments of HTTP/2 Push [7].

[1] https://www.w3.org/TR/preload/#server-push-http-2
[2] https://news.ycombinator.com/item?id=12722383
[3] https://github.com/mholt/caddy/issues/816
[4] https://github.com/mholt/caddy/pull/1215
[5] https://github.com/GoogleChrome/http2-push-manifest
[6] https://github.com/webpack/webpack/issues/1223#issuecomment-...
[7] https://docs.google.com/document/d/1K0NykTXBbbbTlv60t5MyJvXj...
What about those with chronic depression and/or going through a form of depression? I find myself struggling quite a bit at times, often lacking motivation. I would welcome anything to help me sort it out in a controlled fashion so I can become more functional.
The fact the gig economy job exists does not take away from the high paying job. If it didn't exist, these people would not be working or working at their local retail/restaurant store instead.

The social problems of the low-income job lifer is not new.
"Real numbers that cannot be defined with language" is not a well-defined set though. Just like "integers that cannot be described in less than 100 words" is not well-defined (I could reach a contradiction by pointing to the "smallest integer that cannot be described in less than 100 words").
Yeah, the title led me to expect a cryptocurrency.
The game won't change. You still have the exact game you paid for.

Except maybe with more bug fixes now that Microsoft has a justification for continued expenditure.
So your total criteria for what constitutes a "better reverse proxy" isn't performance, isn't lowest latency, isn't full HTTP compliance, isn't dynamic reconfiguration, or pluggable load balancing mechanisms but rather configuration files??

Sorry if I don't hold your opinion to that high a standard in that case.