skysight-inc/HackerNews huggingface dataset:
See Felleisen's "On the Expressive Power of Programming Languages"[1] for one formalization that differs from conciseness. Essentially, Turing complete languages can express the same programs at the very coarse "whole program" level, but the paper advocates taking a more local view to assess expressiveness (e.g. what programs in L1 can you write in L2 without having to do a whole program transformation). See also Neal Gafter's related commentary[2] (in the context of the various proposals for closures in Java).

[1] http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.4...

[2] http://gafter.blogspot.com/2007/03/on-expressive-power-of-pr...
I didn't like the trailer either. However, the movie was excellent. I took a chance because James Cameron called it the best space movie ever.

http://www.digitalspy.com/movies/news/a521285/james-cameron-...
Expressiveness is power and it applies to the act of writing code, not reading it. I agree that it is ideal if one's code can be read and comprehended easily by others although that has little to do with expressiveness.

http://www.paulgraham.com/power.html
It's a very [adjective] [noun]! (patiently waiting for my Mad Libs C&D)
While they do focus on advanced projects, any project that is cost-effective and beneficial to a Defense agency will be given the necessary funds to get it done as soon as possible.

It seems like they are getting faster and faster when going from prototype to on the battlefield.

If there is one organization in the entire world that has enough funds to do almost anything it is the US DoD.
What does it mean to "flip a classroom"?
> For example, if you’re reading this using a link to https://blog.cloudflare.com then the SSL connection you are using will have required random numbers to ensure its security (they were used as part of the establishment of the secure connection).

If. Raises the question of why the HN link isn't HTTPS.
HTML5 Simple Draw Board
Who are the Twitter millionaires?
Facebook Engineering Director fine with murder and suicide of feminist
It's probably appropriate to also mention the (supposedly ancient) form of mathematics taught in India as Vedic Mathematics [1] that provides computational shortcuts. (The origin of this is in question though [2])

1. http://ed.ted.com/lessons/the-magic-of-vedic-math-gaurav-tek...

2. http://www.openthemagazine.com/article/art-culture/the-fraud...
What could be wrong with dosing children with amphetamines every day for years?
It's hard to do, but it is being done. See e.g. Gonthier's celebrated work formalizing the Feit-Thompson theorem[1].

[1] http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/
From Google's point of view, so people can "switch" without figuring out how to reinstall an OS. The upgrade path from "Windows 8 machine with Chrome OS" to "Chrome OS machine" is very attractive, especially when so many users were left with a bad taste in their mouth after upgrading from 7.
Mugged by a Mug Shot Online
Obamacare CliffsNotes — I.M.H.O.
This seems like a non-issue (only affecting users with beta versions of iOS 7) and a generally uninformed article:

> Apple seem to have pushed out an update that forces users to update to the current version of iOS 7

Previous betas have had expiration dates hard-coded into them. So the "update" that Apple "seem to have pushed out" is probably "the future".

EDIT: It seems like this is the first time an iOS beta has expired for some developers. Get a GM release and (command|shift) click [1] on "check for updates" in iTunes [2]. This is basically how you do non-OTA updates between different beta versions.

EDIT 2: The blog post has been updated and "Apple seem to have pushed out an update" no longer appears in the body text. I wonder why... [3]

[1] Some modifier key is the right one. I don't remember which.

[2] http://www.jailbreaksquad.com/wp-content/uploads/2013/01/Bro...

[3] http://i.imgur.com/zN2EttW.jpg
If you used objects to represent 5, 10, 100 stones, etc., and were capable of e.g. saying that 7 and 7 stones equal one 10-stone and 4 stones, you would have a compact representation of your number, and that would be the proper use of this algorithm.

But note that this is different from what John H. Lienhard explicitly says: "the hole contains 224 stones". His version is completely pointless. None of us are objecting to the algorithm itself - yes, it is equivalent to long multiplication in binary, it has been known since ancient times, and there is nothing wrong with it. However, Lienhart has a) apparently misunderstood the point of the algorithm, and b) ascribed it to Ethiopian village "shamans", which gives one the mental image of Ethiopians standing around and watching a shaman manipulate hundreds of stones, instead of simply counting out the price - 7 for the first goat, 7 for the second, etc. This probably never happened, and would be stupid if it did; and yet people are coming here to defend this as an example of "Ethiopian ingenuity".

What kind of "shamans" is Ethiopia supposed to have, anyway? Aren't they a Siberian thing? Ethiopia has one of the most ancient Christian traditions in the world, you know. I agree with some other posters that this whole thing is some kind of a politically correct cringe which somehow tries to compliment Ethiopians for something they have nothing to do with, and only ends up insulting them. And every reader's intelligence, to boot.
Apple will happily sell you a MacBook Pro, if you are interested in making this trade off.
I love how basically every headline for this event makes no mention of expiring betas. This is not that exciting, but gotta get those clicks and make it seem like iOS 7 in general is crapping out across the globe.
Marketplace paypal adaptive payment
Got this on my iPad, thought "ohh shit, I should back up my phone right now, it's next..."

I backed it up and within 20 minutes it had been disabled.

Interestingly, it put it in a state in which it was unable to ring for incoming calls.

I wish Apple would not report that your iOS version is "up to date" in iTunes if you are running a time-bombed beta build. Even if they don't want to support a direct upgrade path from beta to GM, they could indicate in their software that your software is not up to date.

Not everyone can afford dedicated dev devices--even though that is in their terms of use.
Cable companies cap data use for revenue
In days of old from ACID was dreamt of, computers were built head to tail by giant engineering firms largely with three letter names. In those days, when you wrote to disk, it was on disk. If you handed it to a subsystem to write to disk, you could believe the answer because your people built that subsystem and it had better do what you wanted.

Now, computers are built with subsystems from a half dozen different companies, none of which can be bothered to fully document their product's behavior. Product life cycles are so fast it isn't worth working out what a device actually does, because by the time you do you either won't be able to buy it anymore, or someone's new iteration will be 20% cheaper/faster/bigger and you will get killed in the market if you don't switch to it.

␄

PS: We were also happy to have a whole MIP of Vax equivalent (or identical) processing power, and I was slightly reknowned for my ability to code cleverly enough to get 42 disk IO/second out of our main disk drive, so I'd rather not go back, think you very much. I'll get along as best I can with the miraculous and inexpensive rubbish we build our systems from today.
The Bay Area is not Northern California. It is Central California. Examples of places in Northern California include Yreka, Eureka, Redding, and Klamath Falls.

I have found that (Bay Area subset of N. CA) is a very common misconception of people who have recently moved to the area.
I agree with some of the liberties they took, for example the ISS, the shuttle+hubble and a chinese space station being next to each other, but I'm not so sure about staying in micro-gravity during acceleration phases. Was it because they didn't think the public would understand what acceleration looks like?
France has half of the world roundabouts with close to 30 000 ones (for a total of 36000 cities)
I call them the 101 and the 280 as well--and I never lived in SoCal. I think more people do it up here than they'd like to admit. :P
Yes, because only Apple has access to Haswell processors.

"Battery life will vary depending on numerous factors including product model, configuration, loaded applications, features, use, wireless functionality, and power management settings”

Apparently the MBA doesn’t require battery to run its Wifi, either...
Wine, women, and song?
Looking at https://en.wikipedia.org/wiki/Multiplication_algorithm#Peasa..., isn't this exactly the same as decimal long multiplication, except using binary?
"If your goal is to make everyone work, you have to fight wealth accumulation."

Wealth accumulation is the reason businesses thrive in the first place. Without businesses, who is going to provide jobs for those lower-income workers? The government?

"You sold a company for 5B$ ? doesnt matter, you should be taxed until you have almost no money"

If I knew this would happen, I would most likely move my company overseas. There is a reason IKEA is a non-profit organization and many actors renounce their European country citizenship.

"Your parents made rich money? tough luck. No inheritance. Get to work."

Now you just sound bitter and jealous.
The CMS on the front-end (and the repo you mention) is pretty clean and well optimized. As soon as you get into /marketplace, that's when the problems begin from what I can tell.
Aviation. No commercial pilot or airline would fly without a weather forecast for their destination. The public transport system, let alone cargo, would shut down.
> “There’s been a great deal of resistance to even believing there is a disease,” said Mary Baker, president of the European Brain Council, a Brussels-based non-profit representing doctors, patients and companies including Shire that work on neurology and psychiatry issues.

Here's a PDF of funding for the European Brain Council. (http://www.europeanbraincouncil.org/pdfs/Publications_/EBC%2...)
One doesn't have to look far before he finds a fatal flaw in the commentary. Particularly this:

"In my mind, a language construct is expressive if it enables you to write (and use) an API that can't be written (and used) without the construct." - Neil Gafter

Once more, there is no such construct. All APIs can be written and consumed without language support. Otherwise, Boost would not have had all the new C++ goodies (as an add-on library) before they became part of the language itself. And, of course, one can always put the 'human compiler' to work to produce boilerplate that would be produced by the compiler if the language in question supported the feature in question (if there isn't an add-on library providing the feature in question). One can always do this but the discriminating one tries to avoid it and instead chooses 'expressive' (i.e., conciseness-facilitating) languages. [In the case of closures in Java, one [human-compiler] would merely use one-off interfaces or anonymous classes].

I will take a look at the other links but I gave up on the commentary after seeing such a blatant falsehood.
Being able to charge my laptop at night, and not worry about getting though the day is incredible. It is game changing, I absolutely wouldn't give up 3 to 4 hours of battery life for a better resolution, not even close.

Being able to do a full day of meetings, using the laptop all day (12+ hours of real use), and finish they day out at my hotel with 15%+ left is something I am not about to mess with.
In the US, lawyers have argued that forcing someone to hand over their encryption keys violates the Fifth Amendment right to protection from self-incrimination.

Is the implication supposed to be that seizure of Bitcoins is protected by the Fifth Amendment? That seems far-fetched.
>This algorithm allows people to multiply two numbers if all they can do is multiply and divide by 2, and add.

Yes, and the algorithm of making N groups of M and then counting allows people to multiply if all they can do is count. And they will do it far faster than the shaman every time.

>And yet is it so efficient it is how computers multiply.

No, it isn't.
How is this method faster than counting them out, when the end result is 238 stones that you have to count in order to know the answer?
This really screwed me over this time. My developer account expired a few weeks ago and I got worried because I still had the beta installed. I tried upgrading via iTunes, but it said I was up to date, and I assumed that meant that the phone had updated itself to the release version over the air automatically or that I'd forgotten that I already updated manually. And now that phone is bricked until I get back to my computer tomorrow.
PureVPN facing legal issues?
Recent mail from PureVPN. I hope it goes well for them, but watch out...

Dear customer,

I'm sorry to inform you that due to an incident we had to close your account permanently. We are no longer able to run an anonymization service due to legal issues we are facing.

We had to handover all customer’s information to the authorities unfortunately. They might contact you if they need any details about the case they are working on. The following information was handed over: your name, billing address and phone number provided during purchase and any documents we had on file (for example scan of your ID or driver’s license if you have provided these to our billing department).

We are also sorry we are not able to refund you, however if you wish your money back, please open a dispute on PayPal or file a chargeback with your credit card company. This is the only way we can refund you as our bank account is frozen during this investigation. We recommend you to do this as soon as possible as we can't guarantee all customers will get their money back.

We apologize once more this had to happen.

Yours sincerely,
Uzair Gadit
PureVPN founder
Supposedly DPR lived well within his means in modest accommodations.
PureVPN shutting down?
Dear customer,

I'm sorry to inform you that due to an incident we had to close your account permanently. We are no longer able to run an anonymization service due to legal issues we are facing.

We had to handover all customer’s information to the authorities unfortunately. They might contact you if they need any details about the case they are working on. The following information was handed over: your name, billing address and phone number provided during purchase and any documents we had on file (for example scan of your ID or driver’s license if you have provided these to our billing department).

We are also sorry we are not able to refund you, however if you wish your money back, please open a dispute on PayPal or file a chargeback with your credit card company. This is the only way we can refund you as our bank account is frozen during this investigation. We recommend you to do this as soon as possible as we can't guarantee all customers will get their money back.

We apologize once more this had to happen.

Yours sincerely,
Uzair Gadit
PureVPN founder
Wikipedia disagrees with you.

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

"Northern California is the northern portion of the U.S. state of California. The San Francisco Bay Area (which includes the cities of San Francisco, Oakland, and San Jose), and Sacramento (the state capital) as well as its metropolitan area are the main population centers."
Well, riddle me this:

Why is the Cayman Islands, with a population of 56,000, the 5th largest financial center in the world?
Most likely they are using the current value of BTC against the cumulative proceeds which vastly overstates revenue unless all funds were kept in BTC.
> What happens if the disk or kernel lie

My understanding is that the kernel (for Windows and Linux values of "kernel") will never lie to you. They will accurately report what the storage drivers told it, and the lying occurs at that level.

Storage drivers seem to be a big source of corruption for MSSQL [1]:

> The most common cause of database corruption (more than 95% of all corruption cases) that we in PSS encounter turn out to be caused by a platform issue, which is a layer below the SQL Server. The most common individual cause is a 3rd party driver or firmware bug.

And as well

> My guess would be that hard-drives have explicit instruction(s)

They do, but the problem is that the storage drivers lie about what actually happened. E.g. Basically they implement write caching for the "flush the write cache" instruction.

[1] http://blogs.msdn.com/b/suhde/archive/2009/04/08/introductio...
Tesla Motors headquarters by VMWare and SAP also employs quite a few.
It depends on how much you want to invest in this, however, companies pay top dollars for services like these (see: http://www.keynote.com/)
http://www.youtube.com/watch?v=QU4j02SrxM4

Taming wild animals, until they are tamer than tame.
I've recently been dealing with the question of low entropy with some virtual machines. I decided to delay installation of the ssh server until after I was able to boot up and bang on the keyboard in a text editor to get the entropy over 2000.
The algorithm actually does make sense for positional systems (or compact notations in general). Think of long multiplication: it assumes you can multiply by a one-digit number, and lets you get from there to multiplying by a many-digit number. This is the same thing, but it only assumes you can multiply by two, instead of by any one-digit number. So this is a variant of long multiplication, and equivalent to performing long multiplication in binary. But it only makes sense if you have a compact representation of your numbers, since otherwise you may indeed just perform the multiplication directly by counting out 7 stones for the first goat, 7 for the next, and so on.

It is the version described by Lienhard - which involves counting out the whole number anyway, which you could just as easily do without any special algorithm - that is pointless.
This happened to me less than an hour ago - it puts you on an infinite loop if you try and do a login from the phone without a USB connection.

I'm a developer that's been using the beta - it seems to have only affected those that haven't upgraded.
The 1.3Ghz 13" crushes other portables in 3rd party battery tests, getting 12:51 on engadgets movie test (http://www.engadget.com/2013/06/13/macbook-air-review/). While being light and easy to tote.

It is more than just the processor, this is one place where Apple's sourcing and close hardware/software bonding really shows value.

For me, it was a bit of a game changer, because I can charge it at home like a cell phone rather than dragging around the power supply and cables in my bag like I used to.

Excluding special "sheet batteries" and other basically external batteries, there are only a handful of laptops that are in the ballpark, and they are all significantly more bulky.

Lenovo 9-Cell T430 and X230 beat it out battery wise (slightly), and the Dell E6430 and HP 2570p come close. Out of those, the only one near it weight wise and size is the X230 -- and with the 9 cell battery it is still over half a pound heavier (3.5 versus 2.9). Also, the X230 as configured to beat Apple is slower and $650 more.
The algorithm only requires 12 holes, and scales the number of holes logarithmically. As opposed to make one group per unit, which scales the number of groups linearly. Less holes, less work, win.

If you squint your eyes a bit, you can even imagine where this comes from. To avoid creating too many holes, you start with a group of 7 stones, then double them, then again, until you "double" them 34 times. Obviously 34 is not a power of two, so you need some extra machinery to make it work for non powers of two.
Bear in mind that Apple then released the GM version of iOS 7.
For those who actually read and comprehend the release notes installed the iOS 7 GM over the beta ones.

This is one of many reasons why people who have no business installing beta software should NEVER install beta software on their devices.
a robot made of the word "ROBOT"

G_____________ROBO_ROB_ROBO_______ROBOT______
ROBOT______RBOT__________ROBO______ROBOT_____
_ROBOT_______ROBO_BOT_OBOT_____________
Some of the signs for ADHD from wikipedia:

"Become bored with a task after only a few minutes, unless doing something enjoyable"

"Have trouble completing or turning in homework assignments"

"Struggle to follow instructions"

"Be very impatient"

"Be constantly in motion"

"Thinks constantly being told what to do by others for 18 years kinda sucks"

http://en.wikipedia.org/wiki/Attention_deficit_hyperactivity...
Good luck if you had "find my phone" turned on.
I'd wager Ross only kept enough coins accessible from the machine hosting SL for day-to-day operations, and sent the extra proceeds to an account the production machines didn't have access to, one with the private key either on his personal laptop or in a safety deposit box.
That's why stronger competition usually makes it more fair, since competitors can lower prices while still being profitable. Overcharging is usually not an indication of "willingness to pay", but an indication that the market in unhealthy (no competition, monopoly and so on).
> One of the biggest shocks I faced when I arrived to the Valley was finding out that it was a very suburban environment. Mountain View, Palo Alto, Sunnyvale are completely suburban.

I suppose it depends on your definition of "suburban". Each one of those cities has a bona-fide city center and nearby residential development dense enough to allow a very walkable environment. It's a lot worse in many places back east including my area.

http://www.walkscore.com/CA/Mountain_View

http://www.walkscore.com/MD/Columbia/21045
Under activities, you must add a link to http://www.bahiker.com/
I didn't even find the bigger battery a compelling enough reason to upgrade from the 2011 model, it's just not that often I'm so far from my charger for such a long period of time.

To me the only real deficiencies are the dual core cpu and the increasingly dated resolution.
>the kind of fat that clogs arteries and promotes heart disease.

Medical advice straight out of the 1970's.
First off, I recommend you ask a licensed professional that type of question.

My experience being switched from Adderall XR to Vyvanse a few years ago when it first came to market in the U.S. has been positive. Vyvanse seems less addictive (missing a week or two between prescriptions is not a big deal) or prone to side effects like insomnia.
How about making it available for adults first?
The article refers to a "26k BTC fortune", which was confiscated, while the complaint against Ross said the total SR commissions were 614,305 BTC (https://en.wikipedia.org/wiki/Silk_Road_(marketplace)#Site_s...).