skysight-inc/HackerNews huggingface dataset:
One personal anecdote:

In a decade of using Mercurial, I've managed to get a repository in such a confused state that I had to blow it up and start from scratch just once. In the same time, I've had to do the same for git repositories at least 5 or 6 times--and I never really used git all that much. Even nowadays, where I'm more or less forcing myself to use git [1], I'm incredibly hesitant to try any sort of complex git operation because of the risk that I might lose my in-progress commits.

While the problems of git's UI is well-known, I don't think it's as appreciated that git's complexity generally discourages people from trying things out. I'm never really sure what could cause me to lose unpushed commits or uncommitted working files, especially with git's predilection for reusing the same verb to do slightly different operations for different concepts. In stark contrast, it's more difficult to get Mercurial to chew up your work without telling you [2], and it's easier to explore the command lists to see if there's something that can do what you want it to do.

[1] The repositories I'm working on involve submodules, which hg-git is exceptionally poor at supporting well. Even so, the list of git alias commands on the whiteboard is entitled "Forcing myself to use git before I rage-quit and switch to Mercurial."

[2] I have done it, though. Worst offender was discovering that hg qrefresh <list of files> causes only those file changes to be committed, and files not mentioned are decommited to working-directory-only changes... which hg qpop happily deleted without warning me, causing me to lose a large patch. That was when I put the patch queue directory in version control.
Wondering what Tensorflow has to do with that out-performance since it must be all about the model/algorithm that you implemented in that - like you could've had a TF code running the same conventional approach you mentioned above - which wouldn't have done any magic. Isn't it the algorithm like a convnet doing the magic rather than TF itself responsible for it?
Go's "runtime" is just a library. Programs are still compiled to native machine code.
I'll check Daniel Shanks' book out. But the OP was interested in reaching a level where the proof of such summation is not `black magic` - at least that was my impression - which implies reaching a level considerably higher than the minimum... Hardy would be helpful, and is at a sufficiently higher level than future Project Euler questions he might encounter e.g. those involving continued fractions, or Diophantine equations, or even modular arithmetic etc.
I believe what the politicians really wanted to ask was: “how do we account for the tendency for human operators to make mistakes?” If you stop to think about it, what seems at first like a dumb question in fact presages difficulties that will have to be addressed by everything from unit testing to spell checkers to entire classes of non-deterministic algorithms.
You should be aware that the decision of jurisdiction can pull you into courts you never knew existed, in jurisdictions you wouldn't imagine could exist. Finding a country that won't extradite you may become an issue of treaty, or even a string of treaties. IANAL, but I sat in on one of my brother's international law classes, which quickly convinced me to not fuck around in that arena. Lawyer up early.
you got me to make an account and move the gif, I hope you're happy with yourself
Java has been used as the implementation language for games, high performance servers, message queuing systems, operating systems, and operating embedded devices for goodness sake. It doesn't get much more "systems-y" than that. Go is surely at least as suitable for these uses.

I think the other commenter is correct: it seems like a semantics argument, and a rather pointless one at that.
In my experience, the benefit you get is from giving you an editor to edit the commit message, which has a list of files changed, and can be cancelled in some way to abort the commit. Both hg and git can do this, so it's not necessary to have a separate command and staging area just to do it.
It's not a streaming service. You buy your music there and own it.
Yahoo Technical Support Number
Looking for Yahoo contact number, call to Yahoo Customer Service Number for all your Yahoo related problems like Yahoo Password Recovery, Yahoo not working, how to change Yahoo password, Yahoo is not sending Emails, etc. We are 24x7 for your HELP and provide you Yahoo Online Phone Support. Call Yahoo Toll Free Number:+44-800-051-3725, you will get instant support for your issues.
Visit: http://www.customerservice-support.com/
OR
www.contact-customersupport.co.uk/yahoo-support/
I write Go on the daily and I really enjoy it. But hey, whatever floats your boat!
No, we have hearsay laws similar to the US. We can't compel an officer to testify on our behalf about something we said to them in questioning. its just in the UK, if you talk to the police, and forget something that is important you don't get to use it later, or its not as useful later.

This has lead to a lot of unsound convictions of people who were intoxicated at the time of arrest; They tell some abridged version of their story to police, leaving half the important details out, leaving them with half a case to take to court. In Scotland they have started Requiring solicitors to be present at interviews of suspects (of some crimes) because of this, making statements inadmissible unless a solicitor was present.
I don't know Go and I didn't use PHP very much so I'm qualified to comment only on this part:

> I’ve worked with RoR, and a variety of frameworks in the Node world – and I have never had a framework project where I didn’t end up fighting the very system that was supposed to make development “easy”.

This is not my experience with Rails, Django and Phoenix. Actually, I was probably fighting Rails in my very first project in 2006 (or was it 2005?) but I was writing it as if it were Struts (I was coming from Java.) Then I started coding as if it was Rails and got a great speedup in terms of coding time. I'm less proficient in Django. It seems that it doesn't really enforce a project structure and one can do almost what s/he wants. I've seen projects that look very different to a degree I never saw with Rails. Basically all Rails projects look the same. Phoenix is somewhat in the middle.

So, if the author is wrestling with frameworks either he's not proficient with them, but this doesn't seem to be the case, or he genuinely doesn't like to be constrained by the requirements of those frameworks. This is not a bad thing per se. If one feels like that, he's going to be a happier developer writing code with the architecture he designs. I'm not sure customers will be happy too, but I don't know what kind of projects and customers he has.

About me, I prefer to stick with standardized architectures that any developer after me will be able to understand in minutes. I'm a freelancer and I just don't have the time to spend a significant amount of my customers budget to learn (and make learn) more clever and optimized architectures before doing any real work. If I had my company running around one software product, then maybe I would design it from scratch. Reality check: I wrote so many MVPs in Rails, especially for customers. Given the usual outcome (failure to get traction) it would have been a waste of money to start with a more clever design.
20 lessons on bias in machine learning systems by Kate Crawford at NIPS 2017
Huge object flying past Earth might be an alien spacecraft, scientists say
I can't help but feel there's sort of a strawman here. I'm not sure what social circles the OP hangs out in, but I don't imagine anyone I know would really lambaste my choice of language to learn in my fair time (or even as my first language).

That said, I think I differ in terms of what I believe a language offers, and given the criteria prescribed in the article, smalltalk is actually probably not a good choice. For example:

> Your first programming language will never be your only programming language

Yes, but for a first language, isn't it more pragmatic to learn a language at the intersection of more popular languages? If you knew you were likely to want to speak English, French, and Italian, would you really opt to start with, say, Swahili or Korean?

> The best way to learn how to program is with a good teaching language.

His argument here doesn't make much sense. I think a "good teaching language" is less about the language and more about the availability of teaching material. The language semantics are trivial to pick up once you have a good foundation, so why not focus on the foundation (and not the language), and pivot as you like afterwards?

> There is no better way to learn about object-oriented programming (OOP).

I'm going to call shenanigans on this one. Learning good OO design isn't going to magically come as a consequence of learning _any_ language, and smalltalk being the paragon (supposedly) is a silly notion. Tons of languages have delivered new paradigms as a result. By this argument, we should just learn every language as our "first" language to learn concurrent/functional/low-level/etc concepts best

> It’s a great hobbyist language.

It depends on your hobby! If you like making console games, uhhh you're shit out of luck with small talk aren't you. Or what if you enjoy experimenting with large datasets. Do you really want to work with a smalltalk-to-tensor flow API?

For the record, I'm not saying OP can't learn smalltalk. Just that in being defensive, it's not good to pendulum to prescriptivism.
I wrote some PHP last month and I still hate it :)

Though it has improved dramatically.
What is the red herring?
This is one of the few things that Launchpad got right. jquery, for example, would be at launchpad.net/jquery, and your own work would hang off of that. GitHub went with inverted namespaces (user/repo) instead, where every personal fork is an island unto itself, and the world is worse off for it.

I had hope that GitLab would take the opportunity to fix most of the problems GitHub introduced (or at least a few), but they seem to be interested in just copying the mistakes and chasing the market segment made up of people who's only criteria begins and ends with like GitHub, but on-prem.
Estonia was a part of the Soviet Union, and the Soviets had some pretty good crypto by Cold War standards.
I wonder if they could get outside sponsorship. Many creators show ads (sorry, "sponsorships") in their own video, outside of YouTube's ad system. Apparently YouTube has been saying they want the advertiser to pay for YT ads on the channel, but if the videos are demonatized, I wonder if that still holds?
Times ... change.

It took a moment to realise you didn't terminate and stay resident.
> Duplicitous little bastards.... Israeli Intelligence

Is this legit?
It does show how 2-bit quantum search is faster than conventional, requiring only one evaluation of the oracle function instead of three.
Nasty loud auto-play video/audio.
Uh, that why I use the Opera Mini 4 (or 5) user agent on DIllo: it helps a lot on Youtube (you can watch thumbnails at least, among the comments):

At ~/.dillo/dillorc

http_user_agent="Opera/9.60 (J2ME/MIDP; Opera Mini/4.2.13337/458; U; en) Presto/2.2.0"
Solid module system?

It's still the same as C, which is _not_ a solid module system.
4. We stop relying on the cultural paradigms that foster this mess and it gets better, likely for reasons people will not understand and will not credit.

Einstein said No problem can be solved from the same level of consciousness that created it. The odds are good that the current framing of the problem is part of the problem.
From my point of view PHP 7.2 is a great choice for startups and with a small team, so build the product, make it run. If required then do some R&D to switch to go, jumping straight into go should cause some issue.
Hypothesis Disclaimer:
Most of the customer of these APIs would be corporations who need a little bit of hand-holding, So they might be looking for dedicated customer support. Kairos would be able to give big corps a run in that manner. If they get more customers, then more data, better results.
I think JSP is a great contender, and I see your point about overengineering. PHP with type-checking is alright, but if I'm going to use a scripting language I'd prefer Python or Ruby.
You should look up the stash command.
React Performance Fixes on Airbnb Listing Pages
Shopify went back to Turbolinks: https://shopifyengineering.myshopify.com/blogs/engineering/r...
How a weak_ptr might prevent full memory cleanup of managed object
It told you on cli after you updated.
It is a fair enough point though. Even Go written by pros often does not fit together easily. Adjusting one library to fit with another is often a non-trivial task, and many package authors freely admit as much.

I must have links to at least five different gzip middlewares in my favorites, and I'm sure there are more than that...
As other comments mention, if Tensorflow is seen for what it is - a framework for computation, rather than just "a deep learning thingy", it may be pretty useful.

It is probably quite far from a standard usage, but Tensorflow may be used to write some custom graphical
models inference, for example. To be practical these algorithms can not be implemented in, say, pure python.

The point is Tensorflow gets you pretty close to assembly level computation. The alternative is to write in, say, cython - which is much more time consuming to write, and does not give you parallelization for free.
Another alternative I guess would be torch, but that is the same as tensorflow the way I see it.
Directed search with the Exploratory Modeling workbench
> By what metric are police shootings in America
> not a huge problem?

Black people shootings, relatively speaking.
GDPR covers personal data, not anonymous unidentifiable stats.
Thank you for your insightful comment. I absolutely agree with you. There is a very bright and positive side to social media, which has been especially apparent in recent months. Yet it's hard to not see the worrying trends in public ridicule and constant outrage on social media over petty things. I would like to believe that these are growing pains and we'll eventually figure out how and where to draw the line. We are definitely evolving. Perhaps this is the time when we evolve out of our primitive and humble beginnings and into a sci-fi-ish society.
I've seen a lot of stuff on Pony as well and it looks promising. Have you built anything with it yet?
The regulatory process is not scalable relative to the rate of technology driven disruption.

It cannot scale.

It can either fall behind or adapt to change, IMO.
Happy enough to give you the ol' retweet: https://twitter.com/ArentWyatt/status/940480529740193792 Italian chef kiss

EDIT: p.s. thank you for designing your website so that can actually handle some traffic. That's worthy of the hacker news gold achievement
Even more dated, IIRC my first car, an 83 model, had heated cloth seats. I am sure a 93 model I had did have heated cloth seats, and it is a bit more than 10 years since 93 ;)
But why not use a mechanism that already exists - local commits. That way you also get a complete history of changes (including rollbacks), can write incremental commit messages, and can squash everything partially or completely at the end.
Because of FATCA and friends, essentially all financial institutions in the world now report to the US and follow its rules. If you are not a US taxpayer, and outside the US, they don't directly apply to you, but they have already affected the regulations that do apply to you.
Google is an American company. Their "rules" are extremely embedded in a US culture. Unfortunately YouTube is a product that is consumed worldwide. Many of the regions where it has a dominant market share for web VoD do have cultural palates that are very different from the US.
I feel Google should embrace their international position and be less biased in it's reasoning.
Also, since we cannot update the existing configure scripts that are already generated and distributed as part of other programs, even if we improve autoconf, it would take many years until the problem would be resolved.

I don't know autoconf and this sentence got me curious: why would it not be possible to regenerate existing configure scripts using a fixed version of autoconf? Are those scripts likely to be manually edited after they've been generated?
Thanks for playing the game! You're definitely right, the pacing of the game feels slow right now. Too much time, but not enough effort to reach any reasonable achievement... I also have a slight suspicion that because of the six-directional game controls, there's more careful thinking for each move on average, so the game feels longer but maybe easier since the difficulty is amortized across all the moves rather than concentrated at particular junctions like in the original 2048.

I'll play around with different settings (thinking about adding up to three blocks each move)! If you have any suggestions or bugs, the repo is public on GitHub.

https://github.com/jeffhou/hex-2048/issues
Aren't algorithms also biased in theory since they are created by people?
Serverless PaaS Rainbond is now open source
I have it from a first hand account that FB pays 25% less in London than in Menlo Park fwiw.
The solution is obvious - tag/categorize the videos, according to very strict rules, let the advertisers decide which tags to serve. Allow the publishers to dispute the tags.

For instance, "nudity" can be defined as "visible genitals, female nipples" in the US.

"Controversial" tag should not even exist, it makes no sense, any non-trivial subject is controversial.

And honestly, YouTube can benefit from a more precise tagging/category system, it's currently extremely crude.
Also true, but my main point was that they even managed to miss the people who always buy the latest and greatest gadget for their grandchildren. Free money. On the table.
A slightly different perspective. For the end user Go apps are by far the easiest to setup and use. Usually it's just a single binary to download. That is a huge advantage that can't be beat.

Other languages usually need a large number of dependencies, with Ruby and Node, often an entire build environment, with plenty of potential for dependency hell and hours wasted.

Some may advocate containers at this point, but it just hides the issue temporarily and may be too much for a certain category of end users. You now need to know how containers, ports, volumes and Linux systems work in far more detail when you actually just want to use an app.
So there isn't too much juicy stuff here. They decide to manage out some unwanted channels, the list seems regardless of the channel's political affiliation, then I didn't really see a problem with that.
still doesn't answer how is Kairos (or others like it) are even building ML APIs which to ppl like me seems to be an exclusive domain for the big 4 (wondering can I practically compete with the big4 on data-based services, when there is no notion of stickiness etc).
> And yet we keep writing Go.

Remember that Go is still a niche language, and the majority of programmers will never write a single line of Go.

There is a nice trend around Go nowadays, but most people are still writing PHP, Python or Java and Go isn't going to replace any of those.
That concept of "obsolete as a Debian package" does not really exist, so you are asserting something meaningless. And you brought up the timing of systemd yourself, only to then find that your point was wrong.

You have a lot to learn about the rather sad history of runit and daemontools in Debian, as well as about the ways that Debian people decide what is packaged. This is only some of it.

* https://tracker.debian.org/pkg/runit-run

* http://smarden.org/pape/

* https://lists.debian.org/debian-vote/2014/11/msg00059.html

* https://unix.stackexchange.com/a/284453/5132

* https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=766187#78

* https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861536#44

* https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=752075#35
The article mentions that, "France has four major mobile and internet operators and nine low-cost offshoots. Britain has more than 50." I'd appreciate if somebody could explain something here because that doesn't seem to make any economic sense. Let's assume that France/Britain have absolutely rigid and perfectly enforced net neutrality. That means internet service providers can compete only on price/speed as everything else is supposed to be otherwise identical. 13 different companies, let alone 50? How? Users would simply pick the company with the lowest price for their desired speed. And the cheapest service is going to tend to be the largest due to economies of scale. The end result is a natural trend towards monopolization when companies are allowed to only compete on price/speed.

I mean you might decide to pass on a "low-cost" alternative in most industries as there is often an implied "low-quality" qualifier attached. But with strong net neutrality, this is not supposed to be the case. They state a speed, they state a price. Everything else is identical. So what gives? I find it disappointing that the NYT did not even bother to even consider this obvious question since it seems to cut to the core of this issue!
Publishing and ad management at a large publisher/adtech company
Whatsapp is a much different product and atm everything is end-to-end encrypted, so I trust that more than facebook itself.

There is also little binding to the service, the entire semester could switch to a new service within a week (we've played out the scenario "what if whatsapp goes belly up" as part of a course)
So you don't consider those playlists you can create and share on Spotify as user generated? However I agree that they could be featured more prominently.

Apart from that Grooveshark was a service without legitimate content. As a streaming service you can't rely on user uploads and ignore the whole licensing aspect of the business.
recent dc movies feel like they were written by a 12 yo with a baa in marketing somehow
Shigir Idol
Just for completeness sake, the command to do that would be

git commit -a

It does an implicit git add -u (which does not add new files not yet part of the repo)
> Even if you're only interested in properties to do with the length of lists/arrays which are about is simple as you can get, you quickly get into undecidable areas.

AFAIK, most of the undecidable areas in current solvers are not truly undecidable but rather practical limits. A full search of all proofs up to some arbitrary depth could solve pretty much any real problems, but would be impractical. I don't know much about avoiding practical undecidability though as the prover I wrote was complete (or at least I believe it is and it seems to be true in practice).

> There's a few system like this already e.g. https://sage.soe.ucsc.edu/

Thanks for mentioning Sage. I am not familiar with it.

> Did you find the manual proof challenging when you tried to verify basic algorithms?

I have been using insertion sort to benchmark the hypothetical language with, and I found proving insertion sort to be correct in Coq to be fairly easy. It definitely wasn't trivial, but coming from a background of formal proofs on paper, it was easy.
Thank you madam prime minister
I would rather go the other way. Commit messages should be modifiable by themselves. The idea that commit messages will be gotten right on the first try predates CVS and it’s just wrong.

Who hasn’t put the wrong bug number on a commit? You’re stuck with that. Who hasn’t confidently remarked that they have solved a problem and then discovered they haven’t? Commentary about a block of code needs to be a living document every bit as much as the code it refers to.

Two years from now when you’re trying to figure out what the hell you were doing in a block of code, the message is going to be wrong and everything you’ve thought about it since is gone, except what you can remember.
I thought that Python is designed to be a teaching language.