The other problem is that in the real world, we want to make decisions, and the easiest way to make decisions is to have a single metric to judge everything by. With multiple metrics, you get into these debates about subjectivity.

You can get around Goodhart's law if you are able to pick multiple proxy variables and demand that the user optimize them all. And you pick these variables in a way that it's really hard to cheat (i.e. deoptimize the actual intended variable while optimizing the proxy variables). Game designers do this all the time for example, because the system is clean and simple enough to do it.

> The human authors take full responsibility for the claims and proofs contained in this paper, and have carefully refined and verified them. The construction and main ideas of the proof were generated entirely by Codex using GPT 5.6 Sol Ultra, using harness ideas generated by the authors based on the UCLA Moonshot Harness [ZHC+26] and [Ope26].

[1] https://arxiv.org/pdf/2607.21551 (Statement on AI usage is at the bottom of page 3).

[1] https://github.com/1stproof/batch-2/tree/main/batch-2-submis...

Linux containers are meant to be used by those with significant software engineering skills. Sandstorm was designed to be used, once installed by someone else, by grandma.

[1] https://janrosenow.substack.com/p/pakistan-the-solar-revolut...

[2] https://eu.globalsolar.store/news/78/germany-installs-175-gw...

ChromeOS jumped down several points in the same time period. So maybe some update of ChromeOS got misconfigured?

You have outlined two scenarios. One where the old posts are deleted, and in the old posts are moved to the new host.

In the former case, the "referencing posts" start pointing to 404. Maybe in the latter case, we can also just have the referencing posts also point to 404.

A partial solution is better than a full solution.

What about people who do challenging athletic endeavors with limitations? The ice guy climbed up to the base camp of Everest in just his shorts and slippers. Why not wear more?

What about minimalism as a way of life? Why not buy more if you have money?

This is just how humans are.

NewEmailServers are able to send and receive messages using either the Email or the NewEmail protocol.

Before sending a message, the NewEmailServer checks a directory (similar to DNS) to see if any of the recipients are on another NewEmailServer. If so, the message is sent to those recipients via NewEmail. Others get it by Email.

Completely backward compatible. Once google/microsoft shift to NewEmail, the rest will follow quickly except some legacy servers. All that is needed is a standards body.

1. Answering where humans come from is probably one of the the oldest question we have had. All religions try to answer this in one way or the other. I say, trying to come up with scientific answers is extremely valuable.

2. We feel awe at the wonders of nature, not much different from the awe that we feel when we see great human art. Tax dollars as well as charity are used to subsidize art often. This is similar, though there is more money involved here.

3. The problems one sees in different domains are always different. Funding agencies give money to the "directly economically useless domains" because the workforce that is trained and technology that is developed can then be applied to the "directly economically useful domains". The support money to the former is much smaller than the support money to the latter, but just enough to inject fresh ideas and creativity to the latter.

The interesting question is: will Anthropic release a Fable like model with an architecture similar to Kimi, and get the inference cost gains? They should surely beat Kimi because they can internally distill as much as they want.

The purpose of technology is to serve humans. Therefore, technology must conform as much as possible to human sensibilities rather than vice versa.

Sometimes, of course, the proof is just wrong. That is the dangerous case, which will cause either major corrections or failure.