skysight-inc/HackerNews huggingface dataset:
I really liked my windows phone a lot. Honestly a lot more than my current iPhone 6. But I need to use second factor apps to log into my company's vpn, and those apps aren't on winphones.
The same machine worked properly with 99% of cards I think its fixed and its no longer required.
I guess you could try google cardboard?
Yes. Masterful, wasn't it? :)
I'm not talking about SQL in general, I'm talking about the golang sql module.

Read this if you think I'm wrong: https://github.com/bradfitz/go-sql-test/blob/master/src/sqlt...

Great abstraction, right? Love how you have to mangle the raw SQL right? no. It's a bad abstraction.

When you test the implementation and you have to know the details of the implementation to test it, that's like, the definition of a bad abstraction.

It is what it is.

...and ultimately, we're stuck with it because its part of the standard library.

/shrug
Until "AI" is good enough to create exciting environments nothing spectacular will be coming from Magic Leap (As per their demo videos) to soon.

The hardware is not the hard part, the artwork/design/integrating it with society is.
Worlds biggest financial scandal
EU leaders call for immediate open access to all scientific papers by 2020
> the ability to modify a live environment is fine, but it's only just barely better than coding in a file, and only because it saves you a small amount of time.

With experience programming complex applications both on C++ and Smalltalk, I have experienced coding in a live environment is all but a tiny advantage, it is a real productivity booster. The more complex your application the more productivity gain you have. In an interactive geometry application as Dr. Geo (http://drgeo.eu) , the combined use of in-situation inspector, debugger and live code editing on graphic geometry items, ease issues finding and fixing. Fixing issues is much more easier and pleasant thanks to the developer tooling.
This is not without mentioning other advantages as a better source code access and understanding thanks to the class browser. In C++ I was using Emacs.

> I have to believe that there's some way to remove the development environment from the final image,
It really depends on the Smalltalk implementation. I heard Dolphin Smalltalk (http://www.object-arts.com/) or Smalltalk X (https://www.exept.de/en/smalltalk-x.html) are really good at that. Pharo itself is doing progress in that specific direction.
Archiving the entire spectrum can range anywhere from infeasible to impossible. First you'd need to specify the frequency ranges you want to listen to.

Then you've got a data storage problem which has been covered.

After that you've got the propagation problem. Not everything is seen from everywhere.

In any event you might want to check out http://www.reversebeacon.net/

It's a project that's got a different "simpler" archiving goal. It is just to track spots of people calling CQ in the CW bands.
Bazaarvoice?
Listening is 100% fine in the USA. Transmission without a ham license, and in certain bands, will net you some fines and maybe jail time.
Notably: non-paywalled.
During a marriage, spouses share equally the family income even if one spouse is actually earning more than the other. At the time of separation, the estate is valued and then split equally.

From that point forward these two people have chosen to part ways. They no longer rely on each other or are bound to each other. They are two individuals existing independently in the world.

But a man is expected to pay the woman every week, until one or the other dies, or the woman remarries.

So an independent single divorced woman, her ex is now a paycheck. Almost never the other way around.

It's not a question of, were they better off married, because the marriage is over. Now as singles, what is the consequence of having been married?

The economic consequence of getting married and then divorced for a woman is a weekly payment. The economic consequence for a man getting married and then divorced is a large percentage of income after taxes is confiscated from him.
Well, very indirectly, in the sense that OCaml hackers will think alike to some extent, and all languages involved have strong types. But otherwise not very much.

This is producing implementation code. Basically, this is program synthesis via dependent types. See http://adam.chlipala.net/cpdt/ for a deep dive into this concept; program extraction is introduced in the first chapter past the introduction.

This is possible because of a false dichotomy in your post: thanks to the Curry-Howard isomorphism, proof IS implementation.
HENkaku: The First Vita Homebrew Enabler
I don't see anything wrong with this approach, especially since the company can actually sustainably afford to keep placing these bets.

And perhaps "bet" is the wrong word being used here. Usually with a bet in gambling terms, you either win big or you lose it all.

When Alphabet tries a "moonshot", they come away learning a lot about whatever problem it is that they were trying to tackle. They build expertise in-house, and they flex the idea muscle within the company. That isn't zero-value activity. In fact it's very valuable.

$1B a year is a small price to pay for what could eventually spurn a sustainable $10B per year or $40B per year business in the future (self-driving cars, for example).

Now this is just me being optimistic. It could also very well be the case that the X division is horribly mismanaged and the moonshots fail for more nefarious reasons, but I'm willing to give Google the benefit of the doubt.
Does this thing work on Windows 10 home edition? That doesn't have hyperv I think.
Aggressive GPL enforcement is not problematic, what is problematic is using GPL enforcement to trick people into using proprietary versions of GPLed software.
I love how everybody uses Gutierrez's typesetting. If I ever meet him and have the presence of mind to put two and two together, I'll buy him a beer.

If you want the TeX source for your own purposes, it's here: http://nuclear.ucdavis.edu/~tgutierr/files/stmL1.html
Spring Boot 1.4 GA overhauls testing, extended data support
Interesting. Clearly there were hardships involved and getting an MD is a non-trivial financial and time commitment. However, at least in popular culture, an MD is a highly respected career path and often the joked about target for 'gold diggers'. Sure, it isn't marry a student, but it is a pretty well regarded track socially, financially and educationally.
Yahoo's stock price hasn't been crushed, unless you're comparing to 2000; in the last 10 years (because it's conveniently available), it's up 33% vs s&p500 up 66%. Not good, but hardly crushed like say Blucora (formerly Infospace), down 53% over the same time period.
... letting someone else do it?
> businesses run on software created for those old hardware and software standards and when they can't buy the old hardware or it costs too much, it is better to just run it on QEMU.

Or rewrite the software. At some point they're just going to pay more for not upgrading than it would cost them to start from scratch. And that's not including the cost of teaching people to manage old solaris boxes and dealing with non-accelerated QEMU draining your power budget.
Meh, you were told and thought the world was X but really it's Y but you're resisting because you don't like change.

Adults through out the ages passed on from the awesomeness of childhood, because their kids and friends died all the time, they starved and were abused.

Now we can be as we wish in many societies. Which include having fun, get over you the world view your grandparents taught you.
Amazon boss becomes world's third richest man
Yes but what I mean is, that's something that often happens there, whereas even the shittiest companies in the US and Western Europe would never ever do that, because the people/company who took your passport would go to prison or be heavily fined or both if they did.

Which means the UAE is a hellhole no one should visit, because if that's a common enough problem that everyone knows about it, and it's not a problem people face elsewhere, then who knows how many other nightmares lurk beneath the surface in the UAE?

It's not worth the risk for the shaky promise of some amount of money beyond your existing salary (on top of any ethical issues of economically supporting such behavior).
DEHYDRATED WATER Must see
In addition, it's not like these bets have been pronounced dead. They're all still in play. It will be years before we know whether any were successful or not.

This is like someone betting $1000 on a game, and then calling it a $1000 loss up until the game is actually played (at which point it becomes indeed a true $1000 loss, or possibly a gain). It doesn't make any sense.
Paper: http://pss.sagepub.com/content/early/2016/07/19/095679761665...

The results themselves are not particularly new though; he has been working on similar studies for years.
http://act-r.psy.cmu.edu/wordpress/wp-content/uploads/2013/1...
I don't know, but I could probably find out. (But then I couldn't tell you.)

Working for Google, I do know that we have intense scrutiny and strong internal regulations for what one can do with customer data---and especially so with data that's private like emails or your browsing history.

From where I work in the company, the procedures and regulations are mostly concerned about <when not and when and perhaps how restricted> we can use customer data to reproduce and investigate bugs.

The data Facebook can use is mostly semi-public: posts on your wall that have varying but generally weak privacy expectations in the first place. Friend lists are probably totally fair game. (I don't know what Google does with G+ circles, but nobody is using G+ anyway.)

Anyway, all speculation apart from that there are pretty strong safeguards at Google.

(Google and even Facebook or Amazon etc treat your information much more carefully than probably almost any other place you put them. Eg most banks have incredible weak password protections, and my ISP is probably selling my postal address to spammers left-and-right.

The only reason to be afraid of what those giants do intentionally is that they are actually competent, and will do the best they can in the limits they imposed on them by themselves and regulators. (Break-ins by government-sponsored hackers are a different kettle of fish---but even there, the giants' efforts at fending them off are probably the most competent private sector responses.))
Looks like you need to brush up on your regular expressions.

> For F(acebook|uck)'s Sake Syndication

The pipe (|) means or, so the regex is indicating that FFSS can stand for either:

For Facebook's Sake Syndication, or

For Fuck's Sake Syndication

I thought it was clever, anyway.
Awesome project man. I do EE HW design for a living and this I can attest is a hard project. I have a bladeRF and use it regularly. One thing I try to instill in the people that work on my team is that the best attribute you can have and try to foster in your career is not giving up on hard things. So it's great that that is something you have.. To stick with this project for a long time and putting in the time to make it happen. MIT will be a challenge but I'm sure if you stick with it you will end up doing great. Go for something tough and glad you are coming to the US. I have to apologize for politicians that say we don't like foreigners. We do like foreigners and we need them. You will be a great addition to the many awesome people coming here to find there path to great success!
Although it's been posted here (only twice, though!) before, Philip Guo put up a 10-hour series of lectures on CPython internals[0]. I am nearly done with them, and have found them very useful and well-paced. Posting here because the author of this article seems to have stopped the series, and anyone interested in this stuff should definitely check out the Guo lectures.

[0]: http://pgbovine.net/cpython-internals.htm
Unfortunately, nobody has stepped for SELinux maintainance. If this is important for you, you should help to maintain those policies.

All your remaining points are vague at best.
Or not, just ran a speed test: getting 160% more bandwidth on Hetzner than my EC2 instance.
Sigh .. I need to disconnect from VPN to use it. I think u can reconnect after creation.
I just installed D4W a few days ago for the first time. It's been great. It's a seamless experience on W10 Pro with Hyper-V. I've used VirtualBox a lot and I like it but I always have to fuss with the network bridge and such. With this, it's hard to tell I'm even using a VM. Their network port mapping is seamless.

FYI, I was using rc4 and I didn't see any information on how to upgrade (should I uninstall first?). I ran the release setup and it did an in-place upgrade, deleting earlier components and such.
Google's S-1 April 24, 2004
https://www.sec.gov/Archives/edgar/data/1288776/000119312504...:

RISK VS REWARD IN THE LONG RUN

Our business environment changes rapidly and needs long term investment. We will not hesitate to place major bets on promising new opportunities.

We will not shy away from high-risk, high-reward projects because of short term earnings pressure. Some of our past bets have gone extraordinarily well, and others have not. Because we recognize the pursuit of such projects as the key to our long term success, we will continue to seek them out. For example, we would fund projects that have a 10% chance of earning a billion dollars over the long term. Do not be surprised if we place smaller bets in areas that seem very speculative or even strange. As the ratio of reward to risk increases, we will accept projects further outside our normal areas, especially when the initial investment is small.

We encourage our employees, in addition to their regular projects, to spend 20% of their time working on what they think will most benefit Google. This empowers them to be more creative and innovative. Many of our significant advances have happened in this manner. For example, AdSense for content and Google News were both prototyped in “20% time.” Most risky projects fizzle, often teaching us something. Others succeed and become attractive businesses.

We may have quarter-to-quarter volatility as we realize losses on some new projects and gains on others. If we accept this, we can all maximize value in the long term. Even though we are excited about risky projects, we expect to devote the vast majority of our resources to our main businesses, especially since most people naturally gravitate toward incremental improvements.
Clearly it's entirely different from Vive and Rift, but I think they have been working just as hard on the content side of things as the hardware itself. Most of what I know about MagicLeap comes from content people joining the team, the other comes from patent filings.
Currently the best evolution of this is probably Sailfish OS, on a Jolla with a hardware keyboard Other Half.
In practice, I've rarely found it over 1.2.

And only at 1.2 for short periods of time until the higher-ups are able to reign such out-of-control efficiency in.
>You could say this about basically anything for any company

Nope, you can't say it for entrenched companies (and companies with diverse revenue sources).

You can't say it for Apple, you can't say it for Facebook, you can't say it for GM, you can't say for Samsung, ...

The threat of competition is always there. How about you give some examples of what HTC could be doing where the threat of competition doesn't exist.
A related question: Feynman's popular book QED claims to explain quantum electrodynamics enough that you could almost do calculations with it, just ridiculously inefficiently. After reading it, I can't: the details left out, I can't easily fill in from the grad-level texts, even with a pretty decent undergrad physics background. Shouldn't it be possible to explain QED to a programmer using a literate program? (Again, an inefficient one.) Was Feynman exaggerating? Or is it just the tininess of the market of programmers who want to understand what QED is really about who aren't out to become professional physicists?

(For others, QED is the part of the standard model about electrons and light -- the most relevant part for everyday physics and apparently the simplest part too.)
You can get into the unlocked car without a key, but you can't start it. At least not without shenanigans. Yes, the door wouldn't really stop someone from taking your whole car.

What I would be worried about when leaving my car open is eg other people sleeping in it. (I wouldn't mind too much, as long as they are clean. But that's too much to ask for.)

Fortunately, I do not own a car in the first place.
Basically for hacking on cloud software that runs hypervisors such as kvm. docker-machine with a VMWare Fusion VM and nested virtualization enabled is the current approach I use - works fine for now.
https://news.ycombinator.com/item?id=12182808
Oh you can't get puffier than this waffle

> She is fine-featured and striking. Her heavy-lidded eyes anchor a gaze that seems wary of its own powers, as if her promiscuous intelligence must hold itself back from latching on to your every word. She wears her hair in a tousled pixie-cut, and on this spring day, a green knit sweater and blue scarf with a pattern of fish-like scales.
No it won't work, you're right it seems:

https://msdn.microsoft.com/en-us/virtualization/hyperv_on_wi...
5 Free Data Science EBooks for Your Summer Reading List
There was an HN discussion earlier this week on Google X[0]. One important point made there, by snarf:

> Google X is mainly about the PR value around its image and recruiting/locking up talent. Google would rather have smart people locked up inside the company working on projects with a high probability of going nowhere rather than having them going to a competitor, or worse, creating the next major competitor.

0: https://news.ycombinator.com/item?id=12150812
That works for some use cases, but for others (Elasticsearch, Zookeeper, Kafka, etc) the service inside the container needs to bind to an interface associated with an IP that's also addressable by the host. Even in host networking mode, eth0 inside a DFM-powered container will bound something like 192.168.x.y but that 192.168.x.0 subnet is completely inaccessible from the host.
If you can hotwire a car, you can also smash the window to get in.

Leaving the car open is mostly to forestall people opportunistically smashing the window and looking for valuables.

Fencing a whole car is much harder than fencing some smaller loot.
You've given one example; SELinux. Did wheezy ship with SELinux enabled? No. So how is that a step backwards? It would have been a step backwards if they shipped with it enabled and it was half-assed. SELinux is notoriously hard to get right across the board. See how many Fedora solutions start with "turn off SELinux." Shipping jessie without SELinux enabled was the right thing to do, if the alternative was: not shipping jessie; or shipping borked jessie with borked SELinux support on by default. Those who know what they are doing can turn it on with all that entails.

You gripe about kernel 3.16 LTS but provide no support for your statement. With a cursory search I can't find any. If it was such a big deal I have to assume I would. For my part I use Jessie on the desktop and server and have not encountered these mysterious kernel problems of which you complain. Again, you may have wished for some reason that they shipped with 3.18 or 4.x, but they shipped. They have 10 official ports and 20K+ packages to deal with, I'm sorry they didn't release with your pet kernel version. Again, those who know what they are doing can upgrade jessie's kernel themselves if they are wedded to the new features.

So, massive steps backwards?
Yeah, know them. Wouldn't call them "exceptional". N95 was introduced a few months before the iPhone -- which totally killed it.

That said, Nokia had indeed some exceptional (for their era) devices, namely the Nokia Communicator.
"Moonshot" is the Google term for R&D.

Google's R&D budget in 2014 wasn't even in the top 5: http://www.neowin.net/images/uploaded/2014/12/screen_shot_20...

Problem for Google might be that Wall Street may look at a word like "moonshot" and basically associate it with wasting money whereas if you call the same things R&D, it's something companies have been showing as an "investment"(not loss) for decades.
Nicely written.

I would attribute blame to a manager who is a void however.
That's an interesting headline from the same company that posted a 21%/28% YoY 21.5B Revenue / 6B profit quarter.
Gurbaksh Chahal out as Gravity4 CEO after probation ruling
> When Alphabet tries a "moonshot", they come away learning a lot about whatever problem it is that they were trying to tackle. They build expertise in-house, and they flex the idea muscle within the company. That isn't zero-value activity. In fact it's very valuable.

This might work for "moonshots" that are closer to their core business, but in other areas there's not going to be any inherent value in building expertise if the "moonshot" itself ends up failing, because at that point they will cease needing any expertise in that area at all.

Likewise, "flexing the idea muscle" would be a benefit if it was regular Google employees that were working on these projects but it's not. It's Alphabet's X lab which is it's own thing, with people working full time on these moonshots.
Absolutely, it's as if the article's author only looked at these moonshots in the silo of a single financial quarter when it's clear that the moonshots are intended to be decade long investments...
Here's another way to think of it...The economics of a marriage are just this: two people promising to be equals.

The man and woman give to each other everything they have; economic, socioeconomic, mind, body, and soul. There is perfect economy in this Union.

After such a union is dissolved, from one perspective both have lost half of everything. Both are a fraction of what they once were. The loss is staggering -- decimated five times over. But from another perspective, two souls are parting ways. They unwind their affairs and equitably share them. And walk away.

Except not for the man, for he is still bound by law to support the woman with weekly payments till he or she shall die, or she shall find another to wed.

Is this "chivalry" not deeply insulting to feminists?
It is 12:00am. I just read your "implement an alternate scalable terminal QFT algorithm" note.

So, because of the restrictions on earlier operations, our input is a bunch of separable qubits. That helps a lot. At first I was thinking of turning phase gradients on one side into increments on the other, but there's a much easier way. Just measure each qubit after it gets Hadamarded. All the phase steps can then be conditioned classically.

Now it's 12:10 am.

3 more minutes to make an example circuit in Quirk... and done: http://algorithmicassertions.com/quirk#circuit=%7B%22cols%22...
> Facebook already deposed one government here in Brazil. ;)

That is a gross overstatement. Brazilian here.
Actual arbitrage is very rare in the real world. If you're holding inventory at all, you're not doing arbitrage.
The satisfiability problem doesn't require that you provide the solution, only that you determine whether or not a solution exists. So you'd end up with a primality check, which is known to be in P:

https://en.wikipedia.org/wiki/AKS_primality_test
That is just paranoia.
And there are so many side benefits. Obviously Google employees are likely to be capable and smart individuals. So I wonder how much value is in having these type of employees take ideas to the company rather than planing to branch off for most companies that would scoff at letting you do a side project for a while.

In a region like silicon valley the opportunity and availability to walk away for a startup is huge this could act as a retention tool also. Better to let a talent disappear for 20% of their time than lose them altogether.