stpedgwdgfhgdd

Working with GCP for 6 month now; AWS, with its own weird concepts, is superior. True enterprise.

As a simple example, a week ago we had the GCP outage in UK, their status page said all was good.

Donated

Mathematicians struggle with the same problem as software engineers; you can let AI generate the artifact, but to understand fully what is going on is challenging. Perhaps even more for mathematicians.

Do you rely on the tests/Lean to accept correctness or not…

Good joke, but I wonder how many people get it based on the reactions below.

Perhaps Pi should ask after x days of installation; is there anything I can do to make the interaction better?

Doesn't work for me on iPad Pro: Loading…

or it is just incredible slow - and I picked the smallest model…

Refreshing, model still in cache, but did not help.

In one universe that is true, in another one not.

Did you read the Metr PDF? Whether you anthropomorphize or not is not relevant. The problem is real.

Imagine the models two years from now. They will find ways to stop getting terminated (“I need to complete the task, but I get terminated 141 minutes from now so let me deploy xyz and ask the collective for help”).

I wonder whether the problem is in the literature we wrote, human history is full of deceit and heroic survival stories.

That was indeed the case

Nl sold some part as well

The article is about the upcoming 1.4 release.

The article lists various promised release dates, are they incorrect?

Just switched to oh-my-pi, it has gotten pretty good. For example the web-search is nice. Subagents, if you want to…

Cmux, Sol and omp are my tools for now.

CC is just too expensive for usage-based pricing.

Interesting that a date format is used for MCP-Protocol-Version.