433 karma · joined September 3, 2014
This is literally what CodeCradt did!
For myself, using Codex, I always have to explicitly tell codex to use Luna with high reasoning for smaller, bit size tasks.
“ Honestly, nothing yet. This is a theoretical result, and it doesn't solve a real-world problem today.
*Why it won't change much in practice:* A running time like 2^(n/√log n) is "subexponential" on paper, but for real inputs it's still astronomically slow. For a few hundred variables it's no better than the brute-force methods we already have. Hidden constants in the exponent could also make it worse in practice. Real-world SAT solvers (the CDCL kind) already handle millions of variables on practical problems using heuristics, and this result doesn't replace them.
*Where SAT shows up in everyday life, indirectly:* - Verifying that chips (like the one in your phone) have no design bugs - Scheduling and logistics, like timetables, delivery routes, and airline crews - Software package dependency resolution - Security analysis and cryptography research
*What it could change over time:* - *Research direction:* Many problems were assumed to be hard because ETH says so. If ETH is false, researchers may find faster algorithms for them, and some of those could eventually matter in practice. - *Cryptography:* It doesn't break encryption, since the algorithm is still far too slow. But it could shift how people think about the hardness assumptions behind some security arguments. - *Theory of math and proof:* The Lean verification is also a notable example of AI-assisted, machine-checked mathematics.
So the "big deal" is mainly for computer scientists: a long-held belief about the limits of computation may be wrong. Any benefit to normal people would be long-term and indirect, and only if it leads to practical algorithms.“
My plan for OpenAI recently expired and now I’m thinking to test Anthropic ecosystem. My primary use case is programming only.
Should I go with API use or subscription? For coding harness, I jump between codex, OpenRouter, pi, whatever coding harness is trending on that day
I vividly remember back in 2023/2024, I was sitting on my sofa thinking, "there has to be a market to abstract data access layer, something like Terraform but for LLM provider to avoid vendor lockin". Only if I had access to capital to build something like that at that time, I could have been my try for an AI start up.
There is absolutely no reason to be in sync with Sony on their console release date. They could have effectively released consoles bit more frequently. But they choose not to do so. Their acquisition has been questionable - Activision/Blizzard.
At the end of the day, the employee pay the price for bad management decision which they keep on making.
How many millions are we talking.
Now when will the innovation happen where say cost of running Haiku performs level of Opus 4.5?
I feel models are only getting bigger instead of models becoming more efficient and cheaper to run
It had never occurred to me to go like, "I'm going to make an open source product for LLM". How is something like built from scratch from an idea? And what is the idea?
For example, it is fairly straight foreword to build a dash board of something with React as front end + backend API. This will be a typical web app.
But stainless is something different, from my limited knowledge in this space, its appears to be SDK, something like OpenAI SDK that reduces boilerplate code to interact with LLM providers by providing list of tools (MCP), temperature, context memory and bunch of other parameters...
Enterprise business from small, medium to large get laptops or use mobile application and online SAAS.
There entire PC industry is for enthusiasts and tiny segment of the worlds computing needs. The laptop variation has already been eating into PC market.
In today’s world, it’s just not practical to own a PC unless you are gamer. And for gamers, it’s just better to get console. And for developers, their is more money to be made selling games on console then PC.
In the end, from business, to revenue generation stand point, custom PC industry is just a legacy of old computing world. As I type this, custom PC is more of a “marketing segment” for Nvidia for example to upsell Nvidia cloud offering - i might be stretching too far - but that basically is the point.
But who gets the $375 million dollars? Anyone know the cut the law firm will get from this incredible amount of money?
OpenAI and SpaceX firms need exit liquidity - and markets are ready!
My advise for retails folks is to stay invested in the market since these trillion dollar companies cannot afford market to tank at all.