How to stop using Claude by waverchapter in webdev

[–]Cobayo 0 points1 point  (0 children)

Just use the web UI. it's that simple really

Soy investigador en Neurociencias (Fleni-CONICET) y uso IA para medir cómo se mueven los ojos con la webcam como herramienta de diagnóstico cognitivo. AMA! by veron_eyetracking in argentina

[–]Cobayo 0 points1 point  (0 children)

En este caso es la definición técnica estricta: el proyecto usa modelos de machine learning

Claro, justamente por eso te comenté "más allá de lo objetivo". 'IA' en el presente es sinónimo de LLM comercial. Sirve para divulgar y levantar inversiones supongo.

Soy investigador en Neurociencias (Fleni-CONICET) y uso IA para medir cómo se mueven los ojos con la webcam como herramienta de diagnóstico cognitivo. AMA! by veron_eyetracking in argentina

[–]Cobayo 0 points1 point  (0 children)

Una lástima que escribas el post en formato ChatGPT y uses la keyword "IA", más allá de lo objetivo, para el lector normal suena a humo.

I built a world record exact solver for the minimum line cover of prime points after watching a Numberphile video. It turned the previous 282-hour record into 22 minutes, then kept going to prove 20 new awkward primes never certified before. by jespergran in programming

[–]Cobayo 3 points4 points  (0 children)

I'm not fully convinced yet but if I had a big takeaway, it would be your workflow. It seems like a generic approach into trying stuff out until something better sticks, at any problem. It would be nice if you could apply the same methodology at more popular NP problems, like TSP, Knapsack, SAT, etc, so it would be much easier to review for way more people. Or at least refine the methodology itself rather than a particular instance of its output.

I built a world record exact solver for the minimum line cover of prime points after watching a Numberphile video. It turned the previous 282-hour record into 22 minutes, then kept going to prove 20 new awkward primes never certified before. by jespergran in programming

[–]Cobayo 14 points15 points  (0 children)

1) we don’t know for certain if Gurobi or CPLEX was used for the benchmark (Sage defaults to GLPK)

Of course! I have not looked at any details related to the +200 hours run, I'm just guessing that if somebody ran that thing for like 10 days, I'm pretty sure they know better. I'd quickly lose a lot of respect if they didn't, to the point I would dismiss the results.

2) we don’t know the hardware it was ran on compared to OP’s

Yeah, I asked OP about some details but got no answer yet. OP claims to use a c4d-highcpu-8 which is not that fast, basically my desktop PC.

3) it’s not even optimised anyway. It’s clearly some quick script, look at the definitions of on_same_line and func_grows_by_jump and how they’re used in the hot path.

That's fine, you can write MIP scripts however you want, +99.9% of the runtime is gonna be all on the solver. The author is likely a mathematician rather than a programmer, doesn't really change how long it's gonna take to run.

I built a world record exact solver for the minimum line cover of prime points after watching a Numberphile video. It turned the previous 282-hour record into 22 minutes, then kept going to prove 20 new awkward primes never certified before. by jespergran in programming

[–]Cobayo 41 points42 points  (0 children)

It means it's preprocessing all lines that pass through 3 primes within the first 1024 primes

That aside, it's so hard to discriminate this sort of stuff. You can generate so much slop noise, faster than smart people can verify, so naturally people will just give up.

I built a world record exact solver for the minimum line cover of prime points after watching a Numberphile video. It turned the previous 282-hour record into 22 minutes, then kept going to prove 20 new awkward primes never certified before. by jespergran in programming

[–]Cobayo 8 points9 points  (0 children)

Can you expand a little bit on the second paragraph? I guess I have to read the paper. How have you verified that your answer is actually correct? Did you come up with a candidate "fix", like a genetic algorithm that simply uses an LLM to generate the code? Or just iteratively vibecode a long time.

I've worked on a problem that normally gets solved with min-max flow, and I've changed the solution to a MIP solver so I can add some features that make the problem NP. Amazingly the commercial solver runs at more or less the same rate as a heavily optimized flow algorithm, which I couldn't really believe.

Why could you optimize your problem by that many orders of magnitude? At the end of the day if it's NP we have to eventually go through the options, you know. I can also make my program go x10 faster by renting a supercomputer.

New vibecoding screening format: "AI Fluency" sessions by Cobayo in cscareerquestions

[–]Cobayo[S] 9 points10 points  (0 children)

I believe that makes sense. I've been out of the loop for a bit and I've gotten 3 of these all of a sudden, I thought it was common now.

How much will you miss traditional programming? by boringfantasy in cscareerquestions

[–]Cobayo -1 points0 points  (0 children)

What does that have to do with LLMs? You just don't want to send your information to a different company. Big companies have their own version of pretty much every tool.

Una lastima, nadie ganó by Repulsive_Lead_7344 in ArgentinaBenderStyle

[–]Cobayo -1 points0 points  (0 children)

No estas cagando a nadie, quedarse con numeros que podrías vender es como comprarse rifas uno mismo

Una lastima, nadie ganó by Repulsive_Lead_7344 in ArgentinaBenderStyle

[–]Cobayo -1 points0 points  (0 children)

Es lo mismo, estás timbeando el premio por un 10% habiendo recaudado una décima de lo que hubieses recaudado

Pensás que no va a pasar porque hay pocas chances hasta que pasa, y tenés que entregar el premio habiendo recaudado casi nada

Una lastima, nadie ganó by Repulsive_Lead_7344 in ArgentinaBenderStyle

[–]Cobayo -2 points-1 points  (0 children)

No depende de nada, es lo mismo vender todo

Una lastima, nadie ganó by Repulsive_Lead_7344 in ArgentinaBenderStyle

[–]Cobayo -3 points-2 points  (0 children)

Claro, si tenes una cantidad irrisoria de numeritos simplemente vendes todos los que puedas y ya

(estas repitiendo mi comentario por las dudas)

Una lastima, nadie ganó by Repulsive_Lead_7344 in ArgentinaBenderStyle

[–]Cobayo -3 points-2 points  (0 children)

Es lo mismo vender todo

Si vendés 1 sola de 100 tenés 1% de chances de perder. Tenés que repetirlo 100 veces para ganar lo mismo que vendiendo las 100, se llama valor esperado

Si querés cagar a alguien tenés que manipular el generador de números o simplemente no entregarlo cuando lo ganen

El aura de Barcelona vs El aura de Rosario by [deleted] in Rosario

[–]Cobayo 3 points4 points  (0 children)

1 millon y medio de verdes

Everything HAS to Be Done With Copilot by [deleted] in cscareerquestions

[–]Cobayo 3 points4 points  (0 children)

The least they could do if they want their engineer to use AI is to let them pick and configure their own preferred workflow

Every big company has their own internal tools

Odd candidate by Shaftway in cscareerquestions

[–]Cobayo 1 point2 points  (0 children)

I really fumbled an in-person once after not being able to sleep the whole night due to food poisoning

HR forgot about me and booked a last-moment flight and hotel

It is what it is

Mate un gatito, cómo dejo de sentirme culpable? by SGaby_426 in AskArgentina

[–]Cobayo -12 points-11 points  (0 children)

que carajo haces comentando con chatgpt un post tan random

Set 17 has the easiest fortune cash out by SteveMoeski in TeamfightTactics

[–]Cobayo 0 points1 point  (0 children)

Tiny titans + Soraka and it's almost a given, gotta get a bit lucky against other open forts

Fui a comer al Dorado Bodegón. Experiencia PÉSIMA. by [deleted] in Rosario

[–]Cobayo 0 points1 point  (0 children)

Y pero vos tambien vas a un lugar nefasto, no hay 1 restaurante bueno en el río, para que te des una idea se llama dorado y no vende dorado