Hasnain says:

Harrowing read into airplane design, regulatory oversight, and how they can fail when there's a lot of lobbying and revolving doors involved.

"F.A.A. managers conceded that the Max “does not meet” agency guidelines “for protecting flight controls,” according to an agency document. But in another document, they added that they had to consider whether any requested changes would interfere with Boeing’s timeline. The managers wrote that it would be “impractical at this late point in the program,” for the company to resolve the issue. Mr. Duven at the F.A.A. also said the decision was based on the safety record of the plane."

Hasnain says:

Been a while since I’ve been able to nerd out on something. This was surprisingly interesting and accessible take on a new mathematical discovery defining a surprisingly simple problem.

“Paul Erdös famously spoke of a book, maintained by God, in which was written the simplest, most beautiful proof of each theorem. The highest compliment Erdös could give a proof was that it “came straight from the book.” In this case, I find it hard to imagine that even God knows how to prove the Sensitivity Conjecture in any simpler way than this.”

Additional accessible article in the comments.

Hasnain says:

Shameless plug: I am really excited to finally be able to share some more around some of the groundbreaking work we've been doing in static analysis.

This is seriously impressive work by Francesco, Manuel and co.

"To industry professionals we say: advanced static analyses, like those found in the research literature, can be deployed at scale and deliver value for general code. And to academics we say: from an industrial point of view the subject appears to have many unexplored avenues, and this provides research opportunities to inform future tools."

Hasnain says:

Bookmarking this for future-Hasnain: Collection of source code for games.

"This is a collection of computer game source code. The majority of these titles were originally released as commercial products and the source code was made available to the public at a later time. "

Hasnain says:

This was such a heartbreaking set of human stories - people suffering due to a system that doesn’t provide affordable care to those in need.

“He added that he is supposed to use a new needle tip for his insulin pen each time, but limits himself to one per day because it got “crazy expensive.” He estimated that he doses himself between five and eight times a day, with each dose becoming more painful. Before he switched to pens, he would reuse syringes and needles to inject himself with insulin. He shared a photo with BuzzFeed News of a used needle that bent and broke off inside his body during a regular injection.”

Hasnain says:

In which the authors profile and interview hermits, exploring more about the human condition and how people tick.

“"If I say I want to sail a small boat all the way around the world and it will take me two years, everyone says, 'Oh how exciting!' If I say I want to go and sit in my house and not talk to anyone for two years, they say 'Have you got mental health issues?' or 'Why are you so selfish?'"”

Hasnain says:

Very interesting collection of human interest stories. I also finally now know where spelling bees originated from!

“It was a rare instance of 72-year-old Feldman flexing his orthographic knowledge. The only other time he taps into his rare talent is when he’s doing word puzzles online with his wife. She spells some wrong, but he tries not to act like an expert. And for good reason: When it comes to spelling, he says, “I’ve had nothing to prove since I was 13.””

Hasnain says:

This took me a while to read and digest. I normally feel a bit weird sharing things by my employer but this was technically interesting and taught me a lot about AI and modeling games.

It's worth a detailed read.

"Nevertheless, many real-world interactions – including ones involving fraud prevention, cybersecurity, and taking action on harmful content – can potentially be modeled as scenarios involving hidden information and/or multiple agents with limited communication and collusion among participants"

Hasnain says:

This is so heartbreaking. Makes me wonder when we'll have the promised future with UBI so this does not have to be a problem, and the robots can serve our every whim.

"So the executives resolved to make life so unbearable that the workers would leave, prosecutors say. Instead, at least 35 employees — workers’ advocates say nearly double that number — committed suicide, feeling trapped, betrayed and despairing of ever finding new work in France’s immobile labor market."

Hasnain says:

Interesting analysis of Saudi influence in the US via university - and other - funding, MBS approach to things, university funding in general, and general politics.

““Lester talked about what a tiny fraction of the overall budget the Saudi money is,” says Jonathan King, the editorial board chairman of M.I.T.’s faculty newsletter. “He could have decided that we don’t have to be in bed with murderers and a government that imprisons its women activists. But he insisted on keeping the relationship. I don’t get it. Why would M.I.T. want to sully its national and international reputation for chump change?””