Hasnain says:

This is a good move

Hasnain says:

"For example, the idea inside clang’s TSan, using “happens-before” to find data races, goes back ages. There’s a 2003 paper that discusses “combining two previously known race detection techniques – lockset-based detection and happens-before-based detection – to obtain fewer false positives than lockset-based detection alone”. That’s actually what TSan v1 did, but with TSan v2 they realized the tool would be more impactful if they only used happens-before because that avoids false positives, which means that people will actually use the tool. That’s not something that’s likely to turn into a paper that gets cited zillions of times, though. For anyone who’s looked at how afl works, this story should sound familiar. AFL is emintently practical and has had a very large impact in the real world, mostly by eschewing fancy techniques from the recent literature."

Hasnain says:

Pretty good essay on burnout

"“You know”, he said to me one day, “it’s not like I want to be this pathetic loser. I want to get up tomorrow, get back in the gym, find a new job, see people again. But it’s like even as I say I’m gonna do all this, some voice in me says, ‘no I’m not, no way am I doing that.’ And then I can’t work out if I feel depressed or relieved, and the confusion sends me crazy.”"

Hasnain has not yet written a summary for this.
Posted on 2016-08-07T05:31:04+0000

Hasnain has not yet written a summary for this.
Posted on 2016-08-06T01:14:24+0000

Hasnain says:

"The members of this crew – Edwin Utreras, Robert Stegmiller, Christ Savickas, Andrew Schoeff and Joe Seinitz – have together faced at least 128 known official allegations from more than 60 citizen-filed complaints over almost a decade and a half. They have also been named in more than 20 federal lawsuits."

...

"Citizens have repeatedly accused these men of acts of brutality, intimidation and harassment – costing the city hundreds of thousands of dollars in legal settlements. Yet over the course of their careers, these officers have received little discipline – a two-day suspension, a five-day suspension, a reprimand – according to city data. Instead, they have won praise from the department, accruing more than 180 commendations."

Hasnain has not yet written a summary for this.
Posted on 2016-08-06T00:22:57+0000

Hasnain says:

Sickest burn in quite a while, in response to Gov. Nixon slashing the public defender budgets.

"Therefore, pursuant to Section 600.042.5 and as Director of the Missouri State Public Defender System tasked with carrying out the State’s obligation to ensure that poor people who face incarceration are afforded competent counsel in their defense, I hereby appoint you, Jeremiah W. (Jay) Nixon, Bar No. 29603, to enter your appearance as counsel of record in the attached case."

Hasnain says:

Clickbait headline, but ...

Hasnain says:

A welcome step