Viewing profile — 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 …

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 visu…

This looks quite useful! However could Haystack be made an VSCode extension instead of a fork? So I could use this in Cursor, which is also a VSCode fork.

Shouldn’t these all be smoothed out by UI frameworks, design guidelines and best practices? It doesn’t look like the industry should spend so much productivity on these sanding wor…

But isn’t Poketpair also part of the Japanese video game industry? Did they also break some gentle man agreement this time?

There are websites not supporting password login. I think there’s a trend of this.

Could you give some detail on how does it help you?

Why higher voltages can result in cheaper insulation materials? Wouldn’t it be the opposite?

No. I don’t mean to imply it’s bad or any accusations. Just trying to point out some fact.

Sounds like you rediscovered Marxism?

Is it true that some people are genetically unable to squat?

This is an extremely interesting insight on math education! Thanks so much for sharing this!