[Note: Followup-To: set to news.groups.proposals]
I'd like to open informal discussion around possibly creating a
new newsgroup, comp.lang.rust, for discussion of the Rust
programming language (https://rust-lang.org/). Rust is a
compiled, type- and memory- safe language that has been in open
development since 2010, and is rapidly gaining adoption in
industry and research. It often comes up in discussions related
to C and C++, but no existing group is dedicated to it.
Thoughts?
[email protected] (Dan Cross) writes:
[Note: Followup-To: set to news.groups.proposals]
I'd like to open informal discussion around possibly creating a
new newsgroup, comp.lang.rust, for discussion of the Rust
programming language (https://rust-lang.org/). Rust is a
compiled, type- and memory- safe language that has been in open
development since 2010, and is rapidly gaining adoption in
industry and research. It often comes up in discussions related
to C and C++, but no existing group is dedicated to it.
Thoughts?
I am in favor of creating comp.lang.rust, and hereby
officially give Dan Cross my proxy in any voting.
If comp.lang.rust is created, I expect I will at least
try reading it for a while. I have had a longstanding
interest in learning rust, and have been frustated by
how horrible the existing explanatory materials are.
On 10/03/2025 14:14, Tim Rentsch wrote:
[email protected] (Dan Cross) writes:
[Note: Followup-To: set to news.groups.proposals]
I'd like to open informal discussion around possibly creating a
new newsgroup, comp.lang.rust, for discussion of the Rust
programming language (https://rust-lang.org/). Rust is a
compiled, type- and memory- safe language that has been in open
development since 2010, and is rapidly gaining adoption in
industry and research. It often comes up in discussions related
to C and C++, but no existing group is dedicated to it.
Thoughts?
I am in favor of creating comp.lang.rust, and hereby
officially give Dan Cross my proxy in any voting.
If comp.lang.rust is created, I expect I will at least
try reading it for a while. I have had a longstanding
interest in learning rust, and have been frustated by
how horrible the existing explanatory materials are.
There is an alt.comp.lang.rust - but it has very little traffic - comp.lang.rust would be better.
50 years of empirical evidence has shown that, sadly, this is
just not true. Even our best and brightest C programmers still
regularly make mistakes that simply impossible to represent in
Rust, along with other languages.
On 3/10/25 12:42 PM, Richard Harnden wrote:
On 10/03/2025 14:14, Tim Rentsch wrote:
[email protected] (Dan Cross) writes:
[Note: Followup-To: set to news.groups.proposals]
I'd like to open informal discussion around possibly creating a
new newsgroup, comp.lang.rust, for discussion of the Rust
programming language (https://rust-lang.org/). Rust is a
compiled, type- and memory- safe language that has been in open
development since 2010, and is rapidly gaining adoption in
industry and research. It often comes up in discussions related
to C and C++, but no existing group is dedicated to it.
Thoughts?
I am in favor of creating comp.lang.rust, and hereby
officially give Dan Cross my proxy in any voting.
If comp.lang.rust is created, I expect I will at least
try reading it for a while. I have had a longstanding
interest in learning rust, and have been frustated by
how horrible the existing explanatory materials are.
There is an alt.comp.lang.rust - but it has very little traffic -
comp.lang.rust would be better.
There is nothing WRONG with Rust. You can build
big/complex programs using it.
However it STILL stinks of Yet Another 'C' Replacement.
Same capability, but with much more annoying syntax.
CLUE guys - make it EASIER, not WEIRDER.
Rust DOES enforce some 'safety' stuff - but if you're
a half-assed 'C' programmer you already DO all that.
On 28/07/2025 13:37, Dan Cross wrote:
50 years of empirical evidence has shown that, sadly, this is
just not true. Even our best and brightest C programmers still
regularly make mistakes that simply impossible to represent in
Rust, along with other languages.
Conversely, that are things that cannot be represented in (e.g.)
Rust,
plus the bugs are still potentially there, just now in the
Rust compiler and runtime itself...
IOW, the idea that programmers in general need to be baby-seated
instead of given control I find not just self-defeating but really >fallacious.
In article <1067o6p$24rjd$[email protected]>,<snip>
Julio Di Egidio <[email protected]> wrote:
On 28/07/2025 13:37, Dan Cross wrote:
IOW, the idea that programmers in general need to be baby-seated
I wouldn't phrase it as "babysitting". Rather, it's
professionals making conscious choices about their tools to most
effectively do their jobs.
instead of given control I find not just self-defeating but really
fallacious.
In what way do you feel you have less control (and over what?)
in Rust than in, say, C?
On 28/07/2025 17:16, Dan Cross wrote:
In article <1067o6p$24rjd$[email protected]>,<snip>
Julio Di Egidio <[email protected]> wrote:
On 28/07/2025 13:37, Dan Cross wrote:
IOW, the idea that programmers in general need to be baby-seated
I wouldn't phrase it as "babysitting". Rather, it's
professionals making conscious choices about their tools to most
effectively do their jobs.
instead of given control I find not just self-defeating but really
fallacious.
In what way do you feel you have less control (and over what?)
in Rust than in, say, C?
To be clear, I have nothing against the institution of a
comp.lang.rust (on the contrary, I'd be tempted to say), nor
against the Rust language itself:
I am rather commenting on
some questions of principle, and maybe some marketing slogans,
especially on the themes of "safety" on a side and "assisted"
programming on the other.
Indeed, I am not against a stratification of languages from lower
to higher level either, actually that's quite needed, I am just
of the idea that programmers should not be "protected" by anybody
but more competent programmers: but of course with that goes a
quite different idea of what *software development* means, and
to me it does not primarily mean we buy "solutions" at the shop,
the very opposite of that.
Instead we get an inversion of the chain of control and of
responsibility that is rather one of the key ingredients, the
other being the denial of the very state of the art, of the
disaster that the whole industry has been made into across
the last ~30 years...
...and the self-fulfilling prophecies, since average is the data,
averaging are and have been the policies, average are the results,
and the circle is closed: with the triumph of the levelling down
to ineptitude and consumeristic dependence.
Here is rather an analogy: go tell a race car driver that it is
"unsafe" for them to touch their breaks in a turn, and that you
actually have a "solution" in mind that will automatically disable
the breaks in a turn (and punish the driver for it)... or something
along that line.
Here is not an analogy: only a competent programmer knows the
discipline, the principles, the practices, and in fact how to
organise not only a production unit that delivers excellent
products, but also that continually grows in the level of
competence and professionalism, with clear paths for learning
and action since the beginner stages.
Because software engineering is the most complex engineering
that there is: it takes some 10 years to those who are really
committed to start understanding what it is actually about,
and some another 10 years of at least as much commitment to
become real pros.
On 29/07/2025 00:18, Dan Cross wrote:
I'm not terribly interested in marketing slogans, to be honest.
"Safety" in this case has a very well-defined meaning, which may
not be the same as yours.
Maybe you don't realise it, but you are *only* repeating
the fake history and the fraudulent marketing slogans.
I'm not terribly interested in marketing slogans, to be honest.
"Safety" in this case has a very well-defined meaning, which may
not be the same as yours.
Does this mean that the language is perfect, and will prevent
all bugs? No, of course not; it's not magic. But this line of
reasoning that says, "well, you can still have bugs, so what's
the point?" inevitably ignores the relative rate of those bugs
between languages, which does matter. It's the same argument
that says, "you can still die in a car crash, so we don't need
seatbelts or airbags." Yet all available data shows that those
things_do_ in fact save lives.
On 28/07/2025 16:16, Dan Cross wrote:
Does this mean that the language is perfect, and will prevent
all bugs? No, of course not; it's not magic. But this line of
reasoning that says, "well, you can still have bugs, so what's
the point?" inevitably ignores the relative rate of those bugs
between languages, which does matter. It's the same argument
that says, "you can still die in a car crash, so we don't need
seatbelts or airbags." Yet all available data shows that those
things _do_ in fact save lives.
Whilst you are unlikely ever to catch me within a light year of
Rust, I do agree with your substantive point - that amagicality
is not a good reason to reject a programming technology.
I must, however, take issue with your word 'all' in your last
sentence. To invalidate it only takes one death caused by a
seatbelt that prevents a wearer from escaping a fatal crash (eg
burning or drowning).
In article <106a04v$2hiar$[email protected]>,
Julio Di Egidio <[email protected]> wrote:
On 29/07/2025 00:18, Dan Cross wrote:
I'm not terribly interested in marketing slogans, to be honest.
"Safety" in this case has a very well-defined meaning, which may
not be the same as yours.
Maybe you don't realise it, but you are *only* repeating
the fake history and the fraudulent marketing slogans.
Unsupported assertions coupled with a lack of engagement with
the material points under discussion are not persuasive. If you
disagree with any of my statements, you can engage with the
arguments in good faith and provide data.
Or, if you prefer, how about a comparative study of a decently
large program, one version written in C, and the other in Rust?
Compare: https://github.com/dancrossnyc/rxv64 and https://github.com/mit-pdos/xv6-public
Otherwise, I suggest that you buckle up when you get behind the
wheel.
But one thing that bothers me is that Rust advocates almost invariably compare modern Rust, programmed by top-rank programmers interested in
writing top-quality code, with ancient C written by people who may have
very different abilities and motivations.
On 29/07/2025 17:37, David Brown wrote:
But one thing that bothers me is that Rust advocates almost invariably
compare modern Rust, programmed by top-rank programmers interested in
writing top-quality code, with ancient C written by people who may
have very different abilities and motivations.
Which is another piece of the same propaganda and self-fulfilling
prophecies: rather, once upon a time we knew way *better*, and
still do, as we have also never stopped learning and improving.
Not trying to detracting from anybody's work in particular, but
the mainstream myths, the rationale and the methods even before
any techniques, are upside-down to put it charitably.
Indeed, not to even mention any respect for competence and
experience, with all that that implies in terms of growing
and learning, now especially good luck with that "safety"...
Anyway, enough of that. (EOD.)
In article <1069ltn$2ffpl$[email protected]>,
Richard Heathfield <[email protected]> wrote:
On 28/07/2025 16:16, Dan Cross wrote:
Does this mean that the language is perfect, and will prevent
all bugs? No, of course not; it's not magic. But this line of
reasoning that says, "well, you can still have bugs, so what's
the point?" inevitably ignores the relative rate of those bugs
between languages, which does matter. It's the same argument
that says, "you can still die in a car crash, so we don't need
seatbelts or airbags." Yet all available data shows that those
things _do_ in fact save lives.
Whilst you are unlikely ever to catch me within a light year of
Rust, I do agree with your substantive point - that amagicality
is not a good reason to reject a programming technology.
Agreed.
I must, however, take issue with your word 'all' in your last
sentence. To invalidate it only takes one death caused by a
seatbelt that prevents a wearer from escaping a fatal crash (eg
burning or drowning).
I can see why you might interpret it that way, but I'm not sure
your conclusion actually follows from my statement. "All data
shows that those things _do_ in fact save lives" doesn't imply
that no lives are lost, even when restraint harnesses, flash
suits, and so on are used.
On 29/07/2025 13:27, Dan Cross wrote:
In article <1069ltn$2ffpl$[email protected]>,
Richard Heathfield <[email protected]> wrote:
On 28/07/2025 16:16, Dan Cross wrote:
Does this mean that the language is perfect, and will prevent
all bugs? No, of course not; it's not magic. But this line of
reasoning that says, "well, you can still have bugs, so what's
the point?" inevitably ignores the relative rate of those bugs
between languages, which does matter. It's the same argument
that says, "you can still die in a car crash, so we don't need
seatbelts or airbags." Yet all available data shows that those
things _do_ in fact save lives.
Whilst you are unlikely ever to catch me within a light year of
Rust, I do agree with your substantive point - that amagicality
is not a good reason to reject a programming technology.
Agreed.
I must, however, take issue with your word 'all' in your last
sentence. To invalidate it only takes one death caused by a
seatbelt that prevents a wearer from escaping a fatal crash (eg
burning or drowning).
I can see why you might interpret it that way, but I'm not sure
your conclusion actually follows from my statement. "All data
shows that those things _do_ in fact save lives" doesn't imply
that no lives are lost, even when restraint harnesses, flash
suits, and so on are used.
Well, yes it does. "All data shows X" most definitely implies
that "no data shows not-X".
But I've made my point, so on that note I will underline my
acknowledgement that I'm being ++picky.
In article <106cf06$32d5u$[email protected]>,
Richard Heathfield <[email protected]> wrote:
But I've made my point, so on that note I will underline my
acknowledgement that I'm being ++picky.
I fear I am, as well.
In article <106a04v$2hiar$[email protected]>,
Julio Di Egidio <[email protected]> wrote:
On 29/07/2025 00:18, Dan Cross wrote:
I'm not terribly interested in marketing slogans, to be honest.
"Safety" in this case has a very well-defined meaning, which may
not be the same as yours.
Maybe you don't realise it, but you are *only* repeating
the fake history and the fraudulent marketing slogans.
Unsupported assertions coupled with a lack of engagement
and provide data.
On 29/07/2025 14:16, Dan Cross wrote:
In article <106a04v$2hiar$[email protected]>,
Julio Di Egidio <[email protected]> wrote:
On 29/07/2025 00:18, Dan Cross wrote:
I'm not terribly interested in marketing slogans, to be honest.
"Safety" in this case has a very well-defined meaning, which may
not be the same as yours.
Maybe you don't realise it, but you are *only* repeating
the fake history and the fraudulent marketing slogans.
Unsupported assertions coupled with a lack of engagement
Or maybe you just can't read.
and provide data.
Sure, biased data for worse than wrong models that only
confirm themselves...
Meanwhile real production is in the
hands of the marketing and project management guys, while
at writing code you want the computer scientists, in that
proving that you not haven't got the faintest idea what
software even means, but also you haven't got a clue
where your own discipline starts and where it ends!
Indeed, I was a top notch consultant in my area and giving
university lessons on technology and technologies up to the
'90, i.e. before SE or CS even existed as faculties. Then
the fucking locusts descended on us, and the fucking frauds
all just to happy to jump on yet another bandwagon...
Sure, do open a comp.lang.rust, you have no fucking
clue what "picky" even means.
On 30/07/2025 12:30, Dan Cross wrote:
In article <106cf06$32d5u$[email protected]>,
Richard Heathfield <[email protected]> wrote:
<snip>
But I've made my point, so on that note I will underline my
acknowledgement that I'm being ++picky.
I fear I am, as well.
And thus it is that two complete strangers have a blazing row in
public, not a single punch is thrown or expletive uttered, and
they end with a smile and a handshake.
Gotta love Usenet.
In article <106dji3$3aqcv$[email protected]>,
Julio Di Egidio <[email protected]> wrote:
On 29/07/2025 14:16, Dan Cross wrote:
In article <106a04v$2hiar$[email protected]>,
Julio Di Egidio <[email protected]> wrote:
On 29/07/2025 00:18, Dan Cross wrote:
I'm not terribly interested in marketing slogans, to be honest.
"Safety" in this case has a very well-defined meaning, which may
not be the same as yours.
Maybe you don't realise it, but you are *only* repeating
the fake history and the fraudulent marketing slogans.
Unsupported assertions coupled with a lack of engagement
Or maybe you just can't read.
Wow. You seem nice.
and provide data.
Sure, biased data for worse than wrong models that only
confirm themselves...
Actually, I was suggesting that _you_ provide some data.
On 30/07/2025 20:00, Dan Cross wrote:
In article <106dji3$3aqcv$[email protected]>,
Julio Di Egidio <[email protected]> wrote:
On 29/07/2025 14:16, Dan Cross wrote:
In article <106a04v$2hiar$[email protected]>,
Julio Di Egidio <[email protected]> wrote:
On 29/07/2025 00:18, Dan Cross wrote:
I'm not terribly interested in marketing slogans, to be honest.
"Safety" in this case has a very well-defined meaning, which may
not be the same as yours.
Maybe you don't realise it, but you are *only* repeating
the fake history and the fraudulent marketing slogans.
Unsupported assertions coupled with a lack of engagement
Or maybe you just can't read.
Wow. You seem nice.
"Nice"?? Have you looked outside your window lately?
and provide data.
Sure, biased data for worse than wrong models that only
confirm themselves...
Actually, I was suggesting that _you_ provide some data.
As I did say since earlier, that very *paradigm* is a global
fraud! It's not my fault if you at best keep missing the point.
Indeed, do you think *you* are "nice"? For your records, I have
offended nobody, except maybe the incivilization and inculture
that we/you collectively are.
Sure, keep going...
On 30/07/2025 20:40, Dan Cross wrote:
You accused me of being unable to read. That's rude,
No, that was a *retort*, but you are either too stupid or
too dishonest to just shut the fuck up, let alone apologise.
*Plonk*
You accused me of being unable to read. That's rude,
In article <106cf06$32d5u$[email protected]>,
Richard Heathfield <[email protected]> wrote:
On 29/07/2025 13:27, Dan Cross wrote:
In article <1069ltn$2ffpl$[email protected]>,
Richard Heathfield <[email protected]> wrote:
On 28/07/2025 16:16, Dan Cross wrote:
Does this mean that the language is perfect, and will prevent
all bugs? No, of course not; it's not magic. But this line of
reasoning that says, "well, you can still have bugs, so what's
the point?" inevitably ignores the relative rate of those bugs
between languages, which does matter. It's the same argument
that says, "you can still die in a car crash, so we don't need
seatbelts or airbags." Yet all available data shows that those
things _do_ in fact save lives.
Whilst you are unlikely ever to catch me within a light year of
Rust, I do agree with your substantive point - that amagicality
is not a good reason to reject a programming technology.
Agreed.
I must, however, take issue with your word 'all' in your last
sentence. To invalidate it only takes one death caused by a
seatbelt that prevents a wearer from escaping a fatal crash (eg
burning or drowning).
I can see why you might interpret it that way, but I'm not sure
your conclusion actually follows from my statement. "All data
shows that those things _do_ in fact save lives" doesn't imply
that no lives are lost, even when restraint harnesses, flash
suits, and so on are used.
Well, yes it does. "All data shows X" most definitely implies
that "no data shows not-X".
That is true, but irrelevant: the issue here is the definition
of "X". "[T]hose things _do_ in fact save lives" is not the
same as "all lives are saved, and none are lost due to the
equipment." I never said the latter, and it is not implied by
the former statement. Conflating them is a logical error, but I
did acknowledge that the statement can reasonably be seen as
sufficiently imprecise that it should be revised, and did so.
On 29/07/2025 14:16, Dan Cross wrote:
In article <106a04v$2hiar$[email protected]>,
Julio Di Egidio <[email protected]> wrote:
On 29/07/2025 00:18, Dan Cross wrote:
I'm not terribly interested in marketing slogans, to be honest.
"Safety" in this case has a very well-defined meaning, which may
not be the same as yours.
Maybe you don't realise it, but you are *only* repeating
the fake history and the fraudulent marketing slogans.
Unsupported assertions coupled with a lack of engagement
Or maybe you just can't read.
and provide data.
Sure, biased data for worse than wrong models that only
confirm themselves... Meanwhile real production is in the
hands of the marketing and project management guys, while
at writing code you want the computer scientists, in that
proving that you not [only] haven't got the faintest idea
what software even means, but also you haven't got a clue
where your own discipline starts and where it ends!
On 30/07/2025 13:30, Dan Cross wrote:
In article <106cf06$32d5u$[email protected]>,Without taking any sides here, it is easy to make the mistake of
Richard Heathfield <[email protected]> wrote:
[snip]
thinking that logical rules can apply to sets of propositions in the
same way as they apply to propositions. This leads to the famous Cheese >Sandwich Theorem:
1. Nothing is better than complete happiness.
2. A cheese sandwich is better than nothing.
3. Therefore, a cheese sandwich is better than complete happiness.
Time for lunch :-)
On 30/07/2025 19:08, Julio Di Egidio wrote:
On 29/07/2025 14:16, Dan Cross wrote:
In article <106a04v$2hiar$[email protected]>,
Julio Di Egidio <[email protected]> wrote:
On 29/07/2025 00:18, Dan Cross wrote:
I'm not terribly interested in marketing slogans, to be honest.
"Safety" in this case has a very well-defined meaning, which may
not be the same as yours.
Maybe you don't realise it, but you are *only* repeating
the fake history and the fraudulent marketing slogans.
Unsupported assertions coupled with a lack of engagement
Or maybe you just can't read.
and provide data.
Sure, biased data for worse than wrong models that only
confirm themselves... Meanwhile real production is in the
hands of the marketing and project management guys, while
at writing code you want the computer scientists, in that
proving that you not [only] haven't got the faintest idea
what software even means, but also you haven't got a clue
where your own discipline starts and where it ends!
On the "software crisis":
<< [...] just there is an essential distinction to make, between
proper and improper software production, with the vast majority of
the software endeavours nowadays belonging to the latter category.
Then, and just to begin with, the very shape of the industry-specific performance surveys would change... In fact, I would claim that proper software developers (and, scaling up, proper software production units)
do, already today, consistently provide near to optimal results, all environmental circumstances considered! >> <https://architectando.blogspot.com/2012/11/on-software-crisis.html>
| Sysop: | Keyop |
|---|---|
| Location: | Huddersfield, West Yorkshire, UK |
| Users: | 716 |
| Nodes: | 16 (2 / 14) |
| Uptime: | 51:58:45 |
| Calls: | 12,115 |
| Calls today: | 6 |
| Files: | 15,010 |
| Messages: | 6,518,580 |
| Posted today: | 1 |