skysight-inc/HackerNews huggingface dataset:
Very early in our history - before we launched publicly last year - we made a number of custom installations in the Bay Area where we ourselves hacked together solutions using off-the-shelf components. In some cases the quality of the locks we used didn’t live up to the standards we expected - in all cases where our early customers notified us, we repaired and replaced the early Lockitrons for free, without question with upgraded models or traditional replacement locks. Sorry that you had a poor experience, we are always here to help if you reach out to us.

We are still happy to replace any failed Lockitron components. We learned that using another supplier's components meant that we were beholden to their quality and ultimately that responsibility falls on our shoulders. During our pre-launch period we learnt that there are no magic shortcuts and no silver bullets to make all styles of locks compatible with Lockitron.

For the new Lockitron's mechanical design we worked with a firm with experience in creating millions of high quality products for Fortune 500 companies. We are leveraging their sourcing capabilities to ensure we deliver a high quality product in the same way that their current products end up in the homes of millions of consumers while living up to the expectations that they perform through years of wear and tear.
Factorization diagrams in Haskell
Early explorers did things that wouldn't fit into our view of acceptable behavior. You are hoping to replace Columbus with multiple Columbuses each with the same track record as the one you hope to replace.

Personally, I like Columbus day, I like the discussion, and the critical thinking it brings.

Its important to note that many celebrated foundations of our civilization would be despicable in modern standards. For example, the Romans were the original fascists despite the cultural hegemony they imposed upon Europe.
How would Steve Jobs have fared on these empathy tests?

What if they asked questions about workers in Chinese factories?

D'oh!
You can - right-click on the row to edit the name, as well as open in Finder or Terminal.
Ask HN: unpaid UX internships
Is it possible to find a non-paid UX internship for somebody with no background in HCI?

A friend of mine lives in the valley and has done some very basic UI work here and there. She is looking for a non-paid internship to refine her skills and gain more experience. I am wondering if it is even possible to find such internship positions?
Wow, I've been working on almost the exact same thing!
Except I'm charging a yearly fee instead of using the users own AWS account, this makes it easier for users without an AWS account and also means you don't have to worry about the crazy Glacier fee structure.

Try it out if you want, 1GB accounts are free at the moment:

https://www.tidy.io/
> Thats not really how Pow[1] works.

I think you will find that is _exactly_ how Pow works. Because you're just creating a symlink (ln -s source_name link_name) you can name it whatever you want. (i.e. ln -s ~/sites/my_full_url.com.au ~/.pow/blog)
Our hands were tied. Installing 3rd party code, using the ~/.pow/ directory, and running on port 80 are all things that are frowned-upon. So it's easier to make it free!
This Machine Kills Secret Puzzle
We need something like this for vagrant.
Show HN: my iPhone app on algorithm and data structure puzzles
Rats. Thanks for the report - I'll push a new version shortly. I sure hope nobody minds all the updates. (Edit: fixed!)
Why did you share Ryan's email address in a previous comment and why have't you deleted it yet ?
I believe that efforts using trivial examples to show how complexity can be managed via certain abstractions are doomed to fail.

And that's a pity, because it makes abstractions harder to explain in a proper context.

You need an example where the complexity at least rears its ugly head before the abstraction starts to shine.

For many people, especially those not familiar with it at the time of the reading, the simple example using a manage huge complexity abstraction reeks of "complexity for its own sake" or "killing flies with a cannon" or "premature optimization" and it's natural because the example is not showing the strengths of the abstraction, rather its weaknesses.
Hey, just wanted to say thanks for this. It's very helpful to my projects. I had collected a number of historical papers on spell checking and I thought I had most all of Kernighan's Bell Lab papers, but I missed this one. And it is indeed very clear. Cheers.
Pretty cool, but definitely useless.
Ask HN: What do you think of http://decks.io?
Hello HN.

I wanted to scratch a specific itch -- how can a speaker/presenter do remote presentation and control his slides, without installing proprietary software?

The result is http://decks.io. It has a very specific purpose to allow someone doing presentations to show and control a set of slides to a wide range of audience. Simply send anyone a URL then start the presentation!

Slides can be uploaded directly or through Dropbox. Controlling the slides can be done through any HTML5-compliant browser, including ones on smartphones and tablets. The slides can even be scribbled on! No additional plugins or software required.

Slides can be viewed from any browser, anywhere without installing any plugins or software either.

Would appreciate feedback and comments on it. It's useful for me, but would it be useful for you?

Here's the link again:

http://decks.io
Absolutely true :)
> 3) When you have sufficient evidence, you upgrade your hypothesis to a theorem.

A theorem is a mathematical result: something proved logically from (possibly physical) assumptions.
I don't really care about the actual issue, but the objections raised to Columbus Day are absurd to me.

Why is euro-centrism bad? I am not of European descent, but historically speaking, contributions made by Europeans are undeniably tremendous. I don't think there's anything controversial about acknowledging that Europeans had a pretty remarkable run in recent centuries. Does euro-centrism have a bad name because of colonialism?
I'm glad my new/old mid-sized (250k inhabitants) town's only college is far from the city center (and therefor its students don't want to live in the center) & that hip young people in general have no interest in living here (mostly families, the young & hip go to the big city).

Leaves a lot of the old (and therefor small) apartments in the old (and therefor central) part of town available for rent at a semi-decent rate.
How your webapp can unintentionally crash Chrome
What does the on/off slider do?
Another handy tool for managing Pow is the ruby gem "powder". It's command line only however.
What does it matter if their employees are meth heads, they shouldn't have to be tested.

If they are unproductive, look like shit, have poor time management, have mood swings etc then they are a liability to their employer because of those things, not because they "do drugs".

On the other hand if they are productive, are professional, [any other positive attribute] and contribute to their employer, does it matter if they are on drugs at the time?

Granted, I've never meet anyone that are actually functional members of society once they start abusing something like meth, but my point is that employees should be judged purely on their performance in the workplace or how they contribute.
Plus significantly increasing commute.
I guess they are using Rails. If they had only taken a few hours to go through a free tutorial like the one at railstutorial.org , they could have avoided this blunder.
I only spotted this because of the 'get' word in the url, compare the title to https://news.ycombinator.com/item?id=4620006 Funny considering the large text says engaging experts.

It's Quora + influence + amplify? I don't like to hear amplify or quickly build together with influence others, it sounds like lobbying. Quora, Reddit, HN and so many other places have upvotes/downvotes, have you found a replacement for them?
I agree with you for this particular case but you are mistaken if you think that sarcastic and ist are mutually exclusive. Sarcastic comments of a ist form can (and nontrivially often do): mask sincere ism; be a more socially-acceptable-looking way of expressing actual ism; encourage ism, especially of a casual degree; exhibit societal/subconscious/not-actively-malicious ism; or create a generally hostile environment for people of an oppressed class of *.

So, yeah, probably an overreaction for this particular occasion, but it's not so easy as writing it off as "sarcasm".
Modern standards are despicable. The fall of Rome was a catastrophe.
Previous discussion:

http://news.ycombinator.com/item?id=4618374
Why would you block icmp ping?

I never understood that practice, especially not for standalone machines (in contrast to company networks, on the router).

So, why really?
The on/off slider turns Pow on and off. We love powder too!
Whoops, yeah – you're 100% correct. Not sure what I was actually thinking...
Wow, until now I had not thought to look up where the name Perlin noise came from, but wow! Thank you!

(for others, Perlin noise powers much of motion graphics effects today http://en.wikipedia.org/wiki/Perlin_noise, like such: http://www.flashandmath.com/flashcs5/fire/fire.html)
Buckminster Fuller: Job creation unnecessary in an abundant cooperative world
Maybe just make it so double clicking a site lets you rename it?
Site currently unavailable
Found what I believe to be the source files for the Versailles picture: http://www.hyper-photo.com/hyperpano/versailles/panojfr.tile...

I think it's sorted by resolution levels. So for example all photos with l1_#_#.jpg are at the lowest resolution while photos with l5_#_#.jpg are at the highest. The higher the resolution, the more photos at that resolution there will be.

To get a high resolution background of the whole image, you'd take all the splices at a certain resolution and put them together.

Does anyone know if there's an easy way to do this? Thanks!
The docs are a bit confusing - given the target market they should change 'Check it out' to demo or something, but there are binaries you can download for Mac and Windows, you don't have to sign up for the Adobe Cloud thing at all. It's a desktop app, and here's what it looks like:

https://github.com/adobe/brackets/wiki/Brackets-Screenshots

A quick off-the-cuff comparison, not being familiar with all of these tools, I'm sure others will jump in and correct/clarify:

CodeMirror - this is for embedding in pages only, and has no way of editing files etc, so you'd need to use a wrapper like:

CodeMirrorUI - a wrapper using the API to add some editor-like functionality, but it's still not a standalone editor app.

Light Table requires Java, and is focussed on Clojure (and JS?) right now, so although the ideas and interface have been borrowed from in Brackets, it's not really in the same space right now, and is likely to diverge as time passes.

Jsbin - this is probably the closest in feel to the Adobe offering, though it runs in a browser, not as a local app. That rules it out for me.

So this is more like TextMate based on CodeMirror - it could be used as a replacement for another editor like Dreamweaver, Coda, Textmate etc, and while the focus is on html/css/js, it'd be nice to see them expand that eventually to other domains. I suspect though they'll keep it tightly focussed on html, css and js.

It's worth downloading the demos here to try it out:

https://github.com/adobe/brackets/downloads

This looks like a really interesting new direction from Adobe, and an attempt to get back a bit of mindshare in a market where currently they are seen as a stodgy old dinosaur with products like Adobe® Dreamweaver®™. I'll certainly be keeping an eye on it as TextMate user currently, however I'd need support for other languages. Having had a little play with the download, I can say it's really not ready for primetime (only live edit of css is working right now, not even html edits), but what you can see looks really impressive, the UI is clean and works well, and if they have the language coverage of CodeMirror that would be really interesting (if not it'll still be useful, but could not replace TextMate for me for example). This might be worth a look in a few months when they have it all working properly.
Some feedback about the landing page:

It doesn't show any pricing. I don't want to sign up for something just to see the pricing.
The only thing you are right about is that WePay is terrific and I am glad you are not associated with them. How difficult it is to owe up to your mistakes instead of shooting the messenger?
futurevps.de

Based in Germany, amazing support.

Edit: I'm German, but not affiliated. I do have a small vps hosted there for a while though.
Another top comment that makes no sense. Alas, karma does not necessarily correlate with intelligence.

The point of the blog post is clear. There are other methods to do what people, such as middle-aged ones, now use Facebook for: sharing photos and text blurbs.

Knowing this, Facebook is pretty silly since you're posting all your private stuff on some kid's website. You do not know him and he doesn't know you. To him, you are just "Dumb fucks".

Can photos be shared by email? Can photos be shared via peer-to-peer? What is Skype? It's peer-to-peer. But it's not used for sharing "files". Years ago Google had something called the HELLO protocol. Anyone remember that? There are many ways to share personal photos and private text blurbs, not all of them are widely used. Posting your private photos and text blurbs on some kid's website seems like one of the dumbest ways to do it, especially when the kid calls people "[d]umb fucks" for doing so.
>> 2. As long as you're customizing the firewall you should block pings entirely.

Why?

I've never seen a threat model where filtering icmp doesn't end up being more trouble then it's worth.
Then there is even the maintenance headache when basic but powerful tools like ping and traceroute are rendered useless.

It's the same BS as with fail2ban, thankfully the OP wasn't spreading the gonorrhea of port knocking/single packet auth.
Lock down your sshd like everything else: Disable root, disable tunneled cleartext passwords, enforce proper key usage,
use AllowGroups/AllowUsers.

EDIT: The BS with fail2ban is moving the ssh port around.
I understand this being a problem, but surely iptables has something similar to OpenBSD pf's:

block in quick from <brutes>

pass in log on $if_ext proto tcp from any to ($if_ext:0) port ssh keep state \
(max-src-conn 3, max-src-conn-rate 4/32, overload <brutes> flush global)
Thanks for the feedback!

The landing page not being finished was why I'd been waiting to launch, wish I'd got it done sooner now!

EDIT: Until I sort out the landing page here's the current pricing: 50GB is $25/year, 100GB is $40/year and 500GB is $189
Right-click -> rename.
Intel is making the necessary steps to stay relevant as we see smaller lower power devices become the norm. Ultrabooks (and their silly netbook cousins of the past) are merely stepping stones on the path to more embedded, power sipping devices everywhere in our lives.

I'm curious to know what this means for Nvidia. Nvidia is now essentially competing on both big fronts. On one end, nvidia has to stay relevant with its video cards. Things like Tesla are going to be big business, but how do you compete with intel's on chip offering and keep power demands low enough? On the other side of the wall you have Tegra. Intel is a much easier target here as the Tegra is arm based and can already be found in android phones and tablets. And as the article indicates Haswell is still not equipped to truly compete with Tegra at the low end of the power spectrum.

Also, and it hurts to mention it, what about AMD? Bulldozer was at best a lukewarm release and piledriver still isn't out. On the other hand, AMD's graphics offerings still compete well with Nvidia. Big box retailers don't offer much in the way of AMD but ATI still sees significant usage. Dell, for example, only offers opterons in its servers, but offers plenty of AMD graphics cards in consumer offerings. But as AMD still has the same problem as Nvidia: this side of the business is being disrupted by things like Ultrabooks and tablets though so its hard to see how this will last. For AMD to compete with intel, it would seem they need to focus on SoC designs.

Lastly, one thing I found very interesting was the various winks and nods to the fact that intel creates a lot of interesting features that are more expensive, but only 'one' manufacturer ever uses them with the need for the stick. That manufacturer is clearly Apple.

People often like to parrot the meme that Macs are simply more expensive PCs but it seem clear here that other manufacturers require the stick to get them to make improvements to their boards.

> Intel gave one example where an embedded controller on a motherboard was using 30 - 50mW of power. Through some simple firmware changes Intel was able to drop this particular controller's power consumption down to 5mW. It's not rocket science, but this is Intel's way of doing some of the work that its OEM partners should have been doing for the past decade. Apple has done some of this on its own (which is why OS X based notebooks still enjoy tangibly longer idle battery life than their Windows counterparts), but Intel will be offering this to many of its key OEM partners and in a significant way.

You don't drop power consumption by an order of magnitude that easily unless the original chip was seriously poorly designed.
Steve Jobs Almost Done Reinventing Heaven
Exactly, me too. I have multiple backups of my image and video files in my home (~250 Go, growing fast), and I rotate the disks in a vault in the basement. It's very very unlikely that I will lose any file, but it can happen if my whole house burns down or gets robbed (vault included). Glacier is relevant in that case for me as a consumer.
It's already fixed.
The 14 Most Interesting Startups To Emerge From Demo
Given this is a multinational, it is reasonable for you to come out with an overall roll out strategy. In any complex project, you should expect implementation costs to be a certain percent of development costs.

Develop a project rollout template, detailing timelines and resiurces. Then train up people who can assist you with this. Remember, you dont scale but algorithms do.

On top of it, unless you are planning to stay awake 24 hours, you will need a support team to span those time zones.

If there's existing IT teams they need to be trained.
Here are some details, basically you lock/unlock with your phone by calling a given phone number:
http://www.callabike-interaktiv.de/index.php?id=401&&...

The bike lock is controlled from a central point.
Also, as they have a GPS, they also propose an iPhone/Android application which can give you the nearest free bikes around you.

This system is running in several cities in Germany.
Why is this modded down?
http://kivy.org/docs/guide/other-frameworks.html#using-twist...
Comments. I believe the threshold for flagging submissions is 1000, but I'm not sure; I didn't notice when I hit it. You cannot downvote submissions.
http://ycombinator.com/newsguidelines.html

Probably because it adds nothing to the discussion. Your comment would probably be modded down too as a result.
Those are all actually the same proof. The proofs that the analysis provides about the program are essentially the soundness proof of the analysis combined with its output. So if I prove that the signs that values of a variable can hold will be contained in the set found by my static analysis, and my analyzer outputs {+}, then that is a proof that that variable can only store positive values. It produces a proof in the same sense that, if I prove the Pythagorean theorem, then I can evaluate the expression sqrt(x^2+y^2) with x=3 and y=4 to get a proof that the corresponding line has length 5. Getting an incorrect proof out of that would be tantamount to an arithmetic error.

Note that most analyses do no actual automated theorem proving; they just, conceptually at least, instantiate existing proofs. If, by "find a proof," you mean "show the presence of bugs if there are any," then that's part of the same soundness proof. Conversely, showing the absence of bugs if there aren't any is completeness; you can't have both due to the halting problem.

Whether an analyzer correctly implements an analysis is a totally separate beast, and is an example of verification. Xavier Leroy has done some excellent work in verifying static analyzers.
All these articles are a bit meaningless to someone, such as me, that don't even know what the definition of the solar system is (and no article seems to care about it).

To me, the solar system is just a heap of planets orbiting the sun. With that definition once you pass the orbit of the last planet your have exited the solar system (although since the orbits aren't circular and they all are in the ~same plane there sure is still some room for debate about the exact border of the solar system) - and consequently when pluto was excluded the size of the solar system shrank.

I don't imagine that my simple view of the matter is in any way accurate, but considering that noone seems to know where och what is supposed to happen when you leave the solar system, what are we then waiting for?

That something odd is happening and then, aha! That must be it! This is from now on the definition of the end of the solar system?

Sure, there might be a border where cosmic rays from outside of the solar system greatly increase etc. but does that have to coincide with the definition of the solar system?
He was despicable by the standards of the day, too. It's not like morality is a modern invention, as apologists claim. ("Oh, thou shalt NOT kill?")

Columbus was such a terrorist, he and his brothers were chained, shipped back to Spain and imprisoned for his crimes as governor. Even after the monarchy overruled the Court of Spain, he was stripped of his governorship. (http://en.wikipedia.org/wiki/Christopher_Columbus#Governorsh...)

Las Casas wrote, "Yet into this sheepfold, into this land of meek outcasts there came some Spaniards who immediately behaved like ravening wild beasts, wolves, tigers, or lions that had been starved for many days. And Spaniards have behaved in no other way during the past forty years, down to the present time, for they are still acting like ravening beasts, killing, terrorizing, afflicting, torturing, and destroying the native peoples, doing all this with the strangest and most varied new methods of cruelty, never seen or heard of before, and to such a degree that this Island of Hispaniola once so populous (having a population that I estimated to be more than three million), has now a population of barely two hundred persons."

Of course, none of this made for great propaganda. So in Adam Smith's _Wealth of Nations_, the story of Columbus changed to, "and in all the other parts of the new world which he ever visited, nothing but a country quite covered with wood, uncultivated, and inhabited only by some tribes of naked and miserable savages."

If there's anything for us to do in the modern day, it's to be more aware of the atrocities we commit, which we glibly accept as the "standard of the day", even though many fight against them. (For example, against war, massive imprisonment and wage slavery).

Personally, I think it should be "Genocide Day". Not every holiday should be upbeat. A time of reflection and introspection.
Why is it so hard to land a hot girlfriend?
the container application is based off CEF3 ( http://code.google.com/p/chromiumembedded/ ) , here is the repository https://github.com/adobe/brackets-shell
Play memory with pictures from Instagram
>http://www.cooper.com/#about:books
It's horrible on safari as well and a little better on firefox (mac also), but the "Experiencing technical issues?" link to the plain vanilla version at the bottom left hints at the experimental state of the interface.