skysight-inc/HackerNews huggingface dataset:
Actually, it does not look like the UID is a PUF - although it's a very interesting idea!

"Unique ID (UID) - A 256-bit AES key that’s burned into each processor at manufacture. It cannot be read by firmware or software, and is used only by the processor’s hardware AES engine. To obtain the actual key, an attacker would have to mount a highly sophisticated and expensive physical attack against the processor’s silicon. The UID is not related to any other identifier on the device including, but not limited to, the UDID." - https://www.apple.com/ipad/business/docs/iOS_Security_Feb14....

> "To obtain the actual key, an attacker would have to mount a highly sophisticated and expensive physical attack against the processor’s silicon."

This is not true if the UID is generated in some way that allows pilfering by the manufacturer.

> So, generating a list of PUF outputs for all 10,000 4-digit numeric passcode would take Apple ~14 minutes--and it must be done on each device.

The threat model here is not Apple, but the manufacturer. In this case the options I mentioned earlier would allow very fast attacks that could be launched selectively at target devices later on.

> Of course, this is all a moot point, as none of this is verifiable (at least, to me and you).

Definitely not verifiable of falsifiable by you or by me. I would suggest however that the claims and reputation of the Secure Enclave is not deserved. Finally, in crypto, skepticism is a feature.
It's losing. For some reason, I see the "loosing" misspelling more often now than a few years ago. It seems to be a sort of orthographical meme that's spreading.
I think at least 3, and maybe all four, are true from various perspectives:

1. I think that the scenario here is one that Haskell can type check, though it takes some work. But I'm not sure.

2. Haskell's type system is better than many, but limited. Coq/Agda/Idris are more powerful.

3. One common definition of "going wrong" is "returning an incorrect answer". Crashing isn't going wrong in that framework. (I don't necessarily agree with it, though I've seen it; at any rate, there is a good reason to think that crashing is a lesser problem than executing and returning incorrect results.)

4. While there may be definitions of "well-typed programs" and "go wrong" for which this is true, ISTR that they are either ones which make it so that a type system that completely supports general computation is not possible, or ones ones which require excluding a lot of errors from "going wrong".
I'm doing this but I've found that having my feet suspended or only on the foot rest can lead to joint pain. I've set up a bench for my feet under the desk as a temporary solution but may spring for one of these ikea things and a nice chair in the future.

Also as a fairly active person (I run, ski, hike, bike, do yoga and climb pretty regularly) with aging joints I've found I need true rest/recovery time enough that standing the majority of the time doesn't work well for me.
It kind of looks like there is a Velodyne LIDAR on the roof.

The "Even in Rough Waters" claim seems exaggerated.
...which should tell you that speed really isn't as big a deal in web dev as some would have you believe. :)
It's the 4th paragraph.
I've seen this many a time. The trick is to come to a stop at the edge, and then walk out. If you are moving any kind of speed, folks on the edge will just assume you are disoriented and give you that "helpful" shove back into the mix.
I'm curious, could you expand on this?
That makes sense. I had only seen the Memcache & Redis datastores being used (and both being comparable to DynamoDB).
Spin can be changed, but then you disentangle the two particles. So still no transmission of information.
They're likely building on the low-level OS and networking primitives in Qt.
I'm not convinced they aren't. I live in Sunnyvale with a wife, 2 kids and a single income. Many of our friends with similar circumstances are considering leaving and some already have.

There'll always be new blood that offsets people leaving. I think the housing shortage is so bad that even if people were leaving it wouldn't decrease pressure right away.
They haven't recorded a new episode in 2 years.
I use Firefox, where / is 'search in page' just like unix tools. I flop around like a dying fish when I have to use Chrome, where you have to use the gasp chorded keys ctrl+f.

A lifelong unixy sysadmin friend of mine particularly hates browsers and ctrl-w. To him, 'ctrl-w' means 'clear text field', particularly useful for things like password prompts where you can't see what's been written. So he goes to clear a password field in a browser window... and the webpage disappears
Axent Wear Raises $1.77M from Indiegogo Supporters
If you've got any thoughts on what should be added, please let me know!
> There is not a fixed state of each 'quarter' in each 'box'. They are truly not determined until one is resolved;

Isn't that unknowable? And aren't both situations (fixed vs undetermined) effectively the same from an observer's point of view?
Isn't one of the advantages of the hybrid solid fuel / liquid oxidizer design that it can be throttled to some extent by cutting off the oxidizer using a valve?

I do agree that I can't see why a feather during a burn would ever be desired, but we'll have to wait for the NTSB to see whether the flaw was in the design or manufacture.
OK, let's knock this on the head very quickly please and avoid a flamefest.

According to "Generalized Arrows"[1] by Adam Megacz Joseph the slogan "Well typed programs do not go wrong" was coined by type theorist Robin Milner and means something very specific: 'To "go wrong" means to exhibit undefined behavior. For example, programs written in strongly statically typed programming languages cannot crash, write to random memory locations, or read past the end of a buffer.' If you want precise details please read Milner's "A Theory of Type Polymorphism in Programming"[2].

Note that this does not imply that well typed functional programs do not contain bugs. Futhermore it only applies to a very specific ML-like language with a precisely defined denotational semantics. It is not known to apply to Haskell as no one has even written down the denotational semantics for Haskell. Furthermore it is trivially easy to write crashing programs in most Haskell implementations by taking advantage of any of a variety of non-standard features and functions.

Please let us not build up and knock down straw men about Haskell claiming to prevent all bugs.

[1] http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-13...

[2] http://tfeng.me/papers/milner78theory.pdf
A wise policy.
The article talks about long term compensation for entrepreneurs. You're in it for the big payout, to change the world, to build something better. He's not talking about SV working for your everyday salary men/women who wants cheap housing and high quality of living or work life balance.
> then the other is resolved simultaneously.

Relativity of course makes a hash of that.

Still it's as close as you'll get with a classical analogy, and if you only have access to a fixed basis is entirely correct. Expanding beyond the classical explanation is only truly necessary when you start measuring in different bases.
The Predictable Demise of a Company Called Facebook
I absolutely agree. I just moved to a new state, and I figured the process for registering my car / getting a new license would be fairly straightforward, but boy was I wrong... I would have easily paid a few bucks for a app that walks me through the process, including where I need to go, etc.
> we will be able to measure some gravitational fluctuation due to the currents of molten iron swirling inside the Earth.

As a geologist, I really wish that were possible, but what you're describing is just far too small of an effect to be detectable from the surface. Gravitational acceleration follows an inverse square law. Any signal from flow in the outer core is completely swamped by the far larger (at the surface) changes from things like local hydrological conditions, ongoing human activity, etc.

On the bright side, though, we can already measure changes in the acceleration of gravity incredibly precisely without directly using relativistic effects. Even from orbit, things like regional flooding and changes in the mass of ice sheets can be detected purely from changes in acceleration of gravity. Have a look at some of the work that came out of the GRACE mission (also see the ESA's GOCE satellite): http://www.jpl.nasa.gov/news/news.php?release=2004-224
Except no mention of vector clocks, so it's unclear how one would detect or repair a conflict. Maybe that is an implementation detail that is intended to be ironed out later...
> Tom and Ray haven't done the show live for two years; Car Talk has been airing archives of old shows. Berman says Ray would like to continue doing that, as a tribute to his brother.
DWD's Design inspired by Yosemite? Please. They're trying to add a way to implement similar features that Gnome 3's header bars offer in their paradigm for rendering window decorations. (https://help.gnome.org/misc/release-notes/3.10/#header-bars). The flat design sense also seems to be partially inspired by android holo, the current KDE "oxygen" design, some of gnome 3's design, and in general, flat design is more popular these days.
One time I came back from a ski week with friends, I was feeling weak and had pain in my chest on the left. I fall gently on the floor and said to my friends I had pain on my heart, they panicked a little and quickly called the emergencies, I described my symptoms to the operator and they promptly told me it only was intercostal pain, that I should eat and rest for the day. The pain sometimes come back when I lift or run an move my arms, it is slythly annoying, I just hope it won't dull me from a real sign.
No, those who self-XSS are following the path of ignorance, which only leads to more of the same. What's next, not allowing users to type in a URL in the address bar because they could visit a malicious site? (Remember when Chrome decided to hide the full URL?) Mollycoddling users will lead to a significant loss of freedom and the vicious cycle will never end as they increasingly think everyone else will "protect" them from themselves, leaving all the -- possibly important -- decisions to someone else. Trying to make it impossible for users to make mistakes will also make it difficult for them to learn anything.

The "I don't know what this piece of code does, but I'll run it anyway without even so much as Googling" mentality is what needs to change, if we are to have better netizens. You don't need to be an expert to know what JavaScript is and what it can do. Despite the Internet being such an easily-accessible body of knowledge, and the influence it has on our lives, it's quite disappointing that people have generally not become more knowledgeable of it and instead are mostly consumers like they were before with TV and radio.
How I Rebuilt Tinder and Discovered the Shameful Secret of Attraction
There aren't enough units for adult companies to be interested.

However hobbyists seem to be filling the gap: http://www.reddit.com/r/oculusnsfw/
This doesn't make sense. Why would any transaction occur in a foreign currency? If I use my Australian credit card to purchase a cup of coffee in the UK, the transaction occurs in pounds, not Australian dollars.

The terminal never sees "foreign currency". It is the responsibility of Visa/MasterCard to perform currency conversion.
Swedish sugar-beet fields could provide a vital source of blood
Vegeta HTTP load testing tool gains Windows and FreeBSD support
It doesn't tell you that at all, since plenty of companies lose users/etc due to latency and other issues.
Didn't know that at all. So sad.
Regulator expenses in building houses may only be 20-40% of the cost, but this isn't true of the price! In healthy markets, houses are priced close to the cost of construction. In SF (in the 90s), house prices were over 140% the cost of construction [1]. I'd expect the difference to be even larger today because regulations are more ridiculous.

I agree, if we eliminated all regulations, the cost of building a house would decrease perhaps 40% at the most. I'd expect some of this savings to be passed on to tenants. If this were the only consideration, housing would still be unaffordable. But, without regulation, we'd also see at least 10x increase in new construction. Housing would be built until it were no longer profitable. IE, the price of apartments would approach the cost of building them (from astronomical to merely expensive).

The Bay simultaneously welcomes any and all new jobs while it refuses to build housing concomitant to the demand. It will never be cheap to live here, but maybe we could drop the distinction as the most expensive city in the country.

1. http://www.researchgate.net/publication/228180251_Zoning%27s...
There are tradeoffs here. Added complexity ... if the interlock fails to unlock when it's supposed to, you have a fatal "anomaly" on reentry.

What's going to determine its state? Could that get confused in emergency situations where feathering is an option worth trying?

In the end, if you're going to have real pilots, it's going to be very very hard not to allow them to make mistakes which will destroy the craft.
Talk to your market if nothing itches for you.

You may not have issues, but a lot of other people do.

Especially in more mature markets, you'll even find markets for these niche wants (think instagram, twitter) or as it is known as "first-world problems".

A good example is that recent front-page HN link about "I still haven't found the perfect photo organization tool yet" and through that, you'll have 10K users (if marketed well enough).
I'm in Adelaide and the two stores near me have disappeared and maybe one person that I know out of dozens and dozens would ever hire a DVD.

GP comment does resonate with me though; it's kind of sad that we've lost that. It's likely caused by having a single browsing device/screen.
How does this compare to https://github.com/facebook/immutable-js ? Has anybody used both?
Invisible Design
And those references are either well-studied by the NSA to learn the implementation failures, or they've actively worked on the reference to insert a weakness.
Is a Provable Audit Log Possible? With Event Sourcing It Is – See How
That's why I tried to help them :)
Semantic web is mainly an academic field. The theoretical research produced by this community is a foundation valuable for a variety of different fields. Stop thinking about the semantic web as the next big thing or the future of the web.

Just like many other research fields it lays strong theoretical (and at times also practical) foundations.
Mandelbrot Zooming in 63 lines of JS
This was cool - very scary!

One suggestion: On my first view, I ended up looking "backwards" for ~75% of the movie. I might have hit something at the beginning, but my forward-facing orientation couldn't see any of the action and there weren't any visual cues to tell me that if I turned around there were things happening until late in the movie. May be one of those weird things that VR needs to handle differently.

Excited to see more!

PS - I have a mac and DK2 but it's brand new, so could have been user error.
It's nice to see how fast Go is already. It'll probably be a couple years ago, but it should improve once they start working on the optimizing compiler.

People have already demonstrated how Go can be used on the server:
http://blog.iron.io/2013/03/how-we-went-from-30-servers-to-2...
I think the old version would be better, on the condition that you remove the first "slide"—It's the first thing I see and it doesn't tell me anything about the product.
XAbout.com – Easily share a long messages with a short code
We don't consider Acquainted to be a lead generation service, rather a platform for rallying awareness and engagement for new businesses that uniquely enrich the community.
i'm reminded of the perhaps more impressive 'ghost':

http://www.businessweek.com/articles/2014-08-21/juliet-marin...
Despite the fact that King County and Seattle are full of bureaucratic idiots who dug a tunnel that will make traffic worse and will cost 2x it's normal budget (at least), most of the city/state services are really not too bad. Online billpays are universal and rate a solid D+ for usability (pretty good for the government) and most of the local offices for DMV/DOL work are actually pretty good. Now if you have unpaid parking tickets, you are totally screwed. You have to drive downtown and fill out forms in triplicate while paying them off before you come back to your local municipality's convenient place. Why can't you do it at your local place? Who knows!

But honestly that's way better than the handful of other states I've lived in, which says a lot about government services. So if that's the BEST we can do, yeah. We need these services for everything, post haste.
market cap != quality of life.

The Valley works well at convincing people that fake money is equal to the quality of real life. Market caps have nothing to do with happiness, health, and interpersonal relationships.
OpenBSD drops loadable kernel module support
Honest question: how does "4 weeks" fix it ? You still can't view one week in advance and one week after the start of each month.
All this is part of the reason why I've strongly been thinking of going back to school to become a doctor. What follows is mostly a rant, just to be upfront about it.

It's a really radical transition, but I really, really dislike the city-centric focus of software engineering. I hate the idea of being a contractor (I just want stable, life-long work), and I can't tell you how tired I am of crippling traffic causing me not to even want to drop by the grocery store until it's almost time for it to close. I'm not in the Bay Area, but am in one of the five largest cities in the US. I went to college not giving a shit about money or how much of it I would make, and now I find myself thinking about it most days because I have to confront the fact that I can't afford any housing near where I work. I wouldn't be so upset about it if it weren't for the traffic which makes commuting from far out an absolute nightmare.

In terms of raw numbers, it's a transition that doesn't really make sense, not for a relatively skilled developer anyway. The salaries aren't that much higher outside of surgery and a few ultra-competitive specialties, and the time and debt involved in the training are immense. Depending on any number of factors, it could be better or worse than a life in technology. The two things that are for sure are that you're not going to have financial difficulties and you're not going to be subjected to ageism (quite the opposite). If you want to be rich, medicine's probably a pretty bad choice; but if you want stable, well-paid, life-long, rewarding employment wherever you want in the country, it's among the very best options.

The most amazing part of it is that you get to directly help people every day (so you don't have to wonder if your crazy ass startup is actually "changing the world" or not), there's more demand for doctors in rural areas (not less), and most non-surgical specialties can easily work comfortably into their mid-60s (or even later, health permitting). You're also surrounded by people who, at least in the beginning, were motivated out of passion and not money- and status-seeking. (Of course, some people will change as they age and grow more successful, but not all.)
$500 is not truly "affordable". Yeah, it's a bit more than half the price of the cheapest Biomorph desk, but that's it. My IKEA desk (Jerker) was just $99 and it can be assembled as a permanent standing desk. Add a stool to it and you can have it both ways - that's the option we had at Oakley.
Thanks for the info!

What's the right answer if someone makes this counterargument: in the inertial reference frame of the Earth the Earth is not rotating, so neither the sea nor Mt. Everest are moving at all, so there is no relative velocity difference and no time dilation from velocity difference.

Btw, I'm not sure about the phrase "I'm guessing (1.5/670616629)^2 is nearing the floating point epsilon" (unlike physics, I do have a fair amount of expertise in floating point formats). The way you put it suggests that the "machine epsilon" represents the smallest increments that floating point can represent, and therefore suggests that (1.5/670616629)^2 represented as float will underflow to zero or be so inaccurate as to be meaningless (sorry if I'm misreading you).

I find the definition of "machine epsilon" given on that page somewhat confusing. I think it's more intuitive to think of floating point error in terms of percentages. That page says the "machine epsilon" for float is ~1e-7; an equivalent and IMO more intuitive way to say it is that float is accurate to ~0.00001%.

The range of float goes far smaller than 1e-7; FLT_MIN is ~1e-38, and that's not even considering subnormal numbers. So float can very easily represent the results of (1.5/670616629)^2 ≈ 5e-18, and like any other representable float this is accurate to no worse than ~0.00001%, which is pretty decent.
I agree that defaults are powerful, which is why a potential developer who can't figure out how to download a browser and has nobody around to help will either be using IE or Safari anyway. Anyone who can get a copy of Firefox installed can get another browser installed a LOT more easily than he could figure out how to USE any of the dev features.

The number of potential developers who COULD get Firefox downloaded but COULDN'T figure out how to get a second browser downloaded, yet who COULD figure out how to use the dev features if only they were in Firefox is a tiny fraction of the non-developers who would be confused and annoyed by having dev features they don't want cluttering their interfaces by default.
@xnull: interesting, my download of that file has slightly different text:

The device’s unique ID (UID) and a device group ID (GID) are AES 256-bit keys *fused* into the application processor during manufacturing. No software or firmware can read them directly; they can see only the results of encryption or decryption operations performed using them. The UID is unique to each device and is not recorded by Apple or any of its suppliers.

(emphasis added)

That language, along with this gem later:

The passcode is “tangled” with the device’s UID, so brute-force attempts must be performed on the device under attack

lead me to believe they're describing a PUF.
By the way, can you save a local copy of that file? My SHA256 is b9d1f5290ebe56780af692e2b12037d6b7e085ef1f6050c1e27ea8426f94bfcc, what's yours?

>The threat model here is not Apple, but the manufacturer. In this case the options I mentioned earlier would allow very fast attacks that could be launched selectively at target devices later on.

Right, I understand. No matter what Apple says, you can't verify, so you can't trust.

>Definitely not verifiable of falsifiable by you or by me. I would suggest however that the claims and reputation of the Secure Enclave is not deserved. Finally, in crypto, skepticism is a feature.

Well, who am I to say whether Secure Enclave lives up to its hype? But definitely agreed about skepticism...
A more modern Gmail app for Android
Why is blocking considered a userspace-breaking change?
Having attended ISWC this year, where I also published in the proceedings of a workshop, I believe you don't understand exactly how academia works. Academic fields such as the semantic web have nothing to give to industry.

It's like asking Einstein back in 1905 how is his work going to be used in industry.

Semantic web is not an industry or engineering field. It's theoretical and academic and it has its purpose because it lays strong theoretical foundations.
Nope. I'm actually looking at second hand ThinkPads, T series.
With a replication factor of 3 or more you don't need a vector clock, you can just choose majority wins.

That being said, I believe it is using a vector clock, but I'm not sure.