Hasnain says:

Bookmarking for later usage. It's rare to see a project with such excellent documentation and usage examples from day one.

Hasnain says:

This whole story is an infuriating, saddening look into gender discrimination that is still happening across the tech industry.

“Exactly a week later, Ben fired me during a 10-minute video call. He said he was “sad to do something like this to someone so logical.” Two days later, he called to ask that I tell my team that leaving Pinterest was my decision and that I would be staying on for a month to ease the transition for my successor, Todd. While my arrival at Pinterest was highly publicized, my departure was buried in one line at the end of a revenue guidance revision due to the COVID-19 pandemic.”

Hasnain says:

This is a pretty good read on writing a SPA using Rust.

Having used Rust to build an interactive SPA before (both client / server), I can confirm it's a seamless experience and being able to share code/type definitions is extremely powerful.

Hasnain says:

This is some really cool work! It's open source, so you can also try it out on your python codebases

Hasnain says:

The author makes a fairly compelling argument by pulling in knowledge from the rise of capitalism and showing how it’s changed in the modern area.

“What if a UBI wasn’t just a noble thing to do, but the best thing to kick-start the economy and explode GDP growth to previously unseen levels? I believe UBI is capitalism 2.0 and today I’m going to show you why.”

Would love to know where this falls apart.

Hasnain says:

Very interesting read on data structures, proofs, and the history of Bloom filters. There is now a machine verifiable proof of the false positive rate of these things!

I also appreciated the explanation - it's one of the clearest explanations of bloom filters I've seen.

"In fact, as it turns out, the behaviours of a Bloom filter have actually been the subject of 30 years of mathematical contention, requiring multiple corrections and even corrections of these corrections.

Given this history of errors, can we really have any certainty in our understanding of a Bloom filter at all?

Well, never fear, I am writing this post to inform you that we have just recently used Coq to produce the very first certified proof of the false positive rate of a Bloom filter, finally putting an end to this saga of errors and returning certainty (pardon the pun1) to a mechanism that countless people rely on every single day."

(the site is not deceptive, it's sharing a screenshot of that dialog)

Hasnain says:

This was a very interesting game theoretic analysis. It also goes into a lot of the strategies behind optimal play for Slay the Spire.

I also learnt that I absolutely suck at this game.

"Ascension 0 or 1 win rate
I believe all characters have a win rate above 99.99% with optimal play, likely even above 99.999%, with or without the heart."

I can barely win 2% of the time...

Hasnain says:

Very engaging debugging story with an unexpected conclusion.

"What makes this issue particularly interesting? Vendor-specific bugs are nothing new, and games have had them for decades. However, to my best knowledge, this is the only case where a graphical issue is caused by a processor and not by a graphics card. In the majority of cases, issues happen with a specific vendor of GPU and they don’t care about the CPU, while in this case, it’s the exact opposite. This makes the issue very unique and worth looking into."

Hasnain says:

This has a lot of great content on engineering a large new product from scratch - starting from finding product market fit, through iterating on an implementation, to productionizing it. Lots of lessons along the way.

"Keeping that customer voice growing in each of us, through things like subscribing to the feedback mailing list or participating in user research interviews has proved crucial to our success as an engineering team. It is not enough to just have product managers, designers, and researchers thinking about the customer, engineers must as well."

Hasnain says:

Interesting read on distributed systems, optimizations, and also on how to tweak datastructures to match your needs.