skysight-inc/HackerNews huggingface dataset:
>The fact that we can only write down only countably many expressions for numbers doesn't mean that there are numbers that we may never write expressions for

It depends, as they say, on what the definition of is is. What does it mean for a number to exist if it cannot be described? What does it mean for a construction to exist if it cannot be constructed?

>if you confuse extant with useful you might end up believing that some random large integers aren't "there!"

The question isn't whether it's useful to claim the existence of uncomputable reals; the question is whether it's meaningful. A construction needn't be useful to be meaningful, but surely it must be meaningful to be useful.
That's just Windows. There's no combined codebase akin to Google's.
Clarification by AskThePilot [1]: For the record, and to correct something that virtually everyone has pointed out: this was a United Express flight, not a United Airlines flight, operated by a contractor company called Republic Airways. The crew members were not United employees at all. That doesn’t mitigate what happened, and I don’t know which employees — Republic crewmembers or mainline United customer service employees in the terminal — were the ones who made the call to have the passenger taken off, but it’s important to note.

[1] http://www.askthepilot.com/passenger-forcibly-removed/
That's not something you have to do to eat meat. Just something to consider if you want to sell it.
> If rust ever gets to the point where it's not much harder to write than java/c# then why not got for the fastest one and avoid performance death by a thousand cuts?

Sure. If it's just as easy for the task then why not?

But I wouldn't recommend Rust for web development for the same reason I wouldn't recommend C++ for web dev: complexity. Obviously, this is entirely subjective but I don't think either language will ever be easier to write than Java or C#, especially for beginners.

I used to TA a freshman data structures class. I can't imagine ever going to a class of new programmers and trying to explain to them when to use Rc<RefCell<Vec<T>>> vs. Rc<Vec<RefCell<T>>>.
This is why I love this community!
IN SEARCH OF A HACKER?
A senior member of IceFog,who is a professional in the following services:
* Hack and access DATA FROM ANY COMPANY WEBSITES
* FUND TRANSFER FROM ANY BANK WEBSITE
* HACK AND UPGRADE UNIVERSITY GRADES
* SALES OF HACKING SOFTWARES & ONLINE TUTORIALS
* HACK INTO YOUR PARTNER’S FACEBOOK ACCOUNT without their knowledge/Notification
* Hack into any GOVERNMENT AGENCY WEBSITE
* HIJACK A USERNAME & PASSWORD TO ACCESS ANY SITE
* Hack into SECURITY AGENCY WEBSITE and ERASE CRIMINAL RECORDS
* HACK AND OBTAIN CASH ADVANCES
* HACK AND OBTAIN SOCIAL SECURITY NUMBER
* Hack into any DATA BASE
* Hack PAYPAL ACCOUNT, MASTERCARD, AMERICAN EXPRESS etc.
* SERVER CRASHED hack
* WE ARE EXPERTS IN DATA AND FILES RECOVERY…
* HACK BANK ATM CARD, PIN and PASSWORD DEVELOPMENT
University grades changing
Website crashed hack
server crashed hack
Erase criminal records hack
Databases hack
Sales of Dumps cards of all kinds
Untraceable IP
Individual computers hack
Websites hack
Control devices remotely hack
Burner Numbers hack
Skype hack Credit cards hacker
* Hack into any BANK WEBSITE
* Hack into any COMPANY WEBSITE
* Hack into any GOVERNMENT AGENCY WEBSITE
* Hack into SECURITY AGENCY WEBSITE and ERASE CRIMINAL RECORDS
* Hack into any DATA BASE
* Hack PAYPAL ACCOUNT
* Hack WORDPRESS Blogs
* SERVER CRASHED hack
* Untraceable IP etc
* We can restore LOST FILES AND DOCUMENTS.

Contact me via: tappanmorrisworms@gmail.com
unfortunately I share your view for the most part, but I'm working to avoid being so fatalist about the outcome here until I see more experimentation
> I can't think of any way that Rust differs in this regard from, say, Ruby. Or JavaScript.

"Everything is an expression" is pretty different. You can say ML/Lisp, but those are non-top-10 languages/styles.
How to extract a script and its history from a Git repository
Won't that hurt people who were trusting that promise to be kept? That could have caused people to stay in the same job and not make their own retirement savings or change to a higher paying job for the 2 decades between 1999 and today.
And when you see a bus driver come across a tree or some other impassable object in the road, the level of decision making as the driver leans out the window, barks orders to other divers to back up. Does a 3 point turn, bumping up the pavement, reversing down someones driveway, scooting over the grass verge while giving a cheery wave to everyone he pissed off while doing it. AI is not there yet.
Extensive discussion: https://news.ycombinator.com/item?id=14079837
> Trying to port something from another language to Rust is difficult because Rust's ways of doing things are so different from other languages.

That's the whole reason to have a new language; if we just wanted a language that works like elcurrent popular languages, we wouldn't need a new language for that.

> I have the feeling that Rust is destined for a niche like Haskell - cool, but not mainstream.

Becoming a Haskell or a Lisp -- never an industrially dominant language but one from which later and more industrially popular languages are continuously mining for some subset of their ideas because they solve problems long before most users of industrially popular languages even recognized the problem, much less the value of the particular solution, is not a failure.

And it makes the language one that is valuable to learn even if you don't often get to use it anger.
I'll let Eugène Ionesco know.
JS has an actual write once run anywhere with an above-average async story.
Doesn't Vala use reference counting? [1] I'm not actually sure; do you have some pointers I could read here?

1: http://www.vala-project.org/doc/vala/Overview.html#Memory_ma...
Overtaking Google is unlikely, but Google deciding a certain coupon site is spam/scammy and deranking them is quite the threat and would basically kill them overnight.
Thats doubly clever, because it makes the child complicit in not getting the candy. "Well, you spent all your money yesterday" is a much better reason than "I've decided you won't have that". Children don't yet have the skills to question the system their choices are embedded inside. (That comes waaaay later - arguably not until your 20s.)
Dear Founders, Here Is the Real Reason Why Your Startup Will Fail
Purchased by who? With what money? There's no way they'll get twitter users, collectively, to pay enough to buy out the existing investors.
Yes, you ideally want four, as that seems to be the maximum number that the chips support. I believe the zynq is still capable of that.
I love the idea presented here, where there's a low and affordable up-front fee to act as a small speedbump to anyone wishing to spam or otherwise abuse the network. They can register a thousand accounts, but it'll cost them $5000 to do it, and if they're a jerk, the accounts can be yanked. If you think you want back in on the "party" (love the name), you can still do so but it's once again going to cost you.
Okay, come on, Razengan. This thought experiment is not a difficult one.

I invent a machine that "scans" your body in such a way that I'm able to create a perfect replica of the state your body was in, nearly to the atom. Molecule, by molecule, the machine can rebuild your body, within a near infinitesimal margin of error.

I put you inside this machine, and scan your replica file, and then I save it to a massive storage device, and, when called upon I can rebuild that version of you whenever I want.

Now, after being successfully scanned, you exit the device. I blow your head off with a shotgun, and your headless corpse slumps on the floor. No witnesses.

Do you really think you'll come back to life, if I print out your replica from the file?
Epsilon is a variable, not a number, so that wouldn't make sense. The probability is less than epsilon for all epsilon > 0. The only non-negative real (and we know the probability must be some non-negative real) satisfying that is 0.
Lots of things: https://github.com/SergioBenitez/Rocket/issues/19
In California, I would eliminate Prop 13 for landlords (which would increase teacher salaries 20%-30%). To me, that's a no-brainer. The other no-brainer is decreasing political barriers to additional density.

Everything else requires trade-offs.
- If you allow educator salaries to track property values instead of CPI, you create massive inequities between school districts. Maybe a regional inflation index that includes housing costs?
- If you raise salaries, you have to raise taxes.
- If you build teacher-specific housing, you're just passing the buck to the next profession.

Regardless of all the above, I think you'll need mechanisms for people to share the investment risks of expensive land ownership. I'm not sure mortgage insurance is the best mechanism -- hence Landed.
I remember, back in the 90's, going to one of those retirement planning/sales sessions, where they explained how much you would need to invest at what rates to have a good retirement. With the little I knew then about economics/investment, I knew there was no way they were going to be able to deliver the 8-12% annual return they assumed would be required to meet their projections.

So yes, I sympathise with people who allowed themselves to be lied to, i really do, because ultimately this is white collar crime we're talking about - but caveat emptor also applies.
I don't mean to be rude, but assuming you're not a doctor (and, even if you are, he's not your patient), I don't think it's good form to give medical advice on the Internet, particularly if it's advice that's dismissive of a mainstream treatment.

My two cents, don't rule anything out. I had a SO with adult ADD and medication made a world of difference. That's just one person, though, and everybody's different. Do talk to a doctor if you feel like you might have adult ADD. It's a very real thing, and there are lots of treatment options, both pharmacologic and not.
The problem really isn't COBOL. COBOL is not a difficult language. It reads almost like English sentences. Any competent programmer would not be challenged by COBOL. The problem is all the glue. JCL, SNA, CICS, ISM, ISPF, etc.

It's like the difference between Java (the language) and J2EE, except in the context of 1970s computer technology. It's not intuitive and not something you can really work through without a lot of training and experience.
That seems to be assuming that the market is perfect, but dumb TV's for one seem to be getting harder to find.

> a smart device that is never connected to anything is pretty much equivalent to a dumb device.

From the consumers perspective, but the still bring risk: https://arstechnica.com/security/2017/03/smart-tv-hack-embed...
My thought exactly; chasing Roblox after having missed the boat on also providing hosted service. It seems like these platforms provide a repeat of the knockoff industry of gaming on Facebook.
Well, had to read about stone tools from about ~2 million years ago (mya) to 1 mya and the problems of trying to figure out what they signify. This one is more recent ofcourse but archaeological record jump implies there is missing information. (No fluting to suddenly a lot of fluting for example).

"The vituperative debate ended only when strong evidence for a pre-Clovis settlement turned up in Chile in the late 1990s." "Clovis may no longer be the oldest American culture, but it remains the oldest American culture we know much about."[0]

This article talks about how the smaller "clovis" was probably part of projectile weapon like a throwing spear as well.

-----------------------------

[0] http://www.smithsonianmag.com/history/the-clovis-point-and-t...

[1] http://www.bradshawfoundation.com/journey/taima-taima-text3....
BugMeNot started RetailMeNot.

Good example of a pivot from what I assume? was a hack for fun to a business.

Also a good example of SV style buyouts etc
I believe most of your questions have a (mostly) positive answer. Admittedly the Docker project moves fast, so I've tried to provide a link or two for each:

> Are these signed with some sort of crypto and known-good keys, similar to package signing keys attached to a package repo, or are we taking Docker's word for it?

The official images are all signed with Notary[0] (released <2 years ago). The "Content Trust" feature makes use of TLS plus a number of keys[1]. It can be enabled in required environments to prevent the pulling of non-signed images (`export DOCKER_CONTENT_TRUST=1`).

> I had to go 3 levels up from the link on the Docker Hub page to get to this one because most of the images are FROM:something.

There is a helpful Chrome extension, OctoLinker[2], that makes the `FROM parent` clickable (among other non-Docker things). I'm sure there are similar extensions, but this is the one I currently use.

> a) still derived from some other upstream Dockerfile (must this file also be validated by Docker to qualify as an "official repo"?)

The `FROM` line in the Dockerfile would likely be the first thing to undergo scrutiny, for obvious reasons. Also, all the layers go through security scanning[3], some issues can be fixed[4] and others are tracked upstream (e.g. by Debian in the case of the Ruby image you linked[5]).

> you end up with an image that is very bloated due to the way Docker's caching layer functions

You can now use `docker build --squash`[6] to combine multiple image layers while still benefiting from layer caching during builds. Also, the final image won't contain files that are added in previous layers and removed in later ones. (And with multi-stage builds recently merged, soon multiple inheritance will be easier.)

> Is this "transparency" only the case on "official" images? As far as I can see Docker Hub just stores the pushed binary blob and not the Dockerfile required to build it

I would say groups or sole developers that want others to use their images will usually provide documentation and links to the Dockerfiles. Of course, this isn't always possible or desired (e.g. see closed-source projects like Windows Server Core[7], or the countless people using Docker Hub as a free image host.)

[0]: https://github.com/docker/notary

[1]: https://docs.docker.com/engine/security/trust/trust_key_mng/

[2]: https://octolinker.github.io/

[3]: https://docs.docker.com/docker-hub/official_repos/#how-do-i-...

[4]: https://github.com/docker-library/official-images/pulls?utf8...

[5]: https://github.com/docker-library/ruby/issues/117

[6]: https://docs.docker.com/engine/reference/commandline/build/#...

[7]: https://hub.docker.com/r/microsoft/windowsservercore/
There are no infinitesimals in the reals. You can define a mathematical structure containing infinitesimals [0], but it's not the reals.

[0] Specifically, the dual numbers: https://en.wikipedia.org/wiki/Dual_number
seriouseats.com, smbc.com, nytimes.com
By telling her to wait for the man to come home and fix the computer, if I'm reading that comment correctly. (I hope I'm not.)
You're not alone and it's great to see others thinking this way.

We're looking at making it easier for people to bring-your-own-helm-chart[1] and have GitLab deploy it. There's value in keeping the chart in the project repo, and there's value in decoupling the chart and putting in a different repo. I'm fascinated to see which becomes best practice.

[1]: https://gitlab.com/gitlab-org/gitlab-ce/issues/29969
> > I can't think of any way that Rust differs in this regard from, say, Ruby. Or JavaScript.

> "Everything is an expression" is pretty different.

No, in Ruby, everything is also an expression; this is sometimes unrecognized because some constructs that are cognates to constructs that are statements in other languages are frequently (but inaccurately) referred to as statements in Ruby (the most frequent example I've seen is "case statements").
In all honesty, I try to stay full throttle at work.

Important breaks I do take: Coffee walk (unfortunately on some busy days I simply can't make it out), Quick chats with the team, and Pomodoro-timed walks to stretch/ease the mind.

I usually eat lunch at my desk, which annoys me, because I always want to socialize and be better at that. I don't find it easy to do this since the days are so busy.

I'm a product manager, so I spend much of my days in meetings that are a mix of working sessions, scoping exercises, communications with external clients, and team-focused meetings.

On the days I don't have any meetings (they do exist), I zone out and get some work done. Lately I've been focusing on the DevOps for our team.
The whole point of Linkerd is moving logic out of your app. Linkerd is like a library but, instead of being in-process, it inserts itself between the app and whatever the app needs to talk to. The app just dials http://foo.svc/, and Linkerd sends the connection to the right place; it doesn't need to know where foo.svc is.

Many companies, including mine, already run an internal load-balancer (such as HAProxy) that takes care of routing traffic between microservices. Linkerd replaces this with something that is explicitly designed to deal with inter-app communication. (I believe one way to run Linkerd is as a small sidecar app inside the same Docker container the man app, as opposed to a big central server, which is also a neat way of doing it.)

Re "why not a library" — sure, you can build all sorts of discovery, distribution and resilience into the client itself. But that consolidates all of this intelligence into just that client. What if you use multiple languages? What about third-party client libs (e.g. Memcached, Redis, PostgreSQL) that you don't control and that you don't want to reimplement? You'll find yourself reimplementing the same thing over and over.

> you can't "drop in" resiliency

I recommend reading the documentation, because drop-in resilience is really the whole point. The guys who built Linkerd previously developed Finagle [1], which is Twitter's RPC library, and when they talk about network resilience, they actually know what they're talking about [2].

[1] https://blog.twitter.com/2011/finagle-a-protocol-agnostic-rp...

[2] https://monkey.org/~marius/funsrv.pdf
I put go & node behind nginx, so how does that count similar?
30 minute breaks? Sounds unbearable! Plus knowing that you're being judged creates a pressure that doesn't help solve problems.
Especially when, more often than not, the coupon code was invalid.
"Any sufficiently advanced technology is insufficiently documented."

[I think I coined this one, back in the day. But I was probably preceded by someone even more damaged]
From the article "Experienced COBOL programmers can earn more than $100 an hour"

In Australia that's a lot, but my understanding is that it's common for American developers to be on way more than this...
I run affiliate programs for my businesses, none of which have a box for coupon codes when you sign up. Despite that, nearly every day new coupon sites sign up for the affiliate program.

They usually have a webpage full of "coupon codes" offering discounts that don't exist made up, ready to add the referral link to. I remove all these sites from the program, some leave the pages up anyway.

Even coupons.com has a page for my business with several "Click to Save" buttons that do nothing. They're publicly traded as well.
Spend a week trying to get the project to actually run on a computer, with a project you haven't touched before...
Ask HN: Near future SF anthologies?
I'm looking for a near future SF anthology to read, similar to Black Mirror, but for short stories. Any suggestions?
It's important to note that the airline is required to pay cash[0], not vouchers, for involuntary bumping, and this is supposed to happen before boarding. They dragged the man off the plane after he was already seated. He was not denied boarding, he was forcibly removed, so this falls under Rule 21 of the Carriage Contract[1], not rule 25. He does not meet any of the criteria for rule 21, however.

[0]: https://www.transportation.gov/airconsumer/fly-rights#Overbo...

[1]: https://www.united.com/web/en-US/content/contract-of-carriag...
> One COBOL programmer, now in his 60s, said his bank laid him off in mid-2012 as it turned to younger, less expensive employees trained in new languages.
[...] "The call back to the bank was something of a personal vindication for me," he said.

I find this being an oddly satisfying part of the story
"Experienced COBOL programmers can earn more than $100 an hour when they get called in to patch up glitches, rewrite coding manuals or make new systems work with old."

Any contract-based engineer would charge that, or more, regardless of the language. Fortune 500 companies are happy to pay $300 / hour to a consulting company for engineering time.
Josh Elman, one of the partners at Greylock, gave a great talk on How to Build on Other Platforms at the Weapons of Mass Distribution conference a few years ago. It's really worth watching if you're thinking about building on another platform:

Josh Elman "How To Build On Other Platforms" - https://www.youtube.com/watch?v=m0j1NaFpEkg
Yeah, I think this whole thread has less to do with costs and more to do with preference and values. New York is amazing :)
These forgery stories are all the same, be it about rare wines, paintings, books, anything. A clever man produces "impossible" objects that at first surprise everyone, and then are accepted as exceptional finds.

Experts are contacted, who go to great lengths to prove that
the objects are indeed genuine, and quote many irrefutable machine analysis.

Then later another man comes along that disputes the experts' findings, only to be scoffed at. But eventually we learn he was right all along.

("Blink" by Malcolm Gladwell opens on a similar story about a sculpture, IIRC).

This will continue to happen for a very long time, because it's just human nature. People only hear what they want to hear.

The compounding factor is that "experts" have a vested interest in participating in the deception: they earn more money if they declare the thing genuine, and it then sells for millions, than if they prove it's a fraud.

In a way it's difficult to feel much empathy for the "victims"; collectors of old bottles of wine or the 15th copy of some famous book don't seem to add much value to the world.

(In this particular case the perpetrator also stole rare books from libraries in Italy, to resell them in auctions in other parts of the world; that's very different and much more shocking, to me, than forgery).
> It may be that one of the things about SF that makes it attractive for OP is that it is expensive. Keeps the riff-raff out. Not that anyone in SF would ever admit that publicly.

This is really inaccurate, and especially discouraging on a message board for "entrepreneurs", who should really be in favor of cheaper housing close to venture capital, so new businesses are more viable.

https://kev.inburke.com/kevin/sf-housing-politics/
Are you asking for evidence of environmental utility provided by reef systems? There are plenty and my sister post already mentioned some of them.

But the metric of "does putting in all this money and effort to fix the problem we created give us something back in return?" is absolutely poisonous. It's that selfish "is preserving this environmental habitat that has been around for millions of years worth my time or money?" that allowed us to dig this grave in the first place.
You can download any version of the game from Mojang's servers already. The .jars are all listed in the launcher.
The standard delta-epsilon type of reasoning crucially depends on existence of arbitrary reals. Many geometry proofs / lines of reasoning crucially depend on the ability to position a point on a line at an arbitrary distance from another point.

All numbers ever written are rationals and thus countable. But those endless irrational numbers make a lot of ways of reasoning simpler, or possible at all.