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.

Hasnain says:

Interesting read on applying ML to improve test selection and save machine costs.

"... Even with all of these optimizations our CI still runs around 10 compute years per day!"

"Compared to our previous solution, we’ve reduced the number of test tasks on our integration branch by 70%! Compared to a CI system with no test selection, by almost 99%!"