skysight-inc/HackerNews huggingface dataset:
What are they going to this time? Prank-order a hundred pizza's again?
The Doomsday Invention
> it sucks for everything else

What else does it suck at? "Desktop" does not mean "gaming".

> there is no solution that provides on-demand GPU switching AND proper external monitor support at the same time

Not true - this is highly hardware dependent. On recent Thinkpads, bumblebee works perfectly fine with externals monitors and has acceptable performance for most tasks (I use it with Blender and have no issues with it). There's still a performance hit since there's no DMA yet, but I hope that Nvidia will fix this one day.

> No. Look at the most recent SteamOS/PC review

It's still a viable gaming platform, even if performance for some recent high-end games is worse than on Windows. It's fine for hundreds of others.

But I agree with you - while it works well for me now, I've spent a huge amount of time debugging Linux graphics in the past and there is still lots of work to be done (and is being done - Wayland will significantly improve things). Right now, the Windows stack is superior.
I'm in Buenos Aires right now and that's pretty spot on. Beef is of incredibly high quality and it's incredibly cheap. I've been here for a couple weeks and will be staying until December (I've taken a year off with my girlfriend to travel the world). So far, I love it. The Spanish is spoken with an almost Italian accent, so I find it much easier to understand than, for instance, Chile's Spanish, which is impenetrable. One idiosyncrasy is that the double ll is not pronounced like a /y/ as in most other dialects, but like a /j/.

The wine is wonderful as well, provided you like the sort of big acidic wine that goes well with a nice hunk of meat. Luckily, that's my thing.

To be honest, if the economy and politics weren't so unstable down here, I'd consider buying a place. Unfortunately all weirdness with the blue dollar and the petty crime make it somewhere that I'll just keep on the radar.

Also, the thing he didn't mention when it came to booze was that this is the only other place in the world that Fernet Branca is distilled. Argentines drink the most Fernet per capita, as well as the most Coca-Cola (the second is related to the first).
IoT Considerations Part 4 – Topology, Data Model and Languages
Muslims Hate ISIS Most of All
A closed proprietary non-interoperable extension on XMPP.
GPLv3 gives much more legal definition to the spirit of the GPL and free software, but some people seem to like the loopholes in GPLv2. Also, the GPLv3 is much better about what happens when the license is violated. GPLv2 is very strict about license termination. GPLv3 is just better in all regards.
I'm not sure exactly how it works, but I think it works better than the old mostly luck system did.
that's interesting...
> ... similar to the US SSN

That ship sailed a long time ago.
As somebody else mentioned - this is a great honeypot opportunity! By serving malicious builds based on referer and user-agent, they might be able to gather really interesting data.
The military is a great source of funding, it is pretty much that straight forward. I knew a number of students that did work for the military because they would pay scholarships. If someone thinks this is a bad relationship, then move that funding to the NSF or NASA or NOAA instead and authorize them to fund out-there ambitious projects just like DARPA and the military.
The last few times I installed Linux on a machine went fine for 95%+ of what I expected.

First, the worst: a high-end gaming laptop from MSI. Everything worked except the wifi that was not recognized, and the GPU that was too recent to have built-in nvidia drivers (but "nouveau" was working).
I had to use a realtek driver from github and a classic ppa to get the most recent nvidia drivers easily.

Then: my main computer, and my gf's. Both worked without any change. Install is fast and easy to customize (emplacement of / /home etc). Also, Linux runs much faster on my gf's computer than Windows7 (Firefox & document editing).
And I game everyday on my computer (dota2, some coop games) through steam.

Then of course: RaspberryPis & servers (I'm a Devops). Nothing to say there, works like a charm. But we expect that much anyway.

So, has it fully matured? No, but it's a hell of a lot better than it used to be, and going on the right direction, on fast rails (Steam). The problems I encoutered seem to come from the simple fact that since it is not the most common OS, it gets the drivers/games after the others. And even that window is closing.
Twitter, GoPro, and Fitbit shares have all sunk below their IPO prices
I wonder what Google thinks of this - strategically. This should worry them a little.

Maybe they need to create a 'Google Reader' :)

[edit: fixed typo]
Marriott to Buy Starwood Hotels, Creating World’s Largest Hotel Company
Nice comparison :) That's exactly what's been done on a lower (DSP) level with the harmonics of a sawtooth wave, giving rise to, among other things the beautiful sounds of the TB-303 :)
Google Open-Sourcing TensorFlow Shows AI's Future Is Data, Not Code
AMD announces CUDA support
How an Algorithm Feels from Inside (2008)
Why is this top of hacker news? It's a logo...?
In a high level language? Absolutely. In C? No, thanks. There is a huge semantic mismatch with the highly parallel nature of FPGAs.

A high level language suitable for HDL generation must expose much better abstractions for parallelism. CUDA is just the same thing as C, too bound to the underlying architecture.
Did you even read the article? OP says in the second paragraph OCaml includes many features that are not available in the more mainstream programming languages listed above, which included C#. My post was to show that C# does in fact have those features, not to argue the origins of said features.
I am, confident. Beirut is very similar to Paris, or New York in terms if it being a place that has strong international mind share. Bhutan is a place so out of the way that the terrorists wouldn't even know how to get there to attack it. CNN probably doesn't have an office in the country.

It's a difference of notoriety vs. obscurity.
Levenhuk Strike 100 PLUS Telescope
I've been using Linux desktop for last 10 years and I'm totally happy. I do use Windows at work daily, so I've got up to date comparison. Doesn't really make any difference if you're running Linux or Windows.
Neural nets are seen as universal function approximators when you study them in detail. While it isn't the usual "neural net news" you see posted online, this is exactly what ANNs are meant to do.
Updated: $Date: 2014/04/12 12:39:46 $

So yeah, not a new announcement. Maybe just new to the OP and they got excited enough to post it up here? :)
Because advertisers have a god-given right to our attention. I got that long ago. Which is one of the reasons I worked hard to get them out of my life as much as possible. Those ads may not be 'killed soon' but they're 'killed for me' today and if it gets to the point where let's say even HN would be infested with advertising then I would simply move offline and read books again or something like that. My eyeballs are mine, and so is my brain.
What license are these logos being released under? The alternative set specifically states CC-BY 3.0... but the main set, as far as I can tell only have the implied licence granted by being allowed to use them to advertise the license.
I was in Buenos Aires about three years ago, in the Palermo Hollywood area. And very much to our surprise there were a lot of vegetarian restaurants as well. One of which my wife and I still talk about how good it was. Regretfully I do not know the name anymore. It also seemed as if those restaurants were more expensive then the 'normal' ones.
Hacking collective Anonymous declare war on IS after Paris attacks
I think this misses the larger point, which is that the West is by-and-large desensitized to violence in the middle east.

Bomb in Lebanon = dog bites man.

Bomb in Paris = man bites dog.
It's arguable that all organisms today are superorganisms. Try to grow a plant in inert soil without bacteria, for example.

You probably have to go back 3.5 billion years, to the dawn of life, to find organisms that did not depend on any other organism to grow and/or reproduce. And maybe not even then; it's possible that early life arrived on Earth from somewhere else, on a meteorite or comet.
True, and under current regulations the US will always be a net importer, since oil exports are forbidden.
With respect to opam: is it usable under windows yet?
I was very impressed with Linux Mint

I tried it for a week to see if I could live with it as my primary environment.

Unfortunately not quite yet, at least for me, will try again in 5 years.
For fun, i tried Linux last time early 2015 (ubuntu) and tried to play dota (was really currious what was happening with Ubuntu). After 4 days of tinkering i managed to play the game at half the framerate of Windows and then gave up. Almost nothing worked out of the box, and i had to spent a lot of time on arcaned forums trying to get basic things to work.
My favourite part of the GPLv2 is the torrent technicality[0]. I wonder if all those people seeding Linux distributions realise they're violating the license.

[0] https://www.gnu.org/licenses/gpl-faq.html#BitTorrent
What are some approaches one might take to consciously design a sub-turing-complex language? It should perhaps be driven from some concrete and critical use case.

For example, I can imagine a language that you can analyse statically to determine not just whether it halts, but how long it will take to do so. As an extreme example, imagine a language with only the four arithmetic operators. No functions, no classes, no references / pointers, no recursion or loops or goto, nothing else. You can statically analyse a program in this language to determine, for example, that if each arithmetic operator takes 1ms to execute, then a program containing 100 of them in its source file will be done in 100ms.

Now, what can you add to this language while still keeping it analysable? Maybe functions, as long as they are not recursive. You'd add only things you can mathematically prove have a bounded runtime. Maybe fixed-length arrays, like int[10], not int[n]. Maybe loops that run a constant number of times, like:

repeat (10) {
...
}

not:

repeat(n) {
...
}

What good would such a language be? Maybe for document macros, where I won't be able to hang or crash your document viewer or editor with a macro that runs forever? Maybe there are better uses for such a language than this made up example.

Or maybe bounded running time is not the most useful subset of Turing-completeness one can design. Maybe a language that's immune from side-channel attacks, if that's possible? Or something entirely different?
I'm surprised Facebook Chat still works for you? My understanding (and others' experience, from a quick Google) is that XMPP Chat has been disabled since earlier this year: https://developers.facebook.com/docs/chat They only supported exactly as long as they needed to to gain market share.

And Apple gets pretty much zero kudos from me for client XMPP support. iMessage is a proprietary walled garden; client-only XMPP support is simply their one-way valve to get people into their network and only ever had any worth because Facebook and Google used to support XMPP.
This, and a lot of related observations are discussed at length in articles in [0]. Highly recommended!

Personally, I like to imagine concepts as boundaries in the abstract multidimmensional "thingspace" - you can cast and recast them as you like, but some are more useful than others. Some things naturally group together along one axis but spread out when you look along another one. The most important point is, concepts are tools of understanding and communication that we invent, not parts of reality itself. They're multiple ways of drawing a map, each with different focus, but each representing the same territory.

[0] - https://wiki.lesswrong.com/wiki/A_Human's_Guide_to_Words
"- Linux is as far from a gaming platform as ever."

I will not make the mistake of claiming that Linux has solved the problem, but this really isn't true. Even as recently as five years ago, if a game was published, Linux either couldn't run it, or required crazy emulation schemes. This list is far better than it used to be: http://store.steampowered.com/search/#sort_by=Reviews_DESC&t...

If Valve wanted to keep pushing Linux gaming, it could probably make it a real thing. My guess is that they won't, because the strategic point of their Linux support was to make Microsoft realizes there is indeed a viable alternative so the rent they can charge is not as much as they were threatening. Plus in the meantime Microsoft got a different CEO who has been much less belligerent. So, lest I sound like a fanboy, my prediction is that you are looking at the high point of Linux gaming right there in that link.

Still... who knows. Having done the work they've done, it may yet be in Valve's interest to keep the threat alive for SteamOS, and a lot of the latest engines are growing Linux support. (When you support all the consoles, all the phones, all the portable consoles, and Mac and Windows, Linux is hardly a huge additional platform to support anymore, especially when you're already supporting Android, which I know doesn't mean you support "linux" but isn't completely irrelevant either.)

But there is definitely stuff that works now, which means that it's a big improvement over 5 years ago. If you like this is far more about how the situation was utterly hopeless 5 years ago than how it's heaven-on-Earth now.
There is such a vast array of welders available, I really had no idea what the tradeoffs were, such as MIG or TIG? The show not only explains the differences, they go through how to use them.

No, I don't need a welder. But the point of tinkering with a muscle car is to do the work yourself. Besides, it'd be a lot of time and hassle paying someone else to do the work, besides being far more expensive.

I've also learned from the show how freaking useful tools like angle grinders and sawzalls are. I've bought both, and they've made my work much easier than the older methods.

One area they go wrong is electrical work. They don't use proper technique in connecting wires - the work they do will degrade after a couple years and cause frustrating erratic behavior.
For those predisposed to some vegetables there's this thing in Uruguay called a "chivito al plato". Here's a good representation: http://www.brisasdeldayman.com/historia-y-receta-del-verdade...

They don't skimp on the steak (despite the name "chivito" it's made with beef, not goat), or the ham, cheese, or egg. There are many fried potatoes on the plate as well. And they'll also throw on a huge variety of vegetables, fresh and pickled.

I ate many of these around my early teens at The Manchester in Montevideo.
Project Catapult Servers Available to Academic Researchers
so you can't name one brand. If so then advertising is working. when you went to go make a purchasing decision if that brand was even considered advertising did it's job.
This is why you have automated companies like Mobileye which provide the innovation in autos
Wow, very useful. I'm going to use it for sure.
My understanding is that it is not the clients that are the problem but rather there is patchy support in open source XMPP servers to utilize the new mobile friendly features.

[1] - https://www.process-one.net/en/ejabberd/protocols/

[2] - https://prosody.im/doc/xeplist

[3] - https://github.com/esl/MongooseIM#features-and-supported-sta...
Ragel allows embedding actions into the subexpressions of a regular expression. This allows one to compose a parser using a single regular expression.
Amazon DynamoDB: ten things you really should know
> The grade of commercial software for linux is laughable

This highly depends on the industry. Camtasia and Screenflow are one thing, but many high-priced CAD / specialist / niche products are offering Linux versions nowadays, which helps Linux adoption in the enterprise.
I thought it was strange to read “other sizes”, “bigger”, “even bigger” in 2015 when you have SVG…

The alternative logos are in SVG, so that's great.
MariaDB vs. MySQL on Amazon’s AWS RDS
I know it's a little higher than you'd like, but an Amazon Fire tablet could be what you want, especially since you want to buy in volume.

http://www.amazon.com/Fire-Display-Wi-Fi-GB-Includes/dp/B00T...

$50 for 1

$250 for 6 ($41.67 each)
Machine Vision Algorithm Learns to Recognize Hidden Facial Expressions (MIT)
You're assuming their using an open POW scheme like Bitcoin's. That may not be true.

They could set it up so only the blocks of 5 miners controlled by the banks are "trusted" and only if they each keep under a certain quota.

They could go for a round-robin style consensus.

They could be doing something completely different.
Just pick one. That's easier than picking the bird that is a chicken whose parent is not a chicken.
"Robust" is a funny word choice here. Linux desktops in the early 2000's were very robust in the sense that they were stable, predictable, and performed decently under high workloads. They weren't easy to install and set up correctly, but once you got sound and graphics working, you were good to go. Until your next hardware upgrade.

A Linux desktop is a lot easier to install now, and software support isn't as much of an issue as it used to be, largely because so much has moved to the web. I wouldn't say it's more robust though. I ran an Xubuntu laptop for several years. Even though it was the LTS version, a few times a year, something major like sound or video would break on a system update, and I'd spend a few hours getting it working again. This isn't something I'd recommend to people who want something that just works.

My Chromebook has been very reliable. I would say it's robust, but then again, I can't run Steam or GOG games on it, as mentioned in the article.
In same directory

time ls -al | awk '{print $1,$3}'
real 0m0.008s
user 0m0.000s
sys 0m0.004s

time ls -al | col 1 3
real 0m1.690s
user 0m1.143s
sys 0m0.173s

While I appreciate the effort, it seems to me that this decreases the snappiness of the unix terminal experience for not much gain.
> Linux is as far from a gaming platform as ever.

This is obviously not true. While it may be far from Windows or from Consoles the fact of the matter is that you can right now buy high end dedicated Linux gaming machines backed by the premiere game distribution eco-system in existence:
http://store.steampowered.com/universe/machines/

That's not enough, it's not all the way, but to pretend that this didn't happen, or doesn't matter is stupid.

I agree on Hardware issues, I just installed openSUSE Leap, installed the nVidia drivers, and my desktop promptly stopped working entirely. While installing all Windows drivers on an empty box takes some time, too, it's a vastly more robust process.
>“It’s been decided by the government as a whole, so our job is just to go ahead with it,” said an official at the personnel affairs division.

This sentiment makes me feel ill...
I've noticed this too.
I have a couple guy friends.They are really good friends, but they trash talk each other . . . all the time . . . They usually laugh uproariously about it too. If you didn't know them, you'd think they hated each other. It's definitely a different way of social interaction than I have with my friends.
Sweden, I assume. The personnummer (personal number) consists of the following:

- The birth date, e.g. 640823 (YYMMDD)

- The birth number, three digits. Last digit is odd for men and even for women.

- A check digit, calculated by the Luhn algorithm.

A full example:
640823-3234 -- a male born on August 23, 1964.
You make some valid points but... Complaining about a $5 user acquisition cost?

If you think that's expensive, try a field sales team.
Surprising and somewhat nonsensical, I agree, but that's what the film is doing.
> it sucks for everything else (compared to Windows, for example)

This is very, very broad. I moved from Windows 8 about a year ago and I find it to be comparable and better for most of the stuff I do.

> even the purpose-built PCs deliver significantly lower performance with Linux than Windows.

I agree that those numbers are significant, but frankly everything there looks acceptable to me. I have a custom build for gaming but am also a "patient gamer" so I've been doing just fine in Linux. I have been playing through Bioshock Infinite with no problem and enjoying the hell out of the recent Linux release of my current favorite FPS, Insurgency. In fact, I had a long standing stuttering issue in Insurgency under Windows 8 that ultimately led me to just give up on the game, sadly. Under Linux, no issue at all and equal performance. Anecdotal, of course, but just trying to illustrate that the recent increase of gaming availability is very nice for casual gamers like myself.

> The NVidia side is much better, but still tends to crash more than on Windows or OSX

Any source on this? I have a 780 and can't recall even a single issue with crashing because of the graphics driver.

> My quite standard desktop (Xeons, NVidia GPU, SATA SSDs)

Are Xeons really "standard" for desktop? This is is a legitimate question, I couldn't find anything quickly. Just thinking about market share vs Core and how well this may be tested in Linux distros currently.
Linux has all the reasons to be the fastest gaming platform: something slow in the kernel slowing your game down? Submit a patch.

Yet it isn't. It's absurd. The OSS framework has worked so well for almost every other facet, it's crazy that it hasn't worked for the kernel for games. Especially game developers: those are the guys you want when performance really matters. Gaming (and very slightly Visual Studio) is the reason I use Windows at home, if Linux became more competent at that I'd switch to it in a heartbeat.
One really good vegetarian restaurant in Palermo Hollywood is called Buenos Aires Verde. It's so good it can't possibly be healthy, but it is vegetarian!
It's not necessarily about actual risk as much as a culture of fear.

"Sexual harassment" is a career-ending bogeyman. Best to avoid anything that even whiffs of it.

Never be alone with a pretty woman that works for you. Never be alone with a child that isn't yours. (Ironically enough.)
> Either way, National Geographic reports that the Egyptian authorities are already interested in the idea of marketing tourist access to any chambers that might be found

I am a big history nerd. I will literally say, I love this history shit. You can see how passionate I am about learning history.

But I am concerned about this statement. Does a historical figure deserve to have his or her tomb to be further explored, displayed, and made for profit?

Is there a balance between learning about ancient culture and respecting the dead?
> you're then likely to have bought a worse welder than you would have otherwise.

On what do you base that statement?
> there's no point in talking about it, it's way beyond our reach

All of humanity's scientific progress has been a step-by-step widening of the circle of our knowledge into that vast universe of the unknown. There is certainly a point in acknowledging it, acknowledging its vastness in comparison to what we actually know, and looking for the next tiny pebble we can chip out of that wall of ignorance.
Wait interface in PostgreSQL
Not in a released version, but there's very active work in trunk to make it work natively:

https://github.com/ocaml/opam/compare/master...dra27:windows-build

A recent demo I saw a few weeks ago had everything running under Cygwin and building native Windows executables...