> 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…
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…
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…
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…
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…
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…
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…
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:…
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…
> 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?
> 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…
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…
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…
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…
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…
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…
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…
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:…
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…
> 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?