@yacineMTB *on my machine ofc. Ur on omarchy with hyprland, so u might get blacklisted out for being a f*ggt. Im on troonix, KDE Plasma 6, wayland, works good enuf, ive done serious work.
@yacineMTB Ive used it well, works nice. If on free plan ur cucked on any proprietary codecs/is a pain if you need them, since the OS doesnt bundle them unlike OSX/Wintoes or some bs who knows. You'll need to pay for davinci studio, then it's utterly painless there. Software def works doe!
@ShitlibRapist@MythoMAGA It seems they called him at the start if you listen, and i think he heard it, even getting the further instruction later to proceed out, which he ignored, so, i can never quite figure out what in the fuck ensued there and afterwards with trump ๐คฃ
I've realized something. Life is so good. LLM's are "just a statistical machine." In the highest sense. Im drunk as fuck. Philosophy was right. Humans win. Im crying. At least for a while longer. It's so true. God bless life.
@jxnlco@BjarturTomas Yes!! But I'd need you to tell me what kind of format would work best. I have only a rough idea, but there's a lot I could provide. For example, would a massive dataset of mined theorem/proof pairs work? How granular steps should be? Would making it interactive help? Etc.
@alxfazio atp my cope is that it's just a twitter trend / engagement farm to larp the macbook ajar shit. if you don't already know about caffeinate or some cute wrapper app for it, the fact that u didn't even bother to ask an LLM is just...
@sama right now most of the burden is on the human, or a lot of prompting around and praying with a model's current potential for this, to paradigm shift, refactor, point it, stop it from doing hacky shit too long, reading the code, making judgements, etc. Point RL in this direction.
@sama LLM is coding bullshit. That's normal science. Then as bullshit accumulates, we paradigm shift. Right now, it's too walk the stack-y though for code. Initial code is usually pre-science. Malleable. Searching for a star. Finds a star, or it emerges basically from the bullshit.