3 ms·

To all you amateur Hegel enthusiasts out there: there is no synthesis in Hegel. Otherwise: Congratulations on the QuickCheck-style testing in Rust. At work, I’

To all you amateur Hegel enthusiasts out there: there is no synthesis in Hegel. Otherwise: Congratulations on the QuickCheck-style testing in Rust. At work, I’m always surprised that property-based testing is so little known and so rarely used outside of functional programming.

DiscourseFan 7mo ago
“Synthesis” is the purposiveness in the force of the Concept.
dr_dshiv 7mo ago
yeah where did that come from? It's like attributing the cartesian coordinate plane to Descartes -- when actually it was a textbook author who came up with the modern one...
DRMacIver 7mo ago
> To all you amateur Hegel enthusiasts out there: there is no synthesis in Hegel. Looks like the mods deleted the last long thread about this, so best not to relitigate, but short version: Yes, we know. We liked the name and thought it was funny so we kept it. > Otherwise: Congratulations on the QuickCheck-style testing in Rust. At work, I’m always surprised that property-based testing is so little known and so rarely used outside of functional programming. Actually, it's Hypothesis-style testing in Rust. There was already QuickCheck style. Property-based testing is in fact far more widely used in Python than in functional programming (probably not as a percentage of users, but in terms of raw numbers), which I'm always surprised that the functional programming community seems mostly unaware of.
- ahf8Aithaex7Nai 7mo ago
  > We liked the name and thought it was funny so we kept it. It is funny, and I really like the reference. > ... , which I'm always surprised that the functional programming community seems mostly unaware of. Oh, I should have clicked on the Hypothesis link in the first paragraph. Thanks for pointing that out! Edit: And it makes me smile that there was a long thread about it.
user____name 7mo ago
The correct name would've been Fichte. https://en.wikipedia.org/wiki/Johann_Gottlieb_Fichte https://en.wikipedia.org/wiki/Johann_Gottlieb_Fichte

DiscourseFan 7mo ago

“Synthesis” is the purposiveness in the force of the Concept.

dr_dshiv 7mo ago

yeah where did that come from? It's like attributing the cartesian coordinate plane to Descartes -- when actually it was a textbook author who came up with the modern one...

DRMacIver 7mo ago

> To all you amateur Hegel enthusiasts out there: there is no synthesis in Hegel. Looks like the mods deleted the last long thread about this, so best not to relitigate, but short version: Yes, we know. We liked the name and thought it was funny so we kept it. > Otherwise: Congratulations on the QuickCheck-style testing in Rust. At work, I’m always surprised that property-based testing is so little known and so rarely used outside of functional programming. Actually, it's Hypothesis-style testing in Rust. There was already QuickCheck style. Property-based testing is in fact far more widely used in Python than in functional programming (probably not as a percentage of users, but in terms of raw numbers), which I'm always surprised that the functional programming community seems mostly unaware of.

ahf8Aithaex7Nai 7mo ago
> We liked the name and thought it was funny so we kept it. It is funny, and I really like the reference. > ... , which I'm always surprised that the functional programming community seems mostly unaware of. Oh, I should have clicked on the Hypothesis link in the first paragraph. Thanks for pointing that out! Edit: And it makes me smile that there was a long thread about it.

user____name 7mo ago

The correct name would've been Fichte. https://en.wikipedia.org/wiki/Johann_Gottlieb_Fichte https://en.wikipedia.org/wiki/Johann_Gottlieb_Fichte