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 today. We want to share what we're…
> 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 them default-imported symbols instead of…
> 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’m no statistician, but I’m like 99%…
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 discoveries require more effort. But the…
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 (scalable, consistent OLTP like Cockroach,…
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 less about social status, complementing…
“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 for 10x improvements in latency and…
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 today. We want to share what we're…
> 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 them default-imported symbols instead of…
> 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’m no statistician, but I’m like 99%…
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 discoveries require more effort. But the…
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 (scalable, consistent OLTP like Cockroach,…
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 less about social status, complementing…
“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 for 10x improvements in latency and…