bhy · HackerTrans

19 दिन पहलेdiscuss

NP problems can be verified in P time.

27 दिन पहलेdiscuss

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

पिछला माहdiscuss

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.

2 माह पहलेdiscuss

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

5 माह पहलेdiscuss

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

8 माह पहलेdiscuss

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

10 माह पहलेdiscuss

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?

10 माह पहलेdiscuss

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

10 माह पहलेdiscuss

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

10 माह पहलेdiscuss

What is c4ai? Crawl4ai?

comments