skysight-inc/HackerNews huggingface dataset:
I think it has to be. The former problem is about computational complexity; the latter is about computability.

I don't know much about this topic -- I skimmed through Scott Aaronson's "Quantum Computing and Democritus", and got lost by the last third. As far as I remember, it was all about computational complexity. I don't recall anything about computability, but correct me if I'm wrong.

I just had to look up the strong Church-Turing Thesis:

The universe is equivalent to a Turing machine; thus, computing non-recursive functions is physically impossible. This has been termed the Strong Church–Turing thesis, or Church–Turing–Deutsch principle, and is a foundation of digital physics.

https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis

I don't have much justification, but I believe it's false. There is a lot more to the universe than computers. Computers cannot simulate even elementary physical systems accurately.

Doesn't it take supercomputers to even accurately simulate even a few atoms?

I think the biggest cultural "lie" in the last couple decades is "the Matrix". Since that movie, educated people including software engineers take for granted the fact that the universe can be simulated by computers.

They write silly papers like "we are almost certainly living in a simulation". Granted, that argument is sound if you believe it's even possible to simulate the universe with a computer.

But I actually take that as further evidence that it's NOT possible to simulate the universe with a computer.

Anyway, I haven't thought about these things in a long time, but I would say that just because something is impossible on a Turing machine doesn't mean it's impossible in the universe!
I would probably lump my money in my existing Wealthfront account. I invest <5% of my disposable income in various cryptocurrencies, I view them as volatile commodities.
Interesting enough, over the summer at Microsoft, they were actually switching out for the 4k TVs. It wasn't that bad tbh. Definitely different. The Surface Books couldn't handle it very well (they didn't have GPUs) but the work stations did great.
Show HN: Buy Solar Panel DIY Kit with Ether
I just see an article to push an affiliate link for a pretty bad tv let alone the best.
And isn't it otherwise just wild habitat?

People have strange priorities, or, to put it differently, people seem to not want any resources used for farming regardless of how it's used.
Universe Sandbox ²
No one HAS to sell to Chinese markets.
Then what better way is there, other than legalizing gambling, to select-out-of-the-population those people who are weak-minded enough to become gambling addicts?
How companies hire software engineers
> What a world we live in

Well that's the thing: The book comes from a different world. More precisely, it came from 1998, when the Soviet Union (Tom Clancy's traditional antagonist of choice) was long gone, but Islamic terror wasn't yet the obvious replacement. He wrote a string of books with odd antagonists (eg, Japanese nationalists) during the period.
Characterizing negative cashflows from investment as 'burn'
is incredibly disingenuous. The cashflows from any capital intensive startup would look similar. The cashflows from operation are negative, but not egregiously so. In fact, they are probably dragged down by the increased headcount associated with unreleased products. If Tesla had decided to stop with the model S and X, they'd likely be profitable right now.

Your description of their assets is also off. Customer deposits have NO net effect on their balance sheet/equity value. They very clearly have a liability of $686 million to cancel out the cash received.
I can't answer that from my personal knowledge, but I did find the information on a different page of the same website: http://www.arnoldfoundation.org/initiative/criminal-justice/...

In that spot there are some videos that I think will answer your question more thoroughly than I can.
Consider just the launch cost of an Apollo type mission. S-IVB is 110 Mg, the Command/Service module was 30 Mg, and the lunar module was 16 Mg. That gives us about 150 metric tonnes as a reasonable estimate of the payload to LEO needed for a lunar trip.

Right now, you're looking at about $340M (at $2200/kg) on two falcon heavies to boost that.

If we handwave R&D and engineering costs, you're still looking at around $170M per person on the moon.

Of the not-so-many people who can afford that, how many people do you think will actually do so?
> I would say there is more social good in banning junk food. Imagine the healthcare cost savings.

The same cost savings could be realized by simply not providing healthcare for the complications of chronic overeating.

(The only downside of such a plan is that the complications of chronic overeating can sometimes fail to onset until after the patient has reproduced.)
That's how all taxes work??
Nothing about capsules?
At the peak of tulip mania, in February 1637, some single tulip bulbs sold for more than 10 times the annual income of a skilled craftsworker. [1]

[1] https://en.wikipedia.org/wiki/Tulip_mania
Americans have a better solution. Instead of banning pleasure nationally, we just ban it in one region we call "Utah" that you can choose to live in or not.
Two Minute Papers on YouTube does short overviews of cutting edge graphics and vision research.

https://youtube.com/user/keeroyz
The class definitions will be a tiny fraction of memory usage. A template Rails app memory usage only has about 20% managed by Ruby. The rest is the VM, C libraries, maybe long strings etc. Definitely not class definitions pulled in from gems.
You can simulate a lot of atoms with a modern supercomputer. The only problem is just how many atoms there are even in a tiny grain of sand. However that doesn’t mean all hope is lost. You just have to get really clever - there is a lot of repeating patterns in a grain of sand - you don’t really need to simulate all or even most of it. The same holds true for most structures.
I for one welcome our malevolent/benevolent AI overlords
I think you mean Man (person) of the year
You've surely meant He3?
Preaching to the choir, but the man openly admits violating the law and then complains about not being able to obtain a visa. I've heard countless similar stories for students and professionals trying to enter the United States from very politically friendly countries, with a select few being banned from the country altogether, based on very trivial violations of the law (we're talking job semantics here).

In other words thems the rules. China's no different.
I had a 28/27" 4k monitor, but like the author I found it far too small (the pixel size) to use comfortably. Unfortunately I was working with legacy applications that didn't support scaling and couldn't adjust the DPI. I have no doubt it would be much nicer at 125/150%.

One thing that is certain is that people have different preferences. Certainly some people would enjoy the tiny pixels of the 27" 4k monitor at 100%.

My current setup is 2x24" 1920x1200 monitors. I have considered 3x24, 1x Ultra wide or 2x Ultra wide, but I'm not convinced I'd get the same comfort. I think that 3x 24, or 2x ultra wides would require to much head rotation to be comfortable.

I prefer the vertical break in the screen since it makes snapping windows easier. I'm starting to think that I might prefer a bit more real estate, as I often collapse the vertical file menu in my editor for a little extra room.
The implication is that the Koch brothers gain power or favors by undermining Time's selection process, making Trump PotY. Whether it's because Trump wants to be PotY or because it boosts the right wing are open to interpretation.

I am not endorsing the OP's statement, just trying to clarify.
Please do. I'd pay real money for a book or subscription site.
Awesome flex grid framework
And there is already a browserify transform to compile inline rust to webassembly for browser code: https://github.com/browserify/rustify
Or a citizen of one of the newer cities named York! https://en.wikipedia.org/wiki/York_(disambiguation)#Places
> But demand is now threatening to outstrip supply

Why isn’t the price being adjusted?
Yes, the concentric arcs are sheared–I'm seeing this on Safari, Chrome, and Firefox, so I think it's the image rather than my browser's style.
> your brother

I lack siblings.

> or my brother is innumerate

You led with "maybe"; to keep my next sentence's structure from becoming a complete mess, I'll assume that your hypothetical is true.

If some random person tells me "my brother is innumerate" ... then why should that information be of any consequence to me, in the absence of further context?

EDIT: and by further context I mean further information about you or your brother.
This guy complains about a one-fifth-of-one-percent difference with one-minute precision.

Bitcoin prices on one exchange frequency change by more than this in any given minute, so what part of 6:44 PM is he talking about?

Also, there is no "market price" with a 0.2% precision when prices on various high-volume exchanges vary 10x this amount at any given moment.

https://imgur.com/a/7gFaI
No idea what you mean.

No one needs to sell to Chinese markets for Chinese to buy the product. We are in the WTO, so a Chinese importer comes, buys at market price, and pays tariffs.

Exactly as western people buy things in the international market.
Show HN: Ondevice SSH – Terminal emulator for devices without public IP address
> "If you are that dumb then you deserve to lose everything."

Exactly. Full stop.

> burden to society

They are only burdens because our society takes people upon itself as burdens. This socialism ought be solved directly rather than worked-around by things like gambling bans and other such legislative nannying.
Luxury ham? Now I'm getting it.
I thought it was slower. A lot of the core stuff goes back to the 60's and it's all been slow, incremental improvements since then. The biggest game changer has been hardware finally becoming powerful enough.
Not saying it’s particularly amazing, but its ad-hoc structural product types are really nice. I would really enjoy if a language had TS-style ad-hoc structural products and Ocaml-style ad-hoc structural sums. This would allow for very lightweight type-level documentation.
Modern blockbuster movies are already plagued with hectic editing and an overabundance of excuses-for-people-to-be-making-a-helicopter-landing. But some of the Chinese scenes/collaboration have worked out nicely. I can't be the only American ignorant of Chinese cityscapes. The Shanghai scene in "Skyfall" was one of the most movie's visually memorable images. Maybe "Pacific Rim"'s latter half would have taken place in Hong Kong without concern about the Chinese market
(its title is Pacific Rim, after all, and a movie about robots beating monsters has a lot of freedom to be in contrived places). But apparently its popularity at the Chinese box office helped pave the way for a sequel, despite its disappointing receipts in the U.S. https://qz.com/110683/pacific-rim-trashed-hong-kong-but-won-...
""how much they will earn in the future" is meaningless."

When companies grow faster than the 'cost of capital' for the person buying the stock - then the value goes to infinity - so this is a problem.

But it's still based on something.

Telsa stock will not go to $20K each.
Another problem in the same vein is that when ML algorithms make use of Bayesian inference they can bake in correlations ( e.g. between race and credit score) that we would normally purposefully avoid using as a factor, because while it enhances predictive power, it again codifies our existing biases, prejudices, and injustices. For example if you were deploying an ML model to determine whether someone deserved a loan, features such as ZIP code or race could encode discrimination into the model
I thought the moon had been ruled out due to lack of resources to compensate for the gravity well.
I'll ask the next time I talk to him. I know he worked on high voltage transmission.
Wouldn't an incomputable physical process have serious implications beyond CS? How would a physicist even model such a thing?

edit: I guess not, since all you need is access to the real numbers which is a strict superset of computable numbers, but this doesn't seem like an "interesting" violation of the SCT.
I think it depends - I've owned "steve.org.uk" since the nineties and I used to be the first result for searches for both "steve" and "steve kemp" in the UK.

Now I've relocated to Finland and I happened to do so just as steve.fi was expiring. So I've migrated to that domain as the lack of nested domain is easier to handle.

I'm still in the top five for "Steve Kemp", but personalized searches make it a little hard to tell. (My biggest problem is that there are a bunch of sites that link to the baseball player, who shares my name, including wikipedia etc. Hard to outrank that!)
Capsule networks[1] have literally not been used on anything larger than what is considered a toy dataset for computer vision yet. Whilst there is potential there I'd argue it's too early to ascribe extreme levels of excitement towards it.

[1]: https://arxiv.org/abs/1710.09829
While it is true that compatibility should remain intact, this comment seems to misunderstand what the STRONG Church-Turing thesis purports (EDIT: at least the one Google is probably referring to). I'm not sure if it's completely agreed upon, but the strong Church-Turing thesis that I am familiar with is:
"Every realistic model of computation is polynomial time reducible to probabilistic Turing machines" (https://arbital.com/p/strong_Church_Turing_thesis/)
"A probabilistic Turing machine can
efficiently simulate any realistic model of computation"
(An Introduction to Quantum
Computing, Phillip Kaye, Raymond Laflamme, Michele Mosca)

In other words, the efficiency of every realized model of computation needs to be similar to that of a Turing machine for the thesis to hold. As soon as machines capable of quantum computation are realized, the thesis is broken, as they give superpolynomial speedup over classical Turing machines (assuming things like integer factorization are not in P).

EDIT: I guess it should be noted that there are probably other 'strong Church-Turing theses' hanging around, but I'm fairly certain the folks at Google are referring to this one, which I too am most familiar with. If OP is referring to one which does not require similar efficiency, then the quotation does seem kind of ridiculous. I also agree that the part of the quote that says "current computers cannot replicate" needs to be interpreted with some notion of efficiency as well.
Most extensions do work that way, but if privacy or resource-draining background processes are a concern you should check out sitestacks.com - the crawl is only run on command and from the SiteStacks servers.
IMO, Gmail isn’t really IMAP. It’s more like kinda semi sorta MAP.

You can’t ever delete mail from gmail. Only hide it, at best.

Gmail only ever has one folder, into which everything gets thrown.
There are many questions to this line of thinking. Technology marches ahead, and cumulative advancements are large even in comparison to early 1990, when NASA conducted studies have shown possibility for manned return to the Moon for about a billion dollars. Similarly, goals to go there now include space tourism - something not heard of even in late 1990 - or mining the Moon water, which we know more about today than when Clementine flew. Even such a boring thing as oxygen can be marketable after offering it in quantity on a convenient orbit for many customers to take.

When SpaceX demonstrated the expenses which it took to develop and fly Falcon-1 with supporting infrastructure, they beat the existing cost models by about a factor of four. Similarly here reaching the Moon can turn out easier than thought, and reasons to go there could become better than used to believe, as soon as some favorable conditions, like in 2002 when SpaceX was born, will be met.
As John Maynard Keynes said, "Markets can remain irrational longer than you can remain solvent."
What makes you think physics can model everything? That's the point.

Math is FULL of functions that can be described -- have properties X and Y, which are useful to prove theorems -- which nobody has thought about how to compute.

(Obviously, there are the ones related to incomputibility like the Godel function, but there are others too... I'd appreciate help from others here :) )

And it might not even be useful or interesting (for the purposes of mathematics) to compute them. Not all math is constructive.

Likewise you can describe physical processes without computing them.
To make the story sound like the kind of merger that doesn’t hit the top of HN?
> (Most) humans aren't emotionless machines

Indeed, and much to our detriment. Which is why...

> even highly intelligent people engage in self-destructive behaviour despite recognizing it as such

... this justifies permitting those with self-destructive abilities to exercise their abilities; such that the intelligent people who remain, are both intelligent and resilient.
Police wound man accused of shooting wife in Tennessee
I get that they have some limitations; but please at least mention it sometime during registration or during your first purchase. I had no clue until I went to sell despite making a numerous purchases.
Also, keep in mind that Hawaii was not even a US State at this point. It was an independent island nation that happened to have a US military base.
I might be bias here cause I am Canadian. But I am far happier transiting through Canada whenever I need to go back to that side of the world.

The whole 360 body scan and the random questioning by US border control is simply terrifying. I have been asked to spell my name and say my birthday to see my reaction. It’s just an uncomfortable experience in general. I can’t even imagine what treatment middle easterner will get if even I get that treatment.
I believe coffee has a lot of beneficial properties, but I have a slight concern regarding caffeine as it reduces CBF. That might impair cognitive functions. Supposedly you can mitigate some of the vasoconstriction with flavonoids.

https://www.ncbi.nlm.nih.gov/m/pubmed/19219847/
> The EV would literally not exist (to the public) in 2017 if not for Tesla.

According to wikipedia a rather well known EV Nissan Leaf predates Tesla Model S by 2 years. First hybrid Toyota Prius is 20 years old. Toyota had concepts of plug-in hybrids for quite some time. Countless local teams make electric swaps. We had electric golf cars and what not for quite some time.

What Tesla more or less pioneered is premium class performance EV and proved that there is market in this segment. They proved that not only "convenient home-work-home trip" (free parking, bus lanes, subsidies) can be market for EVs.
I haven't heard mum about it since 2006. Wikipedia says the last stable release was in 2011. I guess the market for proprietary Miranda derivatives fell apart after _Real World Haskell_ was published?
In this case the "strong Church-Turing thesis" (usually also known as the "extended Church-Turing thesis"[0]) is usually written as the following:

> A probabilistic TM can efficiently[1] simulate any realistic model of computation.

Taken from [0].

Note that this statement is actually false if two things are true: (a) BPP ≠ BQP (this is unknown, at the moment; we don't even know if BPP ≠ P, but it's not difficult to show that P ⊆ BPP ⊆ BQP) and (b) that BQP is physically realizable (e.g. we can actually make physical quantum computers)---both statements are, overall, what Google is claiming.

Why? Because (b) would mean that there is a realistic model of computation which models BQP and (a) would mean that there is at least one problem in BQP which is not polynomially reducible to a problem in BPP; therefore it follows that a probabilistic TM (which models BPP, by definition) cannot efficiently simulate the particular model of computation given by a model of BQP (i.e. a quantum computer).

On the other hand, if we find that BPP = BQP (which is widely believed to not be true) then we're back to square one and the strong Church-Turing thesis would still hold.

---

[0] https://en.wikipedia.org/wiki/Church–Turing_thesis#Variation...

[1] "Efficiently" here means that any model is polynomial-time reducible to a standard model of probabilistic computing.

Additionally, the "probabilistic" aspect comes from the "fact" (i.e. observation) that we can make "good" random number generators in real life (say, by measuring background radiation), but it's unclear if there exist pseudo RNGs that are "good enough," algorithmically, to derandomize BPP. That is, such that BPP = P (the claim of "good enough" PRNGs is stronger than BPP = P, in fact, see https://mathoverflow.net/questions/2272/pseudorandom-generat...).

That is, we do not know if P ≠ BPP.
even the battery doesn't work?
Mozilla payments-ui its pretty good https://github.com/mozilla/payments-ui
No, it was a U.S. possession, not unlike Alaska (bound for statehood) or the Philippines (preparing for independence).
I second the author's recommendation. I work with iMacs (5k) all day and I can tell you there were a number of times I simply wished I had gotten an iMac Pro with a bigger screen instead. However, one thing to watchout though when getting these cheap TVs is to be mindful of the color reproduction. Most of them will enhance the colors to make it appear vivid and pleasing to the eyes. So, if you're thinking of doing stuff like logo design, Photoshop, you're gonna find it very hard.
Offtopic, but this is very interesting. I have this sort of problem as well, but with color rendering. Not on a Sony, but on a Philips (50PUT6400). Makes me think that they might use a common platform for their entry-level TVs.
The further context is that your brother could be harmed by gambling or lotteries. The information should be of consequence due to human empathy usually associated with family members and hopefully, also other humans in general.
Not if you discount 8h for sleeping!

Then you only got 16h left...minus 7h of watching TV leaves 9h...most people work 8h and in 1985 had a 40m or so commute to work...if you are still counting: we just hit about 0!

Sorry...that’s how statistics work. That not to discount cute edge cases of families playing cards with their neighbors and having ice cream...it’s just not the reality for the majority of the population :(
... or cars
I used to do the same thing over and over, wasting extraordinary amount of time trying to come up with something memetic and charming that would somehow make other people think better of me. I have never been able to pin down why, how or in what way had I wanted them to "think better of me", it was like I had been made to believe in some mandatory social currency that everyone else had and I lacked which could only be gained on Facebook. Also, I was a socially-awkward 17 year old at that time so add in the usual teenage insecurities and vulnerability too.

The only solution I came up with was to quit cold turkey. Fortunately, I also moved to a different city at the same time; so, it was easy psychologically to say good bye to all those connections. It's been more than 5 years and I haven't used Facebook or Twitter since.

It might not be easy for you to do depending on your circumstances and honestly, some times it does lead to trouble when people use Facebook to plan or announce things that I get left out of. I did manage to find a few like minded friends though who don't use it either, so usually it's not that bad.

If you are really serious about this, quitting is the only solution I know of that works.
That's a very good question. When supply is limited and demand rises, you adjust the price accordingly.