mb7733

5 ms·

1.
by mb7733 5d ago
> 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?
2.
by mb7733 29d ago
To me, a stranger gaining access to my webcam to secretly watch me isn't just an "attack vector"...
3.
by mb7733 2mo ago
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 yo
4.
by mb7733 2mo ago
It does not follow that "We can extract a lot more energy from fossil fuels in large scale plants"
5.
by mb7733 2mo ago
Completely separate conversation. I was responding to the statement "We can extract a lot more energy from fossil fuels in large scale plants".
6.
by mb7733 2mo ago
Not what I replied to
7.
by mb7733 2mo ago
> 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, tran
8.
by mb7733 2mo ago
Which serious mathematicians? There is a quotation about peer review. I'm assuming that's also made up.
9.
by mb7733 2mo ago
... What are you getting at, I'm genuinely curious? What's wrong with the phrase "top talent"!?
10.
by mb7733 2mo ago
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."
11.
by mb7733 2mo ago
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 sta
12.
by mb7733 2mo ago
Constructivists would surely disagree!
13.
by mb7733 2mo ago
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.
14.
by mb7733 2mo ago
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 &#
15.
by mb7733 2mo ago
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'
16.
by mb7733 3mo ago
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
17.
by mb7733 4mo ago
All news links are blocked on FB in Canada, including American sources
18.
by mb7733 6mo ago
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.
19.
by mb7733 6mo ago
The question is where are all the new apps or features that are _written_ using LLMs, since everyone is 100x more productive now.
20.
by mb7733 6mo ago
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
21.
by mb7733 6mo ago
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
22.
by mb7733 6mo ago
Corruption is crime but not all crime is corruption. Stealing copper isn't corruption.
23.
by mb7733 6mo ago
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 nam
24.
by mb7733 7mo ago
> 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?
25.
by mb7733 7mo ago
How do you know when the articles were written?
26.
by mb7733 7mo ago
You don't need to worry about traffic or parking when you take a leisurely stroll to the store.
27.
by mb7733 8mo ago
> 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 inhab
28.
by mb7733 8mo ago
Really fun. The undo/redo functionality is much appreciated.
29.
by mb7733 8mo ago
> Canada has a similar opioid epidemic but a different supply chain, largely skipping over Mexico. Because Canada saw similar falls in fentanyl strength, the researchers hypothesise that the supply shock was caused by something changing
30.
by mb7733 8mo ago
FL Studio (fka Fruity Loops) uses this layout, or something very close to it.

More ›