Probably not but there are two existing datacenters downtown along with Seattle Internet Exchange. Not a lot of room to expand though I imagine in the building.

My main AGENTS.md has ten lines about the most important coding principles:

The instruction on "meaning" ended up carrying a lot of weight to the AI. It adopted the habit of putting a comment on every single field and function that starts with the word "// Meaning: " and they're honestly, genuinely good ones! Single-line sentences on fields that carry a lot of good weight.

Separately, I have a LEARNINGS.md file which I have the AI auto-update every time it gets course corrected by me. Over the first two weeks there were a lot of course corrections, but now there are only a few a day. The file ended up carrying my senior engineer wisdom, more or less, the kind of things I normally mentor to junior developers on the team over several years. Here's an extract: https://gist.github.com/ljw100...

My CS degree had a lot of theorem proofs in it, invariants, that kind of thing. I've always had the habit of aiming to prove my code correct under all possible circumstances. Usually not a formal proof, but using the same skeleton as a formal proof would.

It got me a job on the C# language design team (when I tried to prove an algorithm correct, couldn't, discovered a counter-proof that the runtime had a flaw).

As I mentor junior devs and review their code, I'm always telling them to reason about their invariants better and document them.

Now in the age of AI, I find that invariant-heavy and proof-heavy guidance to the AI ends up getting its work done quicker and higher quality. OpenAI mentioned the same thing in a blog post in February.

Sure, there are many paths to professional success and engineering excellence that don't involve this kind of CS heavy approach. But, there are many that do...

I'm convinced it's AI scraping. At least some of the bots were following the Analytics links (Fathom), and I could see them swarm the site. Suddenly 100,000 IPs from China are each grabbing one or two pages.

For int'l flights: Amazon Leo is launching next year. Delta is waiting.

And LEO is even easier than GEO since it doesn't have any moving parts. GEO had to rotate to keep alignment. LEO are all using phased arrays.

For existing code in the QA he said leave it be and it's better to fix.

For new code, he's recommending Rust and the advantage he talks about is that it makes the code more maintainable by people. And one thing that every AI coding talk I've seen agrees on is that what makes code more maintainable by people also helps AI and vice versa.

People and AI both have limited attention and memory. The less context necessary the easier it is to evaluate safety.

Another thing not in the summary he touches on is hardware safety. Not just software bugs but also compromised hardware which if your driver is memory safe can also prevent a buggy or adversarial piece of hardware since the hardware is effectively user input.

To balance out OP's selective quoting to avoid people strawman-ing his argument as a fanatic who can't balance risk:

I think a tool that lets one person do the work of 20 will result in 17 people being laid off, as the company triples its rate of work. (I can see triple being feasible and achievable in the software industry, but maybe not more)

Oh, and a "train" is a bit like 100 cars back to back.

"this belief is utterly false. To quote the U.S. Supreme Court opinion in the recent Hobby Lobby case: 'Modern corporate law does not require for-profit corporations to pursue profit at the expense of everything else, and many do not.'"

https://www.nytimes.com/roomfo...

"We ... show that [the Shareholder Primacy Norm] is not a legal requirement, at least under the guise of shareholder value maximization. This is in contrast to the common assertion that managers are legally constrained from addressing corporate social responsibility issues if doing so would be inconsistent with the economic interests of shareholders."

https://papers.ssrn.com/sol3/p...

Dawkins is very likely right. I am also impressed at how human AI can seem, with all our faults of hallucinating, hiding our mistakes, and making stuff up, as well as the stuff we are proud of. But Dawkins and I both realise that we have no definition of 'intelligence' that will allow us to rule whether AI is intelligent. The Turing test has foundered because the early AI attempts were able to express ideas eloquently even when their 'intelligence' was questionable. It seems that AI has a talent for imitation and mimicry, which lets it convince us in a Turing test even when it shouldn't. Any adversarial training to get AI to distinguish between AI and us will also spawn a more convincing imitator. Where do we go from here? I find it entirely reasonable that AI executes the same sort of processes as our minds do, but proving equality rather than equivalence is going to be hard.

> Am I the only one that can't imagine any possible value an AI assistant would bring to a game?

I use AI assistants lots when playing games!

At the moment it's Minecraft. I want to figure how to build something, e.g. a golem farm. I look for tutorials online but (1) they're all videos which I hate watching, (2) they're all hyper-specific and concrete, "place this block here then that block there", but what I want to understand are the foundational principles so I can know how to adapt the golem farm to my own purposes -- what are the mechanics, how do they spawn, how does water flow, what is the SOLUTION SPACE of possibilities.

Gemini AI has been really good at this kind of thing.

The other time is when I get stuck, or want advice on how to make a character build to achieve a certain end. Once again the online advice is typically in the form of "walkthroughs", do step 1 then step 2 then step 3, in other words just one possible way to play the game, and it's too easy to accidentally read too far and spoil the rest of it. I don't want that. I like the feeling of openness and possibilities. I again ask Gemini, and it gives me advice on just the particular bit I'm stuck on, and is better at showing for me the available options.

There are definitely instance of AI memorizing images/paintings and having full recall. So that is a copyright problem.

Lua remains the commonest choice today for games to offer scripting/modding. It's pretty much the industry standard. (Outside C# for Unity).