skysight-inc/HackerNews huggingface dataset:
>The cross compilation is also a thing I guess? I just use docker anyways.

Docker does not make anything crossplatform; it just enables you to package your dependencies such that you can easily run on any other linux-amd64 machine. Go applications usually don't have many dependencies so Docker usually doesn't buy you much if anything at all.

>But no... I mean... I can get a lot of editors to do a better job of formatting.

I've never used a language with an ecosystem that so adamantly abided by one standard format. PEP8 comes somewhat close, but there are still fights over different linters etc...

>Go get provides no realistic versioning other than "this is what I grabbed RIGHT NOW

The vendor directory introduced in Go 1.6 (and usable in Go 1.5) has addressed the versioning issue with `go get`. I agree creating/updating vendored dependencies can be tricky depending on the tool you use and having a Go workspace per project is slightly cumbersome (though no less cumbersome than say virtualenv), but even before Go "officially" supported vendoring, going from zero to development is literally just `git clone` and `godep restore`. Go projects do not decay if you've vendored your dependencies.

>so crazy that the ecosystem got a basic race detector before a basic interactive execution tool...

Am I crazy that I prefer having a race detector over a REPL? There were plenty of REPL projects that never gained traction because you can develop pretty easily without them. I usually jump into the playground[0] if I need to test something. This has the added advantage of being sharable after I write it, too.

[0]: https://play.golang.org
Nxweb – Fast and Lightweight Web Server
Mentors and their roles?
Just wanted to say Discord is awesome!

I didn't play on-line for years, last time I did regularly, the standard for voice communication was Ventrilo/Teamspeak. When I first used Discord a couple of months ago, I was just shocked. It has a decent webapp. I can create my own server for free. It takes less than a minute to get going. It just works.

Truly amazing work, keep up
I meant the teams.
This is a solved problem even if we don't necessarily like the solution: nuclear
I'd like to add a few points to the article. First, the party which got the most votes at the election was SD, the center-left Social Democrats, not DF (Dansk Folkeparti). However, overall the left-wing "red block" did not have enough representatives to form a coalition government. Out of the right-wing "blue block", DF was the party with the most votes [1].

Secondly, the current conservative government has indeed a tough line when it comes to asylum seekers and refugees. Their allies from DF have in particular an obsession for muslims, which leads to fairly transparent measure such as mandating the presence of pork in menus offered by the city of Randers to "preserve Danish food traditions" [2].

If we ignore momentarily foaming-at-the-mouth-about-muslims-but-we're-really-not-racist DF types, it's hard to deny there are real integration issues with immigrant populations. However, I wouldn't be so quick to put the blame squarely on these people. You regularly have tests which show that, depending on how ethnically Danish the name on your resume sounds, your chances of getting an interview, all other things being equal, are drastically different. And I have the feeling that anti-Muslim feelings have become relatively mainstream.

On the other hand, you do have a number of Muslim extremists which clearly have absolutely no intention of integrating and who'd be better off emigrating to Saudi Arabia, for everybody's good.

1: https://en.wikipedia.org/wiki/Danish_general_election,_2015

2: http://www.aljazeera.com/news/2016/01/danish-city-pork-prote...

3: https://en.wikipedia.org/wiki/Hizb_ut-Tahrir
He's not assuming finiteness, just countability.

An example of how this is useful: If it were provable that a program does not halt, an enumeration of all proofs would find the proof that the program does not halt. (If a program does halt, it is necessarily provable that it does so, for obvious reasons.)

Thus either,

- We can solve the halting problem, or
- There exists something that is true but not provable.

Thus the uncomputability of the halting problem implied Goedel's incompleteness theorem. Proving the other direction can be done by similar techniques.
Decentralized systems are demonstrably less centralized than conventional capitalistic private sector/bank/gov/licensing hierarchies and the monopolies they foster. As you point out, it's the human factor that's generally the problem. I doubt we'll ever see a better illustration there than the current situation with Bitcoin. Historically, we've seen the well chronicled growth of government and commercial interests on the internet. Both are good examples of decentralized systems that fail or are weakened through human causes. I suppose these are the same areas in which offensive security research is focused.

We should be smart enough now not to put all of our trust in to one system, and instead to foster a biological-style heterogeneity of systems, all of which we can opt in/out of on a dynamic basis based upon their various objective properties and our risk model versus requirements (==motives).
Uh, some of us started complaining about search engines failing to evolve a decade ago, guess we were before our time! Or at least too early to market.
Given the way that AMP standardizes markup, it's easy for a client to do whatever it wants instead of using the "official" javascript.
The dramatic reduction in parking is a common and reasonable conclusion, but I think the reduction in traffic is not so clear cut.

Driverless cars will reduce the cost of trips, likely inducing more demand. You could also argue that empty driverless cars (say those travelling between fares) naturally add to traffic levels, though this isn't a strong argument.
> Formal mathematics has no concept of absolute truth ...

Well, it does. If you drag the propositional calculus into the fray, "true" is arbitrarily but probably most elegantly defined as following:

true(x) = x or not x

False is defined like this:

false(x) = x and not x

These definitions are pretty much arbitrary. The lambda calculus does this:

true(a,b)=a

false(a,b)=b

It also works absolutely fine.

> It's just concerned with axioms and theorems (and their proofs)

In the general case, theorems are indeed "provable" or "unprovable" (not "true" or "false").

However, if a theorem has exclusively been derived from propositional calculus, it can also be "true".

Gödel's incompleteness is exactly about statements that are "true but unprovable". In terms of propositional calculus, the theorem is "true" but since you can show that the theorem can never be derived from the axioms, it is also "unprovable".
> I strongly dislike the JSX syntax as well. Its messy, and difficult to read.

I've read quite a few criticism of JSX but "difficult to read" is a first. It's not significantly different than any templating system out there (eg, ERB). It's just XML with interpolated code, what's confusing about it?
Yeah, subscribing to the releases RSS of the various OSS I use works pretty well.
Yes. Since the release of Swift, Xcode has Ben notoriously crash-prone and buggy. It is getting better slowly, but that was a pretty terrible first six months.
I use Todoist to keep track of my tasks. But I started using toggl (toggl.com) recently to keep track of how long I spend on a single task, and I started becoming more productive because of this.
Gopher :-)
The skinning and boiling of live dogs is nothing secret. In Yulin, crispy dog skin is a specialty. Boiling is how they prepare it.

Even beyond that, the person you were replying to has a point: dogs being raised as livestock is one thing, but the systematic torture they endure in countries like China, South Korea and Vietnam is an entirely different (and wholly deplorable) point altogether. In the rare event that a factory is discovered in the US torturing and abusing livestock, the public outcry is usually enough to shut that facility down and cut off their supply chain. In places like Vietnam (as the article describes) it's merely brushed off as a shameful-yet-ultimately-permissible tradition.
I am somewhat confused as to why brief clips interspersed with other material wouldn't be automatically marked as fair use and left on their own.
> although I imagine conservative Jewish populations are an exception

I'm a dane living in Copenhagen. I am atheist as well. I really do not get what you mean by "conservative Jewish populations are an exception" to good cultural assimilation.

I grew up unaware of the jewish population, I studied and later worked with several jews, unaware that they were in fact jewish, My wife had several jewish friends from college. Except for the fact that some of them chose to live "more" jewish than others - and generally take Fridays off - I have never ever noticed them to stand out in any way. In fact, I have known several people for years without realizing that they were jewish.

They seem to have been assimilated to the point where it is actually a threat to the (little) cultural diversity that Denmark has.

It is the same way in the other Scandinavian countries. Your comment is very, very strange.

> I read a suggestion many years ago (well before Turkey entered the EU)

Turkey has not entered the EU. In fact, due to concerns about democracy and human rights, they have not even been promised that they can start negotiations.

> Like anyone, I have some mixed feelings about this as seen from across the Atlantic. I both like and dislike America's fragmented and vigorous culture, and I think of these more homogenous countries like I think of the small town I live in; with some rose colored glasses on about how 'nice' they must be.

One very important mechanism to make the Danish society work, is trust. We are generous with welfare. We have paid education through college/university or equivalent. In fact, in addition to free tuition, we will pay you to take an education. Danish "SU" ("Education Support") amounts to DKK5941 /month - apx $10464/year.

The backside of the trust is, that one of the least socially acceptable things you can do is to cheat the generous system.

> At any rate, it seems to me that Denmark should be allowed to ignore Syria if it wants, and also turn away refugees if it wants, or vet them on whatever criteria the country decides to

It seems to me, that every country in the world - Denmark included - should accept their fair share of refugees. Smaller populations with different cultures are generally not a problem. Only when populations with very different culture and religious views grows faster than their culture as well as the host country culture can adapt to eachother do problems arise.
It matters if you're concerned about keeping the size of your JS payload in production to a minimum. In the Babel example, you're looking at multiple times more lines per async function compared to promises, plus extra execution via regenerator when compiled to ES5.

That said, I'm a fan of async/await -- just not yet for projects where I need to optimize for filesize.
As an alternative, you can use RemObjects Silver (multiplatform Swift + .NET) for free.
Cash: Cross-platform Linux without the suck
Миф о мирной России
Tennessee’s new official state rifle is .50 caliber
Random Clinton Email from Newest Batch
> the maintainer of Oden obviously doesn't want to work with people who require the freedom to be offensive in public forums.

I'm sure that is the intent, but they make the code of conduct explicitly (and I would say somewhat aggressively) political. I think that it will deter a number of otherwise respectful and conscientious people.

In any case, I am glad that they are publishing a code of conduct. I don't like the content of the particular CoC they chose, but at least I know where they stand.

As for the project itself, it looks really cool. It seems to be addressing the kind of concerns that keep people like myself from engaging in the Go ecosystem.
I think there is another aspect that makes determining scientific value difficult.

In the hard sciences there are a lot of esoteric sub-disciplines that do rigorous work that seems to be of little consequence. I would suggest that one of the costs of maintaining a technological society is maintaining practitioners in many of these sub-disciplines just to keep the thread of knowledge alive.

If it was all left to the private sector, such researchers would be out of a job as soon as they were not longer necessary to the tasks at hand.

So many times in my own research have I needed a particular bit of information, and I search the literature and I find that someone did collect the data 30 years ago, presented in a paper with 5 citations. It would not be tractable for me to collect that data myself.

The problems with current management of scientific productivity is that the management ideas employed are good for running a production line cranking out a B-24 Liberator per hour, which is not really the same thing.
Instead of using API calls for user navigation, you can keep a synchronized local mirror of whatever subreddits the user is interested in.

I have a repository somewhere with a thing that does that, through Reddit's .json URLs, mirroring subreddits into Git repositories full of JSON files, and then serving a minimal local web interface with real time updates. I'll make a note to clean it up and publish it...
This explains a lot. The gov.uk site is such an unusable mess it can only have been designed by a mob.

In my view mob/pair programming is a very inefficient way to work. I guess it depends on the people, but personally I think much more clearly alone than in a group setting. Have many eyes on code is great and I'm all for peer review, but a mob making decisions is a recipe for group think and the less dominant personalities (and probably best coders) being ignored.
Your post is non-contributory. You are a troll.

but seriously, what is your point? Why are these people "hordes" rather than "a group", and why are they "invaders" rather than "refugees"?

I smell prejudice...
:) Might want to put SSL around it, though. And then strictly forbid anyone from reimplementing an HTML browser inside the browser OS!
Which Python is supported? Python 2 or 3? For some it makes a big difference. I really want to play with this, also what OS? Only Linux? I am trying to find it on the site but I'm not seeing it, maybe adding it on the front page or in an FAQ would help (requires creating an FAQ page or section). Thanks! Looks interesting otherwise.
3 Generations of PCBs and still no RTC onboard...
You're right; I was a bit harsh. I'm just really conservative platform-wise - Node is just starting to get there.

The Node/npm ecosystem does still feel a bit wobbly as an application platform, though, kind of like Ruby was five years ago...
Why Digital Maps Are Inaccurate in China
360 Total Security Crack and Keygen Full Version Free Download
That certainly was a proud time of the Danish people.

However, the jews were also forced to pay vast amounts - in cash, jewelry and more - to the kind fishermen who ferried the jews over to Sweden. Not all danes participated out of kindness of heart.

The heroes of then - the fishermen - were what we today label as "people smugglers".

The real heroes were the danes who participated without pay and simply because the jews were their freinds, neighbours, parents of their childrens friends etc.
I don't agree with this at all, but it was very well put and I enjoyed reading it.
it is just for linux.
I won't dispute the importance of sleep, but what really rubs me the wrong way about this article is how it doesn't really even acknowledge sleep disorders. I'm biased; my life was semi-fucked for a while because it took ~20 years to stumble across a psychiatrist who thought to order a sleep study. But when I was researching sleep disorders, I found a lot of mention that several of them are believed to be hugely underdiagnosed (e.g. there are estimates that only ~20% of sleep apnea in Americans is diagnosed). I wonder how many other people out there are still stumbling along on their fourth or fifth antidepressant when CPAP is what would actually help.
it says

> Limitations:
> - only tested on Linux
Taxis and regulatory controllers found it difficult to challenge Uber because they didn't operate a taxi service - they were operating an entirely new market which hadn't been envisioned and had little to no regulation around.

I guarantee you Uber / Lyft would have been shut down hard if they had tried to take street hailing - for 50+ years law/regulations controlled who you could hail a taxi from, and so little to no competition on quality/service took place in that marketplace.

BTW, I'm not saying this is completely and absolutely true for all markets (though, ironically, you chose one where it is pretty much an absolute) - but the more and more regulation you see around a market, the less and less flexibility new competitors have to come in and disrupt.

Zenefits is an interesting case that straddles this though - in Utah, there was some regulation that made life difficult for them, and with effective lobbying by A16Z, the regulation was changed to allow Zenefits to compete there. And, of course, we've seen ares where they've discovered they really do need to comply with the law - though in most of those scenarios the requirements were so minimal (and probably reasonable) that they weren't much of a barrier to competition - just a minimal level of qualification (like having a drivers license, background check, and insurance for Uber)
Looks cool. Must have Python 3 for me to use, would definitely try it out if it's supported.
If it's just a punishment, then it's not going to work well. Rewards are a better way to get going. Punishment may be a way to break a bad habit, but it's not the way to build up a good one. And inducing guilt negates whatever gains you get and then some.
Intriguing. Where'd you hear about it?
Encryption: Vital to the Founding Fathers, Vital to Modern America
That's why I said it was "akin", a like case, where in a different way, it was officially scored as an accident when it was obviously was nothing of the sort.

He used 2 year olds as an example where, physically, they couldn't have done what was officially blamed on them.

Bottom line, the authorities are known to lie, in my home town they white knighted the killer and blamed the father. Be especially wary of statistics from cities with high murder rates when the politicians apply pressure to reduce the murder statistics, Chicago being only the latest example I've heard of.
> As an experiment, we tried writing a separate app to try out the popular Flux library.

Is there one 'popular Flux library'? Perhaps they meant redux? No other mention of it in the article.
Any hint of guilt there?
The rules for sales are... different, but sales (and to a lesser extent, consulting, at least the "make the customer feel special" part of consulting) exists in what most of us consider to be a kind of ethical gray area. You're trying to tell the customer "I'm one of you"

Most technical jobs are not like that. Most have pretty minimal social requirements. If you can't work with a programmer who doesn't look like you, I'd argue that the problem is with you, not with the person who looks different.

Every time I argue that competency should be more important than 'cultural fit' people bring up the example of the asshole. But the asshole isn't usually the one rejected for 'cultural fit' - assholes usually do fairly well during the interview.
>a lack of food safety standards led to terrible things for consumers in the early 20th century.

and now we have a situation where a little girl gets raided for selling lemonade without a license.

Transfat has been banned in europe but in many other countries, manufacturers are responding to consumer demand by removing transfat from their products without needing to be coerced by the government.

It is not necessary for the government to intervene. Consumers can take care of themselves.

>The problem with the whole idea of government regulation being always bad is that that's only the case if consumers have perfect information,

And how does the government know more than the consumers? Are they privy to secret information?

>are able and willing to choose any provider,

which they are in a free market

>and there aren't economies of scale.

you need to clarify this.
Is it being slashdotted and responding like it is a DoS attack maybe?
In 15 years when the search engine have failed to evolve because Google is a monopoly and has no incentive to keep improving it, you may have a different perspective.

LOL, Wut?

I don't think you appreciate what it takes to maintain and improve a search engine these days. For example...

Remember when link farms were big? They were doing this to boost their score for the existing PageRank algorithm. All search engines had to detect this, to determine in an automated fashion (because the web is waaaay too big) when to ignore that crap.

And in a related issue.... spam. Fifteen years ago, guys like me were trying to fight it using regular expressions to filter our inbox (Spamassassin). It was a losing battle, even then. We've needed the very best machine learning to try to keep our heads above water. The spammers are constantly improving what they're doing too.

The search engine looks the same (simple one-line text box), but the infrastructure behind it has vastly changed, and continues to rapidly evolve. Go read the Spanner and F1 papers... that stuff certainly didn't exist at all when Google started.
Arch Linux. The install can be time consuming and it would be nice to have it pre-installed.
We should be clear that there are a number of alternatives to dirty burning coal. Most of Canada's power demand is met through hydroelectric power. In more southern latitudes solar + wind is totally viable.

The thing is, we have solved the clean electricity issue. We are constantly improving our clean tech and driving the costs ever lower. We've just been plagued with naysayers and feet draggers.
Have you checked Elm? I know there is a big difference between switching frameworks and entire language, but the benefits are really nice. Elm really enforces unidirectional data flows throughout entire application. For me it's like react on steroids.
Stanford and Harvard are top-level universities aiming to enroll (mostly) those who are in top 5-15% of national IQ levels. How would the characteristic of their diversity efforts change if instead of comparing to the US population percentage you start comparing to the population percentage at the right end of the IQ distribution?
I've used both Redux and Mobx in two different large-scale consumer-facing apps. Mobx has proven to be a lot easier to grasp and much more flexible to different scenarios. I had to use a lot of hacks to get Redux to play nicely with different libraries since it treats JavaScript as an immutable world[0] and Mobx has greatly simplified this issue by providing tools to handle situations where objects may mutate[1][2].

0. http://stackoverflow.com/questions/32352982/how-to-put-metho...

1. http://mobxjs.github.io/mobx/refguide/modifiers.html

2. http://mobxjs.github.io/mobx/refguide/extending.html
Though Denmark signed up to the Schengen Agreement allowing border-free travel in the EU.
The Diamond Model of Intrusion Analysis (2013) [pdf]
The article suggests that it is for Workiva WDesk, a product similar to Google Docs/Sheets except for corporate compliance. Collaborators on a document are probably routed to the same backend server that uses the described library to save updates to documents.

Now for the real question- is there an open source implementation of this?