874 karma · joined May 31, 2022
It looks like the "Frontier Line" to me, which is also often misinterpreted. frontier does not mean the best models. It means all models that are not strictly dominated, meaning in most cases: Not same price or cheaper and more intelligent.
I personally would like the word frontier to be used with more criterias: Open Weights, per use-case, etc etc. This would make model selection easier, but I understand it’s not an easy thing to do.
I wanted to classify business b2b vs b2c and business model. Am I holding it wrong?
{ "decision": { "type": "noul", "instructions": "Is the rolled number in state odd?" }, "question": { "type": "noul", "instructions": "Is the number odd?" }, "question-3": { "type": "noul", "instructions": "a 6 sided dice rolled a 3 Is the number odd?" }, "question-4": { "type": "noul", "instructions": "a 6 sided dice rolled a 3 Is the rolled number odd?" } }
=>
decision,0.168,0.83 question,0.141,0.86 question-3,0.029,0.97 question-4,0.021,0.98
so im confused too..
A weakness with numbers?
I feel like we all had the idea, but how is all possible move sequences proven ?
What if the possible scenarios are too big to proof or test.
Like on a 2 dimensional game it’s easy, but you could make it multidimensional and introduce an unlimited amount of special rules, (if on a prime number dimension on 3 but not more prime numbers you are allowed to jump to another prime numbers with 3 but not less coordinates)
How is bend protecting it? I was checkin github and the paper, but I was not motivated enough. I feel like an actual explanation of how proofing works is missing.
For Lean I understand how it works, here not.
Alt M + V = Move Alt E + C = Extract Component Alt S + E = Search Everywhere _ many more.
Or just vim combos.. with ideavim
I’m saying who has a million dollars for me, so I can make my own model?
At least as I understand things.
How did you plan to use Jev for query optimization?
When I have a clean codebase it’s super powerful and faster than I am. Then I start to use it more, more sessions and longer tasks less checking in between.
It kind of works but later I’m in a deadlock where every change introduces new bugs or takes ages. This might be for a lot of reasons for example me going to fast, me losing mental model, me explaining it wrongly.
However when I then start checking the code it’s all spaghetti like frankly the spaghetti Astra produces I’ve never seen before. Processes that should be simple stretch over 11 files with weird wrappers and abstractions and I need a whole day to entangle it.
These are ai assisted user workflows that Im working on in this case.
I just have the feeling no matter what AI just always expands it. And expansions hinders agility and sometimes you need that.
My new suspicion is now that they didn’t got drastically smarter, but they got trained on the user input on the previous generations. I don’t think anymore we had a massive intelligence jump. It just seems like they know more edge cases. Therefore I see this as marketing.
Happy to discuss.
Still interesting train of thought that I might need, but the article is exaggerating the evidence and not adding the right disclaimers.
I still think you could build single person cars that are more secure than traditional cars and use less space and energy
In projects that are so big that no single coder or no small group of coders is sufficient to grasp I don’t have personal experience, but my guess would be that they are just a cluster of other small projects.