redox99

12 ms·

31.
by redox99 15d ago
The two times I tried to use fiverr I literally got ghosted.
32.
by redox99 15d ago
This is orders of magnitude cheaper and faster than paying for a song to be created from scratch by a human.
33.
by redox99 15d ago
Yeah I tried GPT first because that's what I always use, it refused and I didn't even bother trying to trick it, just went straight to Grok.
34.
by redox99 15d ago
Can you use Lean to... prove "Lean-fast" is equivalent to Lean?
35.
by redox99 16d ago
Btw grok found out in less than ten seconds what place you refer to and likely what software within that company. Things that wouldn't be worth your time before are trivial these days with LLMs.
36.
by redox99 16d ago
You can argue all day whether cars are good or bad. That's not my point. My point is that pretending public transport is equivalent to cars if you have good enough infrastructure is silly. They are different experiences, each with thei
37.
by redox99 16d ago
Unnecessary is a very strong word. It's also unnecessary to have your own private house, sharing it with other people would be more efficient.
38.
by redox99 16d ago
Public transport is not the same as cars. It's silly when people pretend like they are interchangeable and it's just a matter of having "better infrastructure".
39.
by redox99 16d ago
With the miles you can establish a confidence interval of the true fatality rate.
40.
by redox99 16d ago
Astra is definitely weird. It is more capable than Sol, no doubt about that. There are things sol could simply not solve that Astra breezes through. However for typical low to medium difficulty code, it will often either overengineer stuff,
41.
by redox99 17d ago
Just use opencode/pi/etc with an open weight model?
42.
by redox99 17d ago
Thanks for the reply. I'd suggest you improve your workflow with better tooling like Codex or Claude code, and if you have some kind of weird constraint they'll easily follow an AGENTS.md with that.
43.
by redox99 17d ago
Those are really nice numbers. With that t/s, no network latency or queueing it must feel much snappier than cloud models.
44.
by redox99 17d ago
Do you... code by copy pasting chatgpt web???
45.
by redox99 17d ago
Why not? It makes less mistakes and with subscriptions it's very cheap
46.
by redox99 17d ago
Stuff along the lines of implement controller service and tests for the following endpoints: - list of many endpoints with the JSON they receive and return and description of what they need to achieve Stuff you could probably do in a single
47.
by redox99 17d ago
Your prompts are probably very underspecified then. Frontier models one shot the majority of my prompts. UI is kind of the exception, there I do have to ask for a lot of tweaks.
48.
by redox99 17d ago
I think pi handles it better
49.
by redox99 17d ago
Anything you do right now? A typical 10 minute prompt "simply" becomes about 7 hours long. (40t/s vs 1t/s).
50.
by redox99 18d ago
I hate so much how every food menu is now AI slop. I wish that was outlawed under false advertising.
51.
by redox99 18d ago
At 1t/s it's still faster than humans for a lot of tasks, basically doing overnight what could take humans half a week. Plus you can always parallelize.
52.
by redox99 18d ago
The amount of goalpost moving is insane. "Yeah it can solve Millenium problems, but can it do it with nothing more than a one sentence prompt?" Also there are proofs where the only human steering was "keep going".
53.
by redox99 18d ago
Fields that allow verification, like math, will far surpass human level because they don't need human data for training. It's exactly the same as with Chess
54.
by redox99 18d ago
The stochastic parrots have done it again!
55.
by redox99 18d ago
Mistral models are way worse than Chinese models in the real world. It's not benchmarks.
56.
by redox99 18d ago
Yes and no. It means the system is pushed away from a macroscopic theory into one where molecular effects matter. So it's not that you'd get infinite velocities in the real world, but you might get significant real world behavior
57.
by redox99 19d ago
Kinda surprised they didn't get a single sale for some of those. I think it probably looked too much like AI slop so customers refrained.
58.
by redox99 19d ago
I use the $100 which currently doesn't have the 5h limit. The 5h limit hurts the most on the $20 plan because the limit is already very small (5h is ~15% of your weekly).
59.
by redox99 19d ago
5h limits are awful. It means it is literally unable to complete a large task. A better approach if they want to balance the load is having higher usage or lower usage consumption at different times of day.
60.
by redox99 21d ago
It is (uses way less tokens)

More ›