Universal Basic Income is Capitalism 2.0 | TimJRobinson
July 29, 2020 by Tim Robinson | economics, universal basic income in capitalism, economics, inequality, supply side economics, universal basic income Universal Basic Income is Capitalism 2.0 A Universal Basic Income (UBI) would improve everyone’s lives, increase our free time, empower workers, and...
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.Posted on 2020-07-31T06:38:33+0000
Gopiandcode > logs > Bloom filters debunked: Dispelling 30 Years of bad math with Coq!
Bloom filters debunked: Dispelling 30 Years of bad math with Coq! July 23 2020 #projects #research #coq #verification Introduction There's this rather nifty feature of modern web browsers (such as Firefox or Chrome) where the browser will automatically warn the user if they happen to navigate to a "...
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)Posted on 2020-07-25T20:11:18+0000
Is Every Game of Slay the Spire Winnable?
There is a lot of randomness in a game of Slay the Spire. From the cards and relics offered, to the potions dropped, to the map layouts and random encounters, very little remains the same between two playthroughs. This is part of the beauty of the game, forcing you to adapt and make the most out of....
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...Posted on 2020-07-25T05:09:54+0000
Fixing Mass Effect black blobs on modern AMD CPUs
Graphical artifacts caused by a CPU, not GPU? Sure thing.
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."Posted on 2020-07-19T20:56:25+0000
Engineering Dropbox Transfer: Making simple even simpler
One of the challenges of application engineering within an established company like Dropbox is to break out of the cycle of incremental improvements and look at a problem fresh. Our colleagues who do user research help by regularly reminding us of the customer’s perspective, but so can our friends...
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."Posted on 2020-07-12T18:06:40+0000
Reducing search indexing latency to one second
The challenges the Search Infrastructure team at Twitter went through in order to reduce the search indexing latency to one second.
Testing Firefox more efficiently with machine learning – Mozilla Hacks - the Web developer blog
A browser is an enormously complex piece of software, and it's always in development. About a year ago, we asked ourselves: how could we do better? Our CI relied heavily ...
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%!"Posted on 2020-07-12T16:51:53+0000