skysight-inc/HackerNews huggingface dataset:
I was curious about this, as a relation has gluten intolerance. This reckons that the gluten content of wheat hasn't really changed:
http://nogluten-noproblem.com/2014/03/has-the-gluten-content...

And entertainingly this reckons increasingly industrialy generated wheat is now so devoid of any nutrients, even pigs won't eat it?
http://www.grainstorm.com/pages/modern-wheat

Is it just me or is it becoming increasingly more difficult to get the truth on any matter, because you're wading through so many layers of human generated FUD (Fear, Uncertainty and Doubt)?
The Cost of Mobile Ads on News Websites
HTML5 and EPUB3 Version of “Structure and Interpretation of Computer Programs”
Have you seen http://prosemirror.net? Not quite as well polished, but probably more suited to real time collaboration.
Finding the Muddiest Point of Your ELearning Course
Wikileaks Exposes Secret Deal to Get Saudi Arabia on UN Human Rights Council
Hard Passage to India for China's Phone Makers
On Windows I've been using Total Commander for 15 years or more. There's nothing like it on Mac, and I've tried them all. But there's this new app, Files (http://filesmanager.info/), which is being actively developed and gaining features fast. I've been using it for some time now I'm liking it more and more. The developer behind it is very responsive and skilled and it seems to be going in a great direction. There's hope for OS X! :)
Brian Kernighan on Unix, Bell Labs, and his career [video]
"This Scandinavian nation of 9 million people has accomplished what the United States, Britain and Japan can only dream of: Growing rapidly, creating jobs and gaining a competitive edge. The banks are lending, the housing market booming. The budget is balanced." http://www.washingtonpost.com/business/economy/five-economic...

Do you have any other suggested reading on how Sweden go about doing this?
I think the whole point is to make a certain subject more accessible and fun for students who are more "attracted" to different topics. May be there is an inner engineer in some english major students and vice versa.
does HSV capture colour brightness contrast? I imagine finding the brightest and darkest by looking at the grey scales.
A lot of the Lo fat lo salt versions that have been heavily marketed are worse a bit like reducing Co2 by pushing Diesel engines.

my specialty nephrology dietician commented when i asked about lo salt products "all the shit they put in it makes it worse" and that is a direct quote
Sounds like someone's read Ghost Fleet
http://www.forbes.com/sites/williampentland/2015/07/15/ghost...
China's Tsinghua Buys Western Digital Stake for $3.8B
New approach to artificial intelligence development
Dear my friend...

A suggestion to you.

The water to fill a dish or a tub is not enough can swim.
This does not mean that the water of the ocean need.
What I need is enough water to fill a swimming pool.

I have been studying for a long time alone in order to incorporate the ideas of the classical spirit of the East such as Buddhism, philosophy and psychology at the machine.
For this project, I go into the development of new programming language that with the new logical format.

If you donate or invest $30M for my research plan...
I will research to make the ARTIFICIAL CONSCIOUSNESS of the machine in 25 years.

This is not simple suggestion for investment.
It means to change the human history with me.
Your interest will you get my plan more and change the future of the world.

I am so sorry my poor english writing, because I only use korean.

Best regards,
Young-min Ji (Sookmook, my e-mail address is sookmook@sookmook.org )
It's all a matter of negotiation, isn't it. You never get what you never ask for.
Ninja Framework (http://www.ninjaframework.org) with Ebean ORM (http://ebean-orm.github.io). Ninja's SuperDevMode rocks.
> EDIT If the script uses a well formed #! this isn't too much of a problem either.

He does have a point, though: Dependency management in Python is a pain in the ass. Virtualenvs aren't really a solution, distribution packages are usually horribly outdated, …
I don't understand what you mean by encoding tax. Can you give an
example? Certainly lots and lots of work to make an actual
practical and usable system still needs to happen, but I don't
see any fundamental limitations with respect to effects,
including non-termination.

Look at the theory of natural numbers. We can reason about them in
Peano arithmetic, or in ZFC using one of the well-known ways of
encoding natural numbers as sets. Because Peano arithmetic has a model
in ZFC, every proof in Peano arithmetic can be converted into a proof
in ZFC. But proof search in ZFC is more expensive than proof search in
Peano arithmetic, because the latter is less general than the
former. ZFC allows you to ask questions like "333 \in \pi", which is
perfectly meaningful as a statement about sets, but not meaningful in
Peano arithmetic. The "encoding tax" is the increase in proof search
space when moving from a specific to a general theory.

Let me give you a second example. Most programming languages can be
encoded into \pi-calculus, and pi-calculus has a good logic called
Hennessy–Milner logic (HML). You can use HML to reason about all
\pi-calculus behaviour. Since \pi-calculus is a very expressive model
of computing, HML is extremely fine-grained. Now assume you want to
reason about ML programs. You do this by translating them into
\pi-calculus and then using HML. But due to the fine-grainedness of
HML this will be very painful. It's much more efficient to develop a
logic for ML itself, and avoid paying the "encoding tax".

As I said, I don't know Idris well, but I assume that the proof
language does not have state and other effects, so they need to be
coded up as pure functions. I expect there to be an "encoding tax" to
be paid for this translation of effects into pure functions.

This is not the case. E.g. in Idris you have non-terminating functions.

Yes, but they are not in your proof language. You can always code up
anything.

By analogy with lacking
generics / parametric polymorphism like old versions of Java:

This is not a good analogy, because type-inference can handle
parametric polymorphism, whereas general type-dependency on values
cannot be dealt in that form.

You can write the same program without specification as you
would in the program logic system, and then prove lemmas about
it.

My experiences in Coq and Agda suggest that that's not the case.

There is no fundamental reason that a dependently typed language
couldn't have the same type inference for non-dependently typed
pieces of the program as the language that only supports
non-dependent types.

If it's so simple, then we should have systems that do this. We don't
have such systems, hence it's probably not that simple.

By the way, and I admit this is more of a theoretical curiosity,
IIRC full type inference for dependent types is decidable if you
do not have implicit parameters.

I don't know what you mean by "implicit parameters". Type inference
might be decidable for some weak inexpressive dependently typed
systems, but MLTT, CoC, nope?

OCaml is getting GADTs ;-)

Yep, and that preserves type inference, which is the key factor. So
it's Hindley-Milner still.
Hi, I'm the author of the piece. What you describe, while astute, isn't what's going on here, because at the level these agreements are being made, the French intelligence services don't care that the NSA is spying on French nationals. There's no negotiation to be made: they simply want to maintain their existing capacity, but have been required to give it legal cover by the greater recent visibility of mass surveillance. In fact, among intelligence services of putative allies, having another friendly nation spy on your nationals grants you a potential advantage, since it means you can bypass domestic restrictions by simply trading intel with them. (It's also one of the reasons why bilateral agreements would be undermined, and difficult to initiate. They would also preserve the idea that some classes of innocent users are fair game for mass surveillance, while others deserve protection.)

France's surveillance advantage comes from its access to submarine cables rather than local servers. That's the information it will be collecting, and potentially trading with others.

Much of the problem here, I'd note, comes from not separating the defensive and offensive components of the intelligence services. Whatever you belief is the proportionate level of surveillance of a population, it's clear that an institution whose job was to protect the assets and personal data of a nation's population would have a very different attitude to letting others spy on its comma traffic than one which was primarily concerned with aggressively investigating other nations. Politicians are therefore hearing policy proposals from only one side of a debate. That's why they think that backdoors would help and not harm national security, and why they think spying on the rest of the world without oversight won't erode their own citizens' privacy.
This is amazing! Well done and thank you!
Eddy Cue: Apple is 'trying to fix' expensive international roaming charges
Fuck cancer
Can Y Combinator find its next 'unicorn' in a hardware startup?
Small scale nuclear fusion may be a new energy source
Wages would also go down, maybe not proportionally but people do not do the exact same amount of work in 6 hours as in 8 hours. To make up for the lost production, some more people would be hired who are currently out of a job.

Average wage goes down, but more people have jobs.

However, due to progressive tax system, that leads so less tax being earned (two people earning $x each pay less than one person who earns $2x and another who earns nothing).
Wouldn't that mean any other users would be unable to use (or maybe just install or upgrade) homebrew stuff?
HSV is a terrible color model for any human purpose. (To be honest, for any purpose whatsoever, unless it’s required for backwards-compatibility with legacy systems.) HSV, like the RGB model it is a trivial derivative of, has dimensions which are not closely correlated with any color attributes relevant to human perception.

Instead, use a model such as CIECAM02, IPT, CIELAB (from the 70s but not too bad), or Munsell (basically a big lookup table, from experiments done in the 40s).
I wasn't talking about store bought burgers. They may or may not be as bad as a McDonald's burger. Get the meat, add some spices(and maybe Worcester sauce) and you'll have your own delicious patty. The whole thing takes around 15 mins and you can customize any part of the process.

However, I agree with your point that there are healthier food options out there if you have the choice.
Show HN: Easily try npm modules in a REPL environment
We're building something you might find useful. Here's a longer explanation that I wrote. https://medium.com/cubeit-curate-your-content/what-we-learnt...
Let me know if you want to try out the beta
Why would the Germans annotate their illustrations in English?
It also works at 3am, lots of buses.
I've just watched this and assuming it's unbiased which it seems to be, it makes a number of very compelling arguments to go vegetarian/vegan. Not least the huge water, grain and land requirements and the resultant methane emissions of eating meat which are globally unsustainable:
http://cowspiracy.vhx.tv/
The laws that regulate taxis, which Uber TOTALLY ISNT GUYS I PROMISE
Yes, 2016 might very well be the year of the Linux desktop.
Thank you for the feedback. Right now all dependencies are included with the package in a folder called '/externals' and the build process concatenates them to the start of the final output file - which 'hands up' isn't ideal and moving towards correct node/npm support is a goal for the very near future.

To provide a very quick overview: ContentTools is a collection of libraries all written in CoffeeScript (this is up for debate https://github.com/GetmeUK/ContentTools/issues/10), the collection includes:

- FSM (https://github.com/GetmeUK/FSM) [no dependencies]

- HTMLString (https://github.com/GetmeUK/HTMLString) [depends on FSM]

- ContentSelect (https://github.com/GetmeUK/ContentSelect) [no dependencies]

- ContentEdit (https://github.com/GetmeUK/ContentEdit) [depends on HTMLString, ContentSelect]

- ContentEdit (https://github.com/GetmeUK/ContentTools) [depends on ContentEdit]

For developers each library does have other grunt related dependencies which are required to transcompile the CoffeeScript and SASS as well as perform some base concatenation. Instructions on building/testing each library is provided on each of the GitHub pages.

Along with implementing better dependency support, for those looking to contribute:

- I still haven't added a release numbers to the builds yet (so that's first priority)

- I haven't posted any contributor guidelines as of yet.

Please bare with me, didn't expect the amount if interest so far (though that's been awesome), not released an open-source project before, still learning about git (everything was on Mercurial before release) and publishing packages using bower/npm.
Sharding is Bitter Medicine
It sounds like you ordered a Monte Cristo rather than a club sandwich.
The actual conclusion is hidden in the middle of the text:

eat less meat

First of all b/c its contribution to health is doubtable in general and at current times in particular.
Light Up the Dark Swedens Way to Increase Active Play
Microsoft and Google will stop patent war
I read about this earlier this week in the campus newspaper [0] which contains a bit more background information including that the university declined any ownership of the invention. Good for him!

[0] http://honisoit.com/2015/09/university-of-sydney-student-sma...
Come on dude. Google is far bigger than Baidu.
Well, if you use OS X, write against Node.JS, work at a SV startup and are interested in big data / machine learning. It is quite a bubble.
Ask HN: Computer Generated Non-Existant Human Face (realistic)?
From the article it sounds like these drawings were commissioned by MI5 (the British Intelligence service) to document and raise awareness of the booby-trapped devices.

"The drawings were made by a young artist called Laurence Fish for MI5's counter-sabotage unit."
Yosemite already prevented unsigned kernel modules, so I don't think anything will change here.
OAuth Has Ruined Everything
Setup Monitoring for Your TV with Raspbian and a RaspberryPI
https://www.gnu.org/philosophy/free-sw.html
Actually this is the same thing in France.

The bill is simply aimed at "legalizing" practices that have been going on for years. Also, since the Snowden leaks, some actors have started to question the legality of some practices, and this bill would address those concerns.

For instance, French secret services used to be able to get phone records for someone by simply calling the phone company; now, phone companies are feeling uneasy about the lack of legal frame for these practices.
It's not clear what the accident was. (?)

It's also not clear why they included a picture of him playing guitar with a caption about his band...
My favorite Drepper bug thread: strfry() gives skewed distributions
https://sourceware.org/bugzilla/show_bug.cgi?id=4403
I was going to be devil's advocate and say they technically haven't said that, but since they cited collateral consequences of prosecution like costing thousands of jobs[1], that pretty much is them saying their way was the most just way. [1] http://www.theguardian.com/commentisfree/2012/dec/12/hsbc-pr...

I think threats to "jobs" are right up there with pedophilia and terrorism. Won't somebody please think of the jobs?!!

PS Does anyone have video of that press conference? I think I found the documents here (http://www.justice.gov/opa/documents-and-resources-december-...) but it would be interesting to see the questions and answers that The Guardian summarized.
Certificates are pinned too.
It would be nice to see this program die, but it seems likely to succeed. Zuckerberg seems determined to see this through, Prime Minister Modi is a big fan and people appear to have lost interest in fighting this.
Your reference is a link back to this thread. Did you intend to link something else?
That's not what I got out out if; they mentioned: avoid chemicals in food or packaging (i.e. eat organic - no antibiotic/hormone laden meat) - avoid artificial sweeteners - avoid antidepressant and unnecessary medication.

Meat is fine, as long as you don't eat something too industrial.
The common problem of today OSes is that shall malware breach security at least once, it can hide in the system and you will have no idea that you have it. SIP is a good step towards fixing that problem.
I agree. The NSA/US gov could care less that France will spy on its citizens. For all we know they may already have a deal to do exactly that to bypass some of NSA's own restrictions of spying on Americans.

I think it's already known they do that with the GCHQ. And they make European countries spy on each other, too, while they promise them not to spy on them themselves, but then get the data from others. Sweden spies on Germany, Germany spies on Sweden - and NSA gets all of that data.

From everything they've said and done so far, it's also clear the NSA would rather maintain the status quo of an insecure Internet and insecure computers, backdoored encryption and whatnot, even if the US has the "most" to lose, as long as they can use that insecurity to spy on others, too. They much rather prefer this scenario than if say 99% of the global population were all using end-to-end encryption and let's say Qubes OS.

This seems exactly backwards for a national "security" agency, especially with all of their recent calls for increased "cybersecurity", but there you go.
Can't see how that applies. Does FHS really say anything about the structure underneath /usr/local ? Besides which, the Mac's filesystem isn't FHS in the first place...
Linus Torvalds's professional profile on LinkedIn
War? Not while we depend on China for rare earth elements. ( https://www.youtube.com/watch?v=Dih30mUexrA )

edit: So I guess the people voting this down believe our failure to maintain a local source of rare earths makes war with China more likely? Our military (and GDP) depends on these elements, and China likes the profit they make selling them. These both make war much less likely.
The Cost of Mobile Ads on 50 News Websites
Data centre emissions rival air travel as digital demand soars
اصباغ – معلم اصباغ 51387985
Didn't read the study, but part of the explanation could be that people spend less time outside and are generally in warmer environments. Omnipresent AC, different clothing, better insulation all means that the body burns less calories to keep itself warm.[0]

"[...] in the U.K., average living room temperatures rose from 64.9F/18.3C in 1978 to 66.4F/19.1C in 2008 and bedroom temperatures increased from 59.36F/15.2C to 65.3F/18.5C."[1]

[0][1] http://hypothermics.com/2011/02/ch-ch-changes/
A CVT has a pair of pulleys with variable ratios, and a big belt between them, to allow the belt to shift between ratios and find the best ratio.

CVT has some inefficiencies that can be improved by putting the gear selection process from an automatic onto a manual (with an automated sequential manual gearbox or a "double-clutch" transmission).

https://www.fueleconomy.gov/feg/tech_transmission.shtml

http://www.nrel.gov/docs/fy11osti/47806.pdf
I sometimes i think "if this was the last day of my life what would i do , who would i spend it with"
And it's all about love , I'd spend it with my family and gf , and maybe write some code or some silly app for the last time.
It's important that we keep in mind that life isn't a limitless resource , and "nobody will remember your ppt presentations when you're gone"
My First Build: The Microgameboy
Even so, it seems unnecessarily risky for MarkMonitor et al. to renew their customers' domains one year at a time, often at the last minute, instead of keeping a comfortable buffer of two or more years.
This is much easier using the LAB color space. I wrote an algorithm using the LAB color space several years ago to achieve something similar:

http://i.imgur.com/M6Oo6dp.jpg

Will open source it soon, perhaps.
"Norman Angell, a famous author and Nobel Prize winner in the 1930s, published a brilliant book in 1909. In 'The Great Illusion', Angell argued that war in Europe had become impossible due to the intense level of interdependence between European countries in investment and trade. He postulated that a war would devestate Europe simply because of the economic disruption it would cause. Therefore, war was impossible." George Friedman, Flashpoints.
Energy harvester turns radio waves into ‘perpetual power’ for IoT devices
WordPress – The db.php Issue
How to display relative line numbers in NERDTree
Women Who Go London
OK, so maybe it won't work for graduate CVs. For anyone else, surely you just list your university and your degree.

Edit: Ah. Just noticed the article is talking about graduates.
they kept the tax breaks!
One big note up front! Electric propulsion engines are usually not specific impulse limited!

Your power source mass dwarfs the reaction mass ("fuel") really quickly.

Basically, for equivalent thrust, with twice the specific impulse you require half the fuel but double the power.

So often with electric propulsion you get a better, lower spacecraft mass by using lower specific impulse! This means more reaction mass but smaller solar panels / power electronics.

That's why things like hall thrusters are used, with ISP around 1000s compared to 3000 s gridded ion engines.

Maybe for a Venus or Mercury mission where you have plenty of power and need large delta vees...
Exceptions don't excist – On proper error handling, how Java almost got it right
I think nuclear weapons are the wildcard here. They make it difficult to extrapolate from wars in the last 500 years to wars in the future.

In 1914-18, although the outcome was quite a lot more terrible than what everyone expected going in, it wasn't as if Europe ended up as a radioactive wasteland for hundreds of years.
> It's also not clear why they included a picture of him playing guitar with a caption about his band...

There is a bit of a push at the moment, and has been for a while, to show that scientists and other technical types are normal people too, not just the stereotype anal retentive hyper-dedicated socially disconnected Asperger afflicted geniuses. You'll often see a little bit of information about the people in question that is ultimately completely irrelevant to the science/tech being discussed.

If it does help break down the stereotype a bit then it is a good thing: many kids are put off science in part because of such things.
> Alas, Ubuntu Bug 1 is still unfixed

What? Status is shown as "Fix Released", since the rise of Android and iOS has shrunk Microsoft's market share.
No, I have used OpenVPN throughout the betas without issues, and OSXFUSE added support in version 2.8.
When I first read this I was a little pissed at Apple, but what if brew were to install everything to /brew? It doesn't need to install into /usr/local.
Let's hope not. For the first time ever we have something we need to protect - our technological civilization, on its way to reshape the fundamentals of human life. Ending aging and death, colonizing other worlds, really learning something about ourselves and the universe - those things are now actually reasonable concepts. It would be a real shame if we lose it over some stupid issue like political bickering leading to a world war. Because if we halt now, if we roll back to before the industrial revolution, we won't likely achieve this level for several more millennia, as we've pretty much used up all easily accessible, low-tech energy sources and materials. I really wish our leaders would realize that for the first time in the whole history, humanity is greater than the sum of its parts. However important your local issues seem to you, they're not worth endangering the future.
I get animation glitches in Chrome but it works in Firefox.
Vinyl Now Makes More Money Than Ad-Supported Streaming