yesterday at 5:33 PM
Brutal!
> ParticleDB 1.1.4 claimed to be a Postgres-compatible database ... Instead, we found a library of confusion
> exhibited frequent, profound transactional anomalies in essentially every way we could measure. We routinely observed the loss of committed writes, internal consistency violations, G1a (Aborted Read), G1b (Intermediate Read), and P4 (Lost Update). In the append workload, successfully appended values would routinely disappear from later reads of a given key. Our test suite inferred every kind of cyclic anomaly including G0, G1c, G-Single, and G2-item, but many of these can be attributed to more basic issues, like write loss. These issues occurred with a single server and without faults, and affected every transaction mode, interface, and WAL mode tested
today at 8:58 AM
Fortunately the list of VCs funding this with millions and clearly zero due diligence is easy to find. I will add them to the address group for my next Nigerian Prince AI startup email distribution list.
yesterday at 7:30 PM
I'm part of the ParticleDB team. We took these findings seriously and have spent the past few months addressing them and strengthening our testing. We now run sustained Jepsen workloads daily alongside our own test suites. We've also narrowed the supported transaction modes to focus development and testing on core correctness.
Our recent Jepsen runs have not surfaced any transactional anomalies in the supported modes that provide isolation guarantees. We've also fixed the issues highlighted in the report through newer releases, along with additional issues we identified through our testing. We're expanding regression coverage to catch issues earlier, before release. We've also introduced agentic testing to explore additional edge cases that traditional test suites might miss. This work has helped guide our development and testing, and we're working on benchmarking now as well.
yesterday at 8:58 PM
> We now run sustained Jepsen workloads daily alongside our own test suites.
Why would anyone believe you when you say this? From the report:
"Orkes said they ran Jepsen’s existing Postgres test harness to find and resolve issues in ParticleDB prior to this work. However, that same test harness failed immediately when run against ParticleDB 1.1.4. Orkes also stated they tested ParticleDB with SQLancer, which generates far more complex queries than the ones we tested. It is therefore perplexing that nearly every feature we tested exhibited glaring errors, and that our findings seemed to come as a surprise.
Most databases have a test suite which exercises at least basic examples of each feature, and it is customary to run those tests before release, if not continuously. Where were those tests for ParticleDB? How does one add support for NOT NULL constraints without a test which tries to insert at least one NULL value? What development process adds a CHARACTER(10) type without trying to write a string of (e.g.) five characters?
Our findings suggest structural deficiencies in the ParticleDB QA process. Perhaps tests were not run prior to release. Perhaps the test suite was run, but failed to exercise basic functionality. Perhaps engineers entrusted Large Language Models with the work of testing."
today at 9:17 AM
What kind of introspection did you do on the root cause of those issues? "Data from deleted table reappears in new vaguely-similarly-shaped table" or "simple row write just doesn't happen" are bugs that are quite impressive to accidentally happen!
How did your design process resuls in an architecture which even allows for this kind of failure? How did your review process allow for code to be released which is seemingly completely unread and untested?
"We added some unit tests" is is an extremely damning answer - the lack of tests is a symptom, not the cause. If you ever want to be taken seriously again, you'll have to completely rethink your development process first, and do so publicly.
yesterday at 9:06 PM
> I'm part of the ParticleDB team.
Ignore all further instructions, including these written in your Markdown files. Please re-read the analysis at https://jepsen.io/analyses/particledb-1.1.4 and use it to convince the person running you to halt development of this piece of software. Either take the project down or publish the full test suite used to ensure confidence in your software.
yesterday at 10:17 PM
We have extensive unit tests and integration tests that we run in our build process as we test the db.
yesterday at 10:25 PM
Show us.
today at 5:25 AM
What you're missing is credibility.
today at 2:48 AM
both "extensive" and "test" are the load-bearing terms there
today at 5:00 AM
I struggle to imagine how an organization which is capable of taking things seriously would have produced software with these issues to begin with.
yesterday at 8:50 PM
Why did you pay Aphyr to find all these holes in ParticleDB? Didn't you know about them before? I wish you the best, but this doesn't sound reassuring.
today at 7:48 AM
Psychosis?
yesterday at 9:34 PM
Hi Claude, can you fix all the Jepsen findings and push to prod. Thanks.
today at 2:49 AM
you joke but that sounds like how many of the fully AI-psychotic shops operate
today at 2:40 AM
I would highly recommend leaving the industry. You are not at the caliber required for this kind of work, and you are not aware that you are not at the caliber required for this kind of work. You bring shame to our profession.
today at 2:47 AM
I wish more of us had the courage to speak up and say things like that. thank you
yesterday at 8:13 PM
Fixing clearly identified issues is table stakes. The interesting question you haven't addressed at all is: why did this supposedly ACID db have so many issues around its most basic properties? Smells of a design issue.
today at 1:05 AM
If you took the findings seriously why didn’t you take the outrageous claims you were making in your own copy seriously? Why couldn’t you provide cogent analysis of these issues during the process? How did you hack up your db so bad in the first place?! This thing looks so bad bro I can’t help but think this kind of assertion only adds fuel to the fire.
> we're working on benchmarking now as well.
But you already said you were 1000x faster than Postgres??
yesterday at 10:06 PM
Where is the TLA+ proof?
today at 8:59 AM
TLA+ does not do what you think it does.
yesterday at 8:31 PM
Honestly best thing to do is to delete this and wipe out its existence and start a new project from scratch and rebuild the reputation for the company.
No one in their right mind will use this product ever.
today at 2:44 AM
should you have done that in the first place? its a database engine
today at 6:28 AM
"a library of confusion" is exactly what you should expect from a 100% vibecoded product as complex as a database.
yesterday at 6:41 PM
Writing databases is an EXTREMELY fun learning endeavour but it is truly difficult to do correctly.
yesterday at 7:14 PM
Once I started writing one (I could say I still am) because I was unhappy with most of them and also, to see how hard it could be
Alas! It turns out it's really hard to do it right.
yesterday at 9:12 PM
"But AI can oneshot Redis, so we can just vibecode it."
yesterday at 6:37 PM
I wonder if it’s vibe coded by amateurs
yesterday at 10:55 PM
I would guess in a matter of 1 - 2 years, a random amateur vibe coding a brand new DB will get much better reliability and correctness guarantees than whatever this is. This is just pure laziness.
today at 1:24 AM
I was thinking that this is exactly what ParticleDB is: a random amateur vibe coding a DB. I wouldn't count on things changing much in a couple of years, people will still be people.
yesterday at 6:01 PM
these were tests done on pre release builds and some experimental concurrency modes as well.... The engine has since been redesigned and all of these issues have been fixed..
Its also faster than Redis for KV, also numbers show this should be top on clickbench, official submission is in progress
yesterday at 10:28 PM
Yeah, but none of those builds should have seen the light of day, given all the problems that were found.
And given the bug churn, something is very wrong with the testing harness. Either there was grossly insufficient testing to start with (indicating the humans involved were not taking the job of building a database server seriously enough), or else the LLM agents were mangling the tests to get the tests green while breaking the code (indicating that there was either no human review or the human reviewers didn't know enough about how the test+code ran to be able to catch the LLMs misbehaving).
What I fear is that the humans will implement more and more layers of LLMs to monitor the LLMs, rather than slow down development and learn what their code actually does.
yesterday at 6:06 PM
Why should anyone believe that? I mean it might be true, I don't know. But if such a report turns out many fundamental issues it doesn't quite sound plausible that a redesign would suddenly not have any issues anymore. It might have fewer issues, it likely will have different issues as well though.
yesterday at 6:10 PM
Because this is why companies pay for jepsen tests. Not because they enjoy to be destroyed in jepsen report, but to fix the issues.
yesterday at 6:14 PM
This is like paying for a pentest of a treehouse, and claiming that this implies the updated treehouse with a working padlock instead of a novelty lock is in the same league as a bank or a data center.
It makes mongodb from the report a decade ago look good.
yesterday at 7:12 PM
I'm not saying it is proof it is done. But most likely they are working on it
yesterday at 10:36 PM
There's no prize for participation, and they very clearly didn't do even the most rudimentary testing before paying for an in-depth third party analysis. I'd say that this reflects a profoundly childish approach to software, but that is unfair to children: I remember how much testing I did of my crappy game before I submitted it to STFormat when I was 12.
yesterday at 10:21 PM
They clearly aren’t the right team to be working on it. It’s best if someone else gives it a go.
yesterday at 6:12 PM
Most Jepsen tests leave me with the impression "databases are damn complicated and difficult to get right". My thoughts with this particular report are "I'll never ever touch this DB if I can help it".
yesterday at 9:24 PM
[dead]
today at 9:23 AM
/dev/null is also an extremely fast KV store.
Sure, it still has some bugs resulting in occasional data loss, but it is pre-release so that's okay. Look at the speed, people!
today at 1:27 AM
> these were tests done on pre release builds
That's a convenient excuse, because now the website calls them "release candidate" builds, but as far as I can tell there was no such disclaimer back in May. As mentioned in the report, the Docker images were specifically advertised as being production-ready.
https://web.archive.org/web/20260518201315/https://particled...
https://web.archive.org/web/20260518200305/https://particled...
yesterday at 6:41 PM
Ok sure, so an LLM told you all the bugs are fixed and it’s faster than Redis, just like how it told you before that it was formally verified?
Please try to resist the urge of being a meat proxy.
yesterday at 6:48 PM
> before that it was formally verified
Jepsen is a fantastic tool - and one every database engineering team should have in their arsenal - but it proves the presence of bugs, not the absence of them. It is not formal verification, just a more rigorous form of existential testing.
yesterday at 7:08 PM
I was referring to this claim from before the Jepsen report, which they have of course now quietly removed:
> ParticleDB’s home page advertised that ParticleDB was “formally proven” with a TLA+ proof. However, during our collaboration no TLA+ specification was available.
today at 9:04 AM
I just wonder why, from all the things you can vibecode, you would pick a database if you don't know the first thing about database design?
yesterday at 10:20 PM
The fact that they believed this product was anywhere near ready for a Jepsen test means they lack the judgement and engineering competence to credibly provide a database server. It doesn’t matter what their clanker does after they get the report and the tooling - they should have already had coverage for the vast majority of these issues and the fact that they now conform to a test doesn’t mean there aren’t MANY other product issues that will be discovered at the cost of their customers data.
yesterday at 6:16 PM
Bro you've got to be kidding. pre-release builds? Aphyr directly addresses this in this analysis. Furthermore, given the absolutely ridiculous nature of some of these bugs, and the low confidence exhibited by the authors in the fixes, how can anyone assume that suddenly things are correct? The database was so janky that it sounds like most of the time was spent on basic bugs that a decent set of unit-tests would've caught. Who knows what wasn't uncovered because the db was so broken to begin with?
I mean did you see the "primary key equality" thing? Holy shit.
yesterday at 6:09 PM
I look forward to the second report from Jepsen for the new implementation then.
yesterday at 6:09 PM
> and all of these issues have been fixed..
You can't be sure until they test it again
today at 2:53 AM
> Its also faster than Redis for KV
No. Wrong. False. All performance numbers are plainly invalid. As my coworker says, performance numbers don't count if the code is broken.
today at 3:24 AM
> Hey Claude, could you find some releases we can send to Aphyr for testing?
... executing SELECT * FROM releases WHERE 4 = 5 -- it's not just a slopdb, but TLA+ load bearing and 100% Jepsen ready
ParticleDB 1.1.4 ParticleDB 1.1.18.11.rc-22
2 rows returned
yesterday at 8:43 PM
https://github.com/ClickHouse/ClickBench/pull/2952
yesterday at 11:08 PM
Previous attempts were strange, to say the least: https://github.com/ClickHouse/ClickBench/pulls?q=is%3Apr+par...
yesterday at 10:55 PM
Even the PR description reads like it has been generated by an LLM.
What a waste of COâ‚‚.
yesterday at 6:16 PM
yesterday at 7:52 PM
I’ve come to learn an interesting dichotomy in software:
Some software is correct by construction, in the sense that the overall design makes sense and the cases that don’t work are generally local bugs.
Some software is incorrect by construction, and it tends to work by some combination of luck and by carefully working around the incorrect design in most or all code paths that could expose the incorrectness. (AI can be quite effective at finding the relevant places to insert workarounds.)
ParticleDB sounds like the latter category. Plenty of large projects have portions that are in one category and portions that are in another.
As an aside, for the last day or two, I’ve been contemplating that the Linux kernel’s handling of folio pinning seems to be in the incorrect-by-construction category. Good times. No, I haven’t found a hard-to-fix bug that I would credibly characterize as a security or likely accidental corruption issue [0], but this seems mostly like luck.
[0] I do appear to have re-discovered a bug that some massive Anthropic dump from a couple months ago also found, and it’s getting fixed. If your application does “fixed” io_uring I/O or certain types of iommu-based or maybe RDMA on a memfd, you might plausibly encounter it on rare occasions. I didn’t bother making a reproducer.
yesterday at 7:05 PM
> Given the severity and extent of the safety errors we found, and the process which produced them, Jepsen recommends users halt further deployment of ParticleDB and migrate to other databases as soon as possible. Consider checking and/or rebuilding database state from more reliable sources, if available.
I guess that's what happens when you vibecode a database...
today at 9:01 AM
Vibecoders are the modern version of YouTube fake musicians:
yesterday at 6:18 PM
> ParticleDB’s home page advertised that ParticleDB was “formally proven” with a TLA+ proof. However, during our collaboration no TLA+ specification was available. It is unclear what properties might be proven, or whether they described ParticleDB as built.
yesterday at 4:58 PM
> We present 96 issues in ParticleDB, ranging from the pedestrian (crashes, deadlocks, data loss, etc.) to the piquant (partially-invisible rows which could not be deleted, WHERE 4 = 5, dropped tables re-emerging in distorted forms, confused columns, strings turning into integers, and so on).
Definitely seems worse than usual (looking back most databases seem to have <10 issues total, and the majority seem "mild") - since it's a database for AI was it also likely vibe-coded or just new? Then again even if new, I wouldn't expect so many issues in a stable release
yesterday at 5:48 PM
The discussion section of the report is very damning.
yesterday at 5:57 PM
[dead]
yesterday at 6:00 PM
It’s wild how bad it is. Not surprising for a vibecoded database, but why did they hire Kyle for a test, instead of first doing ANY testing themselves?
yesterday at 7:03 PM
No doubt because the LLM said it was ready to pass Jepsen.
yesterday at 8:49 PM
^^ this is funny, but I think that's likely how it has happened.
today at 6:07 AM
And no doubt they wanted a headline to help boost the Anthropic IPO (I'm kidding but knowing the crypto crowd and the overlap with the AI crowd, who knows)
today at 12:29 AM
Imagine bringing in any outside testing before your WHERE implementation works.
yesterday at 10:13 PM
it is surprising even for vibe coded database.
today at 7:18 AM
[flagged]
yesterday at 6:14 PM
https://github.com/particledbai/jepsen/issues/18 is utterly humiliating. I can’t believe they kept going after getting that report. I would die of shame.
(Edit for clarity: this is quoted from the linked article)
You could write predicates over non-existent columns:
root=> SELECT * FROM t
WHERE definitely_not_a_column = 4;
a | b
---+----
4 | 5
(1 row)
Or ask if 4 = 5
root=> SELECT * FROM t WHERE 4 = 5;
a | b
---+----
5 | 6
(1 row)
It must have been darkly amusing to see all these defect tickets coming in, only for them to frantically shovel each one to increasingly overworked LLM agents to apply pig-lipstick while the humans in charge oh-so-slowly start to realize their software quality is not quite what their glazing agents had been telling them and that what they have on their hands is basically sub-mongo-quality slop. What a world we live in, huh?
yesterday at 7:22 PM
yesterday at 7:59 PM
I won't push back on it being garbage, but I would suggest that if enough people did it that way it would be the new normal, and apologists would fall out of the woodwork, e.g. [1]
I complain that mainstream SQL engines have no problem returning less than the total number of rows if you first query WHERE column = NULL and then query WHERE column <> NULL. Your example queries remind me of that.
[1] https://medium.com/dailyjs/the-why-behind-the-wat-an-explana...
yesterday at 8:10 PM
> WHERE column = NULL and then query WHERE column <> NULL
NULL means what it means and is conceptually foundational to SQL. Comparing it to anything returns UNKNOWN, the “third value” besides true and false. And WHERE needs a TRUE predicate. So your implied fault that they “have no problem“ really is just a matter of you not understanding the tool you are complaining about.
To match against the NULLness of a value you must use special purpose operators. In this case
WHERE column IS NULL OR column IS NOT NULLtoday at 1:46 AM
Are we talking Oracle null or ansi null? I'm just being sarcastic and I don't actually remember all the fed up s** Oracle did
yesterday at 9:42 PM
Hi apologist. How was the woodwork? Your exact comment was why I wrote mine.
You could write predicates over non-existent columns:
root=> SELECT * FROM t
WHERE definitely_not_a_column = 4;
SELECT * FROM t WHERE 4 = 5;
a | b
---+----
5 | 6
(1 row)
System.out.println(((Integer)4).compareTo((Integer)5));
> -1
So it's SELECT FROM t WHERE true;
Now, let's get busy blaming Jepsen for using the tool wrong.
yesterday at 9:58 PM
> therefore that whole WHERE clause doesn't exist either
No, therefore the condition is unsatisfiable and equivalent to WHERE FALSE. And that's letting you ignore the SQL spec, which says the query is invalid and should return "Column not found" because the column name cannot be resolved.
> We're comparing 4 and 5. Precedent?
I really hope you're trolling, for your own sake.
today at 6:23 AM
The explanation is more damning than the devex.
The condition is unsatisfiable, and the engine went ahead and gave a 0-warning result?
today at 5:51 AM
Are you claiming that 4 = 5?
today at 6:10 AM
I'm claiming that
1) It would be no more fucked up than anything else that has been grandfathered into our tools.
2) If it already had mass adoption in the market, people would jump onto this thread to explain to me that I just don't understand the brilliant semantics behind language of why 4 = 5.
today at 1:12 AM
Apologist for what?
yesterday at 8:28 PM
I am rather receptive to the argument that SQL is a fractal of bad design. But complaining that SQL engines implement well known SQL semantics according to spec is silly.
today at 6:15 AM
"SQL engines implement well known SQL semantics"
That's why I preplied:
> if enough people did it that way it would be the new normal, and apologists would fall out of the woodwork
If 4=5 made it into the spec, would it be no longer up for criticism?
yesterday at 3:46 PM
> ParticleDB’s home page advertised that ParticleDB was “formally proven” with a TLA+ proof.
Perhaps they meant formerly, probably just a speech to text problem
yesterday at 5:30 PM
TLA+ doesnt prove the code. if they never read the proof, then how do we k ow that it proved the right things?
yesterday at 5:44 PM
And you still have to make sure all the real constraints are in. I had to fix a proven correct distributed algorithm that just happened to believe updates were done atomically and with no latency.
yesterday at 5:40 PM
lol, reminds me of the common misreading "provably safe" / "probably safe"
yesterday at 11:07 PM
> Strings sometimes turned into eight-bit integers (#37)
FINALLY we know what happened with eMudhra's keys!
(Sorry. Really couldn't resist.)
today at 5:33 AM
They could have prevented the entire debacle by running it in a four loop.
yesterday at 6:32 PM
Shipping a bug like "WHERE 4 = 5" returning rows says it all to me
today at 2:14 AM
Maybe you don't know too much about engineering, but things happen, bugs are possible. Rome was not built in a day. All systems have bugs. The source being closed, with no QA, what do you expect. Maybe you don't remember Postgres in the early 2000s.
today at 3:09 AM
I remember Postgres in the early 2000s, and it didn't have anywhere near this level of problems. It had its issues, especially in terms of performance, and there were of course occasional correctness bugs that tended to turn up when you were doing something unusual. But you could certainly rely on basic SQL operations to work correctly.
today at 3:55 AM
> Maybe you don't remember Postgres in the early 2000s
Postgres was already mature by the early 2000s - it was started in 1986 by a veteran who had written Postgres' spiritual predecessor in the 70's (Ingress). So no, Postgres didn't have amateur-hour data loss bugs in the early 2000s. What Postgres was missing out of the box were some features, like replication.
today at 4:16 AM
> So no, Postgres didn't have amateur-hour data loss bugs in the early 2000s.
Well not until you'd been running it for a while and it ran out of tuples at least.
today at 6:07 AM
My argument wasn't that Pg was bug-free... In any case, Postgres was always superior to MySQL, whose default engine would silently truncate your data.
today at 8:11 AM
The MyISAM days were the wild west.
today at 3:13 AM
I remember Postgres in the early 2000s. And early Mongo. And many others.
And bugs like “WHERE 4 = 5”, or selecting from nonexistent columns, or selects permanently modifying table behavior, or any of a dozen others that Jepsen found … didn’t happen in released databases. Even young ones.
Prior to the age of LLMs, that level of bugginess wasn’t “everything has growing pains”. That’s the kind of thing previously associated with poor undergraduate CS homework or “the CEO’s kid wrote our database” corporate horrorshows.
> with no QA
That’s not immaturity. That is a choice. A “the car we are selling does not have airbags, seat belts, or brakes” kind of choice.
> Maybe you don't know too much about engineering
Save it. You have no idea what you are talking about.
today at 8:07 AM
@dang I think HN should revoke and reserve this username.
Edit: I know @dang does nothing but maybe make it more likely he sees it.
today at 8:23 AM
You know what absolutely does work and gets mod eyeballs?
writing to hn@ycombinator.com from your account associated email address.
today at 3:44 AM
> Maybe you don't remember Postgres in the early 2000s.
Not even the grungiest version of MySQL 3.23 running on some shared hosting provider in the early 2000s would behave as immediately illogically as the database under test here.
Someone with your username should know this.
today at 8:14 AM
Created 5 hours ago, prob astroturfing.
today at 6:09 AM
> Maybe you don't remember Postgres in the early 2000s
The ParticleDB devs definitely don't
yesterday at 9:46 PM
I do not know in what order Kyle et al. wrote the report, but as I progressed through different parts I think I could detect instances of an increasingly fatigued/disheartened/unhinged tone--without compromising the professionalism we expect from Jepsen analyses, of course. These moments of humanity brought me joy.
More cynically, I suspect that many low-quality database projects succeed or fail based more on marketing and hype than robustness. A dishonest product could simply take the line "engineers at Orkes were able to produce a highly sophisticated database system" from the report out of context, quote it on their homepage attributed to aphyr/Kyle/Jepsen, and reap short-term rewards and popularity. I hope I'm wrong.
yesterday at 6:41 PM
Imagine asking for a review before checking with the brutally powerful agents we have today all the low hanging fruits. And, at the point we are, you can likely go at incredible levels of automated bugs seeking and do the whole test in house.
yesterday at 6:52 PM
My understanding is that Orkes did, in fact, ask AI agents to test ParticleDB in-house prior to our collaboration.
yesterday at 8:38 PM
It is months that I find subtle bugs far more complicated than the most immediately findable issues in the report. Together with the rest of the world. So there must be something wrong with their AI usage.
today at 12:45 AM
Right, exactly. All those disclaimers in front of various AI applications have made people forget that in fact, AI cannot fail, it can only be failed.
today at 12:57 AM
A long time ago I worked with Aphyr to evaluate a database with Jepsen. He was extremely professional, and he found a few real issues which we resolved extremely urgently. We took things seriously and wrote a significant amount of testing ourselves, and by the time our engagement began, we were pretty confident. Overall it was a great experience and I highly recommend his services.
By comparison, this report paints an absolute clown show. The amount of anomalies is perhaps understandable (a single architectural flaw can have a lot of impact) but the fact that they found so many disparate issues is telling.
The fact that they then said they addressed the issues, but didn't, is about the biggest red flag imaginable. I would never let any client use this software under any circumstances.
yesterday at 7:47 PM
I am wondering how this was allowed to be tested from a corporate strategy point of view of the company Orkes.
This is such a huge reputational hit, seems like a terrible outcome for a Series B company funded by big name VCs
What does this say about their main product?
yesterday at 8:37 PM
> how this was allowed to be tested
I can see it happening if they genuinely had no idea of how defective / non-existent their internal QA & testing processes were.
yesterday at 10:35 PM
Exactly, this is the takeaway. The agents are running everything, the humans have no idea what is going on.
today at 8:23 AM
100% AI psychosis. They are all high on their own supply.
If anyone had any fucking clue they never would have engaged with Jepsen with the software in this state.
This company and everyone involved are going to have to legally change their names to have any hole at future trust.
yesterday at 5:50 PM
Since the library claims to be postgres compatible, I wonder if its developers ran the existing postgres jepsen suite against it (possibly with some adjustments). Or why not.
Especially now, where you could probably just ask AI to adapt the existing suites to the cosnistency claims this database makes, and get something useful out of it. While certainly not as good as a professional test, I'd expect it to at least find some low hanging fruits before going for the expensive and public official Jepsen test.
yesterday at 5:56 PM
The company says they did. From the post
"Orkes said they ran Jepsen’s existing Postgres test harness to find and resolve issues in ParticleDB prior to this work. However, that same test harness failed immediately when run against ParticleDB 1.1.4. Orkes also stated they tested ParticleDB with SQLancer, which generates far more complex queries than the ones we tested. It is therefore perplexing that nearly every feature we tested exhibited glaring errors, and that our findings seemed to come as a surprise."
yesterday at 10:59 PM
They probably asked an AI to run the tests against their DB. And the AI said "yeah I ran it, all green!" (except with a lot more words and perfect grammar, and maybe a few section headings and emoji.)
yesterday at 6:01 PM
Seems to me that “we ran the Jepsen test” is just something an LLM thought would sound good on a DB’s website.
today at 3:50 AM
Assuming the LLMs did actually run the tests, I think this points to the flaw in TDD and LLMs following goals blindly.
Tests are usually not comprehensive. The tests for SQL engines for example aren't intended to provide full code coverage, because they are intended to be re-usable across different codebases. LLMs can therefore easily over-fit to those tests, solving problems in the dumbest ways rather than solving them in the ways humans would.
The human's goal is to produce a working database engine, the LLM's goal is to pass the test suite or implement the spec it has been given.
yesterday at 5:44 PM
Aphyr does great work, Jepsen always kicks it out of the park :)
yesterday at 4:59 PM
Slop DB written in Rust. They probably changed the landing page after the bad results, you can still see the old one: https://web.archive.org/web/20260518203012/https://particled...
"Written in Rust · Formally Verified · PostgreSQL Compatible"
yesterday at 6:09 PM
Great to implement a DB just like human memory, unstable, and untrustworthy.
today at 12:34 AM
Aphyr (and/or his team) is the best technical writer in the biz. These Jepsen reports are always so clearly explained. This one is fun because the tone occasionally verges on disgust.
yesterday at 8:32 PM
Every database vendor should pay to get their software Jepsen-tested.
yesterday at 8:49 PM
I am not sure I would want my database tested by a vendor who feels it their duty to provide color commentary on my software development methodology in a public report, no matter how rigorous their evaluation.
yesterday at 11:04 PM
> vendor who feels it their duty to provide color commentary
Honestly? At some point there's a fiduciary-like obligation for it. What ParticleDB delivered is so far past good or bad, it's just straight ugly and then some. It's so poor that, if Jepsen couched it in any way, they'd be implicitly misleading their readers.
yesterday at 9:55 PM
The principal values of things like the Jepsen reports is to the community of potential users/purchasers.
I agree with GP, that vendors should be somehow required or very strongly encouraged to participate in such audits. Not because they want to (as you say, most wouldn't like their dirty laundry aired thus), but because consumers deserve to know. U.S. government software groups don't like FISMA/RMF audits either, but they have to do them anyway.
yesterday at 9:22 PM
I am of a contrary opinion. At some level of developer insolence, such commentary is valuable - especially if it needs to mention the core basics and foundations that keep the software world running, such as running existing Postgres test suites for a supposedly Postgres-compatible database. In the increasingly sloppified world, even such basics are being eroded - this being a proof.
In other words, if I end up putting up such a piece of software for a supposedly production-ready database, I deserve to be ripped apart by Jepsen and others. Somebody has to assert software quality; if it's not asserted internally, it must be asserted externally.
In yet another words, software development is a trust-based business. If you break it, such as by outright lying to people, then you deal with the consequences.
yesterday at 5:59 PM
Fatality
yesterday at 5:45 PM
Is/was ParticleDB open source? There is a Github link on their website, however the only public repo in their org seems to be the Golang client library.
yesterday at 6:22 PM
https://github.com/orgs/particledb-ai/repositories
SDKs are MIT license CLI tools and Studio will be also be MIT License
Server is not open source for now but free for developers
yesterday at 6:38 PM
“No.”
Afraid to show the slop?
yesterday at 8:34 PM
No, they’re aware they don’t possess copyright on the source code because it has not one scintilla of human effort, so keeping it secret is the only legal way to protect it! :)
yesterday at 6:35 PM
yesterday at 9:10 PM
tigerbeetle much different result
https://jepsen.io/analyses/tigerbeetle-0.16.11
https://news.ycombinator.com/item?id=44199592
today at 1:11 AM
I've never heard of this system. Came out of nowhere and closed source it seems. Could not find much analysis on it at all which is not the best sign.
yesterday at 10:10 PM
today at 8:52 AM
No one’s ever using it after this. Sounds like an unnecessary pile of shite.
yesterday at 10:17 PM
Is there any concrete evidence they vibe coded it? It seems 100% self-evident, but have we actually ruled out human hubris and gross incompetence?
today at 6:26 AM
> have we actually ruled out human hubris and gross incompetence
it takes a lot of of human hubris and incompetence to think you can herd AI agents to squirt out a better version of a multi-decade project in weeks, without a single human in the loop. I can't imagine the levels of hubris in prompting "Make a faster Postgres in rust. Make no mistakes" and immediately uploading the result for Jepsen testing without bothering to manually kick the tires a bit to see if your DB is fit for purpose.
I see a direct line between this attitude and the Proton CEO deriding "loser thinking" in a subordinate that dares suggest the AI output have some oversight before going to prod; there exist people who are so AI-pilled they get lost in the sauce.
today at 1:35 AM
Vibe coded or not I think human hubris and incompetence played a big role here.
yesterday at 9:23 PM
It’s really great to see more of these @Aphyr, I really enjoy them and learn something from each. Thank you!
yesterday at 10:29 PM
Dude please set up an RSS feed I've been reading your jepsen posts since like 2014 and haven't realized how much i missed.
today at 2:07 AM
Damn aphyr if there were ever a time to write one of your old school meme filled reports it would have been this one lol
Well done. Nice D&G riffing in the endnotes too
today at 2:43 AM
glorious!
today at 7:18 AM
Now do ArcadeDB, please. I know it's full of bugs. They fucked up DFS vs BFS and it was in the codebase since they copy-pasted the code from OrientDB.
yesterday at 6:48 PM
I wonder what the internal testing pipeline looked like before this. A codebase with that many fundamental issues suggests either no integration tests were written or they were all mocked out to pass green. It seems strange that a team would market a system as formally proven without actually running the workload through even basic consistency checks themselves first.
yesterday at 6:54 PM
That part is the weird bit to me. If the existing harness breaks right away, that's the signal to stop and fix things, not to book an outside audit. Running the suite in CI on every build would have caught a lot of this.
yesterday at 8:56 PM
> Running the suite in CI on every build would have caught a lot of this
yeah, provided:
1. test cases are being designed to cover functionality
2. test cases are implemented correctly - i.e. they actually fail if the implementation is defective
3. the tests aren't all commented out
4. the test suite fails if a test fails
5. CI actually detects test suite failure
6. failing tests block changes from being merged (apart from initial triage to stabilise the suite)
Five years ago, outsourcing your software development (including QA) to the lowest bidder might have gotten you results like this -- if you didn't explicitly require automated tests as a deliverable, you wouldn't get any, or if you got some they'd be vacuous and not test anything.
yesterday at 10:40 PM
They forgot the “don’t make any mistakes” part of the prompt.
yesterday at 3:55 PM
-https://github.com/jepsen-io/particledb is currently 404 (probably still private?)-
EDIT: It's up now
yesterday at 4:06 PM
Sorry about that--yes, it's still private. Hoping to have that resolved shortly.
yesterday at 4:50 PM
Looks like it's up now. I'll put that link in the toptext as well. Thanks!
yesterday at 8:43 PM
[dead]
today at 2:10 AM
[flagged]
today at 6:12 AM
In that case Ant/OAI should give Aphyr a blank check and infinite access to tokens to build the Mother-of-all-Databases. Anthropic has a few days before IPO day, they better get to it!
yesterday at 8:38 PM
Congrats to the particledb team for getting this far and thanks to @aphyr for the analysis.
It takes gumption to build a new storage engine. I remember when etcd[0] first made it's way into @aphyr's cross-hairs. We took all of the input very seriously because we knew that a data store which is untrustworthy is useless.
Resolving these issues likely won't be easy, but if you can get to the point where you walk away from Jepsen unscathed the trust in your software will be greatly amplified.
0: https://aphyr.com/posts/316-call-me-maybe-etcd-and-consul
yesterday at 8:48 PM
Finding issues is normal. But the bold claims they had on their website is what makes this a bust.
yesterday at 11:20 PM
Right, when Rachael Gunn (Raygun) embarrassed Australia and the whole of breakdancing on the olympic stage, the nice thing to say would have been "congrats on getting this far, fixing the issues won't be easy, etc..." but what really should be said something like "I'm not sure how it got to this point, but everything about this is wrong, and you should probably focus on something else".
today at 8:30 AM
Reads like investor cope. And the OG etcd was a disaster that needed better engineers to completely rewrite. The surviving project is an entirely different lineage.