jeromebaek

Pi is computable. What is computable, can be represented in finite information (the algorithm used to compute the number). Almost all real numbers are not computable.

Now tie this with computability theory. Almost all real numbers are uncomputable. It's obvious that they don't "exist" in any sense if by "exist" we mean "computable". Now consider that entropy, is information, is the measure of randomness, or uncomputability, is time. What is uncomputable, coming into existence, is the passage of time.

So Airbnb has tried to unsuccessfully pivot to a payments infra company for several years now. Notable acquisitions for this effort include acqui-hiring ChangeTip, a bitcoin micropayments platform, and Tilt, a social payments platform. But Square and CashApp are way ahead of the curve. I suspect there's internal political problems.

Sure. But most senior devs are not Tim Patterson.

Explains why there's little outbreak in Africa.

As a LGBTQ person this article is so creepy

Y'all are gonna call me a crackpot, but consider P, PSPACE and IP. PSPACE is (probably) much more powerful than P. Also PSPACE=IP (interactive proofs). Learn interactively. Treat your compiler as the prover, you as the verifier. Don't try to understand everything by simply reading the manual -- that's only utilizing P, not PSPACE.

this is hilarious. sorry for laughing

gosh, this is unsettling. my brain is literally getting stuck on an infinite loop trying to read this and coherently put them together

No. peak market share of Windows XP was 80%. market share of chrome is hovering around 65%. search engine share of google is like 90%.

please stop spreading the myth that ChromeOS is somehow immune to malware. nothing stops a dev from uploading malware to the Chrome web store, and there are many such cases that happened. the only meaningful metric of how safe a piece of software is, is the size and investment in the team responsible for the security of the product. And MS is leading in this aspect.