sortalongo

3 ms·

1.
The System as a Program: fusing the database and the programming language(cambra.dev)
4 points by sortalongo 3mo ago|1 comments
2.
by sortalongo 3mo ago
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 workin
3.
by sortalongo 2y ago
> 433 kcal/mole For reference, TNT is 1kcal/g. This is 6.2 kcal/g.
4.
by sortalongo 3y ago
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 keywords.
5.
by sortalongo 4y ago
> 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% sure that’s an expon
6.
by sortalongo 4y ago
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 rate of progress depe
7.
by sortalongo 5y ago
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, Yugabyte, Fauna)
8.
by sortalongo 5y ago
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 each other, making deci
9.
by sortalongo 5y ago
“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 throughout [1]. Marz was