Viewing profile — sortalongo

Author here. Fair warning: it's a vision piece, not a launch. We have a working prototype, but what's described in the post is where we're headed, not something you can play with t…

> 433 kcal/mole For reference, TNT is 1kcal/g. This is 6.2 kcal/g.

I think that's because, before the HoTT extensions, all definable types could be seen as in the Category of Sets. And they didn't get rid of Set and Prop entirely. They just made t…

> Customer data sizes followed a power-law distribution. The largest customer had double the storage of the next largest customer, the next largest customer had half of that, etc I…

The thesis of the article is plausible, but I think it’s missing the broader perspective. It makes sense that science picks “low hanging fruit” early on. Then, on average, later di…

Not as far as I know. The primary users & contributors are apple and snowflake. It was only made OSS a few years ago, and there were already a number of comparable alternatives (sc…

I thought the edges represented the strength of relationships between teammates. As people get to know each other, people settle into roles and communication patterns, worrying les…

“Powered Twitter” is an overstatement. Storm was indeed used at Twitter for select streaming use cases, but it was a bit of a mess and ended up being rewritten from the ground up f…