skysight-inc/HackerNews huggingface dataset:
Well, there's that whole FISA secret court thing. There's basically a body of law that's above the law in the U.S.. As a Canadian, I expect there's something similar here too. These courts ostensibly aren't interested in prosecuting people for the usual crimes like murder, drug dealing, etc.. Just the nasty terrorist-type stuff that will get just about any bill, no matter how abusable, passed by the powers that be. Of course, there's always mission creep.
I bought a used one, but I think it's still locked, and I'm not using a major carrier, so they're not going to 'unlock' me now (was an AT&T iPhone 5s, now using net10). Maybe it's 'unlocked' enough to use net10, but I think it's not truly 'unlocked', and may never be.
Microsoft promoted Azure this weekend at hshacks. More than 1000 high schoolers attended this hack-a-thon at PayPal HQ.

Upon hearing the word "server" one kid next to me enthusiastically shouted, "Use Azure! It's easy and I'll help you set it up right now". Nothing beats a testimonial from a peer.
Ah. Reading the actual abstract[1] makes clear this relies on TRESOR. TRESOR, in turn, relies on storing the key in _debug registers_[2]. I suppose the Hypervisor part of HARES is mostly to protect those registers.

Of course, reporting that would require actual research, as opposed to the breathless rehashing of wired. About 30 seconds of it, but clearly too much.

[1] http://opencfp.immunityinc.com/talks/64/
[2] https://www.usenix.org/legacy/event/sec11/tech/full_papers/M...
Clickbait headline. As bad as this is, the headline make it sound like Firefox was removed from the play store all together, which is far far worse.
What difference does it make if they are from the past. They are produced and shipped today, components have to be updated, they are sold today, their supply chains have to be managed today, iOS has to run on them today, they get the same warranty and customer support that 6 and 6 plus have. Right now, 75% of their phones are NOT 6 or 6 plus. It takes people and focus to do all of this.

EDIT: The way you are talking about 4s it would seem Apple only has a design team, once something is designed everything else happens automatically.
It's indeed TRESOR-based. See http://opencfp.immunityinc.com/talks/64/
> That alone is enough to illustrate the situation. If you must have a cherry on top, worldwide derivatives are likely in excess of 1 quadrillion dollars.

That's the `notional' of the derivatives. That's more or less a made up number, and has not much to do with how much money actually changes hands.

The way the notional derivatives are defined, you'd actually want to see huge numbers there. It means that exploitable price differences are so small, that you need lots of gearing to make money off of them. Small price difference === other market participants get a fair price on buying and selling.
>Why not suggest that your counterparty, not their lawyers, should drive the deal?

Because here we're talking about sales, in which asking your counterparty to do things they don't already intend to do injects friction into the process, thus reducing your chance of closing the sale.
How Nest uses surveys to create better products
Um, "half of the ones we looked at are below average" is exactly what you'd expect with a normal (or any symmetric, really) distribution.

I might be missing something, but aren't they comparing half of the tech day-care centres with the average data of centres across the state (broader than tech)? e.g., you might expect that all of the tech centres (smartish parents in forward-thinking industries) were above average?
When MP3.com was shut down, I shed a tear :-( It was an amazing collection predating the YouTube's of today.
It's inside of us as we've finally accepted we have been augmented with it to such an extent that we are truly cyborgs but it is now planning to augment itself, with us.

It's in our grey goo and has set a course to populate the Universe before we do.
Robe Demoiselle d'honneur Courte, atteint 60% de réduction sur
Oh you're right! I seem to have misread the question. Apologies.
I'm not familiar with Haskell so I can't exactly follow what you're trying to do, but I can take a stab at improving what your Go code is doing:

package main

import (
"fmt"
"net/http"
)

func main() {
for _, url := range []string{
"http://httpbin.org/status/200",
"http://httpbin.org/status/200",
"http://httpbin.org/status/200",
"http://httpbin.org/status/404",
} {
fmt.Printf("%s: %d\n", url, checkUrl(url))
}
}

func checkUrl(url string) int {
response, err := http.Get(url)
if err != nil {
panic(err)
}
defer response.Body.Close()
return response.StatusCode
}

You say of your Haskell code that errors are values, and Go is no different in this regard. checkUrl could easily be modified to return (int, error) and return both values, rather than panicking when an error occurs.
Evidence for dark matter is not just from gravitational lensing. As for your question, I'm no cosmologist, but my understanding is that we have not observed any curvature unassociated with mass ( we believe the universe to be flat on large scales).
Any program that wants to use its crypto trick needs to somehow place a decryption key in a computer’s CPU __when the application is installed__.

Huh?

Do CPUs come with persistent storage now?
My wife is also a teacher. That she puts in hours outside of class seems like a pretty good deal considering the almost 15 weeks of holidays she gets a year. Like every other teacher I know, she could be earning a lot more (with much less holiday) in any number of white collar professions.
I knew from the headline that this was clickbait and nearly fell for it before reading your comment. Thanks for linking to the underlying research and summarizing it.
Tox is made by pedophiles.

Why would the Top Foundation spend so much time making Tox? A secure, encrypted messenger.

There is only one reason!!!
In this I prefer logical reasoning to empirical evidence. Consider a function that takes a list of things and returns the last one. Let's write that function in Haskell.

last :: [a] -> a

Without looking at an implementation, let's think of how many ways this function could possibly go wrong? It could return the first element of the list instead of the last one. It could return the second to last element of the list. More generally, it could return any one of the elements of the list that was passed in. But that's it (other than the empty list case which for simplicity we can ignore because it's a condition we can statically detect). There are no other possibilities, period.

Now think about implementing this function in any other language. What about Java?

public Object last(Object objs[])

This function can return any of the elements of the incoming array. It could also return null. It could also return the int 42, or the string "hello". It could delete files on your hard drive, open a network connection and phone home to the NSA. I could go on and on.

The point here is that you simply can't say as much about what this function could be doing as we could say about the Haskell version. This is the case for every mainstream language in wide use today. Some languages allow you to say a little more than others, but none of them come close to what Haskell gives you. Because of this, I don't really feel a pressing need for empirical evidence. Logical reasoning lets me make that claim quite confidently.
Apple improved on Sony's success by understanding how to integrate open or semi-open ecosystems which Sony still doesn't really comprehend.

Apple's analog is web services, which, to their credit they have tried harder to figure out then Sony ever did with open ecosystems, but which they likely will never be able to compete with Google.

That said, I'm still not seeing the cracks yet since their software/hardware integration UX combo and ongoing mindshare with creatives is setting a bar that no one else has the vertical integration to approach. Google's services are clearly superior to Apple, but that only puts Android on equal footing with iPhone, it's a long way from a knockout blow.
Walmart and Sam's Club are both actively developing in Go.
A Belarus artist still driving his home-made Soviet car
How does the Internet work? (2002)
> We have something better for evaluating PLs.

Do tell! How do you evaluate empirical claims (about programming languages) without empirical evidence?
Saying a subset of the internet will be bigger than the internet is a complete failure of logic.
In the sense that dark matter is a theoretical entity that is invoked to explain a particular set of astronomical observations, this is a fair comparison. Late 19th century critics of aether might have compared it to caloric (a theoretical entity that explained a particular set of thermodynamic observations.) Caloric turned out not to exist.

By the same token, we might compare dark matter to neutrinos, which were a theoretical entity invoked to explain a particular set of observations on radioactivity (the shape of the beta spectrum.) Neutrinos turned out to exist.

As such, while the comparison to aether is superficially apt, it is not something we can draw any conclusions from, because the comparison to the neutrino is equally apt.

Science is the discipline of publicly testing ideas by systematic observation, controlled experiment and Bayesian inference. It is not the discipline of testing ideas by making analogies to other ideas. There is a reason for this: making analogies to other ideas has consistently proven to be almost completely useless for creating knowledge of reality, while the discipline of science has been wildly successful.

Nor are the properties of caloric, aether, neutrinos or dark matter "magical". They are merely the ones required of an entity that is able to explain our observations in each instance. In the case of caloric it turned out to have self-contradictory properties, when the full deductive closure of the theory was teased out. In the case of aether it turned out to have properties that made predictions that were false. In the case of neutrinos the required properties made predictions that were true.

In the case of dark matter: we don't know yet, and the only way we will ever know is if we continue on with our program of systematic observation, controlled experiment and Bayesian inference. There is no other way to know.
Impraise (YC S14) Is Hiring a Front-End Developer to Work with React (Amsterdam)
The Xbox 360 had encrypted code (decrypted on cache-line fill) years ago. Also vanilla R/W RAM (for the hypervisor state, and other sensitive things). Done in hardware, very fast.
Keystone XL bill heads to Obama, veto expected
I'm now 24, if I got a job stacking shelves at a local supermarket I'd get paid 14 euros an hour without needing a diploma. He effectively makes 16 euros an hour, only I build up my pension, get more time off, get benefits and protection, and he's in his 50s with over a decade of teaching experience for which he receives excellent ratings, has a PhD in Physics and work experience at a Nuclear facility.

This seems awfully silly, especially with the cost of education having outpaced CPI by a wide margin for the past what, 3-4 decades while classroom sizes ballooned to 200.
Peek Smartphone App Allows Eye Testing Anywhere in the World
Fitbit Advises Rash Sufferers to Take a Break from Wearing the Wearable
There is no software industry, just us and SkyNet.
No, not unless the later equity round is in a different type of security (preferred equity, convertible debt, etc.).

Otherwise, all holders of common equity are considered to be on equal footing (pari passu)
Appeal to authority may be a fallacy in strictly formal logical reasoning, but it's trivially shown in probabilistic reasoning (which is the core of scientific reasoning -- reasoning under uncertainty) that if the data supports experts being right in disagreements on claims more often than non-experts, then an expert making a claim provides at least weak evidence in favor compared to a non-expert's opposition, knowing nothing else about the claim's veracity. Unless you're arguing by trading Coq proofs, it might help to consider a probabilistic approach for natural language arguments with degrees of informality and stop fighting over the various fallacies that don't really apply outside of strict formal logic arguments and instead spend time seeking the truth. For more, see: http://www.gwern.net/docs/statistics/2003-korb.pdf

http://www.researchgate.net/profile/Mike_Oaksford/publicatio...

http://www.pfeifer-research.de/pdf/pfeifer08rh.pdf

I can see how Clausen comes off as snotty. But his response is pretty neutral, even if he praises peer review as a filter beyond its actual merits. He sees a lack of appropriate effort to establish the claim from a nobody, why should he not be skeptical of such claims in general? It's the same heuristic people like Aaronson make on being highly skeptical of the latest P==NP or P!=NP proof uploaded to arxiv.
Microsoft's continuing efforts to be cool
I agree, the main developer has no clue what he is doing.
-"Should we ask from some known reverse engineer if this is true?"

-"Of course not, why would a DRM vendor lie about whether the DRM can be cracked of not?"

-"A good point!"
It's interesting that. I taught a sessional course a little further west (University of Saskatchewan) and sessionals there are unionized, whether you want to or not. One of the perks of this is that after you've taught the same course 3 times, you have right-of-first-refusal; i.e. if that course opens up to be taught by a sessional, the department offer it to you before they open it up to a general competition.

Apparently that's not the case at Carleton.
encrypts software code such that it’s only decrypted by the computer’s processor at the last possible moment before the code is executed.

I have heard this phrase repeated so many times in the advertisements for protectors/packers that it's become almost cliche. Such techniques have been around for over 20 years. Using the debug registers to store the decryption key is relatively well-known - and defeatable (this is 5+ years ago):

http://reversinglabs.com/newsroom/blog/lockpicking-telock.ht...

On the other hand, I like how the article presents the negative aspect too - that security features can be used to make systems secure against their owners is a point that I definitely believe needs to be more prominent among the public.
We should drop that "proof" argument because it's just an argument that impossibru, a completely fresh account, mindlessly threw out.

What we have in this forum are achive.org links. Those links contain conversations about breaking into Proplex's accounts and tracking Proplex's behavior. We should not have to filter past this argument of yours.

Your other argument just accuses someone of being a forum troll.
I'd imagine Disney makes plenty on merchandise related to their hoary old characters, particularly Pooh Bear, and not so much the movies/animation/wizened content like Fantasia or Steamboat Willie.
Does it run on Windows?
Whereupon: Moles :-)
I am sad to say that this guy just made himself a persona non grata as an adjunct not just at his current school, but at any school. Adjuncts are perceived as a commodity, and the administrators absolutely do not care whether he is a good teacher or not.

I strongly suggest this person start looking for jobs in industry. Once a convenient opportunity comes along to stop offering him work, the admins will do so.

If he wants to continue teaching, I suggest he use one of the online services that will actually pay him well if he can teach a difficult course well.
You might be interested in trying Slack, then.
As hackers breach digital defenses, experts say internal protections needed
Süße Tier-Werbung: Android Will Apple Angreifen
I agree that proportionally it's less but it's still growing
I've talked to the author extensively about these ideas, and let me assure you he is firmly in the "no monolithic frameworks please" camp. (He's also the author of some great Go code, btw.)

What he proposes here looks more to me like a standard library for building distributed systems, which makes a lot of sense to me.
yeah, it's on the to-do list.

The initial reluctance to put something like that together stemmed from not wanting to split the community (we're still close friends with some of the guys doing Rebirth development.) We'd still like for all of this to be mainline Rebirth stuff. The projects just keep going in different directions, and eventually we'll bite the bullet and put together an actual webpage describing what Rebirth is.

(If you're interested in multi, follow the directions in the initial link to get on the Rangers mumble server. If you have a particular interest in cooperative play, Whoskyd is the guy to talk to.)
Apparently you can pay less than $30k a year to get a hard-working instructor with a Phd to teach your students. So, that's what they do

And the issue is well-known and has been for years. I wrote about it from the humanities side here: http://jakeseliger.com/2012/05/22/what-you-should-know-befor... , though to be fair I didn't entirely appreciate just how bad the situation is until I began looking at the MLA jobs list.

Perhaps not surprisingly I didn't pursue academia and am primarily a grant writing consultant.
Checking your disaster readiness – “If you haven’t tested it, it’s broken”
La bande-annonce du film 50 nuances de Grey suscite la curiosité
Am I the only one who read the title and thought it referred to a 'pushbutton' style electronics hardware switch? I would have been quite excited to see that!
This is another problem produced by academic exploitation. Ph.D. students are produced 10-to-1 relative to tenure track jobs. Why would universities eat $50-60,000 in tuition and pay $25–35,000 in stipends per year per graduate student if they know they are over-enrolling? It's not like Ph.D. students bring money into a department, regardless of their level of "desperation" to get a terminal degree. That's a big and unnecessary loss to take every single year.

In my field, no competent grad student paid tuition, and it wasn't a meaningful measure of value or cost. Nobody would have accepted an offer from a grad program that didn't provide a full ride. So tuition was basically funny money, like a "list price" that is always discounted.

My research work brought in enough grant money to pay for my stipend plus equipment and other expenses. If anybody was taking a loss, it was the National Science Foundation.
fwiw, not available any more, re-christened as ipoque (http://www.ipoque.com/en/products/pace)
> Type safety also trivially holds in any dynamically typed language. You just call all values the same type

This isn't what most dynamically typed languages do and I suspect you know it. The reason "1" + 1 works in Perl (that is, produces a defined value rather than an undefined one or a program crash) is because the Perl runtime uses type information to deduce which conversion needs to be performed and then performs it.

The fact the type information is deduced as opposed to declared explicitly doesn't make it anything other than type information.
Synchronicity and Scale in the Logic of the Anthropocene
Does DLNA and Intel WiDi count as "just plugging in a monitor"?
Makes perfect sense. What if the gas company knocked 3/4th off the cost of the car but you could only buy their gas at an inflated rate? Same thing.
After buying an unlocked phone at full price and using a pre-paid plan, I am never going back to the "buy the phone from the wireless carrier" plan. I am saving a ton of money, can easily use it internationally and I can easily resell the phone when I upgrade.
The top five languages were all created initially between 1991 and 1996. Is that by coincidence? Probably languages have a lifecycle and age matters a lot. The current top crop are about 20y.o. - just becoming adults. Would that mean that Swift and Rust will get in top 5 after year 2030?
Actually yes, I do consider the horrific, mass atrocities committed by Marxists in the name of Marxism to be relevant to the credibility of Marxism in just the same way that I consider similar consequences when Nazis came to power to discredit their political theories. And, you make a good point about additional fields of Marxist influence: Marxist agriculture's contribution to the food supply, Marxist industry's contribution to national productivity, Marxist political officers on staff at State newspapers and their contribution to journalism, AND literary criticism and gender studies' contribution to academics and free speech on campus.

Marxism has influenced so many fields wherever it has gone, and if you like what it has done to these fields, it's reasonable to assume that it could have a similar impact on paid employment arrangements.

For me, though, that's not an encouraging thought. I've seen enough of the destruction that results when Marxist theory is applied to real people to conclude that whatever the problems with paid employment, good answers will not come from Marxism.
3 Points:

1. Cars are moving into this with heated seats, and even heated steering wheels. Electric cars in cooler climates that don't have the excess heat production of an IC engine will depend on it to keep occupants warm.

2. There was an article a while back on HN about a fellow that had a computer desk with a heated keyboard, heated mouse, heated floor mat (designed for animal cages) and a warm incandescent light pointing at them.

3. The IoT can't happen fast enough. I want my electric blanket to talk to my HVAC system to know when to turn each other on or off. And my HVAC to interact with my flight schedule or my phone's GPS to turn up/down the temperature and know when to turn on so it's still toasty when I get home.
goodnight sweet prince/and flights of angels sing thee to thy rest
How would you do decode this json in a type safe way using Go?

{"purchaseType": "Rent","price": 0.99,"title": "inception"}

Here is an implementation in Haskell:

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedStrings #-}

import Data.Aeson
import GHC.Generics
import qualified Data.ByteString.Lazy as BL

data PurchaseType = Free | Rent | Buy | Subscriber deriving (Show, Generic)
instance FromJSON PurchaseType
instance ToJSON PurchaseType

data Media = Media { title :: String, price :: Float, purchaseType :: PurchaseType} deriving (Show, Generic)

instance FromJSON Media
instance ToJSON Media

jsonData = "{\"title\": \"inception\", \"price\": 0.99, \"purchaseType\": \"Rent\"}"

main = print $ (decode jsonData :: Maybe Media)
-- running main gets:
-- λ> main
-- Just (Media {title = "inception", price = 0.99, purchaseType = Rent})

EDIT: Spec Change, boss wants an order confirmation message!

orderConfirmationMessage (Media mediaTitle _ Rent) = putStrLn ("Thanks for renting " ++ mediaTitle)

Then we recompile and... what's this?

Main.hs:19:1-100: Warning: …
Pattern match(es) are non-exhaustive
In an equation for ‘orderConfirmationMessage’:
Patterns not matched:
Media _ _ Free
Media _ _ Buy
Media _ _ Subscriber

Good thing GHC had told us Free/Buy/Subscriber's needed messages instead of our boss! In fact, had I been using -Wall this would be a compile time error.

Getting to the point, my real questions are:

1. What is Go's way of ensuring your function handles cases like this, or is there an idiomatic way of avoiding it?

2. How do you discern between MovieType's without resorting to just using Strings and compromising type safety?
This was already submitted months ago :s
The response I got was rather disheartening and downright hostile - it boiled down to the fact that protocol buffers involves C++ code which they are a priori against

Being against C++ isn't inherently a bad thing. For example, Tarsnap probably won't ever use C++ code.

I can't read your PDF because of an SSL certificate error.
The automated video looping paper is a fascinating one… much better … however it's patented. Anybody knows what is the position of Microsoft about the patents they own and describe in their research paper ?