I've never used D, but it appears to be valid syntax. https://dlang.org/spec/function.html#postconditions

I'm not asking about the syntax, I'm asking about the logic where a value can be equal to itself plus another value when the pre-condition is that it must be > 0.

The syntax is correct but I made a logical error since balance is being compared to itself (as opposed to the new balance at the end).

I live in DC, on the other side of the country and I've heard about him, so I think you are underestimating his renown.

The same understanding still exists, from https://old.reddit.com/r/explainlikeimfive/wiki/detailed_rul...:

> The purpose of this subreddit is to simplify complex concepts in a way that is accessible for laypeople.

> The first thing to note about this is that this forum is not literally meant for 5-year-olds. Do not post questions that an actual 5-year-old would ask, and do not respond as though you're talking to a child.

This doesn't need to be posted on every post. Everyone that cares is well aware. It's like saying "this was written in english" on every post.

Why should I bother reading something that the “author” couldn’t even be bothered to write themselves?

Similarly, why should I be bothered reading this kind of comment in each and every discussion thread?

What does it contribute? I can read and discern this for myself, I can then stop reading or decide I don’t care.

Seriously, at some point all you “ai writing sleuths” should just get your own discussion thread together. It’s been months of this , we get it already.

(Not directly just at you, but anyone who feels the need to drop these comments in every thread)

> why should I be bothered reading this kind of comment in each and every discussion thread?

To help other people who don't care about it so they can skip it. A subject tag would be nicer.

> It’s been months of this , we get it already.

And I am tired of the constant barrage of AI proselytizing.

I'm not saying you should, I'm saying you shouldn't clutter up every thread with this type of useless comment. It just detracts from the people that do want to engage with it.

he's sharing an idea, not "text". text is just a medium.

Looks fine to me in Chrome on Mac.

It may very well be the case that it makes trade-offs that turn of lots of programmers but I don't think it's popularity directly implies it by definition, rather just that it implies there's something about it that prevents lots of programmers from taking it up en masse, and I think that's perhaps just the fact that it is so different from what everyone's used to and it takes some time to adapt to it enough to be able to appreciate the tradeoffs.

> But again, I suppose all the Lisp forms return values, and quibbling about the declarative : imperative :: expressions : statements mapping is just petty semantics

I would argue that it's very much not just semantics, or at the very least it's certainly not petty. The distinction has a noticeable effect on what the experience of writing code and on the reliability and related properties of the written code.

DuckDB is in-process though?

Odd. I've never heard it pronounced in any other way than "Sequel-lite".