skysight-inc/HackerNews huggingface dataset:
As to (1) I disagree, it's difficult to express general concurrent/parallel computation in lambda-calculus. You need to resort to encodings. That's why process calculi were invented.

Regarding (2), I'm afraid I also disagree. While continuations can express classical logic in some way, it's generally only possible to express certain cut elimination strategies (e.g. call-by-value, as in the Stewart-Ong lambda-mu-calculus). I don't think we know how to do all of classical logic yet. Moreover, adding jumps (which is what continuations are) to lambda-calculus results in an extremely complicated and hard to understand system (e.g. the reduction semantics of the lambda-mu-calculus is usually only handwaved). If you write the very same semantics in pi-calculus, it's trivial and extremely transparent (see "Control in the Pi-Calculus" by Honda et al). Finally, I think it's conceptually deeply confused to 'add' continuations to lambda-calculus. A much cleaner picture emerges when one understands that the call-return jumping discipline engendered by the function-calls of lambda-calculus is a special case of the general jumping that continuations can do. So really one should start with a continuation calculus, and can then see lambda-calculus as a strict sub-calculus of especially disciplined jumps (call-return with affine usage of the return jump).
This looks neat, I'll check it out. I was really sad when Evening Edition stopped.
Spoonlyzer – the world's smartest spoon (by #Estonianmafia)
Hyderabad, India | Developer | Full Stack

Profitable B2B Startup by Ex-Google + Ex-Microsoft + Ex-Amazon folks.

Full Stack Developer with focus on JS/CoffeeScript/BackBone/PHP

Full Listing: http://goo.gl/nop85U
Ah, let's ignore the real problems and make silly games
BEYONCE LASHES OUT AT PAPARAZZI
This Video is crazy. I've never seen a woman behave like this.
This is hilarious. This probably won't be, but should be the final entry in the series of 2048 clones.

I guess that you could de-servicify it and create own2048, not that I know how it would differ from the original version...
In hindsight, this seems... inevitable ;-)

(I can't help but wonder where and how 2048 will show up next.)
Thanks. It will be totally life changing, I can feel it already and it's still 5 months away. The downside is I currently live in a three bedroomed house and I'm moving into a 13 Sq m room. So a physical and mental declutter.
It's not quite the same as what you're saying, but there is a "programmers" Stack Exchange now, which has more of the opinion-based questions: http://programmers.stackexchange.com/
Most process calculi (including the CHAM) don't model time. I think it's perfectly possible to consider computation without timing.

Adding timing is straightforward for any model of computation with operational semantics. This addition generally changes the semantics dramatically (eg. equalities that hold). There are many timed versions of process calculus, e.g. timed CCS, timed CSP, timed pi-calculus.
Presumably it just means that the engine constructs the levels from an exported image (such as a png, not a psd), instead of creating the levels from a more complicated data system. Because he knows the exact sizes of things, and "sprites" are a 1 to 1 mapping to game objects, he can easily do this. In a more complex game this would be impossible, but it works very well for his purposes.
10/10 would trust a ginormous 1-line Perl script again
Nice, but the writing suggests that it's secure as in end-to-end encryption, what people expect from HTTPS, while in fact you tunnel everything in plain through a central server. You should make this clear on the site.
This reminds me of a service that I used in the past, called Evening Edition (http://evening-edition.com/). Thank you for bringing back a service where I can receive a daily digest of today's news. Combined with SaneBox or Unroll.me, your daily email helps to raise the value of the few e-mails that make it to my inbox.
I don't think the concern ever went away. And with all the snowden revelations so far, I guess it is reasonable to promote it from concern to near certainty.
You conveniently left out their next sentence
"... many leading payment services allow user enumeration, including Paypal, Venmo, Square Cash, and many others..."
Quizlet is hiring in SF! We are looking for designers, software engineers, infrastructure engineers.

Quizlet is one of the rare companies to have achieved scale in K-12 education. Our team of 11 engineers ships code to 22 million students and teachers per month. We are a bootstrapped, mission-driven company with a goal of building amazing studying and learning tools to the world. We spend a ton of time talking to teachers and students, through our feedback center [1] and by visiting local schools. And we've barely gotten started on all the great tools we're planning to make.

Contact: jobs@quizlet.com

[1] http://quizlet.com/inside-quizlet/quizlets-incredible-feedba...
The reason why he did not there was no rigorous proof is probably in parts that the result is not controversial at all.
Everyone in the biz or following the biz knows its window dressing and pay to play. See Arthur Anderson and Enron and about a zillion other scandals over the years.
I wonder if that means there are around 200,000 Coinbase users? Depends whether they noticed the dupes. Good catch.
Personally, I was a fan of Eisen forsaking open access.

http://www.michaeleisen.org/blog/?p=1580
Check out http://www.klipperapp.com.. you can feed in sources and get 'klipped' articles.
'We didn't do anything wrong, this isn't a bug, nothing to see here.' despite obvious evidence to the contrary.

Very confidence inducing.
This is a fantastic commentary on what makes a game fun. I'm always intrigued by titles that require nearly no art skills. "Thomas Was Alone" kind of surprised me in that way too because it was successful side by side with other titles on Steam while using an art style that was so simplistic almost anyone could have done it.
They did send the whole library to their CDN nodes all over the world.
>Which could be bullshit and scaremongering.

It could also be that you are reading too much into it.

>"Here is a partial list of Coinbase user emails and their full names. Full list much bigger."

Where does it say in that sentence that he the OP has access to the "full list"? It doesn't say that. It implies it, which you picked right up on. But he doesn't explicitly say, "Here is a partial list of the full list in my possession".
Introducing OlegDB: The Ugly Duckling K/V Store
Please Replace Credit Cards
That's an interesting viewpoint and would go against practically everyone's (except the IETF's) expectation for the NAT to provide a default firewall-esque policy.

I suppose if you view NAT to "facilitate communications" then mapping a port for all inbound IPs instead of symmetric makes sense.
Not sure if sarcasm..
2048-as-a-service author here.

Type curl -L http://2048.semantics3.com/hi/start to get started.
Here is a full example on how to play it:

https://github.com/Semantics3/2048-as-a-service#full-example...

If you want a full game on the console:

perl -e 'my $host = "http://2048.semantics3.com/hi/";my $cmd = "curl --silent -L $host"."start";my $output = `$cmd`;my $session_id = $output;$session_id=~s/.*?ID:\s(\w+).*/$1/si;my %keyMap = ( 'w' => 0, 'd' => 1, 's' => 2, 'a' => 3);print STDERR $output,"\n";while(1) { print STDERR "Input (w - up, a - left, d - right, s - down):\n"; my $userInput = <STDIN>; chomp ($userInput); if(defined($keyMap{$userInput})) { $userInput = $keyMap{$userInput}; } else { print STDERR "Invalid move.. w - up, a - left, d - right, s - down\n"; next; } my $cmd = "curl --silent $host"."state/$session_id/move/$userInput"; my $output = `$cmd`; print STDERR "\n$output\n"; if($output=~/Message:/si) { exit(0); }}'
I'm not sure Paul actually even meant that; but in my mind the difference is pretty simple:

The US is set up to achieve the maximum amount of runaway breakout successes at the expense of average of quality of life.

The EU is set up to achieve the maximum amount of reasonably sustainable business providing for a decent quality of life.

Each type of business is much easier to start on the respective continent.
I usually hate April Fools jokes, but this openstreetmap one made me smile:
http://wiki.openstreetmap.org/wiki/Tag:natural%3Dcloud
It is nice to see the INTERCAL way of doing things making a comeback.
Yes, you miss something important: that this can be written down in one line is a great breakthrough. You also miss that languages like Scheme and Python are the way they are because they copy the lambda-calculus. They are (in parts) implementations of the lambda-calculus. If you look at the history of programming languages this is very clear.
Startup Funding: Embrace Bad Ideas and No Business Model
It's great when you have time to spare, to learn every nuance of a thing. It's worse than alternatives when you quickly want an example to copy/paste, which is usually my case.

For instance, compare googling for "c# run sql query msdn" vs. "c# run sql query stackoverflow". The latter has the better example and it's closer to the top.
Im sceptical of this. My email was not published anywhere with regards to bitcoin or coinbase, I receive relatively little spam, yet I received 4 of these messages.
What about a specialized device that operates off of low energy bluetooth for communicating to the iphone? Something like this could be built with Arduino or Raspberry Pi.

John Muir, the American environmentalist of the 1800-1900's, built an "alarm clock" in 1862 that would dump the occupant off the bed at the defined time.
Haha, good one. Hope they make fork as well :D
I would suggest you still have opportunity cost to consider. Assuming a four year program, you could have, on average, earned $120,000 during that time. If you then invested that at 5% until you reached retirement age, you could have earned right around $1,000,000 over your career above your regular income going forward. As such, your ROI should really be calculated on what you are able to earn in your career above that.

To add, I would suggest that someone who has the determination and mindset to successfully complete an engineering degree should be able to earn even more than $120K during that initial period, but there are lots of variables that could be considered. It is impossible to narrow down exactly what opportunity you lost during that time, but it is almost certainly not zero.
Cheezburger Cat Shirt-and-Pajamas Collection
http://www.betabrand.com/cheezburger-clothes-for-cats-collec...
A Kindle with a copy of Wikipedia on it seems close enough to me.
A lisp for vim - with months of commit history.. released on 1st of April.. awesome!
It was just a matter of time they made this happen
Bed shaking alarms

http://www.walmart.com/ip/Clarity-Alarm-Clock-With-Bed-Shake...
> So WebSockets (TCP) isn't good enough for real-time (twitch) games?

Depending on your definition of real-time, no, WebSockets probably isn't good enough. In the near future, WebRTC and other future standards may bring some kind of low latency networking to the browser.

It still may be used for different kinds of games, though.
Actually all you described US does it as well. It's just Russian elites are less sophisticated and are more brutish. The process you see in Russia now, was done many years ago in US.
For example why would you cancel leases of news outlets if you have complete and absolute control on MSM?
Behind all that gold and glitter is the same nastiness and hate for the common man.
Writing Tests and Stomping Bugs in AngularJS
A worse light, perhaps? Telegram sells snake oil and ignores security recommendations while billing itself as secure. They may only be "saved" because they actually believe what they're selling (although they shouldn't after being shot down so quickly).
Yep, that's on the way!
Threadless launched a new cross-device mobile app for ordering shirts http://blog.threadless.com/post/81409106711/give-us-a-ring-y...
You just had a baby, can't focus on work.
Your grandmother died, can't focus on work.
Someone stole your credit card, can't focus on work.
The IRS is chancing you up for no reason, can't focus on work.

That's what social life got to do with work.
We implemented parallax for our signup form:
http://42debut.com/#/demo/signup

The key is to feed the mouse position or device orientation into this easing function:
https://en.wikipedia.org/wiki/Error_function

Here's a nice JS approximation of that function:
http://picomath.org/javascript/erf.js.html
A good lunchtime read, thanks. A couple of misleading topics and word of advice from our own experience [0] of starting Android development after years of iOS development:

- Google seems to moving away from Activities in favor of Fragments (can someone confirm this?) so we'd recommend a Fragment based design pattern;

- App navigation paradigms seem to be evolving quickly, with Google recently introducing Navigation Drawer as a standard [1], among others;

- Choosing the navigation paradigm first seems to important as these seem to be Fragment based, using Bundle objects to share data between Fragments;

- Use Android Studio [2] because it seems a) Google is going to standardize on this, and b) the navigation paradigms are offered as app template options and can be a good starting point presumably with 'blessed' Fragment design patterns.

Good luck!

[0] http://blog.fieldforceapp.com
[1] http://developer.android.com/design/patterns/navigation-draw...
[2] http://android-developers.blogspot.com/2013/05/android-studi...
That's a great point. Domestic market size and access to capital don't matter much for starting a business where the end-goal is single-digit millions in annual revenue. The USA is quite obviously (to me, at least) the best place to "do a startup" but there could well be better places to "start a median small business."

For the record, the discussion started with VKontakte, which is definitely not in the "median small business" category.

And let's not get started on the different possible definitions of "quality of life" ;)
Related classic blog post: how do Macs get on the network so fast? http://cafbit.com/entry/rapid_dhcp_or_how_do
Segment.io - San Francisco, CA

Mobile Engineer

We're looking for an extremely good mobile engineer to help us change the way people approach mobile analytics.
This is a perfect position for someone who loves building clean APIs for others to use. You enjoy not only building mobile apps, but writing the libraries that power those apps. You're fluent in everything to do with iOS as a platform, and if you have Android chops that's a huge bonus, but definitely not a requirement.

You'd be working on current and new features of the mobile SDKs themselves, as well as helping to write code for where they touch our Node.js backend, where we process tens of millions of events per day. And you'd be in charge of our entire mobile offering, which is used in product by lots of big companies like Live Nation, Nest Labs and The Knot.

You'd be joining a team of very talented engineers that are in love with open-source. Both of those SDKs are open-source, as is tons of our codebase[1]. So if you enjoy working with smart people and getting to make a name for yourself releasing the things you work on to other developers, you've found the right place.

Not only that, but you'd be working on a few of our still-secret mobile projects that we're pretty confident are going to change the way people integrate third party code into every mobile app they write afterwards.

[0]: https://segment.io

[1]: https://github.com/segmentio

---

To apply, email us at jobs@segment.io with:

1. a description of an app you've worked on (code is a bonus)
2. a description of a mobile library you've built (code is a bonus)
3. a link to your GitHub if you have one
4. the most interesting mobile SDK you've worked with and why
Mediocre and lousy programmers have been making implicit assumptions about architecture and unix variants for 40+ years now that cause all sorts of hell when going to other hardware. (c.f. "all the world's a vax")
Because I was talking about banks & processors, not payment services. Paypal will cut you off hard if you attempt to bulk enumerate users/businesses by e-mail address, so this is even more disingenuous on the part of Coinbase.
>The US doesn't start invasions and pretends it's someone else's military.

Drone strikes come to mind. Didn't the US claim that bombings in Yemen where the work of the local government?

That said, the order of magnitude is indeed different.
Distance/proximity is, from my experience, one of the largest factors you can control for your startup. Not specifically for acquisitions but also for sales (if you're B2B).

I've done two startups in the same space. The first was located in Cincinnati, OH and my current one in SV. They are frighteningly similar though the space has changed dramatically.

It depends on your market to know where the optimal location is for fostering relationships. Hint: it's not always SV (though it often is).

You hear it time and time again that relationships happen very serendipitously. And by serendipitously I mean you meet someone in a coffee shop that will later introduce you to someone that changes the course of your start-up forever.

The depth of the network in SV is extremely deep. My experience in Cincinnati (albiet 8 years ago) was that it wasn't as serendipitous and it wasn't nearly as deep. Things may have changed and in places like NYC it might actually be similar to SV.

My $.02 is that relationships are critical. Making location equally critical.
http://spoonlyzer.com/press/
I also received immediate vertigo and had to close the tab and still feel sick.

Interestingly, it's the same vertigo I receive when someone rotates an arm-mounted screen while I'm playing an FPS game on it.

I had no idea it was possible to reproduce that with simple 2D effects. Science for the win, though my stomach does not thank me.

This artistic style of depth, or what little I could discern before I had to close the page at least, reminds me very strongly of the iOS game 'Ramp Champ'.
One could argue those two factors are very important if you want to take a shot at creating the next Google or Facebook (which an unusually high percentage of people here might aspire to) and less important if you're aiming for a lifestyle business (perhaps more typical).
2013 Unroll.me Awards – Winners
The great debate: Combating HFTs image
A desktop application that is distributed exclusively on floppies?
Coinbase has had a substantial Whitehat program for a while: https://coinbase.com/whitehat

This just isn't a bug.
For those of us getting caught up on these events - what evidence are you referring to?

So far I've seen :

1) A list of email addresses on pastebin, accompanied by a surreal claim of daily FBI & IRS data transfers and gag orders

2) Homakov's email to whitehat@ concerning a potential iframe vuln

What am I missing?
Manager of Staffing Solutions – Kanban Style
A Vision of Post-Clicktivist Activism
Your average revenue per customer is meaningless
Glad it was $3,500 as opposed to $30k....hope she gets it back! Would love to hear some back and forth between you and douche, I hope you post a blog!
I remember I used to play hangman by texting letters to a phone number and it would reply with how much of the word I had figured out. It would be awesome to be able to play 2048 over SMS (but painstakingly slow to complete).
Any way to replace it with a BIOS, e.g. Coreboot?
Big things are only accomplished by teams. Building and maintaining a team of people who are skilled and work well and productively together is actually very difficult. Most teams fail to achieve anything lasting of note. For example, most startups fail.

NASA needs great engineering to build things like the Mars Rover. But they also need great management--it takes both.
Readability of the New Nutrition Label
ASK HN: Mac Bundles signed?
For a given Mac bundle like Calculator.app, I am changing its Info.plist in order to execute my binary instead of Calculator:

<key>CFBundleExecutable</key>
<string>mybinary</string>

And I am of course copying mybinary into Calculator.app/Contents/MacOS
I want to execute some operations before I finally launch "Calculator" binary.

How can do that in a secure way? If I just perform the above steps, on a copy of Calculator, I can put anything into my binary - even request for administrative rights. It simply works.
Shouldn't there be any signature error/warning saying "The Bundle was modified and is not trusted anymore"? Calculator is already signed by Apple, so I wonder why I can just replace the launcher and execute whatever I want ???

Thanks
zippo
While not ideal, I think this is being blown out of proportion by someone that doesn't like Coinbase. For starters, of the 2042 "leaked" emails, 1153 are unique. That means the person that posted it was trying to pad their results, which combined with the possible but unfounded FBI/Fincen accusations, illustrates that someone is mad at Coinbase and is lashing out.

Enumeration isn't a fantastic idea, but given its ubiquity in various forms on major sites throughout the internet, I don't think it's worthy of all of this negative attention directed specifically at Coinbase either. I once wrote a program that could take a list of random emails and use Facebook to turn it into a CSV matching each email to a name, a list of their friends, their location, and interests. That should have been scandalous, but it wasn't.

We are acting as pawns in someone's revenge scheme against Coinbase.
Denmark is considered one of the best places to start a company, but that is based on the bureaucratic burden of starting a company.

It is a very different thing to actually scale that company to any significant size there.

The metrics used to measure these things are fundamentally flawed as they look at the institutional side of things not on the reality that is running a business and growing a company.
If I was a lot younger I might go for it but we have a lot of younger workers that just might be able to do the job. I'm happy working on demand on top of Social Security it give me extra money for gas where I can enjoy my kids and grandchildren and go once in a while with friend and go eat some where, where other wise I wouldn't be able to. I've been with you for over a year and it's seems so good not to be driver over 60 miles a day to go to job that I wasn't with. Thanks again for every things, Carol C
I miss Coder Weekly, and your service sounds very similar, but without the niche aspect. Where do I sign up?

EDIT: Thanks. Subbed.
Actually over a million: http://blog.coinbase.com/post/78016535692/a-major-coinbase-m...
Very interesting service, given that MacBooks have such high resale value it may work out for them.

I do hope they offer the high-end 15" Retina config even though it is not mentioned on the homepage.
This reminds with the $ANCIENT_PRE_1990_DATABASE I deal with at $DAY_JOB. This is a massive improvement which moves it from 8 characters to 250 characters for keys.

If I could just convince people to switch I would be SO HAPPY.

P.S.
I wish this was completely sarcasm. I really do deal with a database with a max key length of 8 characters for table names and field names at $DAY_JOB. :/
I have used nuzzel since beta. It is neither curated nor trying to figure out whats relevant to you. Instead it uses your twitter stream to show you relevant news and also has a few featured feeds of other prominent tech people. I can easily catch up on my tech news (most of what I follow in twitter) every morning.

full disclosure: I know the folks that built it.