bhy

11 ms·

1.
by bhy 3mo ago
NP problems can be verified in P time.
2.
by bhy 3mo ago
But the studies are in 2024 and 2025. They don’t apply to current Claude models.
3.
by bhy 3mo ago
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.
4.
by bhy 4mo ago
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.
by bhy 7mo ago
The game itself could be a good benchmark for AI agents.
6.
by bhy 10mo ago
Does this follow some structured therapy approach like cognitive behaviour therapy (CBT)?
7.
by bhy 1y ago
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?
8.
by bhy 1y ago
This kind of cooking generate a lot of ultra fine particles, which is too small to be measurable with PM2.5 sensors.
9.
by bhy 1y ago
Well yes, I believe some interventions happened awhile ago in Myanmar in the form of war between factions.
10.
by bhy 1y ago
What is c4ai? Crawl4ai?
11.
by bhy 1y ago
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.
12.
by bhy 2y ago
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.
13.
by bhy 2y ago
Are you plus or team user and logged in? The link is to the normal chatgpt prompt, but with the "Search" button enabled.
14.
by bhy 2y ago
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.
15.
by bhy 2y ago
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,
16.
by bhy 2y ago
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.
17.
by bhy 2y ago
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 works?
18.
by bhy 2y ago
But isn’t Poketpair also part of the Japanese video game industry? Did they also break some gentle man agreement this time?
19.
by bhy 2y ago
There are websites not supporting password login. I think there’s a trend of this.
20.
by bhy 2y ago
Could you give some detail on how does it help you?
21.
by bhy 2y ago
Why higher voltages can result in cheaper insulation materials? Wouldn’t it be the opposite?
22.
by bhy 2y ago
No. I don’t mean to imply it’s bad or any accusations. Just trying to point out some fact.
23.
by bhy 2y ago
Sounds like you rediscovered Marxism?
24.
by bhy 2y ago
Is it true that some people are genetically unable to squat?
25.
by bhy 2y ago
This is an extremely interesting insight on math education! Thanks so much for sharing this!
26.
by bhy 2y ago
When you ask what data should be paying attention to, that should be depends on your objective. Do you want to predict something? Identify anomalies? In the end, what matters is understanding the meaning and relations of these data, rather
27.
by bhy 3y ago
My bet is a general search algorithm similar AlphaGo that uses LLM as world model, and heuristic search to find the right path to goal. There's already evidence in academics that this can significantly boost model performance [1]. [1]
28.
by bhy 3y ago
Like most research they likely started with a smaller model like GPT 2 or 3 and shown that they can significantly boost the performance to the extent of solving grade school math.
29.
by bhy 3y ago
PlatoX | Hybrid / Remote | Singapore | Full-Time / Interns PlatoX is an AI agent startup, building AI personal assistants that connecting business and consumers. We have secured funding and launching our first product release. Joi
30.
by bhy 3y ago
Usually what is “relevant” is determined by vector search. So user has no control of what is being sent out. Is that how rewind work? That’s what make me worried.

More ›