[judofyr]

> Karmem has proven to be ten times faster than Google Flatbuffers

I’d recommend not using the word “proven” here. In computer science this word typically refers to a mathematical proof. In this case it seems that you ran a regular benchmark for some schemas.

I’d also like to see more what the benchmark actually does. A typical trade-off of these formats is how much you do up-front vs on-demand. E.g. accessing fields after multiple variable-length field: Here it’s possible during “decoding” to make sure all fields can be accessed in O(1), or you can do nothing and then every time you access a field you compute the field location. Whether the benchmark accesses the field once or ten times will make a huge difference.

In general: If you’re just telling me that it’s 10 times faster without explaining why I will be skeptical.

[jsty]

I'm on the side of the original wording here as far as correctness is concerned - "has proven to be" is a common expression for "in our experience, it is", whereas "has been proven to be" would give the connotations of formal proof.

This is just one of those quirks of human language. Yes it's occasionally annoying similar things have very disparate meanings, but English in particular is never going to shake them off.

[smolder]

Beyond what you already said, "faster" can be contextual in the sense that a more terse encoding results in faster transfer over networks or busses, though it's often at a cost in encode/decode speed.

[heipei]

Not a native speaker, but I thought that's what the difference between "proven" and "proofed" is. The latter is the type of mathematical proof you are referring to, the former the colloquial attribute of having been used successfully for that purpose.

[IIAOPSW]

A reasonable guess but ultimately wrong. "Proofed" is not a word, "proven" is the correct adverb form (as in, "In this paper it shall be proven that..."), "proved"/"proving"/"proves" is the correct verb (depending on tense), all these forms of "proof" can be used in a colloquial sense like you tried, but never in a technical setting where an actual mathematical proof might actually be presented. "Shows"/"demonstrates"/"suggests"/"evidences" all better fit your intended use case. The rules in English are arbitrary and the patterns are inconsistent and misleading (and therefore anyone who obsessively enforces said rules is a petty pedant doing it solely for the enjoyment of acting smarter than others).

[coldtea]

>"Proofed" is not a word

Well, it is. It means several things (but not what the parent guessed).

Among those:

- something having been proofread

- a yeast having been activated

- made something waterproof

[masklinn]

> A reasonable guess but ultimately wrong. "Proofed" is not a word

And if it were I’d certainly assume it was a reviewing / publishing concept related to proof copies and proofreading (as in, a proofed copy would have gone through proofreading and no error would’ve been found).

Not related to the logical concept.

[dagw]

"Proofed" is not a word

Well it is, but it has to with a baking technique rather than anything mathematical.

[coldtea]

It's also commonly usef for "having proofread", and "made waterproof".

[samatman]

No one has successfully connected proof (v) and prove (v) here, though the examples of the former are exhaustive in modern speech.

The difference is the two kinds of proving, one of which is vanishing from the language: the sense of testing something, practically, rather than by reason or evidence. A proof copy is when a type plate is prooved, the rising of dough prooves the culture's activity.

So these irregular noun-to-verb forms exist because proof has largely lost the second meaning.

[grncdr]

I’ve never seen “proofed” used as anything but a hyphenated suffix meaning “protected against”. E.g. sound-proofed.

It’s pretty normal to use “proved” in place of “observed” or “measured” in day-to-day speech though. Usually a few repeatable measurements are enough proof (evidence) for most people to consider something “proven”.

Edit: I forgot the proofread meaning pointed out by the sibling comment.

[tikhonj]

People don't generally use "proofed" like that—I would always use "proven" to talk about something that had a mathematical proof, and "proofed" only comes up in specialized areas like publishing (where it's used as the past tense of making a proof of something to be printed or as short for "proofread").

[gricardo99]

proofed is also used at times in a baking context, such as proofing dough (i.e. sufficiently risen due to maturity of the yeast culture)

Otherwise I agree, as a native english speaker I’m not familiar with it being used in engineering/mathematics contexts.

[bloak]

I use "proved" for mathematics. For me (middle-aged British) "proven" sounds a bit pompous and rhetorical, not the sort of language an honest down-to-earth mathematician would use.