skysight-inc/HackerNews huggingface dataset:
My goodness, this thread is actually worse then reddit. I never thought I would see such garbage in Hacker News before. This guy is releasing a new version of his product, of which thousands probably use. He just so happens to have a sense of humor (which anyone who has used Codekit before would know about) and you guys are picking him apart like a piece of turkey.

I actually can't believe what I am reading atm, has this industry really gotten to a point where nobody has a sense of humor or any congratulatory comments anymore? And everyone is force to pick apart every single thing?
Face recognition would be the killer app. I would hand over a month's salary to get a device that simply converted from face to name.

Nothing else, it doesn't have to bring up their facebook profile, twitter feed or anything else. It could even rely simply on entries I've entered myself, knowing someone before they've introduced themselves would be creepy. But just something so that when people remember me I don't stand like a dick because I can't recognise their face would be nice.
Great tool! I found out about it just now from the article.

Any thoughts of cross platform compatibility for the future? I find one of the best features of KeePass is the fact that it can be used on all my computers (even the ones not running Linux).
Well, it includes some new tools, the refreshing of projects works better but the internal server is the really cool new feature. I really think it's worth the upgrade price.
X-ray goggles type app.
Porn has driven a lot of the tech industry.
India - Copyright battle over online reporting of LIVE sport scores
Pre-Launch Sign Up Page
"It started off like your were going to provide a sound rebuttal, but it didn't materialise. Instead we got:"

What is this, a formal debate with research and fact-checking and carefully proofread dissertations? We're just a few guys writing stream-of-consciousness paragraphs between code compiles. I maintain that anybody who doesn't recognize the difference between somebody posting a link to a bunch of credit card numbers and Google showing links in their search results is being deliberately obtuse or autistic, or both. There is obviously a continuum between them (in the sense that they both revolve about 'links'), and one can argue about cases on this continuum (although I have no interest in doing so), but the argument 'a link is a link' without any consideration for context, intent, etc is prima facie stupid to any reasonable person.
Ever thought that maybe the fact that you didn't take her seriously had little to do with her smoking weed?
Image recognition, body composition calculations, physical strength calculations based on those, power stance rating, combine into power level? Sounds like a good app.
Ukraine crisis: What are Putin's calculations?
I would love to do this, but it's difficult to sacrifice 10 days in the context of a busy life.
Reconnecting Web Sockets without Flooding the Server
Have you looked into the Rackspace Cloud offering?
We're slightly less litigious this side of the pond... :-)
I saw a screenshot of an XSS injection. You don't know that you haven't altered data. You think you haven't, but you don't know it.

I congratulate you for talking to the owners before publication, however.
>No insurer is going to sign on for that sort of risk at any price.

One already has: http://www.bbc.com/news/technology-25680016

But I'm not suggesting getting insurance from insurance companies. I'm suggesting that every bitcoin bank should set aside some small share of its revenues to fund the industry's own deposit insurance scheme. That's how deposit insurance works in many countries. If the losses exceed the fund's resources then it's too bad for the depositors.

Insuring bitcoin banks (or rather storage companies) is not actually that problematic because losses at different banks are uncorrelated. That's a much simpler situation than insuring regular banks, which have loan loss risks that are strongly correlated. Recession -> unemployment and bankruptcies -> non performing loans at many banks at the same time.

You are right that regular banks cannot lose everything in a single event. But that's not true for many other types of insured assets. Fire insurance being one example. As long as there are many insured and the losses are not strongly correlated it's not a problem for insurers.
Ask HN: Automation in IT
HN,
I'm a developer of some 8 years now.

I'm trying to think long term about a career 5, 10, 20 years+ from now.

I keep seeing endless articles about not just outsourcing, but moreso automation of IT jobs - everything from IT support to some development.

Any thoughts, comments, or experiences you can share are appreciated
Any links to the full story, or maybe just some keywords I can use to search the google?
Field Trip languished on my phone, but the immediacy of the contextual information on Glass transforms the experience. It is surprisingly delightful to get "little gifts" of information as you are walking through a city. Walking by a nondescript restaurant in an unfamiliar neighborhood, learning from Glass that it has received great reviews, and having an amazing meal there feels like the future.

So does the Google Now style "you should leave for the party now", "here are the directions", "would you like to share the pictures", though that's less improved by being wearable, rather than smartphone based.
You can stop worrying now: what you're afraid of doesn't actually happen, though I sort of see how someone who hasn't spent their life studying mathematics might worry that it does. Since you have to back up your ideas with proofs, you can't in the long run hoodwink people into accepting false statements.

You also seem to worry about mathematicians accepting perfectly consistent sets of ideas even when those ideas contradict "inuititive observation of reality". To that I can only say that mathematics is not a subject where intuitive observation of reality plays any major role. What decides whether some piece of math is good or not is whether it is logically consistent, found interesting by people, and useful, either in other parts of mathematics or in applications to the real world. Notice in particular, that if the applications work no-one cares if part of the math leading to them contradicts any given person's intuition. For example, physics uses real numbers a lot and your intuition might tell you they don't make sense because there can't be uncountably many different things of any kind. But physics work extremely well and the math it uses is consistent, so we use it even if it doesn't sit well with a few people.
getnarrative.com

Well, except they are Swedish ethnographers so they care about you taking pictures of your baby while you spend a year taking care of him or her (and auto-send cute pictures to the grand-parents) and not US ambulance chasers suing the life out of everyone, or gun-totting libertarian testing Sheriff's patience, but cultural idiosyncrasies apart, the idea’s roughly the same. :)
How are transfinite numbers "nonsensical"?

When you get into infinity, you have two notions of "number" that diverge. Mathematical operations on them do different things. (For example, cardinal "exponentiation" is the power set; ordinal "exponentiation" is something different and smaller.) One is size, but proper subsets can have the same size at infinity (integers, even numbers, rationals). That's where Aleph-0 (cardinality of the integers) and "c" (cardinality of the reals) come from. With cardinal infinities, you can't really do meaningful arithmetic because the field properties don't apply. "Infinity" violates the mathematical fact that x+1 != x, for example.

The other notion comes from the concept of a well-ordered set, which also maps nicely to "indexes" into possibly infinite lists. With this foundation, you have more options in terms of mathematical manipulations: you can add ordinals (but not always subtract them) and, because they pertain to list operations, the traditional "field" properties aren't always commutative. That's where we get ω, ω+1, ω^2, ω^ω, ε_0 and so on. Those all have rigorous definitions. For example, ω^2 is the order type of ordered pairs of numbers with lexicographic comparison:

(0, 0) < (0, 1) < ... < (0, 10^100000) < ... < (1, 0) < ... < (2, 0) < ... .

... and ω^ω is the order type of formal natural-number polynomials in one variable with lexicographic comparison:

0 < 1 < 10^100 < X < X+1 < X + 10^100 < 2*X < 10^100*X < X^2 < X^3 < X^3 + 1...

Where things get messy is that the relationship between cardinal and ordinal numbers (more formally, what ordinal number has the same cardinality as the reals, or the continuum?) is, in fact, formally undecidable. (Continuum Hypothesis). That doesn't mean no one has solved it. It means there's no mathematical way to refute or prove it from ZFC, the Zermelo-Frankel set axioms plus the Axiom of Choice. The CH is neither true nor false, insofar as one can have valid mathematics with or without it.

To put the above more succinctly, we know that the countable ordinals are a well-ordered set (totally ordered with a minimum) and since no set contains itself, that set is uncountable. It is, in fact, the smallest countable set (the ordinal numbers are totally ordered by the subset relation). That's called ω_1. Intuitively, we might hope that that's also the same "size" as the real numbers (we don't know of any smaller uncountable infinities, and we can't construct any). But there is no way to prove or refute whether that is true. Mathematics is valid either way; it has to "fork".

It's not "nonsensical". What it is is formal. It may or may not map to the real world. You can't actually perform Banach-Tarski (Axiom of Choice hack) on an orange, nor can you store a complete Hamel basis on your hard drive. But these concepts are still useful in defining our notion of what a "set", precisely, is.
More info: http://scientopia.org/blogs/goodmath/tag/cantor-crank/
Quick Service Restaurants.
Delivery. - Google Coordinate?
Pick and Pack Fulfillment Facilities.

The immediate need and future for wearables is in the service and manufacturing industries where humans are still required but need to be more efficient.

Being able to see the status of every order, take a pic of every order as it heads out for QA, being able to see the customer placing the order at the drive thru or maybe through an app on their phone in the parking lot or driving up, etc.

People don't have an immediate need for wearables in their casual, everyday life. But they do have a need for those in the service industry to continue to create better, more efficient experiences. And then you have manufacturing and fulfillment facilities where people already carry around small computers and thermal printers for identifying and noting batches and statuses on the floor.
HN has always had a vocal population of pedants who like to complain about shit they can nitpick apart for no good reason.

Combined with the other population who don't like to see tools and projects that let "lowly" developers accomplish the same things they worked so hard to do the manual/complicated way, and you get this thread so far..

Such is life...
Yahoo will block Google, Facebook accounts from accessing its services
What does this show? Just prices from btc-e and bitstamp? The lowest available price across a selection of exchanges? The highest? This isn't very useful to me in it's current form.
There are currently no financial penalties if a website is compromised as long as the data store which has PHIs (Personal Health Information) is encrypted and the encryption keys are also safe. However, any compromised NHS website would lead to bad publicity and insecurity.
Very misterious :) Is it public what's coming?
> We spoke to the overall owner of the sites

What do you mean by this?

In the article you state:

> in many cases there is simply no way to contact the website owners

Do you simply refer to the owner of the parent domain name?
Self-deprecation has been part of CodeKit's branding since the beginning, when nobody had heard of it and the author had to put up his first fake testimonials.
The problem I have with meditation is that I get too relaxed. If I clear my mind and let my muscles go limp then my heart rate drops very rapidly. I decided to experiment with it when I was waiting to have my wisdom teeth removed. They hook you up to a heart monitor to make sure the general anesthetic doesn't cause your heart to stop, and within a few minutes of meditation I managed to set the heart monitor's alarm off.

Through years of practice I've gotten faster at it, and now I can get into a reasonably deep meditation in less than 30 seconds. The problem is that after about a minute my eyes start to very painfully roll back into my head. It hurts like hell and is completely involuntary. Trying to keep them from rolling back prevents me from meditating.

I've looked around on the internet, but I've never managed to find an explanation of why that happens to me. Seems like I'm a pretty severe outlier on that one. Has that ever happened to anyone else?
Agreed, this thread is ridiculous. Bryan is one of the funniest guys in the industry and his product is excellent
At the risk of prolonging an unnecessary digression (the analogy was brought up by the parent), I still don't believe a public URL in itself contains a path. In fact it's quite possible that some URLs may never lead to a valid path depending on the starting address. Paths are only inferred or drawn up during traversal.

I wouldn't mind being proven wrong though, preferably with an example.
I love the "How to unfuck the internet" graphic at the end: "This is the main FCC switchboard. At the prompt, press 1 and then 5 to be connected to an agent and file a complaint."
What is a reasonable donation for something like this?
Arq 4.0
> I don't totally see the point to these arguments.

Yes and no. The encryption key is fixed? Why not use a session key that is (nominally) ephemeral to the running snapchat process at least?

> if they can view it once

I have a camera and a phone. I can record anything displayed on my phone forever regardless of technology, and so can a three year old. Especially for "sensitive" snapchats, the "analog hole" (aka: a human has to be able to view it for it to be visual communication) renders all these ideas moot. It has absolutely nothing to do with "clever" drm-like hacks.
Sure, there is a place for in-app purchases. But there has to be some moral code involved. I think that in general, paying for consumables is bad, but paying for extra (permanent) features is fine. There may be exceptions to this. There's this website, http://honestandroidgames.com/, that has its own moral code but it is quite restrictive (must have no ads, must be either free, paid or free with a single IAP that unlocks the full game.) I wonder if it is possible to come up with a more flexible moral code for game monetization.
I had exactly the same thoughs today earlier, before seeing this article. "horror stories" was exactly the words in my mind. To be a prosecutor in the US is a political career, and they go nuclear to sentence the highest number of people they can, with the maximum charges they can, doesn't matter the situation, all out war, to get some press. to make things even better, the jail sistem is private, to build and run jails is a business. There was a guy who the cop befriended and pretended to be his good friend for 2 years, just to convince him to bet some money on football, then the cop sent the SWAT to arrest him for betting , and the Swat guys killed the man in his house. It was on HN i think. Being a third world foreigner and not so white as I am, It becomes easier to abandon the dream of ever stepping the foot on the country. Is a Pity, I really would like to see the girls in the California beaches and Las vegas.
CodeKit is awesome and Bryan is a funny guy. I'm surprised that so many people don't get the humour on the website. I love it. Shows me Bryan's a real genuine person.

Oh and he's built an awesome product that makes my life so much easier... and he doesn't demand I pay the earth for it. #win
Looking for a Template Website 
I remember a site posted here a while back, it might have been a bootstrap theme page but I'm not sure. It was very well done - clean and in the sort of web 2.0 scrolling down style. The page had a few templates for different styles of sites (portfolio, startup etc). Any leads? I know this isn't a lot to go off of.
This is quite interesting. On the one hand, I do understand that autoloans are very easy to default on. So there should be some method for loan companies to get these vehicles back. However, I also think that loan companies should more carefully screen their applicants. Of course, that would mean that loan companies make less money on loans and fees, and that they lose money on reselling cars that are already partially paid for. So I'm conflicted. But I don't think that the mass collection of data is the way to go, ever. And I wonder about the legality of putting up a "fuzzy" license plate. Say if your plate number is 123-AB12G or whatever, you simply write on a piece of cardboard "One Two Three Dash Aye BEE One Two Gee." I'm sure there's legislation against that, though.
But those people aren't really "facing" dozens of years in prison. You are assuming the point you are trying to prove.
I am positive this is the real and only reason Google is doing this. It's the reason they became a browser vendor and the improvement in browser capabilities and standards has been glorious.
Unless I really, really, really want to use a service, I only use it if I can login with gmail or facebook.

I don't have time for your shit registration form or strange password requirements. I'm always logged into gmail and facebook, so those are always one-click accounts for me.

I understand wanting to become the identity provider, but the ship has sailed here.
“The Hard Thing about Hard Things”: The most valuable book on startup management
Show HN: Spritz like bookmarklet
After reading about Spritz I wanted to try out RSVP reading in real life so whipped up a basic bookmarklet version.

Supports: pause, rewind, jumping, WPM adjustment, Spritz like word centering, variable speed depending on word/punctuation.

http://www.davidhampgonsalves.com/spritz-like-rsvp-reader-bookmarklet/
Two heads in a row.. the coin must be rigged ;)
I love that it's easy to implement an editor in the browser these days. It means that if you have an innovative IDE concept, you can push out a prototype in a day and not have to worry about all the yak-shaving that goes into making a basic editor.
I know Sarah Lacy is a bit of a joke as a journalist, but here she is giving a glowing review to a book written by one of her investors.
They do spend a lot of time courting ruby/rails devs, though, so being able to say rubygems is hosted on AWS might be worth throwing them a significant discount.
How to spend your first $100 in Facebook Ads
Well, it runs on Android? And you can compile your own kernel, and install google apps (or even run it in an emulator, anyway)... so... game over (wrt access to whatever is written to disc (or ram...))...
clickable link: http://www.davidhampgonsalves.com/spritz-like-rsvp-reader-bo...
This is one of those unusual posts to which I have nothing of value to add, but feel compelled anyway to take the time to say that it's one of those insightful perspectives that I find inspiring.
And iOS7 Safari
Interesting, thanks. Maybe next time we update, I'll try to convince everyone to panic-delete a little less :)
The world's sexiest Web Design Framework
Try preev.com
We spoke to HSCIC who manage .nhs.uk. We also spoke to senior civil servants in the Department of Health. We also contacted people who were listed as the owners - but in many cases were no longer responsible for the sites.

With some, we were able to contact the developers behind the sites. Others just didn't respond.

Basically - no one in the NHS or DoH knows who manages the thousands of .nhs.uk websites. We did our best to contact individual site owners and, where that was impossible, alerted the government directly.

Hope that clears it up.
For me, the big one missing would be Skype. There seems to be a command line client called Clisk though, so perhaps that might be worth checking out.
nonchalantly getting out credit card to pay for a great upgrade to an app I use daily to make a living while browsing through bitter comments from people that probably never even used the damn app
California Court Rules Okay for Drivers to Check Mobile Maps
Terrifying startup prospect: Imagine a small dashcam-like consumer device that was able to perform the same type of license plate recognition coupled with GPS location. A data collection company could provide these devices for free or at a low cost to anyone, and then pay drivers for every license plate scan their box sends in.

Obvious downfall: someone will figure out how to spoof a GPS signal and randomly generate license plate images on a computer monitor and make a bunch of money for uploading junk data.
Wanted to throw in a second vote for Jekyll. It's pretty easy to setup, and nothings lower-load than straight HTML serving.
Sorry, I meant to upvote but hit the wrong arrow.

As a side point, I found the piece very well written. The author's biases are not hidden, while the analysis stays focused on objective points, which makes it very well balanced IMO.
> most of it can't be done that way and remain useful to humans (like assembly language, it's too low-level for most applications).

Sincere question (I'm not a mathematician): why can't it be done that way?!

On top of an assembly language you can create a higher level language and on top of that an even higher level one, and it is airtight, it has to be or the code won't compile or will throw a runtime exception, the compiler or interpreter doesn't just "roll a dice" when it comes across and ambiguous statement! You just can't have ambiguous statements, so starting from a "precise" assembler everything else built on top can absolutely be "air tight" at the language level.

(Now concerning what the program actually ends up doing (like something else than you intended), or that sometimes you trade off security for speed and get a buffer overflow, ok, these things happen, but not at the language level! usually, and when they do - like C programs exploiting undefined but known for certain targets compiler behavior this is either advanced malicious obsfucation or random rookie mistakes.)

So explaining the question: why can't one build a higher level mathematical language bottom up, starting from an "assembler" of machine-checkable proof steps and building one or a few levels of higher level human-friendly languages that still map unambiguously to the lower level one?

Just because mathematical language has evolved in a top down fashion, starting with describing proofs in words or symbols derived from words, and then developing more an more precise language and systems, it doesn't mean that one can't go the reverse route, bottom up, an maybe meet closer to the top in a way, so that the resulting new mathematical language will be similar enough to classical one not to scare everyone away, right?

...and the benefits seem immense! Imagine:

(1) replacing years of peer review replaced by machine checking basic correcting (+ some machine testing on huge data samples, for testable proofs, just to be sure there was no bug)

(2) AI expert systems bringing real contributions to math by actually discovering new proofs AND providing them in a language understandable for humans, so humans learn from them and discover new techniques

EDIT+: (3) allowing the development of much more advanced theories, because just as in software you can build much larger systems once you learn how to write more "bug free" code, the actual complexity of the proof could be much larger and maybe new realms of mathematical will become accessible to human understanding once we have a "linguistic aid" to reducing the percent of faulty proofs and the time spent debugging them