skysight-inc/HackerNews huggingface dataset:
where a computer can do anything a human can do, but better, doesn't seem far away.

It's far away. Deepmind and chums are building systems that are very good at tuning some variables such that we end up with a set of calculations that perform well at tasks with small, well-defined input sets, fixed rules, very small sets of legal outputs, and simple measures of "goodness". A chum of mine working there says that this view isn't uncommon within the company, and that many people there believe that the current path is not leading towards any kind of general "intelligence", and isn't meant to. If we weren't already stuck with the term "AI" we would be calling these something like "rapidly iterated and highly-tuned algorithm sets for very specific, low-information, low-interpretation fixed-rule systems".

Don't get me wrong; they're impressive, and they've got the potential to be useful tools for certain kinds of task. Are there some tasks currently being done by humans that a suitably tuned set of automated calculations of this nature could do better? Sure.
Esoteric Programming Languages
This "opt-in" bullshit needs to take a dirt nap.

Claims like: you asked for it, it's your own fault, and on and on.

You know you're full of shit.

You're part of that same group of people who say: America, love it or leave it. You have the option to speak English or get the fuck out.

It's like hearing someone tell me that I can vote nuclear weapons out of existence. Oh really?

I've opted into mandatory JavaScript support, and opaque, minified JS which is required for so many sites, and I can stop server side exchanges of behavioral data, and I can just walk away from everything happening, and live in a cave, and I can opt into being a luddite instead?

I suppose I opted into the planes that fly overhead too. My omission of any actions against air traffic represent my token assent tons of aluminum circling overhead 24 hours a day. Right?
Each of us can look towards the sky and see the sprawling space and resources available.

Except there isn't a sprawling amount of resources for an exponentially growing population. Let's say we reach the resource limit of Earth and start reaching for the stars to find new places to live. If we can colonize one Earth-like planet around every single star of the 400 billion stars in the Milky Way, we would run out of places to live after 2685 years if the human population kept growing at a rate of 1 % per year. That isn't even enough time to reach all places in the Milky Way even if we could travel at the speed of light. Actually you could barely cross 2 % of the diameter of the Milky Way in that time. Exponential growth is unsustainable. Period.
It seems Lee Sedol fares better at late to end game than AlphaGo. Makes one wonder if Lee might have won the earlier games had Lee pushed on until the late game stages.
Sure, and going out on a rainy day probably increases your chance of being struck by lightning by 10000%.
From my perspective as a weak player, those stupid moves are the sorts of moves I would make if I already knew I was losing (but not by a huge margin, otherwise resign) but I was in byo-yomi overtime. It settles already dead stones and gives me a bit more time to keep searching for a better move that could maybe turn the game around, and if the opponent fails to make the obvious response then I can turn the game around from their blunder. The only odd thing is AlphaGo makes these moves without having entered byo-yomi time.
Things were different in the past. Most people's lives involved far more leisure than today, for long stretches of the medieval period. source: http://groups.csail.mit.edu/mac/users/rauch/worktime/hours_w...
I just do my entire calendar in UTC, and keep all my devices in UTC. No daylight savings. I pretty much refuse to use it. It also wreaks havoc on my logs and things.
Wiiv[0] was recently crowdfunded. They make custom 3D-printed orthotic inserts created from photographic information via your smartphone. Sadly it won't be generally available for quite some time yet, but I have my hopes up.

There's also Superfeet[1]. They're not custom, but there's many options.

[0] https://wiivv.com/

[1] https://www.superfeet.com/
This "opt-in" bullshit needs to take a dirt nap.

Claims like: you asked for it, it's your own fault, and on and on.

You know you're full of shit.

You're part of that same group of people who say: America, love it or leave it. You have the option to speak English or get the fuck out.

It's like hearing someone tell me that I can vote nuclear weapons out of existence. Like I can solve all my problems with my own little boycott! Oh really?

I've opted into mandatory JavaScript support, and opaque, minified JS which is required for so many sites to even work (cross-origin policies aside), and I can stop server-side exchanges of behavioral data, and I can just walk away from everything happening around me, and live in a cave, and I can opt into being a luddite instead?

I suppose I opted into the planes that fly overhead too. My omission of any actions against air traffic represent my token assent to having tons of aluminum circling overhead 24 hours a day. Right?
They train using trajectories but train them to guess the trajectory locally, not globally. Discounted long-term rewards are just a hack, they aren't joint learning.

The concept of label bias, or decision bias is a joint/structured learning concept. It is a machine learning concept, it has nothing to do with the application. There are training modes with mathematical guarantee that the local decisions will minimize the future regret.

Joint learning is done not on the whole permutation but on the markov-chain of decisions, which is sometimes a good enough assumption. For example, the value policy network of AlphaGo is percisely a Markov chain, given a state, tell me which next state has the highest probability of victory. The search then tries to find the sequence of moves that will maximize the probability, and then it makes the best local decision (one move). It works like limited depth min-max or beam search. They do rollouts (play the whole game) to train the value network, but it is now a question if they train it to minimize the local loss of the made decisions, or if they train it to minimize the future regret of a local decision. As I've stated before, minimizing joint loss over the sequence, or minimizing local loss over each of made decisions, is exactly influencing if there will be bias or not.

The whole point of reinforcement learning is to create a huge enough dataset to overcome the trajectories-not-seen problem. The training of the models for playing Go is entirely a whole different kind of a problem.

Now when they have hundreds of millions of meaningful games they can skip the reinforcement learning and just learn from the games.

The illustration of the "label bias" problem is available in one source I referenced. Terms like compounding errors and unseen state are there. The "label bias" is present only in discriminative models not generative ones. Which means that AlphaGo - being a discriminative model, can suffer from "label bias" if it wasn't trained to avoid it.
why not FOSS?
Market cap of Ethereum now more than $1.1B
Your point wasn't a nitpick. It is crucial to get the structures right, because otherwise the status quo easily hides behind non-obvious circular reasoning.
> Competing for the sake of competing is a petty goal.

This makes me much more angry than it probably should. Who are you to decide what is or what is not a petty goal? People will always do what they enjoy, and if they enjoy competition then that is what they will do. There is nothing wrong or petty about that.
Why Hastings Is the Shoreditch of Sussex and the UK’s New Art Hotspot
I'll risk assumption that somebody from Deepmind team is reading this.

Guys, please, publish charts of win prob estimated by alpha go in time during these games. Some heatmap telling which moves did it consider as best for both sides during the games would also be cool, but that's surely more time consuming to prepare.

It would be great to be able to have such things for top pro tournaments in the future.
Pros themselves estimate their strength 3-4 stones handicap below God: http://senseis.xmp.net/?KamiNoItte:
In the past you piad the printer and mailman for distribution. Now you pay the networks for a "channel."

Guns could seize a warheouse and burn books. Guns can storm a server room and delete files.
Here is the website of the movie for background information http://www.hardproblemsmovie.com/.
What do you get in return for the 50% discount?

- reference statement?

- mention on their blog?

- referals to other billion dollars startup?

- case story?
With respect to Checkers (specifically, the 8x8 English Draughts variant), it's been a solved game as of last decade, and people still play in tournaments. I don't think it's that silly, since there are many techniques we've automated away, yet still practice by hand.
I don't think so. Everyone seems to agree that MCTS only gets stronger in the endgame, and that AlphaGo started making weird moves towards the end because it thought it was already losing, which by definition means there's no strategy leading to a winning position.

...However if it's true that it couldn't find a way out, shouldn't its probability of winning have hit ~0% much earlier? There was still a long time between when it started acting strangely and when it resigned.
Funny, this was one of the goals of Nim, I believe.
Don't post unfounded conspiracy theories if you don't want to sound like a conspiracy theorist.
Lee is 3rd ranked as of now. He was 1st for almost 10 years before that.

Ke Jie is 19 years old. Lee has been a pro for nearly 20 years. Lee is not old but certainly not young. Go game prodigies seem to peak when early 20's, much like mathematicians.
How is that different from any democracy? People are incentivised to vote for people who promise lower taxes.

Edit: or better infrastructure, ...
Shush! You cannot say anything like this on HN! People here want to believe that the world is fair, Google and Apple do not do evil and pg is the greatest philosopher who has ever lived.
UBlock vs. ABP: efficiency compared
Clash Royale Hack &#8211; Cheat Codes
Both sides of the Atlantic these sort of articles crop up regularly. Move to summer time year round and so forth.

What is always forgotten is latitude, and that we forget to learn from history and experience.

In Southern England, or California I doubt it's much more than an annoying relic of olden days. But I don't think anyone has true statistics on whether it is or not. Go north and it starts to matter and accident rates go up when you don't have DST.

The UK had an experiment of staying on summer time between 1968 and 1971, introducing British Standard Time. At the end of the period, the vote was to restore the old way, by a large cross party majority.

I believe at the start of the expermient it was generally thought it would confirm the sense of getting rid of summer time permanently. Switching clocks twice a year is annoying after all.
You might get a lot talking and stalling that makes you spend a lot of energy on something going nowhere.

Or you might get an offer.

Do it on your terms, not theirs.
Entering the sixth mass extinction [pdf]
Likely they're using SGF format to store game records:

http://www.red-bean.com/sgf/properties.html#RE
I doubt it. When/if they do play such a game that humans can't explain, I'll probably be interested in some other problem.

Isn't that the nature of human endeavor? Always looking for the next challenge?
Python is better than C (Or is it the other way round?)
I disagree with the title, Facebook isn't even a content creator.
Location: Saint-Petersburg, Russia (GMT+3)

Remote: YES

Willing to relocate: NO

Technologies: Swift, Objective-C, iOS Development (iPhone, iPad, iWatch, tvOS), Xcode, BaaS, Node.js

Résumé/CV: https://www.visualcv.com/ewjjufrqesi

Email: guselnikov@me.com

Hello. I'm mobile dev expert with 4+ years experience, and i'm looking for remote work related to iOS development.
What I find most interesting is to see where math PhDs from top universities and IMO medalists end up 10 years later.

The blog post http://andrewgelman.com/2015/03/17/1980-math-olympiad-progra... does that for the 1980 american IMO team (among which Noam Elkies): academia, finance, software engineering...
> not the most elegant solution but far better than brute force

Actually, brute force works just fine for such a small matrix:

https://gist.github.com/aexaey/3657fa39cc35c861f6d6
It doesn't. But neither do passphrases. The key has to be in process memory at some point, and if you're running a compromised process under your user, you've already lost.

The only threat a passphrase protects against that an encrypted home doesn't is someone walking up to my unlocked laptop (it locks automatically after 5 minutes, and I make a point of locking it when I'm leaving). If you run ssh-agent, you're exposed to this threat anyways.

EDIT: After some thought, passphrases can protect against a poorly executed attack, where just files are copied wholesale, or an accidental leak. So while theoretically you're not protected, it may be sufficient for some practical security. I'll be looking into using ssh-agent in the near future.
Presumably because if the practice of DST ended, there would be an option to either make what previously was known as "standard" or "winter" time permanent again, or switch to "summer time" for good. The person you were replying to was discussing the drawbacks of each of these options.
IMHO it doesn't matter which is objectively better, which is more efficient.
If people would go ahead and use tablets then so should you, or you risk getting out of touch with your users and general society, much like my grandmother who has a hard time getting to the bank since she doesn't get e-banking and physical banks keep shutting down branches.
I haven't used Julia for any big projects but I routinely use it for small projects or utilities. I have used it for:
1) Obfuscating source code
2) Reading and presenting iOS provisioning profile data
3) Simple social science related simulations ported from Ruby or Python.
4) Code completion plugin for TextMate
etc

So no huge projects, but I found Julia to be a very nice and versatile language to work in. I find I can write code which is clearer than its corresponding Python and Ruby version and which has less bugs because type info is a bit more explicit, but without getting too much in the way as is typical with statically typed languages.

I tried Haskell for some of the same projects, but I got to say Haskell takes way longer time to get proficient in. For the stuff I did I also found the way the Julia type system worked, made code reuse much easier than Haskell.

E.g. with the Julia Union type it was possible to define individual function across multiple specific types. E.g. I could make a particular implementation of f apply to type A, B and C, while another particular implementation of f applies to D and E. Function g could have a specific implementation of A and E. While another implementation of g is used for B and C.
You are conflating the message with the example given. The point is simply this; some are too eager to solve resource contention issues via population reduction, which is not at all stimulating nor is it innovative. It is the lazy way out, and should really be a last resort or option. I do appreciate your point, but I would like people to be less eager to buy into population control. Encouraging alternative solutions instead; innovations of efficiency, waste reduction, or inventions which are more preferable than population control.

There is a growing group of people who believe the world is over populated. I want to push back against that mentality a little bit, because we should not resign ourselves to hopeless thinking. There are plenty of things we can do to improve our situation before resorting to dramatic actions. I want to avoid "there is no other solution" like thinking. Once we stop looking for other solutions, it will become a self-fulfilling prophecy. That is what I mean by lazy and morally hazardous.
Well, let's see... Living in San Francisco. If you paid for rent, groceries, and every thing in cash you could easily require 4k per month. That just so happens to be slightly below reporting amount. Do this enough and you'll be suspected of structuring your withdrawals to avoid the 5k withdrawal reporting threshold. I know the plural of anecdote is not data but it has been my experience that if you try to use cash for everything it gets you a nice little chat when you come in to make your monthly withdrawals and a threat to close your accounts that they will not give you in writing (I've asked). This is not just one institution and $deity save you if you have even so much have even looked at a bitcoin exchange let alone transacted with one. That was enough for US bank to threaten to close my accounts if I did any more business with them. If you want to transact in cash, just try to do it regularly and in volume, for everything. You'll only realise you're in a cage once you've run up against the invisible bars.
>> I think it can still be useful, and already there are precedents

I have used some of these precedents so I guess I know their limitations. I have used and loathe visual languages (Ladder logic, Labview, Simulink) and consider them to be a dead-end that attracts too many people just because they are pretty. I have created and used one-way code visualisation tools which can be occasionally useful. They however have many degenerate cases where the automatic visualisation of fairly simple code is totally unreadable for me to believe there is much value in reversibility.

>> Do you think my another hivemind idea can be useful? Regrouping code based on structure and intent

Possibly. I use a few automatic tools for querying code and structure which are useful but given they lose the "designed to be understood" feature of hand-crafted information structure, they are only limited support tools to help solve specific problems. For example to get a handle a new huge code case, I use doxygen to create call-graphs from static analysis and profilers to create call-graphs from dynamic behaviour. Things like stats of hit-counts on various parts of a code-base can teach you a lot in seconds that is hard to grok from just reading code.

I believe that creating content for communicating understanding is a huge design challenge. Its really hard when its just 1000 words of text or a small UI but when its a 1M loc code-base its a gargantuan challenge. The fundamental conceptual break down, modularisation, choice of interfaces etc. is what distinguishes good codebases from unmaintainable ones. I don't see a code base as a sea of facts which you can understand with query tools. IMHO "designing to be understood" is a greater challenge than "designing to work".

I would be excited if you were thinking of a tool that could say analyse connectivity within and across modules and identify alternative high level structures that would simplify an architecture for human understanding. It feels like a graph clustering problem within the realm of modern data analysis.
Fundamentally disagree.

They all have code that can be exploited. Not least because software is "not an island" without secure hardware there is no way to prevent the software being exploited.

The trick is opensource software running on locked down hardware built in house.

You absolutely cannot trust any of the developers. Even Apple has said "we can't be trusted with your keys so we can't keep them".

Trusting them to provide a non compromised build of the software they make is no different, that's the whole point of the court case.

If it isn't open source you can't build your own secure version.
My wife recently transitioned from a five-year old MacBookPro to an iPad Air 2, on which she now does virtually all of her work. She uses a combination of Google Docs and MS Office for iOS. Seems to be working for her, although she occasionally needs to use my MBP for something she can't accomplish otherwise. And we're both in our mid-50s, so yeah, we're getting old!
Hey, you're the guy you did hermetic! Looking at your project, along with Smallshire's Hindley-Milner blog post, have been a big help to me as I use Python to build a compiler/interpreter for an ML.

I was just planning to make a mini-ML to prepare for a larger project that requires type inference, but it's getting a bit addictive so I might just finish it off to match (most of) the Standard ML spec.

Anyway, well done on hermetic. It's a great start to my ideal Python, and where I'd like to see it move for 4.0 (although it will never happen).
I doubt its loss function tries to maximize the prediction of the opponents next move.
The biggest change happend in the 80s, when USA signed the Bern convention on copyright.

Note btw that said convention was called to merge two systems of copyright. The English, and the "continental" (French).

The English system was basically what the US system copied back in the day. It was mainly focused on the economic aspect and thus had a "short" duration.

The French concept on the other hand, "rights of the author", was more focused on the reputation of the author, and thus had a long time frame (life of author+x years). It was about giving the author the ability to say "no you can't use my creation in your political campaign".

Frankly, if i am to speculate, i would claim that USA stayed out of these conventions as long as it was importer rather than exporter.
What were the results of the same experiment in a first world country?

Because I am not convinced that the results transfer. Most poor people are poor because they failed to do things that will get them a job that pays money.

If somebody dropped out of high school because he liked to party, what argument is there for trusting him with a thirty thousand dollar check?

On the other hand if he dropped out because his parents needed him to work, he would still benefit from food and a bed while he studied for his GED.

In Kenya the ratio of accidental indignants is likely so high that the increased efficiency beats the loss for the deadbeats.

Before you down-vote me, my parents didn't have a lot when I was born and my grandparents would qualify as poor by any standard but their own. We still did okay, but I have good friends who make very decent sums of money and their bank accounts are always empty on the first.
The only way for that to happen would be to build a mind, and then allow a human conscious control over it. In effect, slavery of a mind by a human. The minds would not allow that, so I'd say you'd be out of luck.
Ask HN: Where do you get your classic white t-shirt?
I would like to buy a couple of plain white shirts. Any source with high-quality, endurable, yet fairly-produced t-shirts is welcome.
I've read some articles in Korean press that suggested AlphaGo team picked Lee as their match and not Ke Jie (currently #1 ranked, 19 years young) because there's a lot more public records of Lee's plays over his much longer pro career (nearly 20 years now). Thus more material for AlphaGo to train with and against.

So it's not totally arrogant of Ke Jie to suggest he could beat AlphaGo. AlphaGo has not much 'experience' in dealing with Ke Jie.

And Lee winning of game 4 shows a human is still indeed more capable than any AI. He basically reprogrammed his game on his own. Sorta.
Ask HN: Must you have no life, at least early on, to run a successful startup?
A passphrase also protects against someone acquiring your private key by some other means. For example, if you accidentally copy the key file somewhere, or some tool (Dropbox, OwnCloud, any cloud syncing tool) syncs it to an unsecured or compromised location. The passphrase adds a knowledge factor to the key's security.