skysight-inc/HackerNews huggingface dataset:
Except that yours doesn't make logical sense. You're suggesting that someone who is good (?) at HTML and CSS can't grok Haml syntax. That just doesn't compute.
Haha KloutCoin. Don't tell that to klout they WILL do it.
I think it was an attempt at humor, but just completely missed the mark.
I never got to why this kind of work was stopped.

I only heard the same argument (this is the phrasing from Wikipedia but everybody seems to say something along these lines):

>"However, in 1931, Gödel's incompleteness theorem proved definitively that PM, and in fact any other attempt, could never achieve this lofty goal; that is, for any set of axioms and inference rules proposed to encapsulate mathematics, there would in fact be some truths of mathematics which could not be deduced from them."

...so what?! The fact that there can be truths that can't be deduced from an "assembler language" just means that the system will sometimes just say something like "error: no proof in the current model database for 'fact x' found" and then the mathematician will just add "consider 'fact x' proven as in the defined in modelXYZ" (a model that can have a totally different logic than the current one - think of a model as a library written in a completely different programming language, in software analogy), taking responsibility for the fact the equivalence of the concepts 'fact x in current model' and 'fact x in modelXYZ'.

The long term goal would be unification of as many of the models as possible (even with, what I understand from Godel, as the impossibility of total unification - if something is proved to be impossible, it doesn't mean you can't get great benefits by always getting asimptotically closer to it) preventing such "forced equivalences", but it would still be a working system in the meantime. And more importantly, I guess, the system will make the "forced equivalences" obvious, and label them as problems for mathematicians to solve.
Server identity validation with SSL certificates.
Anyone know Sam Forbes?! kate.conway@itn.co.uk
What a unique way to get separate yourself from the typical personal "portfolio" website. This reminds me of Robby Leonardi's interactive resume http://www.rleonardi.com/interactive-resume/
The thing that I find so disturbing about all this is that it does away with the notion of providing value for value. These game companies are not trying to make the best game possible for their customers, they are trying to manipulate and deceive their customers.
That Map is ~1.7m pixels wide.

If we redid it with the solar system (diamater: 10bn km) as a single pixel then it would be 3,800 pixels to Proxima Centauri, 94m pixels to cross our galaxy and 2bn pixels to get to Andromeda, the nearest "major" galaxy at 2m light years away.
I started my career at SAP. Although I feel like I'm behind the "startup curve" because I spent 4 years there, the lessons I learned about managing teams and understanding complexities in a large company are absolutely priceless. I don't believe it was a mistake whatsoever. You and I are probably being too pedantic, but I agree, it was a poor choice of words.

Lately, I've noticed a meme from investors about discerning founders who can start companies and those that can grow beyond 250+ employees. The generally consensus is that there are very few entrepreneurs (Zuck for example being one of them) who possess the capability to scale. I'm not talking about scaling servers, I'm talking about scaling organizations as quickly as their revenues grow. Looking at it through the lens of an external person, this may seem trivial at first, but having been in the professional world for 8+ years now, there are some key challenges all companies hit when they hit certain growth (for example, hitting 50 and 250 employee milestones). Working for a big company can (notice I didn't say will) prepare you for that.
I'm not convinced on the marketing part. How is a lifeguard post or a ranch more social and less conflicting than firefighters or construction workers ?

Now, if I was heavily into buying Lego bricks, I'd also mix from the different sets to have more situations, and my kid doesn't really care if his toys are action figures or dolls.
by definition it is fiat
When Putin met Reagan
Yes, lots of APIs that take char * will break if you pass them some arbitrary other type of data that you assume they will handle.
High Class Escort 2013 InfoGraphic - 1.4K Hours - $2K/Hour
No kidding. This submission is going to be littered with people (all genders) expressing the same sentiment.
Your point about faith in a savior being important to a Christian allegory is apt, but...

> if anything, it's a Buddhist tale, not a Christian one

I don't know why any philosophy (religious or otherwise) should get dibs on the "it's better when people care about each other" message.
Not actually a server that's spinning up though is it?
In a couple years or so, my bet would be on Rust.
"if you look at Bitcoin and you see the contributor list, it’s a dozen people writing a majority of the code. If you lower the barrier to entry and allow people to experiment, you bring more people to develop it in the space."

So true, the biggest complaint from the Bitcoin core devs is that there are few people contributing. Especially when there are heavily funded companies relying on this code.
An analysis of the fonts behind the best type-driven websites from February 2014
Here in the UK public domain does not equal easy to get.

Planning applications are available for viewing at the local planning office but they are not available online (though I know a guy who works at the local council who is pushing for them to put all their data online as part of the open government initiative so change is slowly coming here).
The free development plan is pretty neat, but other than that it just seems like another shared PHP host.
>Money is made by pushing buttens at the right time to move numbers around a network.

Yes, and that's probably not going to ever change, not sure what your point was....

But here's where people get REALLY rich. Banks financing government debt (pushing a button, as you say) which is cosigned by 300 million of us serfs, for stupid unsustainable shit like wars and welfare. The banks and credit masters win, and the rest of us are FUCKED.

PS guns and butter was what led to the end of the gold standard. If you think bitcoin is going to somehow stop governments from over spending, or banks from over lending, foreclosing, and buying assets for pennies on the dollar, you need a history lesson.
Show HN: Book a SXSW event with one click through bThere
How the hell did i never know about these? So cool! :) Just stumbled upon the SUBARU radio controlled car video an hour ago.
...but the TLD might be blocked and/or logged by my enterprise, so I won't click at work.
The point isn't whether the actual content SFW or not, picking a TLD that's inappropriate for most workplaces is probably not a great idea.
It's not just the inaction, I despise the subtler shenanigans, which is the tremendous influence of using humor to establish truth or falsehood. "Well it's funny and I'm hilariously entertained, so their message must be true!"

Humor is a great wrapper for the sour pill of deception. At first our conscience might reflect on the acidity, but given enough exposure, eventually the mind will heartily consume the sour pill as if it was the sweet truth all along.

We're firmly at a point in society where truth is not often established by a hard and uncomfortable examination of facts, but whether or not we feel comfortable and entertained by whatever thoughts are presented before our minds. Feelings rule supreme over facts in this country, by far.

Does it make me feel good? / Does it make me feel bad? / Do what makes you happy. -- Just a few of the feeling-oriented mantras society uses for decision making.
That is the most beautiful website design I have ever seen. Bar none.

[applauds]
This is a tiny project. As you may know, Amazon started off as an online bookstore too, I am not saying, I am trying to be Amazon of Pakistan, but it can't ruled out altogether ;) even at a smaller scale with proper skills and marketing and of course funding it could be a money-making venture.
Yes, I've always suspected that.. It's either that or a really good 'personal recommendation engine'.
We have digests here: https://github.com/antirez/redis-hashes.

EDIT: sorry replied with a mobile device. Basically we store digests there at Github while the tarballs are in a different server running at Linode. The idea is that is unlikely that an attacker can gain access to both the Github repository and the server where the tarballs are stored.

However security conscious users need to download the tar.gz and verify the digest manually or via a script (the format is computer parseable).
A request is a http request.

Wordpress is getting increasingly better at keeping requests lower. And it's all up to a user how they optimise; they can get it down to just a couple of requests if they wish.
I think Coffeescript is not as much a 1-to-1 mapping to javascript as HAML is to HTML. It has a bunch of features that don't exist in Javascript and that I, personally, am only familiar with because of previous Python experience.

There's also a productivity thing: familiarity is a really big deal in UX design, and dev environments are no different - you might already have your build system all setup, and be accustomed to read non-HTML/CSS syntax, but others may not be up to the same speed and the requirement for a non-standard tool may bog them down more than help.

Time and again I've seen people say their setup is great, but then try to get someone else setup too, and it's a never ending series of downloading this and installing that and some typing some undocumented command line thing and oh you need a VPN connection to see the database in order to auto-gen that other thing, and to start the web server you type this, and oh crap how do I edit hosts files in Macs again, etc etc
Read novels in under 90 minutes by optimizing word placement with Sprtiz
Because until very, very recently, we simply haven't had the means to compute any proofs that mattered.

Rendering even relatively simple high level concepts in to low-level structures and then deriving them in the basic steps takes massive amounts of resources. At least one proof took over 15,000 pages of text (had you printed it).

A secondary problem (which we've been working on for a couple decades now) is that we lack the machinery to translate the results back in to something human readable. At some level, mathematics is about the ability of humans to understand the relationships between things, so computer proofs that only the computer understands don't really help us - especially if we can't relate them meaningfully to our other knowledge.

I mean, people have been trying for hundreds or thousands of years - it's just kind of a hard problem.
Coding Research: Teachers Motivated to Code, but  Not Confident To Teach It
Hi! Laura from Jumpstarter here. :) Hoping to answer any questions.
The main pitch of bitcoin is electronic transactions with no central coordinating system. If bitcoin didn't heavily favor early adopters, no one would have gotten on board.

It's even still technically possible for bitcoin users to agree on a code change that would keep making coins forever (like dogecoin). It would result in a hard fork of the blockchain, but if most clients agreed to it, it would work just fine.
I've never understood this obsession with public source repositories. What is the difference between experience writing proprietary code and experience writing code that happens to be published on GitHub? Both kinds of experience are valuable.

Most tech employers own everything you do, even on your free time. So a large GitHub history can send the message that you're not employed all that much.
Well done. And a proper LaTex resume too.
Thank you so so much for being in this world and creating Redis, it is wonderful!
Same here, so I hope we'll get to keep Zite with Flipbook's look.

Zite has a few serious UI issues, and it's a testament to how good it's actual recommendations are that it's still my most-used consumption source (other than HN).
You seem to get a locked down VPS. Looks like a Debian distribution, but no root access, no installing packages.
Far from it.

You never have to worry about if other people are being resource intensive for one major reason. And if you got Hacker News'd, rather than punishing you and everyone else – we'd instead give you more resources to deal with it :)
Killer idea for a website!
It obviously was a joke but still how is donating money to children in Uganda helping to calm angry feminists down? I'm confused.
Thanks for the tip on the Creator sets, I visited my local games store recently but did not see these. Just bought a couple sets on Amazon... now I have Lego again (in a few days)! :D
How You Get Hundreds Of Twitter Followers In Days
Norway's Lovely Memorial to the Worst Mass Shooting In Modern History
Is Spain Weed-Friendly? 
If you ever go in Spain and decide to try some local marijuana, you should first consider this information: There’s no law that regulates marijuana use or possession, which may mean that consuming weed is not a crime.
Gmail for iOS now has Background App Refresh
I have owned the book for quite a while, the quote was originally about science- but it is so harsh it stuck with me.
The "DC city government" is an abstract notion representing an ever-changing group of people. As such, it is incapable of conscious thought and does not actually believe anything.

Certain individuals who are part of the DC government believe those things. Some other individuals don't. We count up the ones on each side and then democracy happens. We have the courts to make sure the majority hasn't gone completely crazy.

DC went through a long time where they were leading the US in murders. When people are getting shot around you left and right, it's pretty reasonable to think that maybe you could stop that if you could stop people from having guns. The purpose of the laws was to stop people from getting shot. It's pretty clear that David Gregory was not going to shoot anyone, so putting him in jail was not going to serve the purpose of the law.

Are they willing to be as rational if the person isn't famous? I don't know. I'm not aware of any other cases where a non-famous citizen has gotten ahold of an illegal ammo clip to use as a prop in an argument about gun control.
A cryptocurrency whose hashing was somehow based on protein folding (i.e. Folding@Home) would be comparatively simple to pitch to laymen. Q: "Where does 'curecoin' come from?" A: "From people who research new medicines. Those who perform the most research for new drugs are occasionally awarded new 'curecoins'. Those coins are eventually spent into the economy." Etc.
Very impressive. I like that it's still mouse-navigable as well, with clickable links.

Unfortunately, it seems to capture all keys, including browser navigation keys, such as to switch tabs or open a new tab.

Also, one oddity: page up and page down work, but also insert ! and " characters at the prompt, respectively.
Part of the problem is, how do you know you can't prove it rather than just that you haven't proved it, without some kinda of metatheory framework?
The "Buy Here Pay Here" car sales lots that sell primarily to low-income folks often install tracking equipment in the vehicles they sell as a part of the deal.

Ken Bensinger's 2011 LA Times series about the practices of Buy-Here-Pay-Here car sales businesses:

"A vicious cycle in the used-car business"
http://articles.latimes.com/2011/oct/30/business/la-fi-buy-h...

Fairly depressing.
The one which doesn't try to, should. Bokononism maybe?
Interesting that there is a sudo command. Unfortunately, it's nonfunctional :)
Yahoo Buys Social Data Visualization Firm Vizify, Will Shut It Down
You're basically asserting a hardline-principle ethic for them. However, as someone once said, "principles are what people die for," so you might agree that the relationship between IAP and desirability of play is a little more nuanced than, "well why don't you murder it out of your life, then?"
Yes. However, it's not a VPS service. The file system is automatically managed by Jumpstarter and upgraded without downtime. The idea of no root access is not to limit you, but because you shouldn't have to worry about administration - we handle it all.
Neat.

Satellite imagery isn't terribly expensive and Lowes has 1830 stores.

I'd bet it's a lot more efficient in the end to just buy a consistent set of images for X stores of interest, X times a year than worry about the installation, maintenance of location specific concerns of cameras/sensors at every store.
I would find that interesting. Like others above have noted, a lot of papers are written for reviewers, and not with the intention of making it easy for non-experts in the field to understand the concepts involved. It would even be useful to be able to post questions/comments about the parts you don't get and have people direct you to relevant background reading.
I like this, but just to play devil's advocate: What if I don't know how to use the site? Or worse, if I'm immediately turned off by anything that looks complicated.

Perhaps it could default to a regular site, and this could be an option "Are you a hacker? Yes/no"

That said, I support your decision to keep this as the default in the spirit of hacking.
/u/ramblerman got it, but there's probably some influence from discussions in a philosophy class I attended a long time ago.

Don't be surprised, it's not an uncommon belief. Start typing "is bud" into Google and look at the first result.
Using DNS as a Contact Discovery Framework
Maybe this can be the next topic on "What if" of xkcd.
It's an interesting question but most lawyers will not be able to run a technology company..
Always glad to see tree being used.
Not only does this look great, but the code is really clean too - both the javascript and the generated HTML. Nice touch that things are clickable. Seriously awesome work.
The problem here is that binary input is valid according to the spec [1]. It's not malicious input in the sense that a programmer is using an interface deliberately wrong but rather in the sense that a counterparty could send you a non-garbage certificate that contains that data - which would be valid, but still break this code. That's not comparable to passing a bad pointer or a bad length.

[1] at least according to the post. The fact that gnutls added a binary interface later seems to support that reading.
As long as I don't start getting "we noticed you parked in our parking lot but didn't buy anything ..." e-mails, I'm totally ok with it ;)
I think it's too early to say, because the impact of work is seen over time.

But candidates probably include Breiman/Cutler for Random Forests, Dean/Ghemawat for MapReduce, Peter Shor for Shor's algorithm, Daphne Koller for machine learning, Jon Kleinberg for network algorithms, Luis von Ahn for human computation.
Off course he did.
http://www.salon.com/2013/05/06/my_virginity_mistake/

Would you have preferred she stayed with the man she impulsively married and had children in a loveless marriage?
Zite is a strong product, and I wish the team well. (Disclaimer: Mark Johnson is a friend, and deserves some time off.)

This is admittedly self-serving but appropriate for HN: If you're interested in an alternative, I quit my job at CBS yesterday to work on a new SF bay area startup that's aiming to provide personalized news with zero configuration. You can sign up to be notified of the beta at http://recent.io/
I am a micro roaster myself an I will say that there is a huge need for me to find quality coffee in quantities that are manageable for my equally "micro" side business. I think that the homepage does not do a great job of describing the service or who it is for. I could see some simple images and text or a video replacing the actual product on the homepage. Details about each of the beans is also lacking. Do you guys have coffee experts on the team? The "About Us" page is very ambiguous..looks like a bunch of tech guys. I am excited to see where this goes!
How is a signal generated by something owned by me, located inside my private residence, intended for use inside my house by my family and guests only, considered "publicly broadcast"? Are cordless phone transmissions publicly broadcast? Baby monitors? Burglar alarms? Home automation devices? Bluetooth headsets?
> We want to be able to add two numbers and get another number, but we don't want to be able to intersect two numbers as if they were sets, even if they happen to have been built out of sets.

Can't we do this in current mathematics?! I mean, no physicist or engineer ever thinks of numbers as sets, even if you are the kind of physicist that reads and understands mathematical proofs.
BATMAN MEETS IRON MAN IN THIS HIGH-TECH ARMOR
Well played Clark Duvall... well played...
That seems a little weird. Let me put this in context, if I host my server on digitalocean for $5 a month or what ever, and let's say I have 1,000 visitors a day, which is rather small for a blog. And let's say I have a css file, js file, 10 images, and a website. That's 13 http requests assuming that nothing is cached. That translates to 390,000 requests a month (assuming 30 days), which is 90,000 over your 300,000 request limit. So for $50 a month I can't even do what my $5 a month server at digitalocean (and a free server at heroku if we want to compare it) can easily do?

You may want to rethink that.
That's weird, I read that quote like 2 hours ago, and I'm sure it was on HN, but now I can't find it? Where did you see it, so I don't go insane?
I assume this is a jab at Atom?
When intentions go public [aka why you should keep your goals private]
FREE Today - #3 on Amazon - Book for Entrepreneurs on Overcoming Depression
> you could track the plates of the cars, and tie that in with retail cellular tracking ... Facial recognition still needs a couple of years. Over time, you could tie the cellular phone, vehicle, and electronic payment (debit or credit card) to an individual. Continual tracking.

No thanks. The day that happens is the day I stop shopping there. That would be the "creepy" mentioned in the story.
Fraking books. I'm sure we all feel the guilt of letting our kids read books too early. Fiction, non-fiction, magazine, and gasp graphic novels. And the movie tie-ins, the fantasy worlds, the sci-fi realms. I knew as soon as I shared A Wrinkle in Time it was all over. Now they're reading everything and deep diving into over-consumption. Star Wars fiction, biographies, current events, and even internet sites.

Fiction is the worse. All the best books get made into movies that my boys have to see. Sometimes I wish I never picked up a book and instead took them on hikes and taught them to shoot guns.

(That's about the point I gave up reading...)
Eating too much meat and eggs is ‘just as bad as smoking’, claim scientists
If you're lucky enough to find somebody smart enough to understand the website AND want to hire you, then you can count on the fact that they are going to limit you to backend development. Developing and designing user interfaces are obviously NOT the website author's strong point. Additionally, by looking at the GitHub projects, backend development isn't a strong point either.
This is really cool! However, I can't seem to type the 'l' character to, for instance, do 'ls' or 'less' for myself.
An interesting point, but if interpreted by the wrong person, using wpscan (which makes a load of requests to the site) could be considered dubious under the CMA (I definitely wouldn't run in against a site which I wasn't authorised to test)

From what I know vulnerability scanning (which is essentially what wpscan does) is a bit of a grey area under UK law.

It's been likened to someone "rattling the windows" of a house. They may be doing it with the intention of notifying the owner that he's left his house unlocked, or they may be doing it to attempt to gain unauthorised access..

The analogy isn't perfect but it's one I'd step carefully on.