mb7733

> Copy this into your coding agent:

> Install REA and connect it to this coding agent using npx rea-agents@latest setup. Show me the setup plan for approval, then verify the installation.

We have achieved the next evolution of installation by `curl | bash`!

> they are so much better in a plethora of skills that did not exist 20 years ago

Such as?

> But in future most proofs will be for consumption by other AI models in the pursuit of yet other proofs.

What is the purpose of that?

Its like art being produced for AI to consume. What is gained from that?

To me, a stranger gaining access to my webcam to secretly watch me isn't just an "attack vector"...

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 responding to. The OP was under the impression that you would be "extracting a lot more energy" from the gas in a plant vs the home.

Yes, converting gas to electricity allows you to use a heat pump, which in many cases uses much _less_ energy than a furnace to heat a home. (As long as it's not too cold.)

But that's just not what I was talking about. I was talking about the claim of extracting _more_ energy from the gas. Good day!

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 burning it in a plant, converting it to electricity, transferring that electricity, then turning that electricity into heat.

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 the problem than simply finding a counterexample."

I find it hard to believe that a constructivist would agree that across the board, proof of existence of X is more interesting than a construction of X. Isn't that the point!?

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 counterexample.

The part that I was referring to was the last statement from the OP: that "a proof of existence of a counterexample necessarily provides more insight than a counterexample". I can't imagine a constructivist would agree with that in general.

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 better way is there to disprove a general statement like 'all x are y' than finding an 'x' that isn't 'y'?

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' -> '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 the steps. So if you think of there being 2n "slots", you have to pick n to be "over", and the rest are forced to be "down". So it's n choose 2n indeed.

You can also think of it another way, without using the formula combinations, and only the fact that there are n! permutations of n objects. We can think of this a permutation of 2n items, made up of two groups of n identical items each. Using (2n!) will overcount, due to the fact that each of the "over" steps are identical, and similarly for the "down" group. We have cut down our answer by dividing out all of the repeated sequences. There will be n! redundancies for all the ways we can permute the "over" group and, the same for the "down" group. So this results in (2n!) / (n! * n!), which is exactly equal to 2n choose n. See [1] which explains permutations with repetion this in general. [Note: We pretty much re-derived the formula for combinations!]

[1] https://brilliant.org/wiki/permutations-with-repetition/

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 due to lack of training and the customer too embarrassed to complaining) tend not to fill it the brim (and so not even 16''). I've seen 2-3 inch heads and asked them to top it up. They look at me as if I've just insulted George Washington

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. This 2011 article sums it up: https://scholars.wlu.ca/cmh/vol20/iss4/4/ but it's been doubted for decades.

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 that issue

> * Use a single branch per issue, whose name also starts with the issue id

>* Use a single PR to merge that branch and close the issue

To me the noise at the start of every message is unnecessary, and given a lot of interfaces only display 80 chars of the message by default, it's not negligible.

> 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 reject code based on quality?

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.

> What we tend to forget is that even with the catastrophic effects of climate change, the Earth is still vastly more inhabitable than other planets in the solar system.

Speak for yourself. I have never forgotten that Earth is more inhabitable than Mars or Jupiter

Really fun. The undo/redo functionality is much appreciated.