Viewing profile — carlsverre

Mostly posting for entertainment. The issues on the project are fun: https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1

Where are the cheering AI haters showing up for this one? How does this enhance trust in the non-LLM users? Let's say a maintainer of an open-source project decided they hated Linu…

This is a wild way to make your stance public, and I think the maintainer is seriously underestimating the knock-on effects on their reputation as trustworthy. Providing generic in…

We support thread-pausing via instrumentation. This can cause threads to observe different interleavings, which can help uncover bugs in concurrent algorithms. At this time, we don…

(I used to work at SingleStore, and now work at Antithesis) SingleStore (f.k.a. MemSQL) used lock-free skiplists extensively as the backing storage of their rowstore tables and ind…

Both of those roadmap items make sense! Excited to see how you evolve this project!

You might be interested in taking a look at Graft ( https://graft.rs/ ). I have been iterating in this space for the last year, and have learned a lot about it. Graft has a slightl…

I think this is the first time I really enjoyed playing tetris. Terrific idea!

Sweet!! Will check it out shortly. Thanks for sharing :)

For a deep dive on Graft, a talk I did two weeks ago at Vancouver Systems just went live! You can watch it here: https://www.youtube.com/watch?v=P_OacKS2h5g The talk contains a lot…

Fair! CBS is absolutely a killer solution to the same class of problems.

Thank you! I made all the diagrams in https://excalidraw.com/ . Been using it for years and absolutely love it!

If you're doing volume per user, but also want to do cross-user collab you might want to change the model slightly. Rather than one volume per user, consider one volume per "access…

You're welcome! And yea, I'm a huge fan of Klepmann and his local first content :) Thanks for the reminder!

I think you could! Graft just provides transactions over sets of pages. As long as you can model your data in a compatible way it should work with Graft. A better question is how e…

Exciting to see all the continued energy around Graft today! If you want to continue the conversation feel free to join the Discord [1] or post a discussion on GitHub [2]. I'll be …

Thank you! Glad we see the world the same way! I've also always wanted a general purpose sync layer that provided a simple consistency model to build on top of. And I made Graft op…

Thanks! And great idea. I haven't deep dived into DuckDB's storage format yet, however I know that they split up the data into row groups which internally are columnar. I'm not sur…

There is simply so much to talk about here! Thanks for such an excellent question. First, a caveat: Graft currently has no permissions. Anyone with access to the Graft PageStore an…

Finally got a chance to watch this. LMAO so good!

Thank you!