20 seconds, Germany. Waiting while they checked if my name was on the list.

Completely depends on how often you need to write boilerplate code, and how error-prone it is.

After writing hundreds of instances of ‘fetch this from the server and show an error if it doesn’t work’, I finally wrote a helper for that. It took 2 hours, shouts at me if I use it wrong, and instantly makes my classes easier to read because all the boilerplate is gone. As an added bonus, the invocation is so small that Copilot can write it error-free, which it couldn’t before.

So fetching things is now a thing of a few seconds instead of one minute with a chance of making a mistake. I say it’s worth it.

C) Write a highly specific, custom-tailored boilerplate generator that does 80% of the work and needs only a day or two to implement.

If anyone were ever to work behind him on something they’re very familiar with, they’d have to tear it all down and rebuild it because he just invents his own way as he goes

That’s not the virtue you think it is.

https://lemm.ee/comment/13112418

Maybe start rendering pages right?

Then don’t get involved in this discussion.

Proof by contrapositive would be c<0 ∨ c≥1 ⇒ … ⇒ xc≥x. That is not just starting from the conclusion and deriving the premise.

My math teacher would be angry because you started from the conclusion and derived the premise, rather than the other way around. Note also that you assumed that division is defined. That may not have been the case in the original problem.

The practical application isn’t the proof that 1+1=2. That’s just a side-effect. The application was building a framework for proving mathematical statements. At the time the principia were written, Maths wasn’t nearly as grounded in demonstrable facts and reason as it is today. Even though the principia failed (for reasons to be developed some 30 years later), the idea that every proposition should be proven from as few and as simple axioms as possible prevailed.

Now if you’re asking: Why should we prove math? Then the answer is: All of physics.

The low eyebrow looks strikingly neanderthal.

Vanilla Music – the music player I use.

Psst. We don’t do logic here.

Not a shitpost.

Is that Tom Scott from the future?

Interesting.

the extra comic panel was introduced as an incentive to do so - you would see it after voting

We’re talking about the “random” comic link.

Maybe in the olden days people liked their custards more fluid?

Not
in
markdown

(Pressed Shift+Return after every word.)

Not in markdown.

But it works in other word processors (like Word, libreoffice) that distinguish between line breaks and paragraph breaks.

Example: Type

Once upon a midnight dreary  
While I was pondering, weak and weary  
Over many a quiant and curious volume of forgotten lore  

To get:

Once upon a midnight dreary
While I was pondering, weak and weary
Over many a quiant and curious volume of forgotten lore

(You can highlight the source code to find the extra spaces at the end of each line). Note that this is different from paragraphs, which add spacing between them:

Once upon a midnight dreary

While I was pondering, weak and weary

Over many a quiant and curious volume of forgotten lore

Once upon a midnight dreary

While I was pondering, weak and weary

Over many a quiant and curious volume of forgotten lore