skysight-inc/HackerNews huggingface dataset:
I generally agree. Climate science (among other research topics) are really politically charged. Those scientists will get death threats.

I don't believe the good congressman Smith is actually trying to get people killed. There is no indication he's making a good faith effort to understand their findings, he's looking to justify his beliefs. And that's ok, i guess. The good people of texas have a lot riding on oil being safe to burn. They should do everything they can to keep that oil flowing. But they shouldn't be endangering the researchers specifically.

The only acceptable risk to impose on the scientists, is the same risk we all face collectively. We collectively need to make decisions about climate change based on NOAA's findings. Don't shoot the messenger.
Perhaps, as you suggest, attracting more talent is one benefit of using an FP-oriented language for their codebase. It would have been nice to see this claim evaluated in the context of a cost-benefit analysis including the costs. This article, which claims that OCaml provides a "competitive advantage," doesn't provide that. Thus I don't believe it is a useful source of information for evaluating the merits of OCaml in particular, or FP in general, in a production environment.
I guess someone's having a bad day. No need to be nasty because of it.
Sorry, but sites that use non-retina graphics for logos and icons and such just look old and sloppy on modern devices.
Women aren't children. Doctors and lawyers are alone with clients all the time. This whole discussion is depressing.
It's common in the hacker circles to refer to people by their usernames, and it was long a convention that people go by their initials as their username (at least in the East Coast, MIT influenced groups). Thus Richard M Stallman goes by "RMS" (and in casual conversation, rms), Robert T. Morris by rtm, Paul Graham by pg, Eric S. Raymond by esr, etc.

This isn't worship, it's just an established convention. It may be a bit in-groupy, but so are using jargon like calling this "Hacker News"; you have to at least know that "hacker" is used in the sense of neat technical tricks, rather than the more mainstream sense of breaking into other people's computers.
Bah, this is some sloppy writing.

> "Dr Enoch Opeyemi ... has become the fourth person in the world to resolve the Mathematics problem called the Riemann Hypothesis."

I think the accurate statement is below,

> "Only three people have been able to solve three out of the seven millennium problems in the past 16 years. Dr Enoch is the fourth."

Except they're the Millenium Prize problems: https://en.wikipedia.org/wiki/Millennium_Prize_Problems

Is there a less crappy source for this?

edit: Apparently, there's an abstract on page 8 of this PDF: http://computer.conference-site.com/proceedings_icmcs_2015.p... - which is hosted on what appears to be the conference website.
"Why not just "Paul"?"

@Sevzinn, if you look at any source code or languages for that matter (Arc) pg has written, you'll see small labels used as opposed to long descriptive ones. Succinctness wins over verbosity.
> On the other hand, good luck with that whole "refusing a subpoena" thing - courts don't generally look upon that with favor

Courts generally (there are rare circumstances in which there are exceptions) aren't more than minimally involved in dealing with Congressional subpoenas to the executive branch, so how favorably they look on something generally is probably irrelevant here. Of course, Congress on its own can impose consequences if it so chooses, so there's that.
While it would certainly make science more efficient, science as a whole does not depend on colleagues within one program working perfectly.

Science is global endeavour based on data. If one scientists is lax or fraudulent, there are numerous incentives for competing scientists to prove so.
> I would say an exception is studies of ESP

Actually, E.T. Jaynes touched that topic a bit, and argued that it's not really an exception: probability theory applies to this phenomenons (or lack thereof) as usual. If I recall correctly, he reached the same conclusion as you just did: if a study looks like it demonstrated an instance of ESP, it probably went wrong.
There are legitimate reasons for governments to do sigint, but I think the burden of proof should be on them to show that increased sigint capability would have done anything to prevent this attack.

So far I've seen remarkably bupkis in terms of concrete reasoned arguments in this area. I'd like someone from e.g. the NSA or GCHQ to give a presentation in which they show that it is feasible to spot terrorist activity in an ocean of otherwise normal data and differentiate it from e.g. morons talking trash that they'll never act upon, gamers talking about in-game terrorism, lesser criminal activity, non-criminal dissent, and other background noise. My strong intuition is that this is statistically and mathematically impossible and you'd drown in false positives, but I'd be open to a convincing argument if these agencies wanted to dignify the public with such an explanation.

Unless such evidence can be furnished, then all this mass surveillance data mining to "stop terror" amounts to a kind of modern superstition. Back in ancient times priests collected a lot of money from kings and from the public in exchange for entrail-gazing and astrological rites to guarantee success in battle or ward off a poor growing season. None of that crap worked, and I doubt that big-data entrail gazing works either.
It links to a website called paulgraham...do you really think using "Paul" there would confuse people? Would they type in paulsmith.com?
I've been a really big fan of chisel so far. I was very skeptical initially. But the more I got into it, the more I realized that the code=data benefits you get from some functional languages like the Lisps (where Lisp code is also s-expressions and can be parsed and manipulated like any other data) really works well for manipulating your RTL graph.
I am looking for a less crappy source and have not found one yet. Given that his proof was supposedly presented on November 11 and I haven't heard any mathematicians say anything about it, I'm not getting too excited yet.
Wait, what? Why does it need to know location? If you want to know what time it is, why not just call localtime()?
Open source CMSes increase efficiency - by reducing the amount of work required to set up a website, they mean that the time and money saved can potentially be used for more productive purposes. Working for free doesn't do that; it involves the same amount of work and time, just for free.
Blogspam.

Source is: http://www.vanguardngr.com/2015/11/nigerian-solves-156-yr-ol...

Source is incredibly dubious. Contains the following sentence:

Dr. Enoch had previously designed a Prototype of a silo
for peasant farmers and also discovered a scientific
technique for detecting and tracking someone on an evil mission.

A Dr. Enoch Opeyemi is indeed on the schedule for ICMCS 2015, but the title of his talk was just "A Matrix That Generates the Point Spectral of the Riemann Zeta Function": http://computer.conference-site.com/program.docx I haven't been able to find the contents of that talk.

The CMI page for the problem hasn't been updated yet: http://www.claymath.org/millennium-problems/riemann-hypothes...

I haven't been able to find anything about a new proof of the Riemann Hypothesis in any of the usual places. (math.SE, etc)
> The first really great company I worked at was explicit about being family-oriented; they'd bring everyone's family to the office and cook dinners, had Christmas at the founders house, that sort of thing.

This sounds horrid. I don't want to spend Christmas with my boss, and I definitely don't want to have dinner in the office, ever.

"Sorry Grandma, can't make it for Christmas, have to go see my boss instead"?
Microsoft translator and all Online Translators suck your data/privacy?
Looks like there is a database error on their end.
Of course there are.
> Oracle is like a landlord

I think the actual expression Bryan uses is "lawn mower" :)
It says "Operating System: Android OS" under "Compare to Similar Items"
Great! thanks for the explanation and the docs!
Ugh. I get that the gender binary is something that we all grew up with, so it can seem like some sort of immutable feature of the universe. But "typical feminine traits" can be learned by actual dudes.

Guys, if you think that these traits are useful for running successful businesses, just go learn them. It is possible for men to listen just like Jessica. We can also be nurturing, supportive, sensitive, thoughtful, emotionally perceptive, and kind. These are actual skills that we can actually learn if we want. We don't have to push women to be stereotypes just to have successful businesses and families.
Using a cell phone video to detect traffic speeds
So what's the answer? Are all the solutions on the real 1/2 line? Or is there a counterexample?
Federated XMPP? Or is it just that you can hook an XMPP client up to their walled garden?
Actually, I wasn't. The first claim is that there are fewer programmers using OCaml because it's uncommon in industry. The second is that their business has no obvious need for a paradigm which, in my view, requires more education and a stronger understanding of mathematics. I'll admit I don't have any evidence other than personal experience to support the second claim, but the first is easily verified.
An under $1000 1-armed robot that runs ROS [video]
The Careers of the Founders
True, Java does not support => as an alternative for >= so the ambiguity does not exist. It was just a guess, but since it was probably not right, I decided to dig. This mail post[1] explains that the extra equals sign becomes a bit annoying w/ other equal signs in the same expression.

1 - http://mail.openjdk.java.net/pipermail/lambda-dev/2011-Septe...
I'd say "claims to solve" would be a better title until we see a lot more analysis.
We detached this subthread from https://news.ycombinator.com/item?id=10576051 and marked it off-topic.
So? The free market makes no concessions about who can live on what
very clear. Thanks
Says it's opt in for the next two weeks, but I'm not seeing how to opt in.
Story is a hoax is seems:

http://www.nairaland.com/2739995/opeyemi-enoch-not-solved-ri...

All who upvoted should be ashamed of themselves.
Ideas looks like ACPUL. ACPUL is simple & easy algorithmic declarative language. It based on C-like languages syntax & sugar-free without noise, designed for minimalistic coding on mobiles.

Code sample: https://github.com/d08ble/acpul-demo/blob/master/atests/test...
> With this breakthrough, Dr Enoch, who teaches at the Federal University, Oye Ekiti, FUOYE, has become the fourth egghead to resolve one of the seven Millennium Problems in Mathematics.

Egghead? Is that... is that a term that's not considered as pejorative as it sounds in Nigeria?
http://recode.net/2014/08/21/ycs-jessica-livingston-was-hit-... this is the article in question?
No market research here, TBH!
It is a component extracted from a project we did with our agency Belka, but we'd love if people start using it in other projects!
I truly hope so, that means Amazon ad-networks' ads are hurting Amazon. Internalizing the externality of spam and privacy violations.

Haven't you ever wish for a 'Punch Advertiser' button during commercials? This would be like hearing they built it themselves.

(To be clear, by having someone making $0.03/click sign their customer up for buyer's remorse thus destroying the profit from serving them because those return policies, the customer service time, etc, aren't free.)
They're not totally different between OCaml and Haskell. They're based on the same concept from Category Theory: a mapping of objects and morphisms from one category to another. It's just that Haskell functors are at the type level and OCaml's functors are at the module level.

Apparently F# has support for neither style of functor--it doesn't have parametric modules and it also doesn't have typeclasses. So in F# `map` is defined independently for each type:

Set.map : ('a -> 'b) -> 'a Set -> 'b Set
Seq.map : ('a -> 'b) -> 'a seq -> 'b seq
List.map : ('a -> 'b) -> 'a list -> 'b list
Array.map : ('a -> 'b) -> 'a [] -> 'b []
> Looks like it's gonna be time for another round of "no, you can't write Facebook/Twitter in a week" again.

Certainly not today's Facebook or Twitter, no. But the initial versions were very simple things. Anyone can make a Facebook or Twitter. Not anyone can grow it to a userbase of hundreds of millions of users. That was what was special, not something technical. Scaling wasn't an issue; once you have investment and users, you just throw money at the problem.
Better yet, why not bootstrap with OPAM?
You can find NOAA's current climate model here, with source code, compile scripts, and sample data:

http://www.gfdl.noaa.gov/cm2-5-and-flor

However, as mrow84 points out, you will need a supercomputer, unless you have a lot of time on your hands.
How is reference counting deterministic in a multi-threaded environment?
Obviously this is fake news.
I think if there's any lesson to be taken from this it's that presenting bounded, well-described (and thus easily undertaken) sub-projects is probably more effective than simply inviting developers to "help out" in some non-specific manner on a larger open-source efforts.
These Republicans are shameful

You know, the left has their own variety of anti-science denialism.
Unless the data collection itself is biased. The solution to that is to have another team collect its own data and compare its findings. But now you once again have scientists doing science, and if those scientists confirm the other findings, then they might also have used biased methods, so you once again have to either trust them, or not. So to build trust, yet more scientists have to collect and analyze yet more data. But what if those scientists are also in on the bias? So maybe at this point, you hire your own scientists that you trust implicitly because you're the one paying them. Maybe their findings contradict all the earlier findings, and so you trust that. But now nobody else trusts their findings, because you paid them for the study, so people think they are probably biased toward your perspective. This is literally what has been going on for years.

So now what? How do you collect and analyze data when trust in those doing the collection and analysis is not a given?

One approach is to implicitly trust scientists, because they are experts in their field, while you are a novice. This is what a lot of us do, and I think it's a perfectly fine solution, but it is a trade-off; you might misplace your trust.

Another approach is to train up on the science yourself, so that you can independently verify things. This is a great solution, but it isn't scalable. Most people have other jobs and other interests, and in any case, you can never be an expert in everything that matters.

Another approach might be to try to build trust using out-of-band signals, like transparent communication. Transparency often sounds nice, but it also has a major chilling effect, because people communicate more efficiently in the sorts of candid conversations that are hard to have publicly.

Personally, I think the witch hunt for biased climate scientists is disgusting and beside the point, but I also find it distasteful to suggest that it isn't a really hard problem to disseminate trusted information about complex subjects in a highly specialized society.
Thank you, but the idea was to actually recreate the die itself. That's where one can use all those available masks.

FPGA path is nice, but masks are useless - and instead a HDL is needed, with the whole 'nother toolchain.
Not sure if Ted is Canadian, but it's a joke.

Mention the letters to CRTC to any Canadian and that's what they think about.

The letters CRTC are in some of the function calls.
Happy? Sad? Angry? Recognizing emotions in pictures with machine learning
IBM and University of Warwick Develop Big Data Ethics Course
The Best Quotes of Linus Torvalds: Money, Hardware, Source Code and Importants
Maybe I don't get what you mean, but how could you? These utilities are taking your full 24bit colour palette and intentionally removing some colours.
> Sharecropping is a better metaphor.

Yes. This is the metaphor I use for describing building applications within a walled garden (like iOS): You don't have users, Apple has users, you have a portion of Apple's "real estate" that you can monetize while turning over 30%, and if Apple thinks somebody else can do a better job of monetizing that real estate (including themselves), then (effectively) out you go.

This is exactly what the publishers are doing: They are creating content for Facebook's users, not for their own users. They are not building an audience that happens to use Facebook to connect to their content, it's that Facebook has an audience that happens to read the publisher's content.

It's Facebook's land, and the publishers till Facebook's fields at Facebook's pleasure.

> In 10 years, I wouldn't be surprised if most publishers were dead, replaced by Facebook directly paying creators.

This works for YouTube. If you can generate millions of views, you can get a share of the advertising revenue.
The Zynqs don't have much lower latency than PCI unfortunately. You're looking at around 50 cycles of latency from CPU to fabric.
It might be easier to think of it as a lesson learned. It's likely obvious to everyone (Jessica included) that the media can't be implicitly trusted, but the true nature and impact of interacting with the media in that way may have not been completely apparent until that article happened. It's completely reasonable for Jessica to say "if these are the sorts of articles I can expect, and have to fight against, then the cost is not worth the benefit".
An important detail of the story that the headline doesn't highlight is that these scientists are employees of the government, and the communications being subpoenaed are work emails. It's hard to see from where NOAA gets the authority to turn Congress down on this.
Yes, there is. It's the undercurrent of sexism that runs through almost every human encounter. But that undercurrent can run deep or shallow depending on whether the people involved acknowledge it and actively try not to let it affect their decisions. This essay is a great effort at making the undercurrent shallower.
> However, if you buy an aged steak from a supermarket, they'll have done what's known as "wet ageing".

If you get a chance, visit a Wegmans. http://catillation.com/wp-content/uploads/2013/09/dry-aging....
Unethical, impractical, inept: my take on the Investigatory Powers Bill
> The above graph is the source data for the famous "Hockey Stick" graph. The one below it is similar data taken from another location (IIRC one was taken in Arizona, the other California). Why they chose to use one and not both is beyond me.

The hockey stick graph is based on a aggregation of global or hemispherical temperature records. It is most certainly not based on a single temperature record from Arizona.
Wow. To call this article a fluff piece is an insult to fluff pieces.
It doesn't want to know the time - it wants to know the natural light levels outside. It wants to know the location to know what the light is like outside at the given time.
This could explain the agressive behaviour cited in several parts of the article and naively explained as "love". Poor animal.
"Jessica knows more about the qualities of startup founders than anyone else ever has."

Putting these qualities onto paper would make good reading.
I had the exact same reaction - if you told me a company was family oriented, I would imagine that means they foster a good work/life balance so that you can spend time with your family.

That's not to say that companies shouldn't provide opportunities to bond with your coworkers, but I think I'd want to work for companies that appreciate people have lives outside the company.
Don't see it either. Maybe badly worded.
Out of instinct I first checked todays date to make sure it's not April 1st... Would expect a serious proof candidate to a have attracted much more attention in the media/internets. Anyone have more information?
I guess they are slowly letting users opt in. Seems incredibly weird and slow considering the public featured announcement on the blog.
Exactly, Sparkling uses reference counting, and one of the major TODOs is the introduction of weak references in order to address the issue of cycles.
I was almost expecting them to let us add a header image to our repos, the way Facebook Google+ and Twitter do.
My thoughts exactly. I had a hard time figuring out what they said and I knew what they said.
Building systems for massive scale data applications – O'Reilly Media
Argh. Nobody was required to go to the Christmas party, which was not actually on Christmas, and nobody was required to eat dinner in the office.
Installing Xcode plugins from the terminal with Fastlane
Link doesn't match title. Links to: http://fortune.com/2015/11/16/not-getting-ahead-at-work/

Assuming should link to here: http://fortune.com/2015/11/16/anonymous-cyber-war-isis/
I can remove that option at any time, if it turns out to be an important enough issue :)
The problem isn't that life is unfair – it's that you don't know the rules
... which they very much did as well.
There are apps for 3rd party hardware control such as headphone/earbud buttons. I have not personally used any, but I know they exist.
Yeah, I don't know. Java developers need IDEs like Rob Ford needs crack cocaine, but it's more a comment on the deficiencies of the language than the purported benefits of an IDE.
Sure, we should examine the features of languages past, keep the good things, and leave out the bad things.

I thought that Julia was aiming for Python's niche, i.e. good at numerical stuff, but also decent at inter-operating with other languages.

Argh. We were so close to leaving 1-based indexing behind as a historical relic. But now it seems we'll be stuck with it for a while longer. I'm not saying we can do anything about it now. I just want someone to validate my frustration :-)
@mdo said they're slowly rolling it out, and when it's available then you'll be prompted on the repo you own.
> The above graph is the source data for the famous "Hockey Stick" graph. The one below it is similar data taken from another location (IIRC one was taken in Arizona, the other California). Why they chose to use one and not both is beyond me.

The (in)famous hockey stick graph was not of temperature at one location, it's of global mean temperature.
Ha, they're going back to the way repo tab navigation used to work a long time ago, with the tabs on the top, like [1] and [2].

Arguably it's a nicer look with some UX benefits.

[1] - https://camo.githubusercontent.com/fec1c4ab93659e759682ad5db...

[2] - http://cdn.appappeal.com/pictures/6089/screenshot.png
A hit counter!
The verbosity not just directly affects readability by simply being longer and more to read. It also affects writeability which in combination with lazy developers (as we all are) leads to bad, unreadable, code. This is true for any language and can most often be seen on sloppy error handling, if you have to write 2x the amount of code to handle errors will you do it? 10x?
Because it uses sunset times to change your colour temperature around dusk. Localtime is not sufficient to work out dusk with any degree of accuracy.

Those of us using Redshift are not doing so for a one off colour temperature set, but because it is continually updated through the day and night.

You can tell it your location manually or have it done automatically.

Redshift is open source. It does not have binary blobs, patents, a business model and similar crud that f.lux does. Adjust your paranoia/expectations as needed.
Anonymous declare war on ISIS
I've been stalling on a project to run Debian on the Nexus 4 - maybe an older device would be easier (?). It's Qualcomm, so maybe the same serial-over-headphone jack trick works [1]

1: http://blog.voltagex.org/2015/08/01/booting-the-nexus-4-from...