Viewing profile — mb7733

I completely understand your point. I know what a heat pump is and how it works. They are great. I am not anti heat pump. I am pro heat pump. It's just not the point I was actually…

It does not follow that "We can extract a lot more energy from fossil fuels in large scale plants"

Completely separate conversation. I was responding to the statement "We can extract a lot more energy from fossil fuels in large scale plants".

Not what I replied to

> We can extract a lot more energy from fossil fuels in large scale plants This isn't true at all for natural gas. Burning it for heat in the home is much more efficient than burni…

Which serious mathematicians? There is a quotation about peer review. I'm assuming that's also made up.

... What are you getting at, I'm genuinely curious? What's wrong with the phrase "top talent"!?

Maybe I was unclear. The part that I meant a constructivist would disagree was the subjective part: "This kind of proof (existence of a counterexample) provides more insight into t…

To roughly repeat myself from a sibling comment: I may have been unclear. I didn't claim that the only way to disprove something in a constructive system is to produce a counterexa…

Constructivists would surely disagree!

Those are all good questions, but I don't really understand what alternative you or the OP are looking for actually resolving an untrue conjecture, besides a counter example.

Are you thinking of proof by contradiction, which is rejected by constructionism? [Dis]proof by counterexample is the most straightforward way to show a statement to be false. What…

It's even worse than implicit casting, if the value can't be cast to the the column's type, it's just inserted without casting. Eg. into an integer column, '10' -> 10 and '1O' -> '…

An intuitive motivation for the solution in the article (2n choose n). For an n*n grid you have to you will take 2n steps, n "over" and n "down". All that matters is the order of t…

All news links are blocked on FB in Canada, including American sources

It wasn't published in 2025. It was published in 2009 and the rights reverted to the author in 2025, who released it for free.

The question is where are all the new apps or features that are _written_ using LLMs, since everyone is 100x more productive now.

Preferences vary on both sides of the Atlantic. Another comment on this post complains that Americans pour beer wrong because they _do_ pour with a head. > Also in the US (probably…

I was skeptical about the claim that 80% of soldiers refuse to fire their weapons, so I did a little reading and it seems like the original source has been pretty much debunked. Th…

Corruption is crime but not all crime is corruption. Stealing copper isn't corruption.

Overall I agree with the approach, but just wondering, why do the first point if you are already doing the last two? > * Use the issue id at the start of every commit message for t…

> programmers who don't care about code quality and thus brutally reject code that is not of exceptional quality. Is there a typo here? If they don't care about code why would they…

How do you know when the articles were written?

You don't need to worry about traffic or parking when you take a leisurely stroll to the store.