skysight-inc/HackerNews huggingface dataset:
Introducing Auto Awesome Photobombs with David Hasselhoff
> indeed you could argue that a language is functional iff it can be mapped to the lambda calculus.

Lambda calculus is a higher-order, applicative functional language. There are other kinds of functional language.

For example, kappa calculus is first-order. Joy is a pure functional programming language which is based around composition instead of application.
The Internet Is Killing Most Languages
Telefónica acquires eyeOS to reinforce its cloud services offer
Can't wait to use this! :D
Hi

Unfortunately due budget constraints we can't allow unlimited access to test game servers. Do you have an estimate on how many rounds would you need to evolve the algorithm enough?
Spinlocks are only used for low-level locking, and held for very short periods. A killed process won't die while spinning on a spinlock (or while holding one, of course) - it will find out the next time it goes into an interruptible wait or returns to userspace.
Técnicas de Construção e Fabrico de Blocos de Terra Crua em Curso da FUNDEC
This comes to mind:

http://en.wikipedia.org/wiki/Curry-Howard_Correspondence
Facebook owners offload shares
Is that true? At least in the OCaml ecosystem (where there is many many compilers), ocamllex and menhir seems to be used quite often.
And four times the price.
Did you get Numberwang?
Same post, on the much more readable Gamasutra:

http://www.gamasutra.com/blogs/AdrielWallick/20140331/214258...
One should come up with a new word for that kind of wall: privacywall ? freeregwall ? signupwall ?
Lambda calculus is a simple model of substituting values into variables. For anyone studying the behaviour of such a system (eg. programming languages or Mathematical proofs) then LC is an nice, simple model to work with.

A physical-world analogy would be the billiard-ball model of atoms, which works well to describe the behaviour of gasses.
I would almost always put expensive purchases (holidays, events, furniture, etc.) on credit card because if the vendor gets into financial trouble, etc. you basically have no protection under standard sales legislation (you have to get into line with all the other creditors) but you have significant protection if you purchase with a credit card.
7 tips to launch a successful app
Hi everyone, Bleau here from moWOW. We made a follow-up post to clarify both the nature of the post and our thoughts on having players mine Bitcoin - http://blog.mowowstudios.com/2014/04/bitcoin-mining-way-home...

Yes, it was just April Fools. It would take 30k days to mine one block with an iPad 2, not to mention how sleazy it would be to do it behind our players' backs.
This site has a culture. That culture is to focus on intellectual curiosity. It doesn't mean other things aren't also good; I personally love frivolous humor. But HN can't be all things. It needs a focus, and optimizing for one thing means trading away others, as in any engineering or design problem. The real agenda behind my post is that we want to get the community participating more in maintaining this culture. It's an experiment and it may not work, but I hope it does.
Better Tools, Better Products
The HLL principle seems quite similar to this way of approximating a biased coin with a fair one by counting the 1s in binary

http://amakelov.wordpress.com/2013/10/10/arbitrarily-biasing...
Maybe true for a personal user, but not for a business.

If you're not basing a product around it, the parts cost is trivial compared to the engineering time cost. If you want just one (or a handful) for a one-off project, $25 and $75 are "the same" to any sane business for this. The team will likely spend more on coffee than controllers/SBCs in the course of development.
It's not HD Graphics 4000. It's just HD Graphics, with no numbering. It only has 6 execution units (compared to 16 on HD 4000) and is clocked much lower.
It all depend on what one want to do, and what ones business model is.

Looking at the Opencall website, your are only selling it as a hosted service and not as a product. Both GPL and BSD will allow someone to create a competing hosting service and add any proprietary addition to it without having to share it back. AGPL would make sure that any such addition is shared back, so your business will always has access to improved versions.

Contributor Agreement is irrelevant since you won't need one if you just do hosting.
As I said above, this thing is much slower than the HD 3000 or 4000.
April Fools: Chrome translates pages into emoji
The navigation menu on Chrome for Android offers to translate any page into emoji.
Zappos will issue all refunds in Bitcoin
Top flat design websites for March 2014
It really is fascinating.

I've been a public forum moderator for two or three days at this point. I'll probably find a lot of hybrid tones to use before there's a reliably good one. Your patience in the meantime is appreciated.
I wonder how much of this derives from the history of the Imperial Exam ( https://en.wikipedia.org/wiki/Imperial_exam ).

If you have just one exam which basically defines your ability (and effectively that of your family) to succeed then it encourages exactly the sort of behaviour that is stereotypical of Asian-Americans. You could argue that certain schools in France, Oxbridge in the UK, and the US' Ivy League are part of a similar phenomenon, but the difference there is even if you don't get to those institutions you can still do reasonably well in life.
I don't think you can point it directly at Glacier (if I'm wrong someone please let me know) but what you can do is to set "Lifecycle" options on your S3 bucket.

I have a folder in one of my buckets, for example, that I call "archive". I put in there anything I want to store on Glacier long-time. With my lifecycle settings, objects in that folder are automatically moved to Glacier after one day.
Good. A language is a tool for communication; if more of the world's people are able to communicate with each other, I think that's much more valuable than preserving linguistic diversity.
I wonder if Google has considered supporting Markdown in Gmail yet.
Does anybody have a good example of this? E.g. to count unique hits over time without storing each hit?
Whitespace overloading to be added to C++ [pdf]
Because trying to run open source on almost all ARM SoCs is a massive pain in the arse. Is there a single modern ARM SoC for which you can download a Linux install image with a mainline kernel and everything `just works'?
I know a lit of hobbyists and professionals who just roll recursive decent parsers given the reduced complexity and better error recovery. Using these tools, they don't necessarily help unless you have icky syntax to deal with or really care about that last ounce of performance.
Growth hackers, small wins, buying websites, and listener questions
What about the other 10%? =)
We have now mostly definitely hit in "Laggards" part in the technological adoption curve.

---

http://upload.wikimedia.org/wikipedia/commons/1/11/Diffusion...
Arista Networks files for IPO of up to $200 m
And "you people" sounds condescending, or in some cases racist or otherwise derogatory (I sure wouldn't say "you people are really bad at X" to a population entirely of another race).
Goat Simulator: April Fool or the greatest game of all time?
Poacht: the Ashley Madison for Job Search
Michael Lewis’s flawed new book
It's not just dominance though, and I disagree with you.

The value of play is that it teaches a couple of very important things. The first is that things fit together in different ways. When children are playing they are usually engaging in highly creative activity (provided it isn't sitting in front of the video game console). This activity is important to a whole range of things, and it includes things as diverse as self-motivation and invention.

For a culture to discourage play is to focus not so much on meritocracy so much as it is in quashing individualism both regarding internal motivation and innovation.

I say this even though I sincerely believe that innovation depends on details and that masters of a craft are the best able to innovate within it. But unless you have a sense of empowerment and motivation to do this, this is significantly slowed down.

Again, this is just tackling the point on play. I don't think it is about meritocracy. I think it is about the relationship between individual production and community.
Never used Motorola Android phone but I'm thinking about buying this one somewhere soon. Does Motorola have a practice of "customizing" stock Android OS? If yes, I guess the only options would be rooting or using some of the Nexus devices, which are honestly too expensive for what they offer. Is it a good phone if all I need is more or less stock KitKat that I can use both for development and as a daily phone.
@jarofgreen nice of you, but I think you got me a little wrong, or I wasn't clear enough. My main message regarding opensource was:

> Open Source doesn't mean that you cannot put a price tag on it.

The other things could be done, but you're right, they don't fall under the strict definition of opensource. It would require a different license :)

Oh, btw, the op should take a look at https://pkgr.io/ and https://github.com/jordansissel/fpm
"Introducing a bounty program for the most secure open source project on the planet, 0 CVEs in its 30+ year history! http://hackerone.com/msdos" - https://twitter.com/Hacker0x01/status/450787521497034753
The crushing lameness of April Fools Day on the Internet.
I have a sense of humor. Really I do.

I just don't find being pounded with systematic absurdity for an entire day every year as being very funny.

I don't know how to solve it. It seems every single company and publication that communicates via the web has a corporate communications department or something that thinks it's a corporate priority to come out with something for April Fools. The Internet systematizes, amplifies, focuses, fully resources, funds, schedules, plans and implements high production value foolery. Corporate drone: "Larry, Sergey, have you signed off yet on this years $4M April Fools budget? How are we going to attract and recruit the best engineers unless we've got a reputation for the very best and most foolish April Fools trickery?" Ugh.

It's just kind of silly and boring and makes we wish April 2 would come as soon as possible. As I read the Internet on April 1 I just try to self filter out all the silly unbelievable garbage. Most news sites (including HN) are hardly worth reading April 1.

You know when someone who thinks they are funny insists on telling lame jokes, and the audience feels an obligation to give an acknowledging guffaw? It's like an whole Internet day worth of that.

I feel like the Grinch Who Stole April Fools but really it has to be said. If you've got it in mind to do some fine ol' foolin then maybe the classy thing to do is leave the foolin to others and spare us one more depressingly lame absurdity.
MotoG is basically stock Android and it's actively updated (kitkat already).
The changes that Motorola have made are mostly positive (such as the always-on voice recognition and Active Notifications feature). However, it's not hard to remove them.
This would be happening in the US as well if more people weren't on contracts, and if we had better HSPA+.
Google Still Needs Websites To Help It Answer Questions
April Fools Day is funny the first couple of times you experience it. Then it's just soul destroying.
Hmm, that's some pretty misleading presentation.

Basically all of the "rise" in deaths, which they are trying to pin on helmet law changes, is due to a large drop in car deaths, not actually anything to do with motorcycles or helmets (unless car drivers have suddenly started wearing helmets and that's what caused the reduction in deaths?).

They don't even show a graph for any/all states that retain the helmet laws, presumably because its mere presence would show up this piece as intentionally misleading.

They do show actual deaths for Florida (which, even as a percentage seem very high compared with other states) but since it jumps up and down by 100 deaths per year both before and after the law change, I'm not sure it means anything, particularly if the number of people on bikes rose and fell, or it was linked to peak tourist activity.

I can't think of any reason why someone would scheme to mislead in this matter, some shadowy cartel of helmet manufacturers maybe?, so I'm guessing they think they're doing the right thing by blatantly misrepresenting the stats.
Crap, just realized what day it is. This would be the lamest joke ever, right?
What sort of project are you doing? I just picked up a teensy 3.1 ( https://www.pjrc.com/teensy/teensy31.html ) for a project I'm working on, and it's got a good amount of horsepower. If you don't need a horrible amount of power, there's also the MSP430 boards which start at ~$5, and go up from there. The low end has been covered for a decent amount of time, this board is actually interesting for the upper-end where you need something fairly beefy, but don't want to start looking at rolling your own board.
I think the reasoning is that if you convince an accelerator/incubator to accept you your product has a higher chance of succeeding. This will mean that the chance of you still existing (and starting to pay) after 3 years should be significantly higher.
https://github.com/discourse/discourse ain't bad for forums

and

http://daux.io/ and http://apiblueprint.org/ look like a good way document your software
Kinda not good. It's not simply a tool for communication. It's a way to express complex thoughts, and the more diversity you have here the better as both language and thought constrain (and support!) each other in a way we still do not fully understand. I do not really care when I read a language is dying because I believe in natural selection and although it's incredibly sad and a "real problem" there's not much we can do besides trying to document them as much/fast as possible and that's it (provided we don't discriminate minority speaking groups, of course). It has nothing to do with being "more valueable".
Standardizing Your Server Deployment Process
I've had reasonable success running Arch on an ODROIDX.

http://archlinuxarm.org/platforms/armv7/samsung/odroid-x
Show HN: New subreddit: Interesting content unearthed from HN 
There is a lot of very interesting content on Hacker News which is invisible because it is old. In fact, I'd say that most interesting HN content is out of sight, just because there are only 30 stories on the front page. Our new moderator dang pointed this out in a recent comment (https://news.ycombinator.com/item?id=7494464):

"I have written software ... (which would be) ... a neat way for users to find old threads. HN's archives are rich."

To serve us till such time as the software which dang mentions becomes available to us, I created a new subreddit for discovering and sharing great content (comments and discussion threads) from the rich HN archive:

http://www.reddit.com/r/bestofhn/

I have seeded the subreddit with a few discussions from the past which I found interesting. Do take a look!
Rovio to Launch Brand New Virtual Reality Headset, Angry Birds Simulator (Leak)
They can't enforce their "any machine, one login in per copy" policy unless you log in each time you start it. Although one wonders how they deal with logging out, especially if that machine is offline, or just plain dead, when you "logout". Would imply a timeout or periodic phone home.
No, Javascript has far, far less to do with Java than with JSON. JSON is legal javascript. Ever heard of jsonp?

Java, on the other hand, is a totally different language. Any similarities are superficial and exist primarily for PR reasons. You can't pretend javascript is legal Java or vice versa. But JSON is totally legal javascript. That is exactly how you can declare objects in javascript. The name JSON fits the bill perfectly: it is the javascript object notation.
>On the same issue: 4chan.com was created on "12/13/03" where as 4chan.org was created on "2004-02-14". Now you can't say just because 4chan.org is popular, they should be awarded 4chan.com OR that 4chan.org should be transferred to 4chan.com because the name was "copied" from them and is thus "unethical".

You have not observed the full history. 4chan was popular before both dates observed by you, but under the 4chan.net domain (from September 2003). That domain was suspended by the registrar on 2004-02-11, which was the cause of the move to 4chan.org.

I.e. the 4chan.com domain was registered about three months after 4chan.net, at a point where the latter had substantial traffic.
It's commonly said that the West is more creative because of its permissive play culture, but I think I would challenge this for lack of evidence. First, it's not obvious that play is the most effective way to learn creativity. Second, Asia has a great history of art and individual creativity that doesn't seem diminished.

It was reported just today that a more creative problem-solving test has been added to the Pisa tests. Guess which continent dominates the rankings:
http://www.bbc.co.uk/news/education-26823184
No. We should have fun. This is geek humor, maybe some take it a bit too far, but still.
Good article.

But I thought before clicking on it that it was going to say things like "javascript is killing all other languages because of the internet" :)
Define "quiet" - there's about 20 stories I've seen today which are blatant AFs.
Chrome devtools
chrome-devtools://devtools/bundled/devtools.html?dockSide=undocked&toolbarColor=rgba(223,223,223,1)&textColor=rgba(0,0,0,1)&can_dock=true&updateAppcache?dockSide=undocked&toolbarColor=rgba(223,223,223,1)&textColor=rgba(0,0,0,1)&can_dock=true&updateAppcache
One compelling use case I've heard for schemas is versioning.

Say you want to upgrade a stored function in your database. You need to make sure that both the new and the old version of the function are available until all application code that uses the stored procedure has been updated.

Without schemas, you'd have to add a version identifier to each function, like get_customer_5(), get_customer_6() etc.

With schemas, you can just put different versions of the functions into different schemas, and just change the search_path in your application code to use functions from the new schema. When all application code has been updated, you can drop the old schema.
Interesting that you think that, do you have any HN-Show examples to support the point, or other sources? Not to be pedantic, I am really just curious.
I don't see what use that would be. If the test server was a simple data repository, it would be useless for testing algorithms.
I only tried Arch [1] on a raspberry pi so far, but there it worked just fine.

[1] http://archlinuxarm.org/platforms/armv6/raspberry-pi
It's implied by their licencing policy and privacy policy, see this subthread I started: https://news.ycombinator.com/item?id=7504932
Turkish Hijacking of DNS Shows Clear Need For Deploying BGP And DNS Security
April Fools power in the old days was that the foolin wasn't expected. Nothing quite so ordinary as a thoroughly expected trick.
The Intellectual Property Cold War
Freenode to allow Google+ to mine data in irc
I think the article overplays asian stereotypes. I, personally think that I fall into almost none of them. I'm rarely subservient and am generally anti-authoritarian. I speak up at meetings. All the time. I even called out a fellow postdoc for using a line graph when he should have used a bar graph (In a moment of passion I called the incorrect usage f---ing retarded, which then got picked up by the 80 year old nobel laureate in the lab). My science isn't terrible - I improved an enzyme four fold, which is a feat only a handful of people in the world can claim. I even started my own nonprofit with a future view of securing science funding outside of the traditional (and increasingly scarce) funding streams. Yet, I still can't advance beyond the "bamboo ceiling" and failed to obtain a faculty position in academia.

When applying to colleges, I only got into one school (although I only applied to six) - despite having rather good scores, but also having directed a full-length theatre production, and being captain of a regionally victorious chess team (which, you would think, would imply leadership potential). I even placed in my category at the International Science Fair and failed to get a position at MIT.

There's racism against Asians, it's deep-seated, and it's not going away anytime soon for many many reasons.
Three. If you want to compare this to the A model, then its four times the RAM and has wired networking as well.
I'm old enough. I think that's why the parent qualified with "properly functioning"!
For anyone that wants a readable overview of the λ-calculus, I recommend reading the second chapter in Simon Peyton Jones' book:

http://research.microsoft.com/en-us/um/people/simonpj/papers...
Your answer is useless to the commenter you are responding to. If he would 'get' lambda calculus by studying the Curry-Howard isomorphism or the Hindley-Milner type system, he already would have. It is like showing someone that asks about rocket science a calculus book or a rocket and saying: just study how it works. For many people that is completely backwards.

First you need to teach them what the lambda calculus fundamentally is and why it is useful in small bits. Then you can explain to them how powerful it gets, by explaining how the usefulness is extended by the Curry-Howard isomorphism and how you can build the Hindley-Milner type system with it.

The commenter is an 'engineer' and you're a 'theoretician'. As a fellow 'engineer', I completely understand his exasperation with all this pointing to either nice theoretical results or the large scale end products of the theory. That's just fundamentally not how we learn.
I can provide some insight from the Indian market over here. I had been on the lookout for the launch of Moto G since Motorola announced it last year. Last month, I purchased the 16 GB model for INR 13,999 (USD 233 at the moment). The price is very convenient for anyone and there aren't any phones which match the hardware specifications of this one.

For those who are used to Motorola's customizations in their phone, you will be missing them because the phone is stock android. The update for KitKat is already out and many people I know have already updated their phones. Till now I have not noticed any issues with the phone and it works very well. I am sure Android developers can make good use of the phone.
Noteslate is back
Life inside the densest place on earth: Remembering Kowloon Walled City
The Pi uses 2 watts [1], this uses 5. There are a lot of uses where that 3 watts can be rather significant. They both have niches, and it's going to be interesting to see which one this carves out.

[1] http://www.raspberrypi.org/phpBB3/viewtopic.php?f=63&t=6050
Fighting Monkey Business with “Monkey” Business
The problem I have not jumped to Gbit is that there is nothing to download ...
Turkish ISPs Hijacking Traffic: This is How an Internet Breaks
Its been pirated since at least v0.75
(I know bcd its my business to know)

I pre-ordered btw. I have no pretence to design/UX chops beyond appreciation - but for the times i want to throw a nice front end up to work towards, this is useful
(esp. device preview)

Good job Macaw
Scala may not be right for you if…
Does it have any affiliation with lieferheld.de/ ??

The reason I ask: I hate their, and their competitor's pervasive and mad behavior, when it comes to pitching their own product, whilst DDoSing etc. their competitor.
Making Money With JVZOO Complete Steps For Beginners
Thank you MySQL, we'll miss you
The list of MIME types looks weird, too. There's stuff like "image/zip" in the source code.