skysight-inc/HackerNews huggingface dataset:
Who is the current top? Netflix?
The Wikipedia article is rather neglected, it contains very little information so far:

https://en.wikipedia.org/wiki/Hatton_Garden_safe_deposit_bur...
Interesting article - certainly as it has a lot of photos that I'd not previously seen before.

Further links for interested people:
"Gweilo" - book about a british son of expats growing up in Hong Kong, and includes his visits the KWC
http://www.amazon.com/Gweilo-Memories-Hong-Kong-Childhood-eb...

The amazing maps made by a japanese team that went into the KWC just before it was destroyed.
http://www.deconcrete.org/wp-content/uploads/2010/03/Kowloon...
Given the nature of this subject not all your questions have definitive answers, but I'll try to give it my best shot. You should probably consider these answers a subjective interpretation, rather than objective facts.

The most consistent interpretation of QFT I've seen so far views gauge fields as principal bundles. This implies that matter not only propagate through space-time but also through the gauge field, and the way it is 'changed' as it passes through the gauge field is related to the charge.

Now technically the electromagnetic gauge field (and others) also affects uncharged particles, mainly because it couples to gravity, but perhaps also in more subtle ways (think of the way light can be affected by simply passing through a piece of matter).

Admittedly there are quite a few differences (since the metric has a somewhat special position) but there are also quite a few similarities. Unfortunately nobody has yet found a (testable) theory that either unifies the forces or can treat the separately. I'm placing my bets on the 'unification' side though.
Just summing floats in an array, compiled without optimization, and yes, that surprised me.

My Postscript interpreter written in Objective-C was 2x faster. :-)

With optimization that went down to around 10x and wouldn't budge, even with -Ounchecked, UnsafeMutablePointer, varying an indexed for-loop and reduce. As I wrote, it's not just the absolute perf., it's the variability and unpredictability.
"Didn't realize there was so much resistance to humor."

You must be new. Welcome to Hacker News (suck it).
The unlearning cycle (why we learn and how it's changing)
That's definitely asking too much of app developers. Every time someone complains about any of this, the filesystem developers come back with a bit of lore about a non-obvious combination of renameat (yes that's a real thing) and fsync on the parent directory, or some particular flavor of fallocate, or just use AIO and manage queues yourself, or whatever depending on exactly which bogus behavior you're trying to work around. At best it's an unnecessary PITA. At worst it doesn't even do what they claimed, so now you've wasted even more time. Most often it's just non-portable (I'm so sick of hearing about XFS-specific ioctls as the solution to everything) or performs abominably because of fsync entanglement or some other nonsense.

We have libraries to implement "best practices" for network I/O, portable across systems that use poll or epoll or kqueues with best performance on each etc. What we need is the same thing for file I/O. However imperfect it might be, it would be better than where we are now.
Hard drives also have spare sectors, so if a defect is detected at one spot in the disk, it will probably never touch that spot again.

Simply observing that an error only occurred once does almost nothing to narrow down the possible causes. You have to also be keeping track of all the error reporting facilities (SMART, PCIe AER, ECC RAM, etc.).
2016 New Years Resolution
The cynic in me suggests if cities still burned down every few decades, we'd have a chance to fix entrenched mistakes in the planning/zoning/etc.
> It's patronising of you to assume that I don't, or to claim that your product is the only way to reach that.

I'm pretty sure he is saying "use our product to learn a single subject to 100% and you will see what I mean".

Often it is hard to explain the benefits of a platform with a few quick comments on hn.
Uh, how do you pronounce Coq?
"My code needs to be perfect and tailored for my next 300 feature ideas before I release it"
And a complete productivity killer for many software engineers.
Jesus, if I'd known about this in high school I would have been in a lot of trouble.

I see it supports Windows, but the last commits towards that support were a while ago (?)
This would be great if the big corporations couldn't lobby politicians.
Standard semi-conductors and magnetism enable stable quantum computing
Some time ago I too resolved to do this properly and with my limited bash-fu wrote a script to automate the process of installing GPG to a master USB key you can physically secure which can be used to drop a subkey on a PC. Most of the stuff you see in GPG tutorials can be done with a short gpg --batch.

Here's the (67 Lines of Code) script: http://pastie.org/10631164 It's not really prepared for public release so forgive some ungainly code.
It tickles me that reducing this roundtrip time is the solution rather than having a more, I don't know the right word here, intuitive (?) language and/or API to begin with.
Why not? The Reality Editor is an equivalent of a Web Browser for the Physical space. We are spatial oriented creatures operating the world around us with muscle memory and physical tools. The real power of technology comes when we combine digital and physical tools seamlessly. What is in front of us will change the World around you even more then the Internet has done it up to this point. How do you want to engage with all of the self driving cars and digital/physical content and objects around you? Browse through 1000 apps with all the drop down menus? Who wants to remember all of these physical<->digital links? My question for that future now is: What will be the digital equivalent of a screwdriver in that future? Thats what the Reality Editor is! A powerful tool.
https://translate.google.com/#fr/en/coq, click "listen". Or, in French IPA (https://en.wikipedia.org/wiki/Help:IPA_for_French), kɔk (roughly transcribed to English, "couk")

But, everyone I know (including me) who I've heard pronunce it just pronunces it "cock".
Sorry to hear that.

FWIW, there are machines and networks here where I'd fire staff on the spot for setting up unauthorized remote access to. There are a few machines I've been responsible for where I'd be calling the police instead of HR.

It's easy for most of us to do this. That doesn't mean it's a good idea. If you're doing this on someone else's machines or network, be 100% sure you've got permission (if it's a work machine - even if that means just setting your work desktop machine up to VPN into your own home network - get that permission in writing...)
That's not comparable. When they got rid of CFCs they just replaced it with something else. Now we need to stop making stuff, stat.
I wonder why the designers of Swift decided to make arrays structs on the outside but complex on the inside. Why not make them objects, i.e. reference types, as in Java and .NET?
Good on you for offering cash in return for a fix. You may want to consider publicly disclosing amounts / conditions somewhere - https://github.com/sshuttle/sshuttle/issues maybe?
Then I'm the president of Gallifrey.
Austrian documentary about it Worth watching > https://www.youtube.com/watch?v=Lby9P3ms11w
Yeah, true. And, of course, Affinity has Publisher on the way next year. It's getting interesting. That completes the holy trinity. But, then there's After Effects. I'm not sure if that app has any serious competitors, now or on the horizon.
Pincer – Trending Node.js Modules
I was in that kind of situation too.

The problem is that org-mode is too flexible. I use it as a flattened kanban board.
I see that you're angry, but I think it's because you misread my comment.

When I wrote "I encourage you to learn a subject towards 100% mastery and you'll see exactly what we mean" it was purely meant to encourage you to learn a small subject on Memorang to help answer your questions about the methods you inquired regarding interacting with the learning system. It wasn't, as you seem to believe, a statement that you couldn't learn via alternative methodologies.
While people often enjoy learning about these hacky techniques, its worth noting that the situation OP described goes against some good security principles. There's a reason why company networks are _officially_ only accessible via a VPN - it makes it possible for network/itsec people to properly monitor who accesses the infrastructure and how. This is very important if you want to keep your company data safe and secure.

I know the author just wanted to show some easy ways to setup HTTP proxies, but I'd hate it if people thought its okay to do this in every IT environment. Talking about security is easy. But when it comes to actually following some sane standards like this...a lot of people seem to just ignore them for the sake of convenience. IMHO this seems to be status quo these days.
Wasn't this covered on HN a few days ago?
You've used a dismissive hand-wave ("mood affiliation") to reduce somebody's comment to something clearly provocative ("muslims... terrorism... Trump"), then alleged that the commenter must support the latter. Such a post is in effect just a delivery mechanism for the provocation, so I call it trolling. It's like reaching out and tweaking somebody's nose as you're talking—it doesn't much matter what point you happened to be arguing for at the time.

Your post (and you post a lot of these) takes the form of logically substituting one expression for an equivalent one, but that's not what you're doing at all—you're simply pretending to. Not even mathematical expressions can be substituted that way without careful proof that every step preserves the meaning, and natural language simply doesn't work this way to begin with. It isn't valid to rip something out of its context, do major surgeries on it, then fling it back with the claim that it's what the other is really saying. When the thing you're flinging back seems designed to be offensive, the likelihood that this is sincere communication, aiming at understanding, plummets.

Many of your recent comments seem crafted to be technically unimpeachable while still tweaking people's noses. I could be wrong about that and would prefer to be; it's hard to read intent. But the fact that they come across that way is already a problem. You'd contribute more of value if you sincerely, and not only technically, eliminated that element and sought neutral ground with others. Note that this doesn't entail changing your views, though it can involve making an assessment of how much the conversation can tolerate before it goes haywire, and calibrating accordingly. But that's part of civil discourse anyhow. It makes no sense to send messages with little chance of being received.
>as COO at Hightail, I have a bit of an insider’s perspective on what may have driven this decision. While I have no information from directly inside Dropbox, I do have a deep understanding of the category.

In what way is this an insiders piece any more than Tim Cook be considered an insider to Microsoft?
Fair enough. You are correct. But, your comment is attacking me! Ah, that is the secret. I'm writing code now instead of cooking. Within the new group I have entered, Hacker News, there is level of propriety that I must conform to or my behavior will be corrected by the group. For example, in the old group, aggression was a necessity of survival. Now that my behavior is falling outside of appropriate, you are reprimanding me. We are completely anonymous but your word choice still makes me feel threatened. You are challenging me. If you challenge me further I might take a moment to find a psychology study which supports what I'm saying right now, there are a few. Which means if I want to continue to be in the in group, I will be required to adopt to a certain culture and cultural norms.

Nonetheless, are you training people who have graduated college? Because there is a very big difference between training someone with enough self disciple to get through college and training someone being paid $10 an hour who was just released from jail or partied with cocaine and escorts the night before. I never used drugs which made me an outsider in the restaurant industry. I strongly believe that a lot of the people I worked with sometimes needed a hug and sometimes needed someone to yell at them. And, definitely they needed someone who knew the difference.

I also strongly believe the reason they ended up with me screaming at them was a total failure of the educational system in the United States. You train people everyday. Unlike a college professor you also have financial incentive to be effective at it. They do not.

The point I was making is that learning including memorization and behavior correction which is a type of learning is more than just linear memorization and punctuated adaptive learning, that learning must include emotional and stress assessment and consideration of the power relationship between a teacher and student which isn't inherently bad.

You do understand that your comment is aggressive and you are correct which gives you the right to be aggressive? However, you would never outright challenge your boss like that. Aggression is appropriate in certain circumstances. There is something very powerful about the pigs in Angry Birds taunting the player when the player fails and when the birds cheer. The pigs taunting is very motivating pushing people to learn the spacial reasoning to get better at the game. Can you imagine how angry people would be if the Khan Academy used subtle taunts to motive kids like Angry Birds does? Critics will say we don't know if that motivates kids or not. I say let's do A/B testing. We will know in a week and I wouldn't be surprised if taunts from the pigs and, on the other side, to keep the emotions equal, supporting cheers from the birds strongly motivates children to learn. That is on topic. What is the psychology of motivation?
The problems aren't completely unprecedented (else we'd have basically no knowledge about them), but they become more severe in the scenarios Bostrom/Russell/etc. are talking about.

I would say that the central concern is with notional systems that can form detailed, accurate models of the world and efficiently search through the space of policies that can be expected to produce a given outcome according to the model. This can be a recommender system that tells other agents what policies to adopt, or it can execute the policies itself.

If the search process through policies is sufficiently counter-intuitive and opaque to operator inspection, the "Sorcerer's Apprentice" problem becomes much more severe than it is in ordinary software. As the system becomes more capable, it can look increasingly safe and useful in its current context and yet remain brittle in the face of changes to itself and its environment. This is also where convergent instrumental goals become more concerning, because systems with imperfectly understood/designed policy selection criteria (introducing an element of randomness, from our perspective) seem likely to converge on adversarial policies due to the general fact of resource limitations.

There's no reason to think this kind of system is inevitable, but it's worth investigating how likely we are to be able to develop superhuman planning/decision agents, on what timescale, and whether there are any actions we could take in advance to make it possible to use such systems safely. At this point not enough research-hours have gone into this topic to justify any strong conclusions about whether we can (or can't) make much progress today.

http://givewell.org/labs/causes/ai-risk gives a good summary of this topic.
That's a false dilemma. It would be wise to defend against every existential threat in proportion to its likelihood. The threat of nuclear war is well known, and significant resources are spent on reducing its likelihood. Until very recently the same could not be said for the threat of unfriendly AI.

We can do both.
Could it have been that your students were just bored with what they had been using? (i.e., not "anki" vs. "memorang", but "something I've used" vs "something new" effect?)
-4. Pray tell why this guy is applying to startups?

Also his objection to someone getting an internship at a startup because they're a "beautiful 18yo girl" is the most sexist thing I've read in a while.
IoT functions as services? Check out Java Jini developed way back in 1998: https://en.wikipedia.org/wiki/Jini

Right idea but it's implementation was very very clunky.
IMHO elm is for haskell, what meteor is for javascript. Even without support from purists, they conquered their market share. This irritated a lot of people.

Politics are boring but they are important. Imagine if all these smart people from haste, fay, purescript, ghcjs could join elm and extend it. Haskell could finally get a (deserved) mainstream role in CS. I don't know Evan (elm's creator) but he seems to have enough charisma for the job. Let's see if he can play the politics.
I agree. And this is just one of the few recipes on how to enslave population. Let's just buy a car and a house next and we're granted for life.
Whatever your views on that stuff... it is fun to play in Coq.

On the other hand, playing with J-Bob, the toy "proof assistant" used in The Little Prover is tedious at best. I'm torn between just giving up with the last two chapters of the book undone.
I feel the real WTF is that here this guy was making money and had actual customers, but he's being told to shut it down bc he didn't follow a formula.
There is also a $9.99 photographers plan which includes only Photoshop and Lightroom
The caption on the photo doesn't say what's actually in the crate. However, 1956 is when the first IBM 350 disk drive was shipped, and it stored 5 million characters:

"The IBM 350 disk storage unit, the first disk drive, was announced by IBM as a component of the IBM 305 RAMAC computer system on September 13, 1956. ... The first engineering prototype 350 disk storage shipped to Zellerbach in June 1956 ...

Its design was motivated by the need for real time accounting in business. The 350 stored 5 million 6-bit characters (3.75 MB). It had fifty 24-inch (610 mm) diameter disks with 100 recording surfaces. Each surface had 100 tracks. The disks spun at 1200 RPM. Data transfer rate was 8,800 characters per second. An access mechanism moved a pair of heads up and down to select a disk pair (one down surface and one up surface) and in and out to select a recording track of a surface pair. Several improved models were added in the 1950s. The IBM RAMAC 305 system with 350 disk storage leased for $3,200 per month." [1]

[1] https://en.wikipedia.org/wiki/History_of_IBM_magnetic_disk_d... (includes photos of the device)
> Rather than attempting to build something which puts the user first, your product puts you, the owners, first.

Actually, it sounds like he is trying to put the community and the product first.

A collaborative learning system works so much better with forced sharing.

The hardest and most time consuming part of using standard SRS software is building your deck.

A collaborative system helps share this load across all users.

If you want privacy choose a different product. For example I don't use GitHub for my projects because I don't want to share them.
Neat idea. Appreciate the tip on GlusterFS.
Right repo might be https://github.com/sshuttle/sshuttle/
"Bostrom introduced the philosophical concept of 'existential risk' in 2002."

Oh, come on. This has been a theme in science fiction back to at least the 1940s. Jack Williamson's "With Folded Hands" (1947) is probably the clearest early writing on the subject.

"The car turned off the shining avenue, taking him back to the quiet splendor of his prison. His futile hands clenched and relaxed again, folded on his knees. There was nothing left to do."
I still think there is a lot of value in both the 'this is how this API is typically used' and the 'see other examples'. Even if the authors of the code provide some sort of documentation and examples for how things are used, there is lot of data about how consumers actually use their API's.

I think it would be really cool to be able to see how others (publicly or privately) use certain APIs. I think it would help with faster adoption and "crowdsourcing" documentation. I can't tell you how many times I have had to Google/Stack Overflow Spring (and other library) specific things because I just wasn't sure if it could be used in a certain context based on the documentation present in an IDE or the project's documentation.
12 Fractured Apps
This is a lovely book. I gathered a group of students to work through this book last year (and even roped in a professor). If you're interested in formal software verification or interactive proof assistants, this is an excellent and approachable introduction.

Another free book, using the Isabelle proof assistant, is http://concrete-semantics.org/. It's also very good.
When your customers are all cops, there's no reason to care whether you, your company, or your culture are viewed favorably by the common proles. The guy knows who his customers are, I'll give him that. They probably love him for this, because their attitude is exactly the same: Are you fucking joking? I'm a cop, I can do whatever I want.
Gentoo Linux as Server Fail
If anyone wants to help get a newer version of ZPAQ into Debian - https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=777123
It was designed by SGI for high-end workstations and supercomputers with long-running jobs (esp render farms). So, that doesn't surprise me. However, it's nice to have all the assumptions in the open and preferrably in user/admin guides. Another issue was it zeroing out stuff on occasion but they fixed that.
> Also: Wall Street is full of educated guys who are outright criminals.

That is "white-collar crime" which is a different thing entirely. It revolves around exploiting the loopholes around laws, rather than actually breaking them. He is talking about "blue-collar crime" which is about outright breaking the laws. In the white crimes, no statesman can punish you since there is no legal evidence against you - the issues are with the legal framework.
The thing to understand about the Media Lab is that it produces research, not products (although, the line is blurry, I give you that, and some groups at the Media Lab have spun off separate companies.) People at the Media Lab are working on figuring out what is possible, not necessarily what is useful. By inventing or exploring new techniques, it's possible for others to apply those techniques to "real" problems.

I recognize that this is an opinion and I don't have any proof, but I've spent some time in/around the media lab and I just thought I'd share my impression of the place.
Just to be clear, I'm not looking for mass consumer adoption. I'm looking for the initial signals that prove that somebody is getting sufficient value that it's not just a novelty. E.g., the agricultural uses of drones are not mass market, but they're not just "OMG drone".

The Palm Pilot is an interesting example, but as somebody who had one, they were actually getting used. I used mine daily. When I broke my first, I bought a second. There was also quite a lot of third-party software, including a robust commercial market. E.g.:

https://web.archive.org/web/19991003055719/http://www.zenith...
It has been posted many times, but none of the posts rose above the 'significant attention' threshold described in the FAQ. This one does, though, so it'll be treated as a dupe if it gets posted again.

https://news.ycombinator.com/newsfaq.html

Btw, we're working on a better approach to duplicate detection that will reduce the number of reposts and will more often give credit to the original submitter.