varyherb

Right, so a refutation of ETH would also refute SETH.

It sounds like a good idea, but having used this approach in a professional codebase with dozens of contributors, I can tell you firsthand it will start to degrade the code you get from a model surprisingly quickly. The agent will start to feel confused by the various conflicting "guardrails" and "constraints" the ADR is supposedly documenting. You will ask the agent why it did a particular contrived thing and it will cite various flawed or outdated assumptions.

It's the same old problem of doc rot, but now the docs are blindly obeyed. It sounds simple to just keep the docs up-to-date, especially with AI, but that approach results in an unreadable AI slop trough.

I'm still unsure what to recommend instead, especially in a collaborative setting.

Project Euler spurred my love for math and programming when I was 15. I got through the first few with pencil and paper and then quickly realized I was going to need to learn how to program. Got started with Java (in Eclipse) and then moved on to Python. I feel like it completely changed the trajectory of my life.

I believe this can be configured in Claude Code via the following environment variable:

ANTHROPIC_BETAS="context-1m-2025-08-07" claude

I was running into this too until I started upgrading with

llm install -U llm

instead of

uv tool upgrade llm

(the latter of which is recommended by simonw in the original post)

Same

  Just shy of a good landing
  Score: 78.3 point landing
  Speed: 5.5mph
  Angle: 0.3°
  Time: 577 seconds
  Flips: 206
  Max speed: 302.4mph
  Max height: 12012ft
  Engine used: 69 times
  Boosters used: 89 times

Perhaps some internet sarcasm is going over my head, but the lyrics are by Samuel Francis Smith. Its melody is the same as that of "God Save the Queen/King."

Where did you find the valuation figure? Or do you just mean the size of the new investment?

This is a gross oversimplification of the author's detailed (if a bit editorialized) analysis. The author actually acknowledges, and later expounds upon, the apparent incongruity you mentioned:

> I look at communities like Detroit and I understand why the youth there resort to crime, but what the hell is the matter with the Bay Area? Arguably the wealthiest metropolitan area in the United States. A place with too many jobs and not enough people to fill them.

Not to mention 1, 2, and 6 :)

7! = 5040 shows up as well in the OEIS sequence. Buuut, 8! = 40320 does not...too many useless 2's in the prime factorization?