nicce

13 ms·

1.
by nicce 4d ago
> Agree! My only concern is - is the judicial system fast enough, and resilient enough? We already have the laws. It is just software. But somehow people are confused that it is not.
2.
by nicce 4d ago
Having a philosophy is okay, but people must understand the social coencequences as well. Maybe similar example would be that people allow only assembly in their projects and compiled languages are forbidden. The impact is here likely simil
3.
by nicce 4d ago
I feel like people are just taking the easy shortcut when making these policies and banning AI completely. With AI, it is very easy to make sloppy code where nobody didn't put much thought on it. But AI can be really useful if you have
4.
by nicce 4d ago
In many way it is, because it allows defeting many incorret arguments people in power make, or simply asking where is the cheapest product ”X” with one question. Or simply be more aware or any kind of scam people or companies try to do for
5.
by nicce 4d ago
Many claims but no clear evidence that they actually find significantly more severe issues compared to open models.
6.
by nicce 5d ago
> Altman and Bubeck claim that because the proof used different scaling parameters and analytical steps, it's not related, Is Altman even mathematican these days?
7.
by nicce 5d ago
How the same people can have access to this information and be acknowledged? Completely different place.
8.
by nicce 6d ago
They are completely different things with different consequences. Someone can point to the sky and prove that the sun is there.
9.
by nicce 6d ago
I think that in the end it does not matter, anymore. It is inevitable that most of the text now and in the future is at least reviewed by LLM. We should criticize whether text is poorly written, inaccurate, wastes words to get to the point
10.
by nicce 6d ago
All these "is this AI" checkers should be banned, as they never can reach 100% accuracy.
11.
by nicce 6d ago
To have a really good harness, it seems that you need a separate one for every different project you are working with.
12.
by nicce 6d ago
There is a saying that ideas are cheap. Only delivery matters.
13.
by nicce 6d ago
The real advancement, not brute forcing mathematical equations like some company does and claims revolutionary breakthrough. How many ideas like this has come from AI companies' models?
14.
by nicce 6d ago
I have been using it today the whole day and it is definitely better than Luna. Great that bench agrees.
15.
by nicce 6d ago
1. Not storing secrets properly or using hardcoded secrets 2. Wild use of webviews/iframes sometimes easily propagates as XSS in phones 3. Incorrect client-side OAuth 2.0 configuration e.g. with schema-based redirect URLs. 4. Not suppo
16.
by nicce 6d ago
You don’t believe how often people leave secrets in the app or use webviews and iframes badly, misconfigure OAuth in client side and so on. There are many issues where secure API does not help.
17.
by nicce 6d ago
This is probably the end now. People don't debate anymore whether they should write only in assembly vs. in C. Sometimes new abstractions emerge and they replace something completely. This time the abstraction was LLM.
18.
by nicce 6d ago
> You just install it on your phone and use the app. Some people on the cybersecurity side are starting to cry....
19.
by nicce 7d ago
So it is price increment in the end, if new pro model comes with the new pro price.
20.
by nicce 7d ago
On top of that, they don't make all BS statements or malicious tricks used by some unnamed entities.
21.
by nicce 7d ago
European users have right to be forgotten. Waiting for the court order to delete all models.
22.
by nicce 7d ago
It is a very old idea. But it matters a lot in iPhone’s scale. Many people will have it without buying a separate device.
23.
by nicce 8d ago
The only positive side is that it is harder for students to feed university exercises to the agent in cybersecurity and expect it to make them all.
24.
by nicce 8d ago
> In keeping with our commitment to user responsibility, following the official launch of V4.1 Flash and prior to the release of V4.1 Pro, all requests to the Pro model will be routed to V4.1 Flash and billed at Flash's price. If y
25.
by nicce 8d ago
That seems to be indeed true. I guess it gets validated quite soon.
26.
by nicce 8d ago
That is the point. Someone must verify that the Lean matches the actual theorem, precisely as it should be interpreted.
27.
by nicce 8d ago
As long as the proofs itself are correct. How long they were this time? Edit: at least ~600,000 lines https://stanfordtechreview.com/articles/openai-buckmaster-na...
28.
by nicce 8d ago
Can’t wait to see the human verifying the results and then figure out that the AI model actually cheated and the results are not correct.
29.
by nicce 8d ago
I guess the point of this whole forum is "Why not?"
30.
by nicce 8d ago
I guess guys from the opposite side would not work there. So that is what will happen more and more.

More ›