skysight-inc/HackerNews huggingface dataset:
There are only two bits of syntax for lambda calculus: 'application', written "a b", and 'abstraction', which I'll write as "\a. b" (since "\" is easier to type than lambda). The words "abstraction" and "function" are pretty-much interchangable, although we might use "abstraction" to specifically refer to a "new" function definition, like this:

\x. x

As opposed to a "calculated" function, like the result of an application:

a b

Regarding precedence, application is "left-associative", meaning that

a b c

is the same as

(a b) c

Abstractions 'capture' everything after the ".", so

\a. b c \d. \e. f

is the same as

\a. (b c \d. (\e. f))

You need to use parentheses to go the other way, eg.

a (b c)
(\x. x) y

In the case of the Y combinator, there is only one "f" variable but it gets used twice. There are two "x" variables, one per abstraction, although those abstractions just-so-happen to look the same. In other words, we could replace one of the "x" abstractions with "\y. f (y y)" (known as an "alpha conversion") but we can't rename one of the "f"s without renaming all three occurences.

Regarding your last point, the only semantic values in lambda calculus are functions, so "t" can't be anything else. However, we just saw that there are two syntactic forms which "t" can take. If "t" is an abstraction, we can simplify our expression immediately via the beta-reduction rule ('applying t to s').

If "t" is an application, like "t1 t2", then we can try simplifying that to get either an abstraction (which we can apply to "s") or another application, which we can try simplifying, and so on.

It's possible (due to the Halting Problem) that we keep getting applications no matter how much we try to simplify, in which case we've hit an infinite loop while trying to calculate "t", and hence we can never reach the point where we can apply it to "s".
There is bhyve now...
Microsoft made a somewhat similar mistake(?) many years ago with WPF, a vector UI framework supposed to handle a wide range of pixel densities. You could frequently end up with lines that were 1.5pixels thick or located on a fraction of a pixel which caused them to look very blurry. To fix this they added a special flag called something like forcesnaptodevicepixels, which was supposed to force certain lines to always be located on an exact device pixel.
Without the needed support from the kernel side

Can you clarify what you mean by that?
"Who said that?"

"Eh, some artist."
 Watch. It’s personal
This isn't even always possible with Apple's software on a retina MacBook with OS X, and vexes me to this day. QuickTime won't play video back at 1:1 without setting the entire display to 1:1.
I've lived with box fans for years. This is our second summer in the Pacific Northwest, and our current apartment has no air movement. I.e., you can have box fans in the windows all night, and the kitchen is this mass of warm air when you get up. The apartment heats up very quickly and loses heat slowly for some reason. The apartment quickly reaches 78-80 degrees and is really unpleasant. So this summer indicated an AC purchase for the bedroom was a good idea. It's been extremely nice to sleep in a cool & dry room.

I'd be quite happy to have a residence that had decent air movement design, along with ceiling fans, but I don't think I'm giving up the bedroom AC.
Pitchswag – The First Online Business Incubator [Podcast]
Our goal should be a society without racial distinction.
Broadcom seems to be easing up a bit with their introduction of their WICED (pronounced Wicked) line of Bluetooth Smart and Wifi wireless modules.

- $20 dev board keyfob that connects to an iPhone our of the box.
- lots of firmware source code examples
- available iOS source code
- free compiler toolchain and USB programming
- open schematics and pcb files
- open forum: http://community.broadcom.com/

As a designer, I know it's easy to have a bad experience with a particular manufacturer and then avoid them like the plague in the future.

One time we designed in an Atmel TinyAVR into something, and as soon as we finished it went completely out-of-stock for 12 months.

We had to throw the boards and firmware away and start from scratch again using a PIC.

(We've never used another Atmel processor after that.)

But I try to remember that it's just a bias in my mind, and personal biases don't always jibe with reality.

Rationally, I understand that Atmel's not a bad company just because they had one supply chain glitch 7 years ago.

So my advice is: try to keep an open mind.
This is alarmingly inaccurate. Says it'd take $71 to take a taxi from Alexandria, VA to NE Washington, D.C.

If you live in the area, you'd know that's a bold-faced lie. It'd probably cost $25-$30 bucks, the same price being quoted for Lyft and Uber.
This needs to be turned into a parenting guide for engaged young minds in a highly distractive and mentally polluting landscape.

Technology can be a powerful mental and artistic tool, it can also be mental junk food and socially damaging.

I'd love to hear more about your experiences.
Re: CEOs tending to limit their kids "screen time" more than the average parent.

A more likely explanation is that CEOs don't see much of their children so they try to exercise control when they are around. Likewise their kids are probably more prone to being out of control since they are less supervised.

That or the article is just based on his confirmation bias.
You wrote: "Microsoft owns the idea if they want to. By participating in the competition we (and I) agreed that Microsoft can claim rights over the idea and use it as they want."

I think you are wrong about it and Microsoft doesn't own those ideas. Can you link to terms or rules where it says what you claim?
Isn't that only the Motorola phones?

But thanks. I didn't know about the Nest integration. I'm not sure I personally find it real compelling... but I know plenty of people that seem to really like Google Now. Different strokes I suppose.
Salt doesn't cause vasoconstriction (constriction of blood vessels). That's not really in dispute. It's whether increased salt intake leads to increase blood pressure. The theory behind this is that increases salt in the vascular spaces will draw in more fluid volume through osmotic pressure, which results in higher blood pressure.

The problem is there's a lot more going on in the body than basic hydrostatic forces and in general the body is pretty good at maintaining homeostasis in the face of external perturbation. As one, very relevant example, the kidneys are constantly excreting both salt and fluid in opposition to various changes in blood pressure and chemistry.

We know there are patients who are sensitive to salt in their diets. Particularly those with decreased kidney function. This and some other studies are asking the question whether increased salt intake in otherwise healthy individuals leads to an increase in blood pressure. So far the answer seems to be a resounding ...maybe.
And if that was the only reason you had a watch, you'd have a $5 casio.
You've called cyclists morons and insisted cycling on roads is equivalent with deliberately attempting to injure other people. There is absolutely nothing "humorous" about that, nor your inability to understand why other people found it horrifying and not conducive to discussion.

I don't care how much you talk about dedicated cycling infrastructure. Your violent "metaphor" overshadows it, and taints it, revealing an underlying purpose of simple segregation of something that enrages you. You've also claimed negative experiences with cyclists as a pedestrian, which, given the circumstances, is simply an admission of even greater bias against cycling.

I told you you were being an asshole in hopes that you might recognize that you've gone way off the deep end. But apparently you're a lost cause.

My fault, I should have already known that -- I did some searching and realized you're the same guy who rages about cycling every time it comes up on HN.

So, yeah, sorry to have interrupted your ravings.
Correct, they're just removing the social requirement.

The goal here being "no cash exchanged".
Not the case at all. Anyway, anything rendered into a retina resolution is going to be quite sharp.
Thanks for the feedback and sorry about the missing pricing link on the homepage. Definitely overdue to revamp the navigation and put a pricing link right up top there. I'll definitely chew on that free plan idea a bit.
The iPhone 6 has a barometer
I almost completely agree with this comment. I should have been more clear - my gripe is not so much with the study but with its interpretation by Time.

The study may have its own problems, but draws a conclusion I agree with, that the relationship between salt and blood pressure in healthy people may be overstated.

As for your point 3: I disagree. I think the news article makes a case that salt and blood pressure have no relationship, which isn't true. It is only true if, almost by definition, your salt / water regulation system is healthy.

Your point about maintaining NaCl levels is probably roughly correct, though I don't think it has been demonstrated per se.
Show HN: The easiest way to deploy Docker with services discovery (visualops.io)
Look through your browser or password manager for all the accounts whose randomly generated passwords it remembers. If you're not already generating random passwords and having your browser remember them, now would be a good time to start, since you're finding and updating all your accounts anyway.

For the accounts you already have: also include "welcome", "password", and "log in"/"login"/"sign in". You might also search for mail containing your email address in the body.

Also skim through the top 1000 sites or so, to jog your memory if you have accounts with those services.
"Seriously?" was not my argument. My argument was that there have been far worse atrocities in communist countries than the problems described in the US. I didn't really think I needed to be specific, because it's common knowledge... but if you insist, here's your history lesson: https://en.wikipedia.org/wiki/Mass_killings_under_Communist_...
Have to admit I'd be surprised if a full screen OpenGL or metal thing wasn't available, as for gaming the overhead of writing to a much larger offscreen buffer and then to the screen is not going to be a good idea. Quite often the reverse is done of scaling up a smaller buffer.
How We Became Profitable in 3 Years
Go Deutschland!
>he will have his wallet.

The vast majority of men in the US will have their wallets with them regardless. The iPhone 6 will not, and is not designed to replace driver's license, etc.
I think the reason raster icons have stuck around so long is the proportions of icons need to change as the scale gets really small to keep them recognizable (I think formats like svg has support for this now). Any vector icons also need to be rasterized before drawing to the screen which can take up memory and make things less speedy.

Vector icons were the new hot well before the original iPhone was released. Here's an article about OSX 10.4 Tiger released in 2004, 3 years before the first iPhone[1].

[1] http://forums.appleinsider.com/t/45544/mac-os-x-tiger-to-sup...
Apple Is Back with New and Better iPhone and Apple Watch
I never know where "Indian" fits in these breakdowns.
Radioshack may file for bankruptcy as sales continue freefall
Most ideas aren't "good"--only ideas with strong implementation are "good". Nobody gives a shit about your hackathon project that you can't manage to make a business out of.

If you really think this is worth is, go build a company and show him wrong.
€500 000 + 6 months = Advice from Datamolino’s CEO
That shouldn't happen if you do the motion transform uniformly on all axes. It should just be equivalent to changing the speed of time, rather than actually changing the trajectories.
No problem! I'm hoping for Google to roll out Google Now support into the Nest devices directly, so it can pickup my voice throughout my house (thermostat, nest protects) and respond accordingly (a la Startrek).
I'm not a UX designer by any stretch, but as a consumer I can say that if Apple can pull off the downsampling/downscaling correctly, good on them. I have a Kindle Fire HDX 7", and recently upgraded to a Fire HDX 8.9". The former is 1920x1200 and 323 PPI, the latter is 2560x1600 and 339 PPI. That's not a huge difference in PPI in fact it's far less than the difference in the two new iPhones, yet so many apps (mostly games) render incorrectly on the larger Kindle, to the point that small text becomes unreadable.

If Apple can release two new phones with greater disparity and seemingly get the app experience right, why can't Amazon? I don't use an iPhone but seeing these explanations that break down how they pull off such a feat really impresses me.
It couldn't be the quality of the language or the popularity of the platform. Just "hipsters".
That's mean :P
I'm imagining the commentariat's reaction to such a "pretty reasonable trade-off" on a Nexus 5 or a Galaxy S4
So if you want to watch a 1080 video on this device, the player will upscale it to 1242 and then the hardware will downscale it to 1080 again? or will there be some way to bypass all this?
How many hours a month would it take to run if you weren't focused on improving the product, just keeping the site running?

If the answer to that is a decent hourly rate, do that and then just start doing something else.

If it's not, and you aren't able to figure out growth, you may want to shut the doors, as I think it's not likely that you'll see a lot of buyers looking for $6K annual revenue, even at high margins.

I'm not that good at marketing either, but I'm having to figure it out. We programmer types think that "if you build it, they will come", and that a better mousetrap will trump any need for a sales and marketing strategy beyond a good checkout page. The truth is, if you don't figure out some of the marketing basics for yourself, at least enough to know what type of marketing experts to use, you'll be likely to have the same problems with your next venture. You might get lucky and stumble into a hot market, but if you don't, marketing will be the difference between being in the top tier making a double digit percentage of the available revenue in the market and being an also-ran making a pittance.
What If Apple Watch Was Round
Seconding Hardcore History by Dan Carlin. I'm currently going through the Blueprint for Armageddon series, where he gives a passionate and compelling telling of the events leading up to and surrounding World War One.
Will the Cost of Customer Acquisition Kill Your Company?
On Facebook, Nobody Knows You’re a Voter. Well, Almost Nobody
Show HN: SPACECAMP, Inc – product development team for hire
> What happened to what is popularly known as common sense?

In my own experience, I did not gain "Common sense" until I did what you did - move to the middle of nowhere and gain direct experience. Until then, my understanding was gained through media.

> A disease that can be treated by a website is virtual, not real.

Let us begin by defining our terms. How do you define:

.) dis-ease

.) treated

.) website

.) real

.) imaginary

Make no mistake - I'm in assloads of pain with every keystroke but I will rip you a new one on this matter.
Part 1 of 7 (linked above) is 10 minutes long and worth watching. It is NSFW only because of the intro clip from Spike Lee's Do The Right Thing. The series of videos contains an introduction by kruger97 (his Youtube name; I don't know his real name), then an interview with Stuart Hall, then a speech by Hall.

https://en.wikipedia.org/wiki/Stuart_Hall_(cultural_theorist...
https://en.wikipedia.org/wiki/Floating_signifier
What is the line graph of visualizing algorithms?
Cryptomarkets Are Gentrifying the Drug Trade
I know Pipedrive allow you customize your product (and people, deal, organization) fields.

I'm a Pipedrive user.
That's a good way of describing it. I expect that a hundred years from now, this thread will be viewed as people arguing over questions that don't even make sense. This brings to mind Paul Graham's article "What you can't say", but that article focuses on what people can't say due to moral/cultural pressures and taboos. In this case (and many others), it's what people can't say because the underlying framework is missing. Maybe in 100 years, people will wonder why we were even debating whether people should restrict salt or not, because the question won't even make sense as something to ask. Kind of like serious medieval debates over Filioque now seem pointless to most people.

[1] http://www.paulgraham.com/say.html
Apple documents the crap out of it, and pages like on the dev site, and summaries like this are just built of that (usually aimed at a less technical audience than the dev portal). I think that's what helps the most - I've been able to tell every designer I've worked with what resolutions I need and how I need the files suffixed, and since they tend to use vectors anyway, it all just works out. Amazon must not put the same amount of effort into documenting, but admittedly I don't know about that.
may be if you change view on what and where software should be doing it might click together. i.e. for example all real work happens on client and client app offloads only storage of computed data to your servers via separate authentication. this is shift of paradigm back again to "desktopish apps", but still quite viable in certain situations.
Rust has roughly the same problem as C/C++: without compiler support for garbage collection, you quickly get off into the unappealing-option weeds. In this case, either "conservative" collection, or smart-pointer based collectors, which have performance issues compared to "proper GC's". (As far as GC features go, you can get pretty far with smart pointers: http://maniagnosis.crsr.net/2014/03/automatic-memory-managem... .)
Uber is far larger and growing faster than Lyft
And second round: http://alcion-uxui.tumblr.com/post/97208098622/what-if-apple...
Aren't the commentariat always asking "what's the point of going to 1080p or 4k on a 5" display?"
He's getting down voted because his assertion that the attention paid to Swift is driven entirely by hipsterism is Slashdot-esque nonsense. People who make a living writing Objective-C will be making a living writing Swift.
Believe it or not, I'm not criticizing the study. It certainly has weaknesses, but I agree with its conclusion and its general methodology.

I'm criticizing Time magazine for making the claim that salt has no effect on blood pressure (or implying it), which is demonstrably not true.

My point is: if you're healthy, no, it isn't surprising that your body can regulate salt intake. If you aren't, it isn't surprising that doctors will want to keep track of how much salt you're eating.

> For a med STUDENT you show quite a lot arrogance.

I wish you hadn't said this, because I think it's unnecessary and diminishes the rest of your comment.
Uber vs. Lyft: the credit cards don't lie
The fact that your username exists is almost always public information, and all you'd be disclosing. That's why we have passwords.
We were until Android phones got higher DPI than retina iPhones ;)
Want a K-12 teacher to thank you for coding? Come work at Clever (YC S12)
Steve Jobs described education as one of the final frontiers still untouched by modern technology. Clever (YC S12 - https://clever.com) is building the data platform needed for great software to make its way into the classroom. Just like Stripe has made it simple for developers to build payment processing into their apps, Clever has made it easy for developers to build applications for schools using student data.

We're a small, highly technical team with deep experience in education. In under two years, 1 in 6 schools in America has begun using our APIs, meaning that Clever moves data for eight million students every day.

Our newest project is essentially Facebook Connect for education: one identity to tie together all of a student’s learning applications into a cohesive experience. We’re making that happen with our Instant Login service, which allows students to log in once and immediately get access to all their apps: https://www.edsurge.com/n/2014-05-14-no-more-passwords-cleve...

And while we have all the startup perks (a beautiful loft office in SoMa, free lunch, unlimited Amazon credits for learning..) – hands down the best part of the job are the calls and emails from schools describing how much Clever helps them.

As an education company, we’re all about learning personally too – it’s practically a prerequisite to work here. In the past few weeks we’ve done tech talks on things like exoplanets, set theory, and kitesurfing. (We also love a good round of bughouse chess – just ask Magnus Carlsen http://screencast.com/t/xD7umWfo)

We’re looking for full-stack engineers who can hack in Node, Go, and Python (or are willing to learn), but more importantly, we’re looking for people who share our passion for improving education. If you’re interested, we’d love to hear from you.

https://clever.com/about/jobs

At Clever, we want to work with the best people - applicants of all backgrounds and beliefs are welcome to come improve education with us. We're committed to making our office a safe and comfortable environment for all employees.
I think you're confusing angular-cache with angular-data. Angular-cache (what you describe as 2.x and 3.x) is a drop-in replacement for $cacheFactory. It's a key-value store with extra caching goodies.

Angular-data (at 1.0.0-rc.1 right now) is a full-fledged data store and resource manager.
I don't believe you need to be a genius. Just willing to move to New York. Give it a whack. How much can it hurt?
I wasn't aware that hitting 1.0 means all development ceases.
The articles you link to are all just misquoting the original blog post by Raymond Chen (who is not "MSDN", they just host the blog).
As they say, ignorance is bliss. If you never educate yourself about how other people in the world live and how your lifestyle impacts them, or how the food you eat is made, or the actions that governments take on your behalf, you won't feel empathy or anger about all the injustices and abuses that occur. Once you realize how much pain exists, and how much of it is a result of your action or inaction, then the real depression starts.
Why Uber and Lyft Should Be Focusing Overseas
Eventjoy (YC W14) Is Joining Ticketmaster
As someone with a large angular project, this looks to me like it would reduce complexity if it works as well as it says on the tin. In my experience, it takes a ton of work and complexity to make working with data convenient and performant. I'm excited to try this out.
1/3 of the width is black, if you count from grey edge to grey edge. I agree that it doesn't look bad or bulky on this image, but the bevel size still strikes me as odd, considering how little room you've got on a watch like this.

People said Apple would be mocking Motorola for the black area in the bottom of their watch. I don't personally have a preference in the square/circle debate, but I really thought Apple would be able to get rid of more of the bevel.
"...writing Gc<List<Gc<Foo>> everywhere..."

Rust, unlike Java, has type definitions[1]; there's no need to use the full expansion everywhere.

(I don't believe it's even necessary in Java, but creating subclasses has its own downsides.)

[1] http://doc.rust-lang.org/0.11.0/rust.html#type-definitions
No, Hangouts is a replacement for Gchat, with a different feature set. There are some new features, but communication with non-google XMPP users is being dropped (so as to lock in users as much as possible).
That's one a the main reasons mean people avoid it - since it would mean loosing contact with many users.
Learnings from Designing the Documentation for a Developer Product