vjerancrnjak

Read the study as what is reported by TFA has nothing to do with the study.

And of course it does not as any serious problem solving is not only hindered by verbalization but by sight as well, closing your eyes will improve your problem solving massively.

They prompt after solving the problem, they don’t mandate verbalization during the process, in the study.

There are studies that show no hinderance with verbalization except longer solve time, but the problems being solved are too simple.

Articulating thoughts out loud is a horrible requirement. Conscious verbal thinking is a detriment to thinking, thinking unconsciously is much more efficient, only requirement is involvement with the problem that does not need to be verbal at all.

Problem is solved before the solution is consciously perceived. The reverberations after perception can be of many different styles.

There is little value in chain of thought and I think humans are implicitly or explicitly instructed to verbally think and hinder their problem solving facilities. There are many examples of individuals that went much further with their own internal but externally indecipherable thinking models because they avoided language as a thinking faculty.

On top of that to ask for clear communication and decoding of the verbal thinking mush into sounds is just an extra hinderance. Id prefer to ask questions to evaluate understanding of the problem solved than force someone to dump their mush into a clear spoken summary.

Interviewing process is just a mush of nonscientific nonsense , a theatre for all involved, a sad affair.

Formal verification, pick a language that has it integrated and prove relevant post conditions.

AI still does not know how to even write code that makes impossible state unpresentable so testing won’t help.

Vegan food is like Star Trek replicators. It is the future. Can’t wait for vertical farms and world being overwhelmed with beans and fruits all picked by AI floating robots.

It is funny how future is here yet it takes centuries to come. Human’s still sticking to their slaughter instead of using replicators. Klingon much.

Great find and write up. This year if I remember correctly 40+ people got the check, ~1000 have an account at the bank. I got mine this year, an exercise I revisit every few years since 2012 to learn a new programming lang or approach had a newer update that made it have 2 offbyone errors. I had extra time this year so went to the beginning of the chapter to attempt an open problem and in the preliminaries another off by two error. I was quite surprised.

Really made me appreciate how unlikely it is to find an error. It feels as if it was planned just for me to find it. Just like the author studied cryptography and then decided to do some exercises to hone his skills, an unlikely journey towards a check.

David Attenborough saw more clearly than most what was being lost. But even he stopped short of fully applying that logic to animals themselves.

Rewilding at scale, deep emissions cuts, and a serious move away from animal agriculture are the same project.

Regret analysis in bandit and similar algorithms shows how inference is connected to loss function. If your loss function is good, greedy inference is as good as joint inference.

Training on cost-to-go loss is good enough. Perfect cost-to-go eliminates the need for global algorithms and allows local decision making. Given “natural” datasets it is probably the best thing to attempt to learn. The fact that probabilistic graphical models never really worked proves it somewhat.

Github was already struggling with bazillions of throw-as-much-crap-on-the-wall software running in actions, and now the world is running throw-as-much-LLM-crap-on-the-wall computation, as unstoppable as the pre-LLM era. Turning compute into excrement as fast as the planet is filled with it. Excrement being "Github Copilot code review" in compute world, and no need to draw what it is in our real world.

Weird that Anthropic decided to build a Claude Code Routines toilet.

Ask it to formalize it in Lean.

I think this description is often associated with ADHD memes.

Falling asleep after a can of energy drink.

Following the bottle-cap madness, I don't think any current data shows the actual issue was resolved. Even worse, the effect on marine life is still not measured, and afaik reduction of harm was the primary goal. Instead of brutally high fines on fishing net waste, we got bottle-cap madness.

We have so much experience with scientific method, yet these massive decisions are adhoc, that's how the whole world works. We never tested what would happen by allowing mass production of plastic, or phones, or whatever, so these antipatches are going by the "feels" as well, with no individual taking responsibility for failures.

just keep-alive it with pipelining, depending on the server, 100k+ RPS.