Viewing profile — alexkcd

The article literally cites a statement put out by a respected medical journal on Feb. 29, 2020, and signed by 27 scientists, "roundly rejecting the lab-leak hypothesis, effectivel…

The demographic for our app was primarily the US.

iOS apps are more profitable on a per install basis. So the discrepancy cannot be explained by there being multiple Android stores. Your hypothesis in brackets is the more likely e…

> We don't know if Web would be nearly as successful if it started with WASM instead of JS. The ability to just open a text editor and make a web page has served well in the early …

From [1]: > When writing SPIR-V, you can’t have two integer types of the same width. Or two texture types that match. All non-composite types have to be unique for some reason. We …

I remember reading that too. I think Ben Horowitz might have talked about this in The Hard Thing About Hard Things, though I might be misremembering the source.

Don't know of a good single resource that is comprehensive. A high level overview of autodiff approaches can be found here: https://www.robots.ox.ac.uk/~tvg/publications/talks/auto…

Agreed. Besides Geometric Algebra, dual numbers also play a huge role in automatic differentiation -- the core building block of modern machine learning frameworks. I really like t…

No, because 10M generates a steady return in a growing economy. So the steady-state consumption of someone with a net worth of $10M is much greater than someone with $0, all other …

Ah, that's good to know. This sounds exactly like what I'm looking for. Thanks will read up on this in the docs!

I'm not sure, but I think it's different. Specifically, I think you would do macro evaluation first, then fully evaluate the resulting program on run-time independent values, and o…

Yes, Julia has some of it. But you're still required to specify the template parameters of a type (unless I'm mistaken). Whereas what I'm talking about is that any value of a data …

I really like how type checking is implemented for parameter lists. I think there's a more generalized extension of this. Specifically, I think that there exists a lisp with a set …

Scooters could be using NFC/RFID payments today (e.g., Apple pay) instead of QR codes. So you could just walk up, tap your phone, and go. UWB offers no real usability advantage her…

Since they say their intent is to compete on price with S3 / CDNs, it seems possible to be able to download a file without having permissions to delete that file. If that were not …

Seems like this could be a common use case for pirates. Similar to how Megaupload or Fileshare worked a few years ago. Sia's encryption doesn't protect the file hosts, if the uploa…

Similarly, there's probably a ~€2.5 bn line item in the EU budget that reads "misc. Google fines". ;)

Agreed. Even if 2d graphics somehow made sense for standardization, it's not the place to start. How about first standardizing a linear algebra library that defines 2d/n-d vectors …

My point is that neither PoW nor PoS are decentralized. Which was in response to the original comment. I’ll let other people prognosticate as to what, if anything, that means for t…

Energy production is heavily regulated and centralized to a few entities. Very much like financial institutions. It's highly unlikely that the free market somehow sorts this out in…

PoW will centralize towards cheap energy access. PoS will centralize to majority stake holders. I would bet that such energy access or stake follows a power law distribution. So lo…

No, I think you mean Russia the government, not "russians" the people. The latter have little say over the policymaking of the former.

Different programming domains require different tools. Language wars stem from programmers incorrectly extrapolating the requirements of their domain to other domains that they're …