skysight-inc/HackerNews huggingface dataset:
I can't agree. If we can blur the difference between weak and strong AI, that 'transitional form' (missing link?) will be enormously important to the future of AI (and mankind).

In the past 50 years, AI has seen hundreds of small successes in narrow tasks that used to require humans. But none so far has shown the potential to scale up, generalize, and serve tasks other than the narrow one for which it was designed. Like IBM Watson, AlphaGo too is likely to be consigned to the AI scrapheap in the sky.

BUT... the deep net technique used by AlphaGo shows more promise to solve the remaining unsolved AI tasks than any AI method before it. Yes, we still don't know DL's limits, like whether it can integrate one-shot learning, or build and reuse a diverse knowledgebase, or transfer specific methods to solve new more general problems. But as of right now, it's shown greater promise to solve novel weak AI tasks than any past technique I've seen. The author overlooks that potential deliberately and provocatively, and IMO, pointlessly.

Can DL scale up into strong AI too? I think the important thing here isn't that the answer isn't obviously yes (as the author posits), but that the answer isn't obviously no. And in the 50+ year quest for strong AI, that's a first, at least for me.
Turing discovered the Universal machine. Church tried convincing Godel that lambda-calculus is universal, but Godel wasn't ready to accept it.

When Turing defined his machine model as a model for mechanical computation, Godel was convinced.

In an appendix to that paper, Turing also showed that his model was computationally equivalent to the lambda calculus. This involved writing a "universal" lambda expression, i.e. a combinator. (Y combinator is the most famous one, I think that was discovered by Haskell B. Curry.)

It was when Turing proved this equivalence that Godel accepted lambda calculus as a model of intuitive computation.

In between, I have heard that Church's student, Kleene, did formulate fixed-point combinators when proving addition was computable in the lambda-calculus. Kleene was then convinced that this was a universal model of computation. I do not know why Church did not follow this up.

So Turing does have some primacy over Church.

*edit: Most of Turing's work on this was done as an undergraduate at Cambridge, /before/ he became Church's doctoral student. So the work was not done under Church's supervision.

If you want to read further, you can read Soare's work on this tangled history:

http://www.people.cs.uchicago.edu/~soare/History/compute.pdf

https://en.wikipedia.org/wiki/History_of_the_Church%E2%80%93...
I don't think I'm literate enough on the technology and economics to know which is better, but the amount of vitriol in the Core/Unlimited debate has convinced me to sell most of my BTC. I'm incredibly appreciative to the community for all the work it has contributed to the blockchain/crypto space. That said, I see the current anger and resentment a major risk factor to the future of the currency, far more significant than the outcome of this decision either way. I sincerely hope cooler heads prevail soon. Until then however, I'll be keeping my capital away.
I've used ANTLR, which is relatively easy to comprehend by being primarily a LL(k) recursive descent parser.

Sadly, it also suffers from the usual problems of LL parser generators, like barfing on left-recursive grammars.
Property bubbles are basically created by social policies that encourage speculation on residential property.

It's worth noting that Norway and Denmark have pretty strong restraints on "buy-to-let"
> Customers never need to see each other's data.

Correct and incorrect at the same time. Separate orgs may not need direct access to each others rows in the multi-tenant database, but there are plenty of use cases where data does need to be shared between them (companies with multiple orgs, like ours - business parters, etc) and Salesforce has tooling to handle this (Salesforce to Salesforce, Lightning Connect).
Data or Die
Capitalism + globalisation
They usually point in a random (special) direction. If you put the atoms inside a magnetic field they will point to the north pole or the south pole, all of them will point in the same direction, but I'm not sure which one.

The idea is that if see a film of the universe with the time in reverse, the laws will be exactly the same. You will notice some global problems, like an egg getting magically rebuild after it is scattered on a wall. But if you look at each particle individually you will not notice anything strange.

This is called the T symmetry. https://en.wikipedia.org/wiki/T-symmetry

The problem is that the T symmetry is not a real symmetry. There are some tiny details that are different when you look carefully. This is totally not related to the broken egg problem. Just ignore the eggs.

I'm not sure now about the details, but IIRC when you reverse the velocities of all the particles, then the electromagnets have the current flowing in the other direction. But the atom nuclei have a tiny magnetic moment, due to spin, that is not reversed. So [mmm] and then [mmm] so it's obvious that all the atoms nuclei have to be ellipsoids, not have a pear shape. They have to be symmetric in the direction of the spin.

They apparently measured (indirectly) the shape of some atom nuclei and they have a pear shape, so it's a new experimental prove that the T symmetry is broken. IIRC all the previous proof were more indirect.

If you see the film of the universe in the reverse direction, you can look carefully at this atoms inside an electromagnet and see that the pointy part of the pear is in the wrong direction. (Assuming they hide all the eggs and other objects than can give you an easier clue.)

This operation T is called time reversal, and it gives a lot of useful information about systems where the broken part of the symmetry is negligible. In particular if you want to calculate the properties of a small molecule, you can use this property to reduce a lot the amount of calculations.

You may be wondering how is this related to Time Travel ... me too. Probably is the linkbait version of Time Reversal, that is a too nice name for a simple operation.
Mobile chipsets support 1440p stereo 3d 60FPS (Gear VR, Daydream)
There's a reason nearly every actually used programming language parser is hand rolled.

It's easier for adding errors messages, debugging and diagnostics tools. I know modern parser generators can do this as well. It's just easier in a recursive descent parser.

Learning to use parser generator is a learning experience in itself. Most can be pretty complicated to use, once you get past the basics. Yet nearly every programmer can understand a recursive descent parser. You can debug them using standard breakpoints for example. Yet parser generators can output quite difficult error messages, unless you have had a parser education.

In practical implementations, recursive descent can be optimised to be really fast, and to use a low amount of memory.
Historically, YC accepts companies further along than what is described and less far along than what is described and with better ideas for a business and worse ideas for a business.

Good luck.
When Jobs/Ive was crazy over Dieter Rams designs for Braun, the year was 2001 and music players were designed like if it was a gadget for Batman's belt.

For the years to come all apple designs made look the competition like ridiculous old technology.

Today, Apple designs like the watch and Macbooks follow the same tired idea of curvy, minimalistic Braun-like devices while some competitors are leapfrogging to new design paradigms, maybe trying to pull the same 2001 success of the iPod; Perhaps no one is there yet, but many years have passed and the taste of design is eager for the next thing.
One of the most depressing things I ever read is about Norwegians not having good ideas for spending their money, so the tend to opt for buying second and third holiday homes. I mean I am sure having holiday homes provides a certain degree of happiness, it was just the mundaneness and banality of the human condition that depressed me about it.
Go lightweight and efficient front-end component web framework
My point is precisely that, if you are creating your language from scratch, you shouldn't have to do that. Those are mistake needed because the C grammar is full of cruft (and the C++ one is even worse).

It's much better, for a new language, to separate type checking from parsing completely, and to avoid any ambiguity.
It is just your opinion that people cannot be superior to one another. Define any objective metric, and it is possible for one to be superior to another.
Bankruptcy is the alternative.

There are legal system problems. The guy who loaned my mortgage has a good idea if I'll pay him back and even then its barely financially sustainable. Making my plumber go thru the same credit gyrations to figure out if I'm about to get into a car wreck and need to declare bankruptcy because I can't pay my car loan without a car and the side effect of that bankruptcy is the plumber gets stiffed as yet another unsecured creditor is asking too much to get a toilet installed and a bill sent. The cost of doing all services as cash and carry is too high especially for general contractors. Imagine a GC on a jobsite having to do payday at the top of every hour handing out cash to every sub.

bankruptcy works as a social policy for financial disasters but applying them to other disasters is a mess. Its more disruptive to have a financial system clogged with bankruptcies due to wild fires destroying homes than to just balance it all out via insurance payments.

You could kinda sorta work around it by exploding the concept of government disaster area financial giveaways to include fender bender car accidents but the government is incredibly inefficient compared to letting little insurance companies provide basically the same service. It would be like calling for a Marine Amphibious Assault Force because a neighbors dog pooped on my lawn.

Banning insurance like behaviors like church food banks would be problematic. Things start scaling up and at some arbitrary point between soup kitchens and current day Catholic Financial Life Inc you'd have to draw a contentious line.

Another similar solution to bankruptcy would be making past due accounts disappear rather than living forever. I had a girlfriend who was judgment proof and didn't make nearly enough money to get health insurance and wasn't set up under medicare either long before obamacare back when most 20-somethings spent some time uninsured. Anyway the collections people tried to collect, but she had nothing, not even worth garnishment, so eventually the debt just disappeared. Without collections agencies, if collecting were more expensive, the end result would likely be a lot of small businesses losing money and the destruction of the credit system oriented economy, which would probably be a net long term positive.
Other people have mentioned Japan, but you could look at basically any eastern european state to see lots of ethnically pure, yet miserable populations.

EDIT: those countries are getting better, but still...
> then maybe that negativity is warranted?

I don't think so, because even positive things gets twisted into something negative, the biaz is to strong.
"Willingly". Yeah. We all changed our minds the moment the result came in because "the people have spoken".

Rupert bloody Murdoch has spoken more like.
It's a joke but the fjords of Norway are among the most amazing things in the world. Simply seeing them would increase my mood.
I think you misunderstand Janteloven. Scandinavian countries are capitalist societies (even if Americans believe the health care and high tax makes us socialist) and prosperity and success based on hard work or talent is generally appreciated - as long as you "keep both feet on the ground" which means don't act if you are "better than other people" and pay your tax.

I suspect something else was going on with your friends second store, since successful stores growing into chains is a pretty common. Did people officially boycott the store or is it just his interpretation of events?
A Libyan refugee web developer's story
That oppresive cultural phenomenom you refer to is called 'modesty' (Jantelag in Sweden - Jante's law). I also experience it in rural ireland - 'dont get too big for your boots', 'dont let it go to his/her head' (although rank selfishness is still socially acceptable in catholic rural ireland as long as you make up for it with by being a 'character'). Selfishness doesn't fly in Sweden.
Modesty plays an important role in social cohesion, as studies show that relative wealth, not absolute wealth is important in how people feel about themselves.
"The plasticity changes as we get older, but the human brains does not lose the ability to learn things, counter intuitive or not."

Perhaps not lose entirely, but certainly age can dramatically reduce the ability to learn certain things. This (rather long) article goes into detail:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2947444/

The section marked "Language Exhibits a “Critical Period” for Learning" is maybe the most relevant.

However, the article was written in 2010, and may be out of date. Understanding the brain's mechanisms and plasticity has advanced significantly over the last few years.
This Planet Contradicts Existing Models of Planetary Formation – Telegram Expert
> Maybe because they never used good parser generators (not unlike type systems and Java) ?

Is there such a thing as a "good parser generator" where "good" includes "generates at least decent error messages"?

> Personal opinion: writing parsers is the least interesting part of an interpreter/compiler, and your grammar should be boring if you want your syntax to be easy to understand by humans.

Hardly. Humans have way less trouble with ambiguity than computers do, as demonstrated by, well, the entire history of programming languages. If syntactic simplicity and regularity were what humans seeked, the primary languages in use would be Lisps, Forths and Smalltalks, not C derivatives.
The challenge? Anecdata but my mom explained it thusly: some are good at starting companies, some at keeping things humming along and others at fixing companies...
Vancouver is enacting a tax on empty homes http://www.cbc.ca/news/canada/british-columbia/city-of-vanco...
We added "very early stage" to the title since that's what the National Grid is quoted as saying in the (you're right, extremely frothy) article.
Like with smartphones. Google and Microsoft do the hard work and then Apple swoops in and claims to have invented stuff.
What Happened to Google Fiber?
I'd honestly be more interested in them focusing on existing products. I'm still skeptical of VR/AR really becoming mainstream. The best AR app so far is what? Pokemon Go?
That is exactly what I meant.

I love RPGs when they present a new challenge or the story progresses a bit while you're leveling up.

It's just that some of the old RPGs, in particular, would leave you in a spot where you needed to gain a few levels fighting the same monsters, hitting attack over and over, without any real danger to your party, just so you could proceed to the next quest. That part is harder for me to stomach sitting through nowadays.
I think 'Most' is a huge overstatement, the last house I lived in without it was a student dive in 1996.
Critical Cisco IOS, iOS XE RCE Vuln from Vault7
There was no reason historically to have such legislation.
IMHO Brexit is a symptom of the failure to address 2008. Brexit isn't the answer but when you completely ignore problems you get ... more problems.
It's hard to ignore improper apostrophe usage when it's featured this prominently.
There's 2 parts to this: the actual 'pay out claims' part which is the expense ratio, and then the part where the insurance company makes money off of the giant pile of cash they're holding before re-paying it to claims. I am not well-aware of ratio regulations (some amount per-state do exist) and generally their investments are quite conservative.

My source is having done investment in and diligence on a couple insurance companies (which I've since sold.)
What people are permitted to read and what people are permitted to say on the internet and especially what is broadcast by media obviously have even larger effects, so should be regulated first, before the dietary police are unleashed.
I'd guess that a large fraction of people that deleted the Uber app and installed a competitor have not reinstalled. Once you've gone through that there isn't much point in reinstalling Uber. However, I don't know how many people did this vs just uninstalling Uber without a replacement or leaving it installed but not using the app. Those two groups probably had higher rates of people going back to Uber.
Snowdrift.coop is written in Haskell/Yesod.
So your 1tb linked-list/hashtable that holds all the mail servers email, and is conveniently persisted because ram is the disk, and everything on the heap is magically permanent - isn't at risk?
That's a fine theory but do you have any proof?
End of Life for Rackspace Carina
Previously discussed at https://news.ycombinator.com/item?id=10731002.
"Freedom" is completely orthogonal to having to worry about basic needs. You can guarantee every citizen's basic comfortable survival, and still have a great deal of personal freedom and even a market economy. It just means moderately high taxes and the government owning a lot of capital.

The world's post-industrial history is extremely short, and everything we've seen thus far is some kind of historical accident. Other futures are always possible.
Correlation is not causation. For example (as was said), an alternative mechanism is that someone actually believes the scaremongering narrative broadcast on TV, and is choosing driving to avoid the bogeyman^Wterrorists.
Fantastic GANs and where to find them
The petition actually had over 4 millions signatures - the fact that it had more than 100,000 only meant that the parliament was forced to consider the issue for debate [0]. They did so and considered that the result of the referendum was valid and that there shouldn't be a second one.

[0] https://petition.parliament.uk/help
> Like with smartphones. Google and Microsoft do the hard work and then Apple swoops in with something that consumers actually want to buy.

FTFY.
Xiaomi makes 1 phone every second in India
If you have experienced the nature in Norway, you will understand having holiday cottages is a nice way to spend money.
And this may explain why Google doesn't fix the problem. Not really in their best interest.
It can be easier to set up and maintain than hand-rolled solutions. Best example I can think of is speech recognition - previous systems used hidden markov models, gaussian mixtures, triphones, and all sorts of complex and obscure things that had to be tuned by experts. Now they just use an end-to-end neural network that goes directly from sound to letters (almost anyway; I believe the input is still MFCCs).

I agree it's not magic but it neither are 'manual' methods and at least the maths is a lot simpler.
And you are conflating acquiring skills with education.
Ah, gotcha. I didn't realize it would function at all with no access.

Still, only on when app is on would be the best choice.
I try very hard not to engage in any -isms of any kind.
To be fair they did it with phones.
Ask HN: How are noncompetes enforced
Say I have a noncompete agreement that prevents me from working at a competitor for a few months(e.g. as a trader at a competing hedge fund). If I just leave the first company and don't tell my former employer where I am going, how could they enforce the noncompete?
Oh yes, that's true! In Europe they are also used when there is not enough space for purely front loaders... nevertheless they still spin around horizontal axis.
Hash indexes don't support any operations other than = as far as I can tell, so they won't even be considered for >.
Why is this corruption? And anyway, many (most?) countries have no such law.
Too little, much too late. And it's pocket change to the people who are buying.
Fundamentally, you can't serve a turd and call it steak.

Power tools are an example of how to get it right. If I go to Home Depot and look for a drill, it's obvious from the branding, battery, warranty and physical characteristics which DeWalt drill is the "ok" consumer one, and which is a professional tool. (I use this as an example because I bought one yesterday)

The problem with consumer appliances is that they use dark patterns to sell stuff. There is no meaningful signaling about what is garbage and what is not. No facts are obvious that tells me what the expected lifecycle of a washing machine is... can it handle 350 loads a year? 100? 50? 1000? No fucking clue. Counter-intuitively, many of the premium priced units are worse than their cheaper counterparts!
"In x86 calling convention, structs are copied to the stack and their pointers are passed to functions. But in x86-64, you have to destructure a struct into multiple pieces of data and pass them via registers. It's complicated, so I'll leave it alone for now. It's rare that you want to pass a struct as a value instead of passing a pointer to a struct."

Would anyone care to explain this? It makes no sense at all to me. Why would the 64-bit architecture restrict passing a large object on the stack?

Thanks.
I disagree. There's no such thing as an "objective metric." All qualities are contextual. Being smarter, strong, faster -- qualities one may say are "good" are not always desirable in all situations.

Even if it were possible for there to be an objective metric, that still doesn't mean one person is superior to another, even if they possess superior "objective metrics"
Well, earlier investors are seeing paper returns. But other than consumers who are getting subsidized rides, yeah, no real payout.
Understanding Black-Box Machine Learning Predictions via Influence Functions
And here I thought virtually everything on Google Play was adware.
Forth is probably the simplest to parse, and when you write a forth you usually write your parser in assembly. It consists of "start at the first non-whitespace character of the pad and continue until you reach another whitespace character; that's a token" (though "token" has a different meaning in forth; it's a "word").

Lisp seems like it should be nearly as simple: recursively read in a balanced s-expression and attempt to intern the atoms in that s-expression; error out if any of those steps fails. However, Common Lisp's scanner/parser (called the "reader") allows the user to define arbitrary macros; basically the scanner has access to the full compiler if you want it to, so it can get really complicated really quickly.
Or run some TV ads telling people to turn their heat down and hang up their laundry..
Having to comply with tons of different rules on a per-state or even per-municipality basis is characteristic of the entire US system, though.
Agreed. There is a lot of ranting in the tech community, but for your average user they seem as popular as ever.
The reason for the US' horrible state of affairs: corruption. Ever since regulation of the taxi industry started, the 'players' in each city decided to use this artificial constraint to enrich themselves. Medallions (the right to drive a cab in a city) were doled out to the politically connected, who, in turn, rented them out to the actual workers (drivers) for a tidy sum. It was a great scam.

If there's one positive thing about Uber, it's that they brought an end to this medallion monopoly.