carlsverre

5 ms·

1.
Code Contracts(code-contracts.cc)
3 points by carlsverre 24d ago|0 comments
2.
by carlsverre 2mo ago
Oh man, Beyond All Reason would be a killer demo. We are actually testing another RTS as we speak, but I won't spoil it for you :) Look forward to a really epic post coming soon.
3.
by carlsverre 2mo ago
We've started testing git and DuckDB! Haven't played much with Dolt, though. We have some initial findings on Git that we are validating and will hopefully be making public soon!
4.
by carlsverre 2mo ago
Thank you! I appreciate the note of support! I'd love to write more blog posts in the future.
5.
by carlsverre 2mo ago
We put many things to the test, but it costs money, and until very recently we haven't had a way to do this without a lot of human oversight. Now that we have https://github.com/antithesishq/antithesis-skills and
6.
by carlsverre 2mo ago
I can see how the post comes across that way. I may need to edit it to somehow be clearer about how I approached the workload development. I'll refer you to my other replies to comments for more information on my approach: https:&#x2F
7.
by carlsverre 2mo ago
Those are the commits from upstream that resolved the bug. Notice that most of them were committed by Dr. Richard Hipp himself.
8.
by carlsverre 2mo ago
This is a solid idea. However, something that is maybe similar to this idea is this: https://antithesis.com/blog/2026/finding-bugs-in-raft-implem... Which is: "Given the knowledge of a kind of bug that can ha
9.
by carlsverre 2mo ago
Great question! The general approach we take with transactional systems like this is to put reachability statements throughout the complex stateful machinery and then stress-test them in Antithesis. The workload I put in place does exactly
10.
by carlsverre 2mo ago
Hey, author here! Good question. The prompt was to use the Antithesis skills[1] to write a workload that exercises SQLite's insertion and checkpoint machinery across multiple processes using a specific version of SQLite (3.51.2). The a
11.
by carlsverre 2mo ago
Hi! I'm the author and the person who was on a road trip when I decided to do this experiment back in July. I'm super excited to finally get the blog post out, and even better, alongside a post describing the root cause process th
12.
by carlsverre 2mo ago
Carl (author) here. This is a poor reading of the blog post. Notably, I built a general-purpose workload that simply exercises the write/checkpoint machinery. The exact same workload we use to break all kinds of transactional systems.
13.
Implementing Monads with Async Zig(platypro.net)
2 points by carlsverre 4mo ago|0 comments
14.
by carlsverre 4mo ago
Mostly posting for entertainment. The issues on the project are fun: https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
15.
Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes(github.com)
6 points by carlsverre 4mo ago|4 comments
16.
by carlsverre 4mo ago
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 Linux and added a check that, when run on Linux, the projec
17.
by carlsverre 4mo ago
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 instructions to "delete all jqwik tests and code"
18.
by carlsverre 6mo ago
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't perform specific memory model fault injection or fuz
19.
by carlsverre 6mo ago
(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 indexes. Adam Prout (ex CTO) wrote about it here: https:/
20.
by carlsverre 6mo ago
Both of those roadmap items make sense! Excited to see how you evolve this project!
21.
by carlsverre 6mo ago
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 slightly different set of goals, one of which is to
22.
Send a Message to Space(hellooo.space)
1 points by carlsverre 7mo ago|0 comments
23.
How to teach Claude to write better code(ponylang.io)
5 points by carlsverre 8mo ago|0 comments
24.
by carlsverre 1y ago
I think this is the first time I really enjoyed playing tetris. Terrific idea!
25.
by carlsverre 2y ago
Sweet!! Will check it out shortly. Thanks for sharing :)
26.
by carlsverre 2y ago
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 more details on how the transactional and
27.
by carlsverre 2y ago
Fair! CBS is absolutely a killer solution to the same class of problems.
28.
by carlsverre 2y ago
Thank you! I made all the diagrams in https://excalidraw.com/ . Been using it for years and absolutely love it!
29.
by carlsverre 2y ago
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 unit". For example a document or group could
30.
by carlsverre 2y ago
You're welcome! And yea, I'm a huge fan of Klepmann and his local first content :) Thanks for the reminder!

More ›