Jepsen: Capela dda5892

[aeontech]

Aside from obvious Smalltalk influence, this also brings to mind Darklang (that switched to an open-source model recently [1]).

I wonder how this will pan out... very interesting to see new approaches being explored.

[1]: https://news.ycombinator.com/item?id=44290653

[derekstavis]

Darklang is pretty fascinating, and was brought to our attention when we started demo-ing Capela to some folks in the industry. I think where Darklang (and others like Skip [1]) falls short is that it is a new language. Capela instead leverages typed Python, an existing and pretty familiar language to most programmers (and LLMs).

[1]: https://skiplabs.io

[cess11]

If it's partly a marketing move to get it jepsened before release, then it worked on me.

"Like Smalltalk and other image-based languages, Capela persists program state directly, and allows programs to be modified over time. Indeed, Capela feels somewhat like an object-oriented database with stored procedures."

This seems exciting.

[derekstavis]

Derek from Capela here. Marketing was not our primary purpose, but I guess it worked out as such ;)

The primary reason for us engaging early on with Jepsen is that we care a lot about correctness, consistency and reliability, and we wanted the best in this field to establish a baseline of tests that we must make sure our platform passes before we even put it the hands of anybody.

[runningmike]

Reading the first line I thought it was about https://github.com/eclipse-capella/capella, the Foss solution for Model-Based Systems Engineering. Confusing. But now there is also a Capela with a single ‘l’ -) Great writeup Kyle, thank you!

[pluto_modadic]

does Jepsen's test software auto-generate the cool diagrams (like 3.22) or do you have to do it yourself? do you prefer any software to do that?

[aphyr]

It does indeed! This is a part of https://github.com/jepsen-io/elle, which infers totally-connected components of the transaction dependency graph. :-)