skysight-inc/HackerNews huggingface dataset:
Yeah, the problem is that the theoretical underpinnings of DOT do not represent Scala as we know it; that would be and is a different compiler (Dotty).

If Dotty works out then we will, for the first time, have a fully specified Scala on sound theoretical footing. Along for the ride: much faster compiler, better tooling, streamlined type system, and nice-to-haves like union types and implicit function types, among other useful features.
I agree that it's great, but being 8th on Beer Advocate (4th amongst hoppy beers) is to me too high.
> is what magic sauce Obama had that Clinton didn't

1) the Congressional districts hadn't been redrawn yet (the 2018 and 2020 elections, and the Census, will be critical).

2) the outgoing president was Republican (strongest predictor of a party winning the presidency? The other party having the presidency).

3) Obama had a populist appeal too, but more because he is an eloquent orator. Remember his Ebenezer Baptist Church Address? (here: http://www.americanrhetoric.com/speeches/barackobama/baracko...)

4) Clinton came with wayyyy too much baggage. America has plenty of strong young progressives. They need to take the reins.

5) Debbie Wasserman-Schultz calling balls strikes.

6) Russia, with or without collusion.
and this is exactly why I'm getting one.

Cheap, power efficient, eight cores. It may not win everything, but it works for me.
Wow such confidence. Too bad your understanding is lacking.

Arlington is indeed not such a bad area. But folks in Arlington and Lexington (the planned terminus for the red line) were the ones that objected to the expansion. They didn't want increased traffic (all the people trying to park to take the train would make their towns less quaint and all), and they didn't want the urbans/poors/etc to be able to easily visit.
For all of your mega city visits, have you been to Tokyo? If so what did you find unreliable about it? The one criticism I can see is when transport is slowed/halted due to typhoons.

I found that the public transportation in most of Japan was well enough, such that I never thought to myself "If only I had a car/rental right now..."

Not to mention how punctual the transportation is. Compared to where I live, where delays of 10-45+ minutes are expected, the trains in Japan would apologize for being even a single minute late. The three weeks I took the JP Rail I never had a single train be late.

On the Yamanote Line, the longest I had to wait to catch a train to another part of town was 4 minutes. To me, that's absurd. My local station only runs a train once every few hours and if you miss your train you're waiting 3-4 hours for the next one to arrive. Missing a train in Tokyo is a mild inconvenience instead of a waste of most of your day.
Docker initial release was just 4 years ago, your asking for a support timeframe that's around the same length as the age of the project itself.

Docker still is a new product, evolving very fast (this announcement is just one more proof of that). Is it production ready ? Yes If you want to move fast and benefit from new tech and are ready to upgrade regularly. No if you are not able to perform those upgrades and need insurance that the project will contribute significant ressources to fixing issues on 3 years old versions.

And currently I totally understand that the Docker team sets slider more towards "new dev" than towards "support". That will probably change in the future.
Ask HN: Would you design a modern CPU with virtual memory support?
Virtual memory[1] is useful for a number of things[2], but can takes up a large amount of die space and development time during the development of a CPU to be both efficient and correct. With the advent of 64+ bit architectures and cheap memory available today, an extended address space and paging aren't specifically needed for many tasks. Memory safe, high level languages[3] need less 'isolation' and 'protection' from a VM subsystem than traditional languages like C and C++. Page tables help the OS organize non-contiguous physical memory for applications, but is that as much an issue today, especially for symbolic and object based languages?

If one was to design a new 'high level' language CPU today, would it be seen as advantageous to include a traditional multi-level page table based virtual memory system, or could the resources be put to better use in other areas of the chip design?

[1] https://en.wikipedia.org/wiki/Virtual_memory

[2] The primary benefits of virtual memory include freeing applications from having to manage a shared memory space, increased security due to memory isolation, and being able to conceptually use more memory than might be physically available, using the technique of paging.

[3] http://dl.acm.org/citation.cfm?id=327133
I wonder how the author feels about non-Muslims being banned from Mecca?
Cod4's starting loadout was pretty good compared to some games. It was a great all-around loadout. But there were definitely powerful niches filled by unlockables.

In comparison, some of the Battlefield games literally give you empty slots when you start playing, which can be filled by 100% advantageous perks or whatever. Like doing more damage with no accompanying penalty. Which is ridiculous.
Which actually did come out in 2005 for the Xbox, according to the Wikipedia article for it.
Whatever military force was in Afghanistan never posed any sort of credible threat or resistance against the US military. The "resistance" that the US military faced came in terms of the US military wanting to try and recreate the society there, and having troops attacked while just driving around or facing resistance while conducting raids. If the US military wanted to, they could have easily destroyed every single living being and human structure in Afghanistan without much effort, they just didn't because they don't do that kind of stuff as a matter of policy.
Many states have great local beers these days. Here in the Twin Cities metro, we have some world-class beers that are as good as anything I've had... Surly Furious, Lift Bridge Farm Girl, Indeed LSD, Sidhe Greenman's Harvest, and the late great Harriet Divine Oculist (Harriet recently closed, sigh).

Whenever I'm traveling, I go out of my way to try the local beers, relying on recommendations from bartenders and local friends. It's always a great experience.

Some years ago, I was at a conference in San Francisco, attended by numerous Europeans. The vendor poured a lot of Anchor Steam beer into us. Some of the Europeans were shocked at how good it was. The only American beers they'd ever had were Bud and Miller Lite, and they thought American beer was awful, until they tried Anchor. I kept telling them we keep the best stuff for ourselves. In practice, that's true even of individual states.
You're not financing the dog, you're leasing
Yes, legally they can.

CBP has broad powers to investigate. They can ask who you're sleeping with, your sexual orientation, what your religion is, your parent's religion, and on. Most Americans aren't used to this, but foreigners visiting your country have been putting up with this stuff since 9/11.

Everything on your person is subject to search. They've now extended that to things not physically on your person (e.g. cloud accounts, social media logins, etc).

PS - It may be illegal to deny entry due to many of these things. We're talking about what they can "legally" ask about, and the answer is just about anything.
Outside Stockholm:

http://i.dailymail.co.uk/i/pix/2014/10/20/1413790933744_wps_...

Also Sweden is has been aligning more with UK in particular lately and Russian media has noticed.
As long as pesky Nigel doesn't have his way.
Balkans =/= Baltic
SNAP SOARS 40% AFTER OPENING AT $24 a SHARE ON FIRST TRADING DAY
Wheredoidrive.com tells rideshare drivers where to go
Yeah, the Kalmar Union is the one debatable exception.

You can either view it as Sweden being ruled by Denmark, or a EU style union between equals, in which case 1523 is more of a Brexit situation.

There are decent arguments on both side. I lean towards the latter view.

Instituting a National Day in to remember it is more a modern way to try to keep up with the neighbors. All other countries have a national day, so we should get one too, even though we're not really sure what to do with it :)
Someday Disposable Drones May Deliver a Payload, Then Vanish
It's not so clear, because 7700K offers more bang for the buck in single-threading cases, which is more important in typical computer use.
Norway 'anti-troll' site makes you read before commenting
I'm really interested in these from a virtualization standpoint, especially with 8 cores for so little $$. I'd love to see a good set of tests/benchmarks with a completely virtualized workload.
There's no such thing as a good war.

There are necessary wars.

And ultimately, a failure to be able to defend against neighboring beligerants is fatal to a society.
The Not-So-Surprising Survival of Foursquare
Why I Failed Teaching Programming to Kids
Is there a tl;dr on the differences between enterprise and community edition?
Amazon’s Alexa Opens New Path for Earplay’s Interactive Audio Stories
> Docker still is a new product, evolving very fast

And that's a large part of the problem. We, as an Enterprise, don't want something with rapid evolving infrastructure, features. We need stability, critical and security patches. Emphasis on stability. 3 years is a minimum we would consider for that and not a 1 year only support range.
Swift: Probably the Best Full-Stack Language in the World
I am using wkhtmltopdf for turning HTML orders to PDF for my company, I have no page break problems and printing is working like charm.
Snap Jumps in Debut After App Maker Raises $3.4B in IPO
So we've moved past the 'forever in beta' phase to the 'deprecated at launch' phase?
> I mean, literally, year old events that have dozens of news articles (including multiple right-wing sources) they choose to disbelieve over their chosen charismatic leader on YouTube and Right Wing Radio.

Please explain to me why people are denying Sandy Hook was a real event?

They also deny things like this happen:

https://www.theatlantic.com/national/archive/2015/11/the-3-a...

http://www.express.co.uk/news/world/760250/Texas-mosque-burn...

Despite the fact I can link them to articles.

Please explain to me how that isn't cult thinking and fundamental denial of reality?
I've never heard of this type of judgement. Was this in the USA? What was your uncle's crime?
Care to actually back up that statement with any sort of citation or fact? According to the leaked 3dmark benchmarks, the top 3 Ryzens are on par with some of the top i7 quads... so honestly I'm not sure where you are getting this idea from. It also completely ignores the price disparity which makes the AMD slightly slower but much cheaper CPU's a doable upgrade for many. (And VR capable)

http://cdn.wccftech.com/wp-content/uploads/2017/02/AMD-Ryzen...

http://cdn.wccftech.com/wp-content/uploads/2017/02/AMD-Ryzen...

http://cdn.wccftech.com/wp-content/uploads/2017/02/AMD-Ryzen...
You Can't Have a Rollback Button
Couple notes:

1) I don't know where you are, but it's best drunk fresh - I wouldn't recommend paying or trading a lot to get some if you're far away and can't be sure of the provenance (e.g. a month old can that has been improperly refrigerated is not going to be good)

2) It's "like" Pliny in that they are both hoppy double or triple IPAs but still different - Heady isn't filtered, so it doesn't have as clean of a mouthfeel (not necessarily good or bad; just different). You get a bit more of a piney vibe as well as more tropical fruit with Heady in my opinion.
I had a good friend who was Spanish. His grandmother was so proud of him for being a Naval Officer. Then he married a Mexican girl and all his pictures disappeared from grandma's house.

Are you sure you're not conflating "Spanish" with "Hispanic"? As I recall, the two major systems for profiling ethnicity in America include "Latino" or "Hispanic" but definitely don't break out "Spanish".
Not so - Bufferbloat can occur everywhere there's a bottleneck link.

Your home router's link to the ISP is likely to be one, and most don't have any mitigation, and suffer from high latency. (And various ISP's equipment has bufferbloat for data coming toward your home.)

Some sites suggest that you knock your bandwidth down to 70% of the link speed to "leave some headroom" for other packets. That's fine if you want to give away 30% of your capacity.

SQM (implemented through fq_codel or cake qdisc's) takes off a few percentage points from the rated link speed, and achieves great results with minimal setup and configuration. Check out https://www.bufferbloat.net/projects/bloat/wiki/What_to_do_a... for more info.
Very good question!

Our OOV strategy was pretty important in SemEval. The first line of defense -- so fundamental to Numberbatch that I don't even think of it as OOV -- is to see if the term exists in ConceptNet but with too low a degree to make it into the matrix. In that case, we average the vectors from its neighbors in the graph that are in the matrix.

For handling words that are truly OOV for ConceptNet, we ended up using a simple strategy of matching prefixes of the word against known words (and also checking whether a word that's supposed to be in a different language was known in English).

fastText's sub-word strategy, which is learned along with the vocabulary instead of after the fact, is indeed a benefit they have. But am I right that the sub-word information isn't present in these vectors they released?

There's a paper on the SemEval results that just needs to be reviewed by the other participants, and I'm also working on a blog update about it.
One of the rules of extreme programming is "never work overtime longer than one week in a row". Mental fatigue is a real thing; if you try to program while you have it, you'd be better off taking a nap.
This is the case for every Zelda game ever.
> Whoa - MIPS virtualised their message passing hardware? How?!

No, I meant to say that they simply obsoleted that part of their architecture when they added virtualization, because they couldn't virtualize it.

> Eg there was a brave attempt to parallelise the inner loop of bzip2 - which resists coarse parallelisation thanks to loop-carried dependencies - this way.

So you say you can do hardware-assisted message passing that can be virtualized and can speed up bzip2 by parallelizing? How few instructions per RPC call does it take for you to still be efficient vs today's software-based messaging? (This is getting fairly interesting and it should be particularly interesting to serious CPU vendors.)
6 years ago.

"If you're interested in something not shown on the benchmarks game website then please take the program source code and the measurement scripts and publish your own measurements."

Like this guy did -- https://pybenchmarks.org/u64q/which-programs-are-fastest.php
Does anyone here have a good guide for moving from Docker and docker-compose to rkt and related tooling?

I like what I'm hearing about rkt but I'm having a lot of trouble even getting a single simple container image together, let alone run it...
Afghanistan was easily conquered by both the USSR and the US.
> The XML thing is the dumbest thing. Developers write hundreds of lines of XML all the time... its called HTML

As if developers like HTML any better. I agree with you about XML being useful because it's easy to parse and the XML hate is overhyped, but that's not what he's saying, he's complaining about configuration hell that seems intrinsic to the Java ecosystem as compared to something like Rails which relies far more on convention than configuration. That's a cultural problem, not a language problem.
Ask HN: Do you use a live chat widget on your website?
Does anyone out there use a live chat widget on your website? If so, can any speak to any experiences of effectiveness and an impact to your bottom line?
Indeed. "Craft beer" is basically a marketing term for Sam Adams now, rather than a production model.

It's not the only one. Here in Minnesota, I feel the same way about Summit and the various Schell's sub-labels. They may technically be "craft", but really, they're mass production beers with a smaller market than the giants.
While there is a lot of 3D experiences out there, a lot of the recent great games that show off interesting mechanics can be found in the 2D realm. While not an exhaustive list by any means, and not knowing your preferences, here's a handful:
- terraria
- stardew valley
- undertale
- rimworld
- prison architect
- nuclear throne
Point very well made.

While Iran hasn't been bombed by the US, but the US did help to sabotage communications between control software and Siemens PLCs that manage enrichment centrifuges in Iranian facilities.
To use a tech analogy, this is basically the same situation that comes up with rogue certificate authorities. Security is based on trust, and if browser vendors discover that a certificate authority is not verifying the identity of the parties to which it issues certificates, that certificate authority is blocked at least until better validation procedures can be established.

The reason cited for this travel ban is that these countries either have no control over who gets an ID or actively sponsor terrorism. International travel is based on the idea that we trust other countries to validate the identity of travellers. If we know for certain the the government has no control over identity verification and that most passports are obtained from the black market, it seems reasonable to issue a temporary halt while we establish a trustworthy system for verification.
I felt that way when I was called in for evaluation as a teenager. I was a peace loving left-wing Swedish boy. That was maybe 8 years ago or so, I remember conscription being scrapped a year or two later.

I regret not making an effort to do it. I chose to underperform in my test because I believed all is better than war. But as an adult I've changed, and realised I wouldn't quite mind dying for things like my language to be dominant in my home and spoken by my leaders, as well as dying to not lose honor. Things I would at the time had considered naive. I now consider by old stance naive, as it implied my own life as the most important thing in the world.

The only conclusion I can draw from this is that I'll likely be of another stance at 40, just like I'm thinking along the same ideals as at 18. If anyone older than me remember thinking these things at 25 I'd be love to hear.
CBP is beginning to ask folks for their Facebook passwords and denying them entry unless they comply.

This is already happening.
I'm always curious on where we draw the line for these subjects.

Lets say for the sake of argument there is a key tell that is very effective for spotting a violent criminal. Do we have to ignore that tell if it falls into a sketchy subject matter like race or religion? Likewise, what if there is a "key tell" that someone is not a violent criminal. Do we have to ignore it if it falls into a sketchy subject matter like race or religion?

To be clear, i am not implying that Muslims are that "key tell", statistically they're far from it simply due to the number of them. It was just a question, unrelated to Islam.

Personally, i don't care what the "tells" are, race or religion. I think they're all valid. I simply disagree that the tells are effective enough to warrant questioning someones religion at all. Seems like more of the super expensive and famously ineffective TSA safety theater.
I heartily disagree:

"The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall not be violated, and no Warrants shall issue, but upon probable cause, supported by Oath or affirmation, and particularly describing the place to be searched, and the persons or things to be seized."

The Constitution is quite clear on this point.

I've never understood where Customs finds probable cause for the expansion of search powers.
Sweden had already shrunk their military in recognition of these things. The problem is they overshot, and can't recruit enough volunteers to maintain even a tiny force.
I tried to use serverless, but I don't have full admin permissions and the site is unable to say what permissions it actually requires to work. I'll swing back round to it later in the year and see how it's progressing.
This comment is poe's law applied to Hacker News.
> Some had been kicked off planes for speaking Arabic on a cell phone

One of the two prominent alleged examples of this was a youtube prankster who stood up and started yelling into a telephone in the middle of an airplane, then jump-cut a video to make it look like people were criticizing him for speaking Arabic.

The other prominent alleged example was of the son of a Iraqi diplomat who was killed under Saddam Hussein's regime; and though it may seem unfair, the FBI wanted to question him, he has a documented connection to politics in Iraq. There's a decent chance there that it had nothing to do with speaking Arabic on the plane, and the FBI wanted to question him anyhow.

Other than that I guess I'd need to dig deeper, but this is a story some people want to come true.

I am screened at airports, I don't know why exactly, I suspect they know something I don't know about my family. I factory reset all electronics before bringing them across the border, because I don't want to be asked to unlock them and submit to a search. Maybe it's theatre, maybe it's unfair, maybe it's a show of force, maybe it's discriminatory; but you know what, lots of people get stopped at the border. I can't pretend to know why I get stopped, and I don't think anyone else should either.