skysight-inc/HackerNews huggingface dataset:
Thing is, though, it's the same jokes every year and after 25 years of Internetting, it's thoroughly damned boring and tedious.
Also seems similar to this. A gaming company was fined $1 million for embedding a BTC miner. http://www.wired.com/2013/11/e-sports/
http://www.ifixit.com/smartphone_replaceability

I like clear guideline instead of stupid self repair nobody care about, thanks Apple for fixing iFixit.

"iPhone 5: Your battery should be dead by now. Time to replace your phone."

I knew it, I needed to go to the Apple store.
It's kind of interesting, Linux is perhaps the penultimate example of standard "critical section" based kernel design. Thanks to brute force from the likes of SGI and IBM this has been proven to around 4096 thread system images.

I wonder how hard it will be to get to the next level. I wonder if it will continue to be logical structures on top of critical sections (I think RCU kind of fits this characterization), or if currently academic solutions of radically different design pay enough dividends that they start to make sense. And if so, what are some of those possible solutions? Perhaps there's inspiration from HW disciplines that can serve as inspiration?
As well as Real World OCaml (linked in the OP), there are also a number of tutorials/exercises at http://ocaml.org/learn/tutorials/

The most visited of these pages is 99 problems: http://ocaml.org/learn/tutorials/99problems.html
Y'all know what day it is, right?
> I would have to change my browser in order to access this website.

This is not true. You click through the interstitial and there's the site. It won't even re-show it to you on repeat visits.

> Secondly, should we not use natural deduction because Gerhard Gentzen was a Nazi?

This would still be a poor analogy even if it weren't for the fact that people aren't boycotting JS, they're boycotting Mozilla, a corporation with a board of directors that made a decision with full knowledge of all the facts. We are not leaving behind knowledge by not using firefox, we're just not using firefox.

It's really incredibly silly to argue for freedom of speech on one side (he should not have any consequences for his public donation) while arguing against it on the other side (I .. what... have to keep using firefox now because stopping would be mean to him? I can choose my own browser, thanks).
Introducing Java-lang.org
OAUTH OF FEALTY : Resignation beyond sorrow on the Facebook Platform and beyond
Catching up with work from dengue fever in one day.
Let me summarize my feelings toward Asian values: Fuck filial piety. Fuck grade-grubbing. Fuck Ivy League mania. Fuck deference to authority. Fuck humility and hard work. Fuck harmonious relations. Fuck sacrificing for the future. Fuck earnest, striving middle-class servility.

He's an American middle class poseur. Consciously or unconsciously he rejects middle class values so that he not be confused for them, the bourgeois. Neither poor people nor rich people have this kind of bile, because the first are not going to be mistaken for it and the second don't care if they are.
I know, I just pointed that out.

I think people don't realize I'm responding to the parent, which stated:

> How is Square/Stripe getting around the issue that most exchanges wait for 6 confirmations before a transaction is accepted?

Square isn't doing anything with Bitcoin. SquareUp is.
Yeah.. but burnt myself to that one where they release version '2', which is basically a 1.1
Argh, was late yesterday night. "There is no law" would be correct ;).
When I say "they make out with some fo your money" I meant the bank's money.
This was the original HN story:
https://news.ycombinator.com/item?id=7404923

And here's the NASA disclaimer:
http://www.nasa.gov/press/2014/march/nasa-statement-on-susta...
I can see the point of having a Macbook but what's the point of a decaffed latte? Surely it is just like drinking milk? There's no caffeine power to be extracted!
MIT licensed icons for mobile. (2013)
The UX of OneNote vs Evernote
The grandparent touched on the costs for upgrading existing vehicles.
Or does anybody really use all these data visualization tools to compare?
Came here to check if I was the only one. It was utterly incomprehensible, made all the worse by the author being so full of himself.
I hope it is a joke. Though, if it was, it's a pretty bad one that going to reap them nothing but negative attention for no good reason at all.

It's astounding when smart people do dumb shit.
Smartphone Replaceability Index
Couldn't you record the received messages and replay them?
We need to introduce 2 new players. Sally who has some of this stock that she needs to sell for as much as she can get and Bob who wants to buy some of this stock for as little as he has to pay. In the current market Sally gets $95 per share and Bob has to pay $100.

Matt looks at the bid ask spread and decides it would be profitable to make a market in that stock. So he simultaneously asks at $99.99 and bids at $95.01. If Sally and Bob were to come back now they each would get a better deal and Matt would make $4.98 on the deal.

For Matt to continue doing this that $4.98 needs to cover the risks he is taking, his operational costs, and some profit. An HFT is much more efficient at this than Matt driving down the operational cost & potentially calculating the risk more accurately.
Crimea Launches New ‘Sevastopol Tech City’ To Attract Startups
Going forward, Apple has a long experience with fat binaries for architecture
changes. 68k→PPC, PPC→IA32, IA32→x86-64. I don't think x86-64→ARM8 is anything
more than a small bump in the road.

Using the lipo[0] tool provided as part of the Apple Developer tools, it's pretty easy for any developer to create a x86/ARM fat binary. Many iOS developers have used this technique to create libraries that work on both the iOS simulator as well as a iOS device.

[0]: http://ss64.com/osx/lipo.html
I'd love to see a small, low power board (ARM or Intel) with Dual SATA ports, ethernet and preferably a serial console instead of the HDMI port.
Intel News announcement (still shown at EELive in San Jose till April 3rd):
http://newsroom.intel.com/community/intel_newsroom/blog/2014...

Other sites reporting the same news:
http://liliputing.com/2014/03/minnowboard-max-99-intel-atom-...

http://hardware.slashdot.org/story/14/04/01/0051224/intel-up...

http://www.bit-tech.net/news/hardware/2014/04/01/minnowboard...
Wow, I hope it's a joke. If not, then this is terrible. No mention upfront, and it'll kill your battery.
Or, before the recent controversy, name any of the prior Mozilla CEOs. (It hasn't seemed to be an organization reliant on big-personality/high-profile CEOs.)
Unfortunately, I've already seen at least one on the front page.

So... challenge failed before it even started <3
I am married to a Chinese-Indonesian woman. We have three children. It is fascinating to be forced to stare across a cultural gap every day navigating two very, very different worlds. I therefore feel I am in a very different position to discuss this issue than I suspect most here are.

There is a fundamental mismatch between Asian culture and American culture. This mismatch is even greater than it is between European culture and Asian culture. Americans are extraordinarily individualist. Asians are extraordinarily communitarian. Family is, in a very real way, the economic and social basis of survival in most of Asia. And yes, filial piety is a big part of that. I will also say that my wife can't stand the US because of the cultural gap, so she took the opposite direction than many of these writers, and instead of wondering about Asian values, rejected entirely the American ones. We now live in Indonesia.

Asian culture works for the most part, even as strict and harsh as it is. Many of my Asian-American friends in the US have been able to retire early. And yes, Asians do dominate some industries. And later in life, having children who will care for you in your old age is far better than the American way. There is much that mainstream American culture can learn from Asian culture as we must find more sustainable ways to live.

But there are costs too. At least here among the Chinese-Indonesians, very little or no value is placed on childhood play. It's just a waste of time when one could be learning how to be an adult. What is vitally missing in my view is a recognition that kids learn extremely important lessons through play, and that these lessons are no less important to success than learning math or science in school. This has been a challenge for our kids because cultivating a sense of play goes against the culture.

What disappoints me about the article is the fact that it seems very much like a one-sided self-critique. Immigrants generally have the potential to disrupt existing cultural ways of thinking by offering a different sort of critique. But here what I see is "I want to stop being Asian and be just American."

But instead if we had a dialog, we'd see that there are things we can learn from eachother, and that is a far better way forward than lamenting Asian values.
D'oh! I am relieved and kicking myself at the same time!
When you say "real-world problems" are you referring to the physical world? I don't expect that. I'd settle for using it to help me solve a mathematical problem. So far, all I see is a lot of hand-waving and not a lot of "this is a tool that can be applied to this sort of problem".
Down with fun!
I'm actually really glad about this. For one, the Hiring Thread goes up today, and if you want to see all the madness, you've got Twitter, TechCrunch, and Reddit to supply you.

About the only thing I'll miss, is for the more impressive ones, technical explanations. But beyond that, it's nice to have a place to breathe.
Visite minha página
Visite minha página
http://supermagazine01.blogspot.com.br/?zx=54970fc2a0fe69c3
My "probably" is based on reseach by Bjorn Lomborg [1] and other welfare and environmental economicists.

[1] http://en.wikipedia.org/wiki/Bj%C3%B8rn_Lomborg

The waters are muddy and actually nobody knows. The BBC putting spin on like this really doesn't help.

This headline is a total lie :

Climate impacts 'overwhelming' – UN report

If you want to spend money to save lives and promoting economic development, you can do it now and get known outcomes.

The Grand Planners love climate change politics, they can have meetings and summits and policy documents and reports and frameworks for change and all the other unproductive stuff.
but with /v/ users? :(
Cutts Talks Evaluating Quality Of Google Algorithm Changes
Not at all! I was speaking only generally. It would surely be excessive to first scold someone and then ban them.

Please understand that I didn't mean to pick on you personally. Our goal is to send feedback signals into the community generally, and it's only about content, never individuals.

The comment you replied to was of course very bad, and we appreciate your looking out for the integrity of HN. The better way to do that would be to simply downvote the bad comment, or, in extreme cases, flag it. And you can always email us at hn@ycombinator.com.
C++ – Template Hell
This is a target rich environment, like the kind of Warsaw Pact through Fulda Gap scenario which convinced NATO putting TOW missile launchers on absolutely every vehicle they had, and atomic landmines, would be a good idea.

Good hunting!
Respectfully disagree. The only ones that will be upvoted a lot will presumably be the funny ones, not the lame ones.
Let's just collect them in one thread.
Awesome work on Mobbles! Since we're also working on a similar concept, I guess we'd be competitors, but the more the merrier!

Ours isn't released yet though, so you have the leg up for now ;)

I too am not unhappy that this is an April fool joke.

P.S. - If you're interested, here's a video of our internal alpha with bugs and all : https://www.youtube.com/watch?v=hc-PVpUlRLU
I think it has less to do with not having humour/fun, but more to do with wasting our time sifting through what is real and what is not.

HN is the place where you discuss things like "Whatsapp bought for $19 BILLION". So by nature, some of the headlines we get on here are a little hard to believe in the first place... throw in April Fools jokes, then we have people questioning if they are reading a real PR piece, or a "joke".
Send me a mail, I have a couple of invites available.
> if LINUX sleep for one second to ensure the data arrives at the browser

can someone explain that please?
>April Fools' gags in tech have grown stale

Or you have gotten older.
Sorry, I had to flag this. Today's front page was clean enough that you don't need this post (aside from Google's Pokemon master prank). We are already optimizing for signal/noise ratio, and your post is just a noise in that regard.
I switched to the basic Gmail just to look at how the good old Gmail felt like.
Is this a warning or am I hellbanned? I apologize for violating the rules but for what it's worth I was annoyed at the comment and didn't think to ignore it. I'd appreciate hearing back the verdict if so. I regret the comment.
I actually think that makes things interesting - when it's difficult to discern between reality and parody, it makes you think about the world we live in.
Two brief comments:

(1) The λ-calculus is better thought of as the MVP of SEQUENTIAL programming languages. It is not a good formalism for concurrency. Thee π-calculus is more suitable for concurrency, and, in a real sense, subsumes λ-calculus (see R. Milner's "Functions as Processes" and its subsequent elaborations for details).

(2) Proofs = λ-terms works best for CONSTRUCTIVE logic. With classical logic where not-not-A = A, it kind of works, but not really well.
AR Face Database
Are people still buying Nintendo platforms anyway?
How does this handle the case where a waiting process is killed before the lock becomes available? Is there a kernel cleanup procedure at process destruction as a backstop?
Presumably that was before he actively donated to a campaign hoping to deny people basic human rights?
I disagree in one way, but agree in another. It's one day in 365, it provides a little bit of relief.

But, of course, there are a lot of lame jokes. Just like there are a lot of lame news articles that could potentially be posted on the site but are not upvoted.

So why don't we optimise the SNR, and only upvote good April Fools pranks?

I think that's a good compromise.
A quick Google should point you in the direction of what people use lambda calculus for:

http://en.wikipedia.org/wiki/Lambda_calculus

One fascinating area for the use of lambda calculus is as a conceptual basis for the implementation of functional programming languages - indeed you could argue that a language is functional iff it can be mapped to the lambda calculus.

Edit: Although it is rather old (like me!) I have fond memories of "The Implementation of Functional Programming Languages" by Simon Peyton Jones:

http://research.microsoft.com/en-us/um/people/simonpj/papers... [PDF]

Another very cool thing is that you can translate expressions in the lambda calculus to SK[I] combinators - which means you can actually implement real programs (including recursion - e.g. using the Y-combinator) as two extremely simple functions - not very efficiently, mind you... :-)

http://en.wikipedia.org/wiki/SKI_combinator_calculus
> If they got an improvement of 116% perhaps a spinlock isn't the right solution? It sounds more like the subsystem protected should be autonomous and respond to messages in a message queue instead.

You need some kind of a locking mechanism to be able to build a message queue. And you need some kind of spinlock to be able to implement a proper locking mechanism.

Lock-free queue mechanisms can be constructed using atomic operations but they exhibit the same problems as spinlocks (moving cachelines from cpu to cpu) and there needs to be special handling for cases when the queue is empty or full.

In the case of kernel programming, there is a lot of code that must be able to run in an interrupt handler context and other contexts where you can't rely on a scheduler for waiting or use any high level constructs.

A spinlock is one of the most fundamental building blocks for synchronization in a multi-core system. It is difficult if not impossible to build a kernel without some kind of spinlocks.

Message queues are a good high level construct and the kernel is full of different kinds of message queues, but they can't function without spinlocks. Or do you have a suggestion how would you get a packet from the Ethernet adapter interrupt to the IP stack using a message queue without locking? (edit: this might be a bad example)
Today is nothing but smart people doing dumb shit, unfortunately.
I don't hang out on Twitter, TechCrunch, or Reddit. There is one day a year for such light-hearted japes... but apparently that's too many.

I see HN as a community, not a trove of tech and business documentation/explanations. The proper place for communal documentation is a wiki, not a forum. I mean, it's one day that the entire Anglo culture knows about, not just techies. You can gird your loins for one day, and have weeks in preparation for it.

Personally, I can do without the obituaries when someone famous dies. The single-to-noise ratio is so incredibly low - there's a small amount of discussion of what the person did (repeated so many times), and a whole lot of 'oh, sad to see they died'. But hey, if I wait, the whole thing will blow over in a day or two, no need to complain, nor pre-emptively get defensive about being the 'obituary police'. I mean, after all, when someone famous in tech dies, you've got Twitter, TechCrunch, and Reddit to supply you.
Self-healing muscle grown in the lab
You may not be aware that dang is HN's chief moderator:

http://blog.ycombinator.com/meet-the-people-taking-over-hack...
In each other we trust: coining alternatives to capitalism
Ask HN: Best Call to Actions...
As well as your top tips for call to actions on a website (we currently only offer to arrange a demo <groan>) do you have any examples of websites with awesome examples?

Thanks in advance!
I completely understand the logic and appreciate the response. I'll keep my future comments content-oriented and keep that in mind. I was pretty surprised when pg instituted the pending comments but I think I'm beginning to see where the idea came from...
Why the hate? It's become the new cool to despise April's fool?

I admire companies that make up pranks. I really wish the megacorp I work for would have the guts to break the monotony once a year too.
I'm very aware and I'm flagging the post for a reason, even though the mod can completely ignore it. Maybe I had to explain that first.
XYplorer v13.90.0000 Cracked
You've just described how HN works.
I bought it, I write quite a lot of Python (I use it for automation, deployment etc) but I sometimes feel like I'm fighting the language.

Also the "don't write this" looked awfully familiar.
We're not all weathered by many decades of lame April Fools! Think of the younger geeks who may be drawn into the community and discussion by particularly good tech gags :)

I have faith in the voting system that all but the good'uns will be filtered out anyway. I respectfully suggest that this post is noise itself.
My threshold for tech April Fools jokes: if it's clever AND required writing non-trivial amounts of code, it may be worthy of my attention.

I will absolutely flag anything close to "We're being acquired by [competitor]!!1!" or "Announcing [thing totally antithetical to everything we do]!" etc.
Two Scoops of Django 1.6 – $12 on Amazon
>> "Presumably that was before he actively donated to a campaign hoping to deny people basic human rights?"

I'm 100% for equality but what basic human rights are being denied to homosexuals in America? They are being denied some rights that heterosexuals have but if they are being denied 'basic human rights' I'd really like to know (seriously) as I can't come up with any.
Introducing HackerEarth date – a technical approach to finding love
This is a thoughtful comment and a model of how to disagree on Hacker News. Thank you.

I wish you were right, but I'm afraid you have an overly rosy view of upvotes. For example, https://news.ycombinator.com/item?id=7506762 shot to #1 in just a few minutes.
The post is dated April 1st.
Cool. I wonder if bloom filters might be up next?
(That's a gender-inclusive "you guys".)

Or you could just use gender-neutral language in the first place, if you're concerned about being inclusive. "you folks", "my colleagues", even just "you". There's a host of alternatives. It scans weirdly that you highlight that the phrase might be taken the wrong way, but then choose to explain it rather than alter it.
What's the average age here? I feel like I'm in a no fun allowed zone.
PS: for those deciding to flag this submission, please note that dang is HN's moderator (as announced by pg here[1]). The HN team could physically prevent such posts, but instead is asking the community.

[1] http://blog.ycombinator.com/meet-the-people-taking-over-hack...
You're supposed to add "This is not Reddit." That is the canonical response when anything less than serious is posted.
I personally am tired of the April Fools stuff too but I have enough faith in the HN community/mechanism to trust that only those things deemed worth it will make the front page. I'm not against humour either, so can't/won't object if good/funny/clever April Fools links get posted.

tl;dr: special measures not required, IMHO.
The UK isn't really a "European" country in this regard; it still prefers inefficient private quasi-monopolies to properly functioning state services.

The UK "last mile" infrastructure is unbundled so you can get your DSL service through a wide variety of providers - but actual line speed upgrades and faults are still at the mercy of BT incompetence, and everyone has to pay them £15/month for "line rental" even if you don't want POTS.
Missouri University of Science and Technology goes doge
Edit: Changed title
Isn't the thought and recognition enough?
I don't usually post stuff like this, but I know that Python+Django are pretty popular in this community and startups, and this book covers good things like: security, deployment, and other "good bits".
Not joining the debates, but can you give an oversight on why future web will heavily rely on scientific application of the language?
Webfsd is in the Debian repos but the stupid person who packaged it created an init script for it as if you want to run it as a service rather than ad hoc. So you may as well build from source...
I understand, but people should stop and consider the virality and potential impact of their april fool's day joke. What if Apple didn't find this funny and yanked their app? Boom goes the dynamite and for no purpose but posting a dumb joke that isn't even funny.
They were stale when I was 15 and reading /. in 2005, they're stale now too.
The Immediate Future of eLEarning
Death of the Stock Photo
(1) I don't think that's fair to say. The lambda calculus is a way of expressing computations with little regard for how they are actually executed.

(2) True, it works better if you add continuations.
The Galileo's one of those boards where it's very important to pay attention to the fine print. For example, the GPIO controller is hanging off a relatively slow I2C port, so access to GPIO is much, much slower than even the lowest-end Arduino. Also, it's a modified 486 which takes multiple clock cycles to carry out many instructions that are single-cycle on modern ARM, so it's not as fast at arithmetic as the clock speed would suggest.
I disagree at needing moderation around this. The community can moderate this one. I know we can't downvote stories, only comments, but I think the better content will win out if there is actually anything.
Heroku Subletting – Share the cloud