NP problems can be verified in P time.

But the studies are in 2024 and 2025. They don’t apply to current Claude models.

I don’t think lean4 compiled code is as efficient as rust. For verification purposes, there are some tools allowing formal verification of rust code.

Both Scala, Ocaml and some variant of Ocaml like PureScript target Javascript and even have library that wraps React. Worth to explore with AI.

The game itself could be a good benchmark for AI agents.

Does this follow some structured therapy approach like cognitive behaviour therapy (CBT)?

Exactly. Helps to figure out missing instruction to our body no one gave to us.

How does your private fork work? Does that mean some flakes and packages for your own use, or you maintain patches that touch deeper into the system?

The Nixpkgs repo is a Git repository. I forked the repository and I merge in updates using the normal git workflow. I've tried flakes and stuff, but none of them are as convenient as directly modifying files.

This kind of cooking generate a lot of ultra fine particles, which is too small to be measurable with PM2.5 sensors.

Was that not just a power grab?

There is a more recent conflict over this issue in Cambodia.

I'm thinking more targeted interventions. International organizations and so on.

Failing that, maybe accidentally short the xformer supplying the building...

What is c4ai? Crawl4ai?

Yes~