skysight-inc/HackerNews huggingface dataset:
So, I lived in a micro apartment last year in Vancouver. Newly renovated like the one in this video, albeit with less features (no dishwasher or multi-purpose furniture.) The apartment shown in this video is a luxurious 300sqft. My "apartment" was smaller than this.

While the space is acceptable, technically, to live in - I can't recommend it if you have the choice of a larger place. These sorts of places typically feature high ceilings, which is nice, but that's about all they have going for them.

For me, coming home felt more like arriving at a hotel. With everything so tightly packed, there was a constant need to pack things away and shuffle items around. It's hard to feel at home when you can barely even (and possibly even not at all!) fit your own furniture in your place.

Murphy beds seem like a fun idea, but unless you're entertaining guests you'll end up just leaving it down during the day (if you're like me, that is..) You then come home to what is essentially a bedroom.

I won't dispute this is a better living situation than many people currently have, but given the price tag of these apartments (I paid over $1000/mo here, $2500-3000 in Murray Hill for 300sqft???) I would advise finding somewhere else to live. Somewhere that has a doorway to walk through that separates your living spaces.
No, it's a pretty valid concern. If you assume controlled inputs, and you also tend towards putting all your state into Redux, that's exactly a use case issue you can see - every keystroke would, in theory, require a full round-trip through the store and back to the component, and also causing at least a `mapState` call and comparison for every other connected component along the way.
I switched back from Android for the 6s because I was tired of fragmentation and terrible battery life. I gave up a lot, customizations, amazing tweaks, workflows, etc. I miss Android. There are so many things I can't do on iOS and it frustrates me.

Siri is no comparison to Google now. (You make some sacrifices here)

Using iTunes to manage everything from apps to music is a buzzkill.

Homekit is a bag of hurt.

You are stuck with the default apps. Want to use Gmail or Outlook? Chrome? Google Maps or Nokia Maps? Too bad.

I'm putting up with these compromises because at the time the 810 wasn't performing well and on Android smaller screens means lower performance.
There was a big scandal 3-4 years ago with heads up nl chinese bot ring that got 1.5m approximately before getting shutdown.
> First, lifting a new verification property into a type system requires changing the language or creating a new one, so it doesn't solve the problem (another rewrite?).

Much of the value in using type systems is that, precisely because they're limited, they force you to write programs whose proofs of correctness would be simpler than if you didn't follow a type discipline. This is true even if you use an external logic for reasoning about your program.

In a language like Rust, I can often arrange things so that the burden of verification is split between type checking and simple high-school algebra calculations. What do I get in C? Gigantic yet intricate state spaces, which need to be split into subsets either manually or mechanically using who knows what heuristics. These subsets are in turn described by formulas containing lots of nested quantification, which is a lot more difficult for humans to deal with than just algebra.

> Second, and more fundamentally, some properties cannot always be proven one way or another, but only admit sound classification as yes/no/maybe. Type systems don't usually work well with such properties.

Type systems err on the side of safety: if no typing derivation can be constructed for your program, your program is wrong, even if your evaluation rules are untyped and your program wouldn't get stuck under them.

> Even Rust would require a formal specification language for greater correctness

This means nothing. Correctness is a binary question: your program is either right or wrong...

> as the language itself cannot specify many interesting properties.

... regardless of whether you've mechanically verified it or not.

> Whether, in terms of language design, it's better to unify the specification language and the programming language (as, say, Idris aims to do) or keep them separate is subject to a heated debate (dating all the way back to Dijkstra and Milner).

It's ultimately a matter of ergonomics, and there's a big continuum in between “prove everything internally” and “prove everything externally”. Rust sits very comfortably at some point in the middle.
Also ISS, We caught it last night and it was incredibly bright since it was just after sunset.
I'm not even bored, but disappointed. The iOS 9 upgrade made me unable to access music on my device, photo backups are sorted into hundreds of subdirectories, re-authenticating iCloud automatically re-enables iCloud Backup and iMessage, and I need a third-party calendar app because they removed the month view that gives me a truncated title for each event. There are some other small annoyances, like being unable to permanently leave the phone in Low Power Mode, while only two phone models support Apple's battery case.

I'm just not convinced that Android won't have an equal number of strange problems.
Here's part of glibc's: https://sourceware.org/git/?p=glibc.git;a=blob;f=sysdeps/pos...
Also university of alberta has a fixed limit heads up bot that can beat almost anyone. I dont particularly find the article novel or well informed.
I stand corrected. thx.
I literally can't tell if this is parody or not. It's probably not.
I build processor integrations and am working on several new ones now for EMV. I can confirm Square's pricing is ridiculous compared to what's out there. Bear in mind there are only like 6 companies in the US that actually process cards, but there are several thousand payment processing companies who are all taking a slice.
I think you need a new team if implementing redux-form was trouble...
These are great guidelines, but this is the second time today I've read compile with the highest warning level possible, and treat all warnings as errors. This is certainly laudable, but not always possible (I try to in my own code to the greatest extent that I can). Some warnings are more informational than an actual issue. For instance, MSVC warns about functions marked inline that weren't inlined. Do I care? Depends on the situation, but its enabled at W4.
>After letting Samsung and others take the lead in large screen smartphones (5.5” or larger phablets), Apple Finally introduced its own large iPhone 6 Plus in September 2014.

What an ignorant comment. Samsung pioneered the large screen smartphone. They took the risk when everyone was mocking the size of their phones as if they were jokes. Once the market proved them correct everyone else rushed in - including Apple. To belittle this accomplishment speaks to this person's bias towards Apple.

Apple never let Samsung take the lead in large screen smartphones - instead they did what they usually do - wait for another player to create the market and then move in on it.
'some guys blog' needs copyediting. I stopped reading at two glaring typos. other than that, nice writeup.
I've read it and I think it's juvenile.

If you want to opt out of a society, wonderful. Leave it. Most governments will allow you to leave, and I certainly agree that those which do not are tyrannical.

However, if you try to opt out and refuse to leave, you're a free rider, getting the benefit from the society without agreeing to the rules which helps make it work. It is immoral to benefit from clean air if you refuse to abide by the laws limiting air pollution. It is immoral to benefit from a functional banking system if you refuse to abide by the laws regulating that banking system.

Yes, there are a lot of immoral people in the world. However, waving your immorality around like a flag by saying you don't agree to the system you benefit from is a level to which most of the immoral will not stoop. If you are going to do wrong, at least have the decency to admit you're doing wrong, and attempt to change the system in a constructive way, instead of trying to paint free riding as a moral alternative.
It's crazy to me that you're not allowed to just dump your garbage in a public park, and yet you're allowed to run lights on your property all night if you want.

Beyond just the aesthetics, from a public health perspective it's ridiculous that we lock people up for smoking weed, but allow pretty much unlimited light pollution even though it's likely worse in terms of health.
Trademark.
they are talking about trademarks here, not copyrights. The two are so vastly different, for vastly different purposes, and vastly different constraints placed on them, that it is beyond foolishness to confuse the two. There's a bit of irony here as well, since preventing consumers from confusing two things is the whole point of trademarks.
> it is THE natural system

This is why almost all other group/pack species in the animal kingdom all have a central leader, because............ it's not the natural order of things. The idea of people being equal enough to contribute is only a recent concept to be fair.
Obviously, but UEFI tends to cause more of the practical problems and attacks, including non-security ones and DoS attacks (some of which is easy to do under Windows).
You can, as of iOS 9. Drag the files to iCloud Drive on your Mac (which is a full filesystem), and either access them from an iOS app that can open files directly from iCloud Drive, or enable the iCloud Drive iOS app in the settings and use the share sheet to get the files into the app you want.
When talking about megafauna resurrection, it is often said that it's not possible because DNA degrades too much after a few thousand years. Yet apparently the DNA of this plant was still viable. What am I missing?
The same errors appear multiple times: backslash instead of a double-quote mark, two consecutive "f" characters deleted. I suspect this to be a software problem, not a copyediting problem. It also references figures that are missing.

So I suspect someone hit publish but their latex-to-wordpress plugin is broken, or somesuch. That's just a guess.
Here is a GIF of me putting input state (and general form state) in the Redux store: http://i.imgur.com/QRDH1Sy.gifv

Yes, if the keystrokes are not debounced it generates many actions. But my point is that concern about the ‘efficiency’ of moving events through components when using Redux is nothing compared to the byzantine way I had this implemented before using Redux. Trying to build forms in React without Redux or some other state solution, by just using setState and moving events and state up and down the component tree, will make you tear your hair out.
iPhone sales are slowing, Android sales are not:

http://www.macrumors.com/2016/06/02/meeker-2016-internet-tre...

So market share is declining.

The reasons he gives for Apple's market share to increase are not new. They have been losing ground despite the conditions he describes. If we wants to argue that Apple is going to reverse this trend he needs to give new reasons.
ok, what's the difference between sophisticated and unsophisticated algorithmic trading?
> the power of the state envisioned gets smaller and more directly accountable to citizens.

Pure majoritarianism doesn't work, you know. It leads to grossly immoral systems which destroy the rights of minorities. There needs to be larger governments, governments not ruled by the local majority, which can step in to curb the abuses an unchecked majoritarian government would otherwise get away with.
He has redux dev tools enabled which might be causing issues with performance. We use redux-form for a medium project and have had zero performance issues. If you have huge forms you may run into performance issues but those are also gone in the new version.
People have been developing schizo persecution complexes for as long as I remember. Just the contents of the delusions differ depending on the victim’s experiences.

I wonder if modern society exacerbates or amplifies it, though by “modern” I mean post-Agricultural Revolution. We humans tend to think that we can handle any problem that we create for ourselves, but I think there is some strain, and everybody has a breaking point. We don’t all break the same way. See also: Education practices.

It certainly doesn’t help that the government really is trying to spy on you, the government really is pushing people to do crazy things ([0] and others), and the people in government offices really are lying to you ([1], [2], for why the President is wrong about Snowden having official channels). The article mentions MKUltra[3], which obsesses one of the relatively harmless schizos whom I know. Some things are clearly false, or false but difficult to falsify (mind control satellites, anyone?), but I feel that this nuance is usually lacking in persecution complexes.

[0]http://www.newyorker.com/news/news-desk/do-f-b-i-stings-help...
[1]https://www.techdirt.com/articles/20130809/12594124128/obama...
[2]http://www.theguardian.com/us-news/2016/may/22/how-pentagon-...
[3]http://gizmodo.com/project-mkultra-one-of-the-most-shocking-...
Sorry, I can't parse your
statement of your e-mail
address!
Perhaps plant DNA is hardier against time, bacteria, freeze/thaw cycles, etc than animal DNA? I'm not a biologist, so I'd also love to know.
Nothing on the Stack Overflow page I came to from Google says anything about those cultural norms. This is what it says instead: "Stack Overflow is a community of 4.7 million programmers, just like you, helping each other." And then the actual answers are snotty people shooting down a newbie. Forgive me for not getting a great impression.
And it was a horrible explanation. MacBooks are functionally superior to Netbooks. That is not the same for iPhones. Phones from other manufacturers that cost significantly less do significantly more than iPhones do. That is why sales volume is shrinking in a growing market.
As someone who works in anti-fraud, would you be able to detect someone who was playing manually, but had a bot set up to tell them what to do (and then they would manually input the move)? Is that even illegal or against the rules?
Meet the newest AngelPad startups
The Theranos leadership belongs in jail. Misleading patients with bullshit medical science ranks pretty high up on the list of things that should get executives locked up.

We are talking about tens of thousands of patients here whose doctors made medical choices based on fundamentally flawed blood work, all while Holmes and her buddies were boasting about how disruptive their technology was, how much better they were than the oh so misguided competition, and that validation data was coming very very soon. Plain criminal.

Keep in mind, this is almost half a billion dollars of private investment money that just went up in smoke (and countless man hours from employees who thought they were doing the right thing). When you know how hard academic research labs have to work to get even a hundredth of that kind of funding - when they do much more to advance the field - it's just plain infuriating.

But no, Elizabeth Holmes will get a movie about her, and they'll all fail upward in some fashion - won't be surprised to see them on various boards and advisor positions in the years to come.

The rich get richer, while the general population gets fucked over- the apple is rotten to the core.

I take a little comfort in knowing that something this extreme would never happen in more civilized countries (say Japan, Canada, most EU countries, some South American countries, usw.)
> The two are so vastly different, for vastly different purposes, and vastly different constraints placed on them, that it is beyond foolishness to confuse the two.

It's actually not vastly different, however there is a clear difference indeed. I feel you're just out hunting for something to be pedantic about, lol.
Yup. I've been saying much the same for 20+ years. Gee, now I'm no longer the only one!
I can't figure out why Apple has neglected their stock keyboard for so long. They finally added autosuggestions but their keyboard still lags far behind third party offerings in speed, feature set, and flexibility. And third party keyboards are still so buggy on iOS as to be almost unusable. About 90% of my use of a smart phone is messaging in some form so this is a big deal.

And iMessage is buggy enough that I long ago switched to WhatsApp and haven't looked back. Apple makes great hardware but their software is increasingly falling behind the competition.
I am serious. Possibly we have different opinions because a) I read more than the headline, and b) I read the opinions of people who were around (e.g., at PayPal) at the time.
Trademark is a consumer protection law.
Copyright is a creator protection law.

They are not anywhere close to the same sort of thing except if you look at them kind of sideways. To casually interchange them makes no sense.
So, the site has this demo: https://wit.ai/getting-started
First two queries it shows are "Turn on the lights" and "Open the door please!" showing how nice the response is.
If you combine them in "Turn on the lights and open the door please!" then the reponse ignores the door part completely:
{
"_text": "Turn on the lights and open the door please!",
"confidence": 0.94,
"intent": "lights",
"entities": {
"on_off": [
{
"value": "on"
}
]
}
}
> Murphy beds seem like a fun idea, but unless you're entertaining guests you'll end up just leaving it down during the day (if you're like me, that is..) You then come home to what is essentially a bedroom.

That's exactly my thought. I'd rather just have a normal bed, save a couple of square feet of floor space, and maybe be able to cram in some more storage under or over it.
I guess it would really improve peoples' trust in wit.ai (and thus the number of users) if they would declare their plans for monetization or policy otherwise for the future. Otherwise developers might not want to see their work become invalid when the platform suddenly costs money, or something.
If you are stuck targeting Android API version 14 forever, that is a problem. It means Google can never introduce anything new that people can actually use without alienating a portion of the userbase.

Albeit, that was also a perceived huge issue four years ago with 2.3 and version 9, and today all those 2.3 devices are mostly gone.

But in the same way the mhz race was a limited time thing, and after that personal computer sales slowed drastically because the year over year improvements have been much more minute, Google cannot just assume that the planned obsolesce of contract phones will force users to change hardware to keep pace with the OS. A lot of the 4.x era Android devices will be "good enough" for many people in the same way Core 2 was "good enough" for most casual PC users.

And we have seen the fallout of that. Users do not care if their Windows XP is catastrophically insecure when no longer updated, they keep using it until disaster strikes. And the same is bound to happen to all these Android phones that stop getting updates.

I don't think I've ever seen greater technical debt than the accumulated mess of Android device drivers and the OEM habit of forking the kernel and violating the GPL to stick proprietary blobs in and then freeze the kernel, which means every device is on a forced obsolescence cycle whenever their kernel can no longer work with the latest Android requirements.
So how might you prove that?
Try the Los Angeles metro area - 87,490 km^2 (and 18.7m people)...
The 8 homeless vet units are separate from the 14 affordable units, and are probably being paid for by some combination of federal, state, and city dollars. The affordable units were awarded by lottery open to anyone meeting the income guidelines.

Also in official NYC-government-speak homeless doesn't necessarily mean living on the street. It means a lack of "secure, adequate, and permanent" housing. So it includes situations like living in a shelter or in a doubled up situation (e.g. on a relative's couch).
The 6P is a great phone. I know Google has to walk a fine line here but I'd really like to see them putting more effort into promoting and distributing Nexus phones.
I've been using Wit and enjoy it. The site could improve in terms of usability and performance. It definitely feels buggy at times.

I'm not using their story framework though. Just their intents parser. Using wit entirely for the conversational layer doesn't seem like a good way to go about things.

Overall I'm happy though.

- I wish I could download my data set at will.
Mary Meeker’s 2016 Internet Trends: 2 cartoons to summarize 200+ slides
Self-Focusing Eyeglasses Are in Development in Israel
Feels good after 4 years of dealing with smug people about Theranos and how they were going to change the world, deflecting all criticism as sexism (If I had a dollar for every time I heard "B-b-buh she's the female S-Steve J-J-Jobs") that the company crashed and burned in such spectacular fashion.

At least the feds stepped in and tried to make a change, that must matter for something right? :^)
After a series of Android devices, my first iPhone was the 6 Plus. The main reasons for me switching over were:
1. Ridiculously reliable battery. (People who have used both platforms will mostly agree, I think.)
2. 6 Plus was the first iPhone that did not seem tiny to me.
3. I really wanted to use it myself for a while and form my own opinions.

A year and a half of use later, my thoughts:
1. Totally awesome battery experience.
2. It's good, stable, reliable but it gets so... boring.

My next phone, whenever it is, is probably going to be the largest Nexus device available.

On a side note, it is so great to read a series of comments about iOS and Android that does not degenerate into a trolling competition.
Their decision (which is subject to appeal) would not have happened without Thiel's millions. Why? The lawsuit might not have happened without that. It certainly wouldn't have been as well funded, and funding levels influence outcomes.

It might also have turned out differently if not for Thiel's secrecy. Many people have pointed out Gawker's unforced errors during the trial. If they had known that it was not Bollea alone they were fighting but also a vindictive billionaire, would they have been more circumspect? I expect so. That might not have changed the verdict, but it certainly could have changed the size of the award.

And let's not forget that Thiel apparently influenced strategy. This was all uncovered, after all, because of certain unusual choices made by Bollea that reduced the potential size of his award but increased the chances of destroying Gawker.
It still baffles me that Walgreens got into this partnership in the first place. A complete failure of due diligence.
Ah if yes, then I have no more questions. Couldn't tell but it seemed like the comment "A lot of philosophy is just bad science ..." could have meant that science could somehow exist separately from philosophy.
Meanwhile things core to the user experience like iMessage, the stock keyboard, Photos, iCloud Drive, Mail etc are buggy and unreliable and/or lagging far behind the competition. The base model is still has an absurdly stingy 16GB of storage.

But at least we can look forward to an even thinner phone with bad battery life and buy expensive lighting audio adapters so we can accommodate their fetish for removing ports.
I actually really liked this - thanks for posting. I was underwhelmed with shopping for fire pits, and being a software person, didn't really think of making my own. ;)
The previous news story was that Walgreens discontinued sending blood to Theranos in light of the allegations.

If the partnership is terminated, then Walgreens must know something is very off.