skysight-inc/HackerNews huggingface dataset:
"Oh wow, wouldn't it be great if browsers had a bytecode interpreter in them?"

Two words: "Java applets".
> As more and more areas of London become unaffordable to anyone but wealthy professionals,

Is this a joke?

I know some people who live on Barges in London and they are no where near as shit as those in the article.
Where do you think the "better" varieties that get interbred come from?
A hands-on review of Panasonic's Firefox OS-powered television
I've often thought that a simple change would be to require you to prove that it is in the public interest for your patent to be enforced. Patents only exist for public benefit anyway.

I don't think that a patent troll, for example, could prove that the world would be a better place by them enforcing their patents. If they could, then we'd be better off letting them do it (by definition).
That's not a Docker issue, that's an X11 issue. Unless you're using Wayland, you don't have much choice here.
Researchers generate a reference map of the human epigenome
Important Qualities of a Good Web Crawler
This kinda sounds like intel's TXE, which allows you to run code in a state that's non-debuggable and inaccessible to anything else on the system. Not sure TXE covers peripherals though.

It does have the possibility of being used for evil, but much like the TPM chips in some systems, it can also be used for good.
Hydrogen has a high affinity for bonding with other elements. Most notably water (H2O) and in varying ratios, with carbon (hydrocarbons). Both water and hydrocarbons, along with other forms, are heavy enough to not escape from Earth's gravitational pull at a high rate (though some estimates suggest that a large fraction of Earth's original water has been lost to space).

Helium is on of the noble gasses -- they either do not react or react only very reluctantly with other elements.

Combined with helium's low molecular weight, and since gaseous helium is atomic helium, free helium tends to escape into space.

And as Douglas Adams noted: Space is big. You just won't believe how vastly, hugely, mind-bogglingly big it is. I mean, you may think it's a long way down the road to the drug store, but that's just peanuts to space.

There's little chance that pure gold could be profitably recovered from space. Let alone helium.
The last time I read about these the main problems were replacement cost and ride comfort. It appears that Michelin already offers them in applications where ride comfort isn't an issue, such as riding mowers and skid-steer loaders.[0]

[0]:http://www.michelintweel.com/
Issac Newton is on this list, his death at 84 hardly qualifies as unfortunate or unfitting. I mean, even today, 84 is well above life expectancy in most of the world.
In the Haskell community there is a tool called QuickCheck [1]: it is able to generate inputs based on preconditions, and you provide a function to verify the postconditions.

I am not sure why these kind of testing methods aren't used more often in other communities, since it makes it really easy to catch corner cases; in the Haskell world, at least, using QuickCheck is somewhat pervasive.

[1] https://wiki.haskell.org/Introduction_to_QuickCheck2

EDIT: I have never done this before, but could anyone explain why I am being downvoted? I wasn't making the claim that this is a substitute for a formal proof, I was merely adding this information to the discussion since it seemed relevant.
T-Mobile and Mozilla will launch a new ‘privacy phone’
Pensées Profondes: a modular and open-source question answering framework
Sure, but what is the probability that you generate exactly the type of sequence needed to trigger this bug.
Calling it an Ad blocker is misleading as well. More Ad replacement.

"PrivDog - a tool designed to block ads and replace them with ones from "trusted sources" - joins a growing list of software affected by related security flaws."
It's my understanding (I don't have a source, just a recollection of a BS episode on "organic" food) that we would be unable to support our current population with non-GMO crops, let alone support the growth in population we are anticipating.

So, what's the alternative? Let 30% of our population starve because food prices shoot through the roof?
Authy is joining Twilio
> people encoding stolen credit card data onto gift cards. Cashiers at the time did not check driver licenses when paying with a gift card

That is top-quality social engineering.
For the entire system perhaps. Certainly not per person.
I was surprised that Boston wasn't included.
My son is of the age where his wish list for birthdays and Christmas is usually at least half Lego, and the wallet is definitely feeling it :)

Wish there were some Lego compatible bricks with liberal licensing, so that they can be freely designed by the community, and manufactured by several manufacturers. Would be even cooler if there were Mindstorm style robotics kits like that with open source licensing.

A large part of the population (especially outside 1st world countries) is excluded from the joys of plastic bricks due to price.

Found this a while ago, not sure how legit these are - http://brickset.com/article/7722/reviews-of-chinese-clone-br...
Texas personal income tax is zero. That's a huge advantage. But then you have to live in Texas.
Bitbucket is still down
That's just another example of this cultures weird relationship with personal qualities. The good version of laziness, impatience and hubris is efficiency, passion and confidence. But if you call it efficiency those who are lazy, or at least hide their decision behind the acceptance of laziness, gets upset. So you instead have to say that you are lazy, but in a good way.

Of course there is also people who hide their decision behind the idea of efficiency.
Defining Software Requirements for Better Quality and Faster Delivery
I'm just guessing here. Current technology uses all sorts of tricks to focus/manipulate/use 193nm light so that you can build something smaller than the size of wavelength. However many of these tricks don't work with EUV or bigger but smaller than current light because it has to be done in a vacuum. So basicly you have to go even smaller to be better.
This is an excellent use case of formal verification. I can definitely see the merit in using tools like this in my code.

They mention KeY http://www.key-project.org/ . Is anyone using this here? Are there any good resources on it except for the official site (and this blog post)?
The Finnish variant is a Stiga Jet:
https://www.youtube.com/watch?v=IdiPmYSTwlU

(The video starts pretty slowly, and doesn't provide much info about how that was built, but it looks fun. There are also plenty of more scaled-up projects, basically looking like combining a ski-doo with a V-1 rocket).

(I actually used a kicksled in the winters to go to school, until I got a moped.)
This. It goes for fracking as well, where there are significant and real externalities wrought by these new methods of extracting resources from Earth. Companies largely aren't being made to pay them. It's true that the market does correct for the diminishing of supply somewhat with an increase in price, but this is not the only mechanism in play as the pureblood capitalists would have you believe. Rather, existing players are also using their political influence to weaken legislation that was originally designed to force companies to deal with these externalities, at least partly [1].

As a result, the true cost of these new resources is greater than it appears, and furthermore the external costs in our poorer health, the destruction of our environment, and the corruption of our political system, make up a greater portion of the total cost of the resource, than previous methods of extraction. There is no reason to believe this trend will reverse.

[1] Complain all you want that this isn't "true" capitalism. I don't care. The fact is we've decided that pricing these externalities directly into the market is too hard or has too much overhead, and so we patched over it with laws. If you want to change that, go ahead and try, but don't advocate weakening legislation to force someone to deal with these externalities until after you're successful.
Twilio Acquires Authy (YC W12)
Well, GMO represents the future of farming, and this is a generally future looking forum.

The old method of GMO, that is intentionally controlling pollination to bring out desirable traits once per plant generation, is too slow to support the growing need for food as our population expands.

We can't look to the past for a solution for this (well, we could, but personally I'm against starvation and plagues), so I feel that we have little choice but to look forward.
For those interested in helium's price history, cost per thousand cubic feet, 1999 - 2011 rose from $42 to $160, or 3.8x.

http://www.extremetech.com/wp-content/uploads/2012/09/helium...
Brilliant tool - great for attaching brochure on our start up
Sometimes we're provincially biased, though. What you describe is not all that unusual nationwide.

And not to point out the obvious, but five years ago was rock bottom for this nation's economy (and housing market). I don't think that's a fair comparison, even if it is Mountain View v. Austin.
Will you need to heat your house in the first place, in 100 years?
The parametricity (edit: thanks imaginenore, I misremembered the name) theorem implies that a generic sort function written in a safe subset of the language could never do that though.
Such arrangement seems to become unsustainable if the age distribution in a population in an area is skewed/starts to skew not in the younger direction, and if the younger generations don't want to take on the debt load.
anyone know the list of bugs for this?

https://bugs.openjdk.java.net/browse/JDK-8072909

It seems they havn't submitted to any other trackers, which is a bit unfortunate
One's called an engineer, and the other is called a developer.

The difference is supposed to be that an engineer works more in the design of software than the developer, who works more on the implementation. In reality, the difference is rarely that concrete and generally the two are interchangeable for many people in the middle of the overall bell curve.
I lived in Detroit until the mid 80's, now Chicago, but just went back for the first time with a touristic mindset. I met software developers from New York, Boston, and San Francisco who had moved TO Detroit and liked it. Detroit overall is as horrible as the media says, but the central core, which includes a big university, medical center, and downtown, is livable, bikable, and.... just cool.
I'm living in Hong Kong now and I see old people collecting cardboard and looking through bins more than once a day. It's not a good situation! There are more news stories of older people commiting suicide compared to the UK.

Five-ish years ago I was living in Singapore too but I don't recall ever seeing it there, especially nothing compared to Hong Kong.
> (though one could argue that sudden reveal of how common some preferences are could also force their societies to reconcile official values with reality).

Fundamentalists don't care for statistics and they usually aren't very open to new ideas. Besides if they would have lists of people watching gay porn, they'd probably have a minority anyway.

> If you really want to make revealing someone's sexual preferences his and his alone decision, you'd have to reduce human interactions to text-only chat.

Of course not. Gay people in countries where they are oppressed have to hide their sexual orientation and they succeed with that. And in more open societies people decide for themselves whether they want to 'come out' to others or not. Nobody has the right to take that decision from them.

If this decision is taken away from them, it may destroy their life. And if that happens because their browsers didn't guard their privacy, the technology sucks.

> We give up a lot of privacy to form a society.

No, our society is based on the individuals' privacy. That is why we vote in secrecy and why we value a persons' liberty.

Privacy doesn't mean that everything I do is a secret. It means that I have the right to choose what I want to be a secret and what not. And I should be able to count on that, since it's a human right.

Take a look at what happens in reality. People are killed all over the world for their beliefs, their political opinions, their sexual orientation. Peoples lifes depend on their privacy. It that is taken away from them, that is totalitarianism.
That was done. It's talked about here:

http://svn.python.org/projects/python/trunk/Objects/listsort...

The bug would only be triggered by generating a truly massive array (the implementation mentions that it will work for up to 2^64 elements: http://svn.python.org/projects/python/trunk/Objects/listobje... search for MAX_MERGE_PENDING).
Quicksort has poor worst-case behaviour, so it's easy to carry out a DoS attack on network services that use it. Language maintainers don't like restricting their library to input from friendly users, at least not when there are other algorithms that work reasonably with unfriendly input.
The PDF document lacks the last endnotes. 189 is the last one on page 28, but the endnotes list stops in the middle of 167.
I read it this way the first time, too.
DigitalMedLab just launched the website for their mHealth app +WoundDesk
#2: Solving housing shortages is all about going up (and perhaps even down) when land economics are in play. That and zoning that allows for smaller units.
Werner Koch: Re: “The Key Trap”
Which costs more, doubling the number of runLength comparisons or allocating more memory? Without knowing that answer it's hard to say which is the better solution (assuming more memory actually fixes the bug).
Watch how quick it is to vote in the most advanced democracy on earth, Estonia
I keep reading how 22nm, 20nm, 16nm, 14nm and so on are not true measurements anymore but mostly marketing speak. This is true of all fab companies.

That is the move from 22nm to 14nm did not give you double the transistor count from the same area die.

So has anyone done a comparison of transistor count on the same size die over the years depending on the process?
1) is doable but politically difficult - too much opposition to taxing the rich (see "mansion tax").

2) is already happening with new build, but requires demolishing existing buildings to really make a difference. This changes the appearance of London quite dramatically and encounters architectural preservation resistance.

3) Nowhere to put extra train lines without demolishing some very expensive property. HS2 is demonstrating this for just a single line. The existing lines are running at capacity. What might be feasible is going to double-decker trains in places, which merely requires rebuilding all the bridges and tunnels.

I would add (4) encourage movement of jobs to other parts of the UK. There are bits of this happening such as moving the BBC to Manchester. But the way London works is most of the high-paid jobs are basically standing around with buckets trying to catch money dripping off the mega-wealthy, and the associated trickle down around this.

Perhaps plan to move the civil service to Birmingham once HS2 is finished, giving a Brussels/Strasbourg dynamic to the place.

The US is very fortunate that the seat of government, the financial center, the commodity wealth center, the media center, and the tech center are in different cities.
There is triq[1] for Erlang and excheck[2] for Elixir.

[1] https://github.com/krestenkrab/triq
[2] https://github.com/parroty/excheck
I at least have a theoretical way of holding my government to account. It isn't much, but it beats trying to hold a corporation to account in a world where it is not bound by laws, or barely bound by laws.
"I've not outlined a single policy - and I'm already being told I'm wrong."

Then you are in the same boat (pun intended) of many professional politicians.

I lived in London for a while a few years ago, and not only it was crazy expensive (and from my understanding now it is even worse), it was hard finding a a free room in a shared house in the first place.
I thought it was nodejs evangelists that did that.
"[T]he very essence of the [Nuremberg] Charter is that individuals have intentional duties which transcend the national obligations of obedience imposed by the individual state.” - U.S. Chief Prosecutor Robert K. Jackson 1948
Exactly. It's hard to grasp, but most other elements have gradual scaling solutions, i.e. worst case we have to resort to some more expansive extraction method. With helium this scaling is abrupt: reserves become orders of magnitude more expansive. It makes total sense to let the market create a gradual scaling of prices in anticipation for depletion.

Basically all other elements we can do some recycling and recapturing somehow; once leaked helium is just gone forever.
“A Disconnected Jumble of Hollow Words Bouncing Along the Canyon Walls”
Were I wishing to resolve the issue of property prices, I would do it using two things:

The first is to take the pricing system used on London buses (£1.40 per trip, wherever you're going), and apply it nationally (probably a £1) to re-nationalised railways. This would require huge subsidies, though I believe it to be worthwhile. I'd like to see counter arguments though.

Secondly I'd probably look at large increases in stamp duty on non-primary homes, and changes to make renting a property less attractive through lending rules/regulation and taxation. The ability to finance rented properties at 90% leverage requires too little capital, and lending rules are too generous to landlords compared to tenants. If rental properties required 50% equity by landlords (as a plucked from the air example) you'd see a rather fewer leveraged to the hilt property "moguls" and less competition.

Obviously more building would help, but I think it's only part of the problem.
A Case Study in Empirical Bayes
Yeah, it's nothing compared to Hong Kong from what I've heard. Singapore actually have _some_ level of help, but I'm not an expert on that so don't quote me.

However, I meant the actual labouring. I saw a lot of elderly people working McDonalds and cleaning tables. By elderly, I mean 70+.
This looks great, and has some very compelling benefits. I'd be curious to know what their performance is likewhen caked in road ice like we get here in the northeast after a few rounds of snow clearing and melt and freeze cycles (the prototype on the Wikipedia shows the spoke pattern to be very deep).
This doesn't have developer salaries, but might be of interest.
Edit: Forgot the link: http://www.numbeo.com/cost-of-living/
I'm not talking about hypothetical perfectly free market, that neither exists nor we'd really want to have it. I'm talking about reality - businesses in bed with politicians. Those subsidies don't get granted themselves, nor they are just whims of government officials. For businesses, it's a tool like any other, to use in competing on the market.
That statement by the chairman of the Balloon Association doesn't make a lot of sense to me. Helium is an inert gas. Recycled helium is just as good as new helium. We extracted it from natural gas, and we can just as well extract it from "balloon air."
Raleigh's location also opens up a lot of roadtrip options, too: It is just several hours from the nation's capital, the outer bank islands, the Appalachian Mountains, and "big city" events at Charlotte and/or Atlanta. When going to the mountains or beaches, there are the options of exploring something more commercialized (Boone, Wrightsville Beach) or more rural (Cape Hatteras National Seashore, Maggie Valley, etc).
Guess we will see police drones in the near future to hunt down / bring down illegal drones.
Hi, I will ask the authors of the blog post and corresponding academic paper about additional KeY resources and follow-up.
AFAIK just big tuna is expensive, like a large whole fish. What you get in the cans are small tuna.
> Still have to deal with GOPATH

Once, when you install Go.

Then for each project, put your stuff where you want and symlink from $GOPATH to where it is. Once per project.

There really is minimum hassle to integrate the recommended flow.
Do I want to heat my house that much if it means my children will die in poverty on a planet that went to hell? Maybe I'd want to at least switch to a different heat source?
AT&T Charging Customers to Not Spy on Them
I searched that study and found no references to chat rooms. It's my theory that private offices and enthusiastic chat room use has the advantages of both.

I suspect there may be a generation gap in familiarness of asynchronous instant communication. The avg 18-24 year old sends ~100+ txts a day, 45+ goes to 10-15. [1] People who've grown up up using txts, face book chat, IRC, AIM, etc. seem to see chat as a "default medium" for communication, where as those without that experience (not necessarily just an age thing, plenty of 30+ who spent decades on freenode etc) some times have a view of "being forced to use chat" instead of just knocking on someones door.

[1] http://www.pewinternet.org/2011/09/19/how-americans-use-text...
> Which "working" solutions? Has anyone solved creating a type system that offers OO/inheritance, generics, mutability and isn't mind-bogglingly complex?

Pretty sure OCaml would match your definition of "not mind-bogglingly complex" as well as "type system that offers OO/inheritance, generics, mutability".
No you can't make purchases through them, and you can't store information with them.

The only type of payment involved is the service fee when you call the number. Other than that they look up information for you, or answer questions for you. Like a google phone operator.
Ask HN: Using wifi AP in ad-hoc allow free mesh network?
I'm reading the 802.11 specs and it seems that our wifi AP could be used in ad-hoc mode, which makes them open to connect to devices and other AP, which end up in an mesh network.

I cannot understand, if this tech is already on our homes, why are we not using it yet?

There has to be some down side.

References:

- https://en.wikipedia.org/wiki/IEEE_802.11

- https://en.wikipedia.org/wiki/Wireless_ad_hoc_network
Bitcoin True Intrinsic Value
work with them on a small project based on the challenges u are facing
Again, I agree.

But well, in the end capitalism will have to go too - lest we want eventually to be strip-mining the whole universe at close to light speed.
10 Shapes of Dev
I'm reminded of an image I saw a few weeks ago:

The sign says "You must be at least this tall to write threaded code", and it's been placed 8 feet off the floor, next to a well respected senior developer who must constantly write threaded code (and who, when standing, is a good two feet shy of the sign).

Threading properly is hard, and yet it's becoming more and more integrated into our lives, from our browser to our backend interpreters like Node...

Concurrency needs a Rust-like language to protect us at compile time against data races. The restrictions it would impose on what we could do might be abhorrent to our generation of coders, but the benefits would be far reaching.
In some parts of Norway they only clear snow from half of the sidewalk so you can use kicksled on the other half.
I've had my eye on this LEGO robot kit for my kids, at $49: http://meetedison.com/

I'm also excited about the possibilities of expanding LEGO kits with 3D-printed parts as print resolution continues to improve. You can already achieve some cool things by gluing LEGO pieces to 3D-printed parts, but that seems like cheating. http://www.thingiverse.com/thing:403
Thanks and thanks for the interesting read. I've been looking for real uses of formal verification for a long time. I've played a lot with code contracts in C# and I've played some with languages like Eifel - the advantage of this approach is that it's static and it performs actual proof rather than enforcement.

These forms of formal verification could really help with building robust software and if someone makes them easy enough to use I can definitely see them as useful alongside if not instead of unit tests.