bhy

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)?

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?

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

Well yes, I believe some interventions happened awhile ago in Myanmar in the form of war between factions.

What is c4ai? Crawl4ai?

It require token payment for invitation codes, however the current implementation is frustrating. It generate a QR code for mobile wallet, but there's no way to pay from a browser wallet, which I suppose is more commonly used in web3.

I don't think AirTag work that way. AirTag protocol is specifically designed so Apple or other parties will not be able to track users by serial numbers.

Are you plus or team user and logged in? The link is to the normal chatgpt prompt, but with the "Search" button enabled.

But note that the price they can charge is based on market supply and demand. If Claude is priced at $20, ChatGPT won’t be able to ask $100.

Thinking about it, a sidebar "canvas" could be more useful comparing to the main editor to me:

* when reading code, I found I jump back and forth the call stack quite often, a visualization of this could help with this navigation, especially with some properly designed shortcut keys.

* I mostly code on MacBook so screen real estate is precious. The canvas as main editor looks like waste a lot of screen space. But the canvas in a sidebar do not have this issue.