skysight-inc/HackerNews huggingface dataset:
> Without the decimal point these real numbers just become natural numbers.

No, they don't, because the vast majority of them have an infinite number of digits to the right of the decimal point. That's the key: there are more numbers with an infinite number of non-zero digits (the reals) than there are numbers with a finite number of non-zero digits (the naturals).

> The problem with Cantor's argument comes down to the fact that the procedure he uses to find a number not in the set is essentially the same as the procedure he uses for creating the infinite set in the first place.

Again, no. Cantor doesn't create the set, you do. The proof is like a game. It says: give me any procedure for (putatively) making a list of all of the real numbers, and I will give you back a number that is not in the list.
it is clearly unfair for the buyers, but you can't regulate it that easily. simple hack - I ask for 50% more, with a note that 'price might be negotiable'
Oh get fucked. The last thing we need is more subscription models!
Shape-Shifting Bacteria Spotted on International Space Station
Anything involving people is political. I'm not sure it can be avoided.
And even if it's somehow not political today it's not future-proof.
For example, a recipe could call for an ingredient that's considered unethical.
I've never heard that before. Do you have a reference?

Edit: It seems you're right!
http://www.pap.fr/conseils/achat-vente/votre-annonce-a-quoi-...
In my opinion, the overall theme of reddit is heavy moderation. You have subreddits on all sides of the political and social spectrums that ban dissenting opinions (e.g. the_donald and latestagecapitalism). Even what jedberg is suggesting -

>As a site owner, you can fully moderate the conversation by only embedding comments from a subreddit you fully control.

I agree that moderation is necessary (hate speech, spam, etc.), but allowing any individual(s) to create arbitrary rules feels really awful. I wish there was an overall "moderation guidelines" for popular subs that enabled discussions to occur, and some recourse if mods abused their powers. Right now it's an echo chamber machine and I'm starting to hate it.
Perhaps, but that gets translated into "an MBA is bad" mantra that's heard around here. It may be bad for starting things, but we can't all start things. It is what it is.
Probably by contemplating the results of a double-blinded clinical trial.
If you were going to do that, wouldn't it better to just use // @ts-check in JS files, a jsconfig.json for the Typescript compiler, and jsdoc pragmas?
Yes they could, but note that these real numbers are all between 0 and 1. So the "infiniteness" of R is "higher" than that of N.
IMO, over the long-run, the market always wins. You cannot randomly change an unimportant technical detail and actually impact the long-run pricing. The type of mechanism that is described where you must take the price offered has so many drawbacks, like... how do you handle contingencies, etc.
I know you don't mean it to be, but the way you've worded that question makes it somewhat rude and very unlikely to generate the response you're hoping for.
Setting aside every other part of this discussion:

I don't think a state actor can be accurately described as sociopathic. The expectations and interactions among nations are fundamentally different from those among people.
Thank you for your reply, that is important to keep in mind, the "two sides" of the court battle. It is just a pity that we can't reason a more elegant solution for resolving disputes and establishing some sort of ethical behavior standard. This is good to talk about, it sheds light on the unknown, and it also keeps me optimistic because if we ever have the opportunity to revamp the system, I want all the best ideas to flourish
HP Omen 15 review – an affordable gaming laptop
It's legitimately my favorite interface of the major OSs or the many choices of desktops on Linux. It has everything I want. And since they stopped having "hot corner" nonsense on by default, nothing I don't want gets in the way.
And I thought NYC RE was bad .... Northern California is out of control
I wonder why they didn't contribute directly to https://github.com/ucisysarch/opencvjs. It was suffering from a bit of code rot so a lot of the demos no longer work. But the ones that do are still pretty comprehensive in terms of opencv feature coverage (at least compared to the demo they built):

Canny w/ webcam: https://ucisysarch.github.io/opencvjs/examples/live/img_proc...

Colors, canny, blurs, contours, histogram, morphology: http://ucisysarch.github.io/opencvjs/examples/img_proc.html

Detect face/eyes:
http://ucisysarch.github.io/opencvjs/examples/face_detect.ht...

And much more from: https://github.com/ucisysarch/opencvjs/tree/gh-pages/example....
The first line is the part I'm quoting, which is obviously what I'm addressing. He's making assumptions about the commenter that are completely unwarranted.

So no, he doesn't speak for the people who use ST.
A colleague that was looking to buy a house last Spring said that the house he put a bid on in San Francisco sold for 100% above the listing price.
Fun fact, Gaddafi didn't run the country. No media outlets reported on the democratically elected head of state in Libya. They also didn't report on the free electricity, subsidized housing, subsidized fuel, free education and the fact that Libya was stable and in no debt to the WMF.

Now they are in debt to the WMF, are a totally non-stable state ravaged with crime and their slowly progressively moving government has reverted decades in terms of democracy and human rights. It's a mini-Iraq with less than 1/8 of the news coverage.
> If software developers don't value software, there is something very wrong with our industry.

Oh, they value it, all right. They just don’t want to buy it, at least not in the customary fashion. They’re more than happy to pay for software using bug fixes, feature contributions, community engagement, or even their own software. Maybe, just maybe, software for software developers isn’t a good product to be sold the way software is usually sold?
Epistemic Hygiene is next to Godliness
Watch “Some light quantum mechanics (feat. MinutePhysics)” on YouTube
Yeah, right after 10% drop in value is a fantastic time to cash out...
They're paying for that 13,000 sq feet of property, not so much the house.
I think in most of the USA, "bot", "lot", "cot", "not", and "father" all share the same vowel, while "bought", "lost", "caught", "nought", and "fought" all share a different vowel.

The following wikipedia article discusses the two phonemes and how they are merged in many dialects of english, and contains audio samples of the same guy pronouncing both words.

https://en.wikipedia.org/wiki/Cot%E2%80%93caught_merger#Nort...
"Relatively" implies "to something ", in this case (I would assume) either to middle-age-style religious warlords (Daesh et al) or absolutist monarchies built around religious rule (Iran, Saudi). So yeah, I'd say Assad is "relatively liberal" by Middle-Eastern standards - a place where almost every state has some secret police, an absolutist ruler, and no separation of church and state.
> but not enough to justify spending $2.5M on a smaller house, or 12x more per square foot.

Maybe it's just the wording but I don't get that. If they're paying enough that 2.5M is within reach where it wouldn't be in Phoenix is it really a problem?

I'm in the middle of a job search right now and I'm finding that while absolute numbers sound appalling (ie. 2.5M for a 2,000 sq.ft. house) the income:COL is not as dramatic. I rent, but so far places that have high-end apartments that cost 2x what my current one does pay about 2x more (usually even a bit more) on average.

To me it comes down to wether you'd like to live in Sunnyvale or Phoenix as long as the companies in both locales are paying enough to afford comparable housing (I wouldn't expect identical square footage). Remember we're talking about a 2.5 Million dollar home 1 mile from what is probably one of the most advanced tech campuses on Earth (and probably has some of the best paid).

When you put it like that I don't think it's hard to see why some people would sacrifice a little square footage for living and working at a place like that over Phoenix in an instant (I know I would).
What time of the day is crime rate at its peak in NYC?
I doubt it. I use only windows but I write my code using emacs and compile my code using mingw. Linux is way too high maintenance for me. I just don't have the time for it.
China's first commercial quantum private communication network completed
What exactly do they expect these "rebels" would do even if they win the fight with ISIS. Are they going to pack up their bags, return all the weapons and go home to rearing children and being doctors, teacher and engineers.

Rebel groups have pretty fluid membership. I see some joining one group and going to ISIS. That's how ISIS ended up with a lot of US weapons in their hands.

http://www.bbc.com/news/world-middle-east-38048482
i felt the title was too over-reaching than one of the actual conclusions "Objectives can, ironically, be obstacles to innovation and creativity.".

key word for me is *can. Objectives are pretty good in some cases, but not all. Or perhaps, when they ran their machine learning, they needed to first run some unsupervised learning =)
> Classes used to be nominal, but changed to structural

Ah, ok, makes sense. I think I was last looking at TS around version 1.1 or something like that. Thanks!
> Amazon is a pretty data driven company, if MBA's provided no value, or negative value as some HN's readers seem to think, they wouldn't be hiring them.

Having been the guy whose job it was to collect, analyze, and present data to these MBAs, I can honestly say that 99% of them are dead weight for their analytic capabilities.

MBAs do much better at managing people. And by that, I mean only 70% of them are dead weight. The other 30% were pretty great and are probably the reason I'm not in jail for arson right now.
Suppose I have the set F = { all integers x where x can be written with a finite number of digits }

Are you saying the set F is finite?

Or are you saying that the set F contains transfinite numbers?
No, it just reverses the dynamics: instead of starting out low to get people into the door, you start with a list price that's too high. If the bids you're getting are always far below your asking price, you know the free market isn't willing to cough up what you want, and you lower the price to something that is more in range. If your initial asking price is $1MM and all bids are around $800K, consider dropping the list price to $850k and see if they want to play now.

That's the usual dynamic in Belgium.
Or 6-7 smaller houses and sell them for ~$1m each.
It's a dead simple editor, comparing to VIM or Emacs (both I used a lot). Everything behaves just as you would expect.

And it's fast, it's small, and it's got a lot of packages. What more do you want?
Yeah, they could have got away with waiting, maybe even a few days for everything to settle before making contact.

But they're here in this thread, paying attention to the discussion, and people have wasted no time in making the fork in the first place.

At the very least, I think the "absolutely devoid of class" comment is uncalled for. I don't think it's unreasonable, not even in terms of time frame, even if I disagree with the manner in which it was done.
The description kind of hinted the lot would be big enough for 2 houses. Would the local lets law you flatten the house, build 1 house to live in on half the land, and say sell the other half of the land for a million bucks to a developer?
Emailing 25k Marilyn Manson fans a video of their house
There is no way for a group like ISIS to exist in the modern world without support from a major power.

The dichotomy of arming and supporting extremists and those who support global extremism like SA on one side while accelerating surveillance programs at home to protect yourself from the same extremists is diabolical, something a truly despotic state can pull off.

They would have to have near complete control or a pliant media, civil institutions, academia and a passive citizenry to pull it off.
Supporting this is apparently requires major changes to their rendering engine so probably won't be added until at least version 3.1 or 4.
I use Sublime and paid for it a few years ago. That said, I also use VS Code which I really like for certain things. I actually use both of them daily and simply get different utility from them. If Sublime went to subscription then I would make do with other products. VS Code has a robust plugin ecosystem and I see that growing in the near future. I honestly think Sublime will eventually end up as FOSS. Whether that is from a drop or increase in subscribers I don't know.
Thank you for your hard work! THIS is the editor I use on Windows, Linux, and OS X. You will not find a box that I work on without Sublime running.
I thought this tweet was interesting: https://twitter.com/libbycwatson/status/857943302599053314
It sure looks like a political campaign, but maybe the more connected things get, the more political everything becomes, and the more everything turns into campaigning.
I doubt that's the "usual" case -- yes, cash-only transactions occur, and foreign investment buyers are in the market, but I don't see a ton of vacant homes. I recall hearing from a real estate agent that foreign purchases were fewer than 10% of the transactions, but I have no idea what her source was.

Vancouver circa 2016, though...
Yes, presumably the asking price was just far under market.
Inul planta medicinala-flax herb
Yep this was bought on an upswing that will be impossible to sell at this value again for 100 years.
It makes sense to explore outside the box if your problem can't be found in a very limited search space. However the statement

> Many natural processes don’t appear to be objective based. Natural evolution and human innovation are cases in point.

Is not correct. Evolution is highly objective based and micro-incremental.
Will people still buy the $999 iPhone?
If Caddy had focused on providing commercial support to companeis that need it, this would have been a good day.

As it is, they are adding artificial roadblocks for open source users while providing minimal benefits to commercial users.

Someone didn't think this through or is out of touch with how to make money with open source.
I thought the same thing. I lived in a crappy building in college where the elevator broke all of the time. I just used the stairs, but some people insisted on using the elevator. They would pull the doors open and climb out on a floor.

Not only that, as a rock climber, what the hell are you going to do to help somebody? Set a rope at the top of the shaft somehow, rappel onto the elevator car, open the door, and give them a jumar? Or setup a haul system? Most casual rock climbers are not proficient at these things to the point where they should be attempting rescues.
Unfortunately, the US military has transferred the Cold War strategy of "an enemy of my enemy is my friend" to radical pseudo-Islamic militant groups. That's not going to work so well because you might have two groups that have exactly the same beliefs except they gave allegiance to a different imam so they consider each other to be kuffar.
Even ed has hardware requirements.
Where's Joe?  Social Psychology, Scientific Validity, and Research Methods
> To see that this is false simply realize that you don't actually have to write a decimal point to specify the real numbers in this range. Without the decimal point these real numbers just become natural numbers.

There are no natural numbers with infinite digits, so this is not correct.
I think he simply wants the same rules that apply to McDonalds to also apply to homes.

If McDonalds has their BigMac Meal labeled with CHF 12.50 (the current price in Switzerland IIRC) the cashier won't be able to refuse to sell it to me for that price even if I look particularly hungry and it's 4 O'Clock in the morning (and might thus be ready to pay more than 12.50). At least in Switzerland you are generally obliged to honor your displayed prices.

I have never bought a home (I'm a 23 y/o student), and I don't know if the process in the US would be comparable to the process in CH, but if a home is labeled with a price of say CHF 1'250'000 I expect to be able to walk in there with a bag with 1'250 CHF 1000 bills and pay for the house without additional price haggling. However I can imagine that this is not how it works (apart form the "pay with cash" part, which I know works for sure).
my second fav. text editor after vs code.
I gotta say tho, VS Code did get the plugin story better - they don't seem to clash/conflict with each other and with global settings the way they did (for me at least) with sublime.
I have a feeling that emacs/vim in some form are going to stick around longer than I'll care about using computers to edit text, so it wasn't even on my radar :)
> makes it impossible for anyone to shop for a house except for realtors who are 'in the know' and can tell you the real price based on listing.

Impossible and not easy for you?

So that is the harm you are stating? That you don't want to put the effort into understanding the market enough (without a realtor) to know the value of what you are buying? Plenty of people operate fine under the current system.

What's next? Do you want to have a lottery with a fixed and low price. That way people with more money and so on don't have an advantage.

Things are never equal. Some people have an edge. This edge is not entirely a realtor skimming as I think your comment implies.

> This system of listing a price to 'get people in the door' and then igniting a bidding war

Is it wrong for ebay to do this as well?
One of the reasons I still use both Emacs and Vim (yes I strangely use both) is because I can go execute them on a terminal (terminal, tmux, screen, etc).

There are just so many times I need to SSH into a machine. I know Emacs has some remote file editing capabilities but for some reason I never liked it (I can't recall why now... I think it was the need to sudo).

So I'm wondering what sublime text fans do for remote editing?
GitSavvy + GitGutter + GitCommitMsg
The difference is that `0.7656536...` is smaller than 0.7656537, whereas a similar number with every digit moved left of the decimal point has no bound.
Not on a 13k square foot lot!

But yeah, that has happened elsewhere in the Bay Area. (Zoning tends to prevent it, though, so there's an element of regulatory arbitrage.)
having stuff do stuff for you is useful until it doesnt
Isn't this how trump is accused of accepting bribes from the russian government?
I assume that's last "spring," and not that your team is doing agile real estate sprints. But I'd be happy, and rather curious, to be wrong....
Amazon is a company that clearly lets the strategists actually implement their strategies. That's working reasonably well for them (with some obvious flops, but more than enough success to make up for it and then some).

It's no surprise MBAs want to go there. Strategy jobs are some of the most hotly sought after roles -- my wife went to a top tier MBA program and I regularly have to hang out with people she want to school with. They all either have strategy roles or wish they did (minus the one person in finance -- in the SF Bay Area that's just not as cool as strategy). They also tend (with exceptions) to have egos bigger than big, which seems to line up nicely with thinking that the right job for you is to have the ideas while other people implement them. :)
I was going to say maybe you mixed up the alpha and beta version, but turns out Minecraft was only in alpha for six months. Weird, felt much longer for me too.
There are auctions, but those follow an entirely different set of rules. You have a few weeks to visit the property, then you either mail in your bid or come to the auction house on the final day. Most of what you'll see in those auctions is being sold for legal reasons (such as bankruptcy).

http://www.notaires.paris-idf.fr/immobilier/ventes-aux-enche...
> By the way, regulating CloudFlare by limiting its ability to choose customers would be unconstitutional under the 1st amendment, would it not?

You're correct from a legal perspective, but Matthew Prince himself called it "dangerous" to do what they did. I think with good reason. While it's legally okay, it definitely raises valid questions, not about what's legal, but about what's right.
I use snapchat exclusively. It's fun, I never got into social media before. I post mostly to my story and only occasionally interact directly with other people. Mostly just making jokes about something they post to their story and visa-versa.
Zerodium: Tor Browser Zero-Day Exploits Bounty
I wonder if Google users should have a scheduled backup of https://takeout.google.com/settings/takeout.
My comment obviously implied adding the sensors to make it work, Surface Laptops use IR as well as far as I know...

My point is more that why make a big deal about shipping dead tech to the laptop if this truly is what they consider the future and a better system.
> without engaging on the one result that makes it notable.

But that's her point. She, the author, doesn't have an issue with the DNA evidence that the body is female.

What she has an issue with is the paper stepping beyond its bounds of expertise (in her view) and claiming the body is of a high ranking warrior. In making that claim it makes use of context that, as a professor of Viking studies, happens to be within her professional purview.

TBH as a criticism of an academic paper by an academic, it being technically pedantic strikes me as a positive thing. Also, it's quite nice that she explicitly excludes herself from commentary on the DNA evidence due to lack of expertise. Not something you see a lot of.
Show HN: Localname – Secure Access to Your Local Development Server
The WaPo is not an independent reporting body, its parent group Amazon, has juicy contracts from the CIA, you can trust nothing it prints.
What are some examples of past insights someone has made by discovering something slightly surprising about the general world?
Very active. I use a fair share of them, and they are updated regularly.

On the rare occasion that something breaks (Seti_UI theme, mostly. But to be fair, I installed it when it wasn't stable yet), fixes are often published the next day or at most in the next handful of days. In the meantime you can just disable a plugin and go ahead. But again, it happened rarely to me.

The only problem (that I'm aware of, correct me if I'm wrong) they ran into was the whole deal with Kite basically paying some plugin devs to hide spyware into their code. But that has been handled and solved, and lead to the creation of basic guidelines for plugin developments and extensive discussion of the forum. Devs were very responsive.
I use vim on remote machines. I don't like it, but it does the job.
Really? One of the things that has kept me on Sublime is SublimeGit. It's fantastic.
I'm not sure that holds, it's like getting paid for a service with marked currency. At best you would have the currency taken off you, and investigated/forced to disclose details of all your transactions, at worst you would be considered for handling stolen goods.
> There is only one infinity.

Fractions are countable. Real numbers are not.

In other words, fractions, integers, positive integers all belong to the set of countable infinities, meaning there is an isomorphic function that bidirectionally maps each positive integer (the count) to every item in the target, countable infinity.

There is no isomorphism between real numbers and any countable set. If you create one before you are 40, you will get a Field Medal.

The isomorphism and the distinction between sets that have them and sets that do not has proven useful.

You could think of infinity as one concept, but it is usefully divided into countable and uncountable versions.
In my defense, I asked a question. :) You can answer it without being rude.