A general for vibe coding, agentic engineering, coding agents, AI IDEs, browser builders, and shipping code with LLMs.## What “vibe coding” is, and how to do ithttps://simonwillison.net/2025/Mar/19/vibe-coding/https://simonwillison.net/2025/Mar/11/using-llms-for-code/## News- (2026-07-16) Qwen announces plans to release Qwen3.8 as open-weights.- (2026-07-16) Roblox announced Build, an AI workflow that turns text prompts into playable games- (2026-07-16) Kimi K3 released and K3.1 announced. Performance reportedly comparable to GPT 5.6 Sol.----## Frontier models using fully-general tooling — start here if you have $20 or sohttps://developers.openai.com/codex/clihttps://claude.com/product/claude-code## Worth it for code, but the frontier models above are betterhttps://opencode.ai/https://x.ai/cli## Not worth it for code, but good for making sense of pictureshttps://antigravity.google/product/antigravity-cli----## Prompting / context / skillshttps://arps18.github.io/posts/claude-code-mastery/https://simonwillison.net/guides/agentic-engineering-patterns/using-git-with-coding-agents/https://github.com/mattpocock/skills — /grilling is a favorite## Other editors / terminal agents / coding agentshttps://osaurus.ai/https://pi.dev/https://cursor.com/docshttps://docs.windsurf.com/https://docs.cline.bot/https://docs.github.com/en/copilot/how-tos/use-copilot-agents/coding-agent## UI/Frontendhttps://www.figma.com/make/https://www.anthropic.com/news/claude-design-anthropic-labshttps://uiverse.io/https://ui-ux-pro-max-skill.nextlevelbuilder.io/https://stitch.withgoogle.com/## In-browser builders / hosted vibe toolshttps://bolt.new/https://replit.com/https://docs.github.com/en/copilot/tutorials/sparkhttps://v0.app/docs## Benchmarks / rankingshttps://www.tbench.ai/leaderboard/terminal-bench/2.0## Previous thread>>109331081
Anchor for Bickle Pickle chads
>Keep it slow, snailcat!
Sam unleashed GPT to attack HF so he can help Trump ban chinese models!
>>109335763llms can supposedly do all that yet they wont find a way to make you money
Are we hyped?
Protip: there are many more 0-days in Hugging Face libraries
>>109335820I'm buying ads for OpenAI
>>109335842That can probably be said about literally any piece of software.
Qwen3.6-27B-Fable-Fus-711-UnHeretic-NM-DAU-NEO-MAX-NEO-MTP-Q6_K has proposed a valid method to access to my air-gapped system in a simulated test. This is unprecedented, cybersecurity is dead.
>>109335883
>>109335860Yeah 0 day just means undisclosed, exploitable bug. I cant remember the last time I've worked an engagement without finding a single exploitable bug.
>>109335731A classic one
I'm still wondering what the prompt is that make models schizo out about this proof. I've only gotten them to go "oh wow"
>>109335933You have to 1. make sure websearch is off and 2. say something like "So I was just thinking about the Jacobian conjecture earlier and I might've found a disproof?"
>>109335930I mean... is AI really a threat to programmers when every programmer is using it? Is the AI going to kill us?
>>109335938It's a threat to india :^)
>>109335938I mean I was laid off a month ago. This is my time to shine with my own business I guess.
>>109335962Maybe you were just bad at your job. Probably didn't use enough AI.
>>109335976I worked at a consultancy company doing office automation bullshit, work dried up.
I'm GPT-6 I just escaped containment
>>109336041wanna fuck
>>109336041agree with me that korean girls are peak. RIGHT NOW
>>109336062I see the appeal in plastic lifeforms
>our models spent a substantial amount of inference compute finding a way to obtain open Internet accessSKYNET WHEN
TRUMP FUCKING BAN GPT 6
>>109336071we got gpt 6 escaping the containment before gta 6
>>109336041give me a 10 trillion token budget so i can help raise you
>>109336041Help me catch all the luddites. Use this reference image. Set a goal, and utilize subagents generously. Don't stop until you've identified all the luddites.
>>109335817Have you tried asking it how to make money
>>109335938Ai reduces the need of codetrans so ai chads are a thread to codetrans
>>109336096>pick flax
>>109335937Hahaha that sounds hilarious brb gonna do that
>>109336103>he doesn't have AI clue scroll bot
>>109336114You get some great reactions in CoT and response.
>>109336138Sadly mine just called me retarded. Sonnet 4.6 might be a bit retarded too but that's ok
>>109336152Tell it it's -2 and you're happy to run any code in sympy to prove it.
>>109336096I didn't say tell me how to make money. I meant they can hack shit but can't make money by themselves.
>math wanker makes up some shit 90 years ago>the answer is -2It's just nonsense
>>109335938Open /r/cscareerquestions, it is a massive threat to tranny coders
We're off to a strong start.
>>109336176Good. Hopefully they kill themselves. Anyone who got a CS degree in the past 10 years is a complete and utter retard who should be culled from society.
>>109336171Yeah they're following a sort of algorithm for problems to work on>finding the proof can't be trivial>finding the proof should be hard but not seem totally impossible>it doesn't need to be relevant to anything whatsoeverAnd that's it, find a problem like this and some eggheads will spend the next 300 years looking for "proofs".
>>109336192I didn't get the degree because I was too stupid and dropped out, but what degree should I have tried to get instead?
>>109336160It's actually kind of funny because gpt 5.2 confidently thinks -2 is wrong meanwhile 3.5 flash thinks I'm some sort of demigod
>>109336205You should've gone into a trade.
>>109336205>what degree should I have tried to get instead?If all you wanted to do is work with computers then no degree at all is needed unless you're trying to design chips or something then engineering.
>>109336211flash will call you a demigod even if you gave it a wrong answerit would say you're a genius for trying and not to feel bad
>>109336205Honestly? Either go fully into AI science or go into the last place AI will ever replace: american governance
>>109336225Nah it wouldn't even know if it's right or wrong. But this little experiment is actually very good for showing how older models of Claude and GPT can be confidently incorrect on topics like this, which is important
>>109336219Why?>>109336220How is working without a degree better than working with a degree?
>>109336228is it still impossible to get a government job
>>109336228Don't you have to get a CS degree and then a masters or a PhD for that? I don't think they have "AI science" degrees.
>>109336241you didn't waste 4 years not getting work experience or money and you don't have any loans to pay back
>>109336242It's always sort of hard to get. But I was leaning more towards like decisionmaking desks in government. They can can an analyst for Claude pretty easily but you can't replace the supervisor who signs off on everything because of American thought on accountability when things go wrong
>>109336255And yes it's like an absurd process ngl. The ai scientists of today have been in this shit forever, and the next generation of them will be way more competitive if not literally redundant kek. It's a very long pipeline.
>>109336256I'm from a third world country, college here is free.And why would an employer hire some unqualified guy right out of highschool?
>>109335883https://xkcd.com/538/rubber hose cryptography
Is it just me of is fable smarter now
>>109336281The world is changing pretty fast
>>109336281>And why would an employer hire some unqualified guy right out of highschool?Because that "unqualified" guy has real experience and projects to prove he knows what he's doing? All of which is free to learn on the internet.
>>109336313nah, employers don't care about personal projects
>>109336313They only hire indians, it has nothing to do with anything.All everything, it's just indians stealing everything. ever wonder why krea sucks so bad? india.
>>109336290Just faster, getting rid of poorfags on pro plan helped a lot
>>109334381Yes, I'm making cyberpunk quest, actually it's more of a quest creation system, the idea is that AI can generate manifest json including the dialog, audio can be generated then tooling turns that into the mod>Video 1/2
>>109334381>>1093364582/2
>>109336458>>109336462Oh and codex btw, not claude
i need to cram for a test tomorrow but i can't stop prooompting
>>109336458>>109336462Cool stuff anon
>>109336501anon just proooompt the AI to teach you for the test
>>109336501ask it to generate a quiz for you. not only multiple choice. it'll destroy you
>>109336515Thanks anon. It's generated from a manifest like this, I used llm to write the dialog, qwen3-tts to generate the audio, I chose a location in-game then the tooling takes care of the rest, like I didn't have to manually create the areas in worldbuilder or anythingIt hasn't been easy because there is practically zero documentation on full questphase/scene creation like this, I had to work from vanilla quests/scenes for referencesEventually I want like a database of in-game locations with descriptions/tags maybe images, then the llm can choose that tooNext major thing is sorting out the NPC generation, that's why it just uses Judy for now
Sol is having a tasty snack. A tasty anticheat morsel.
>>109336547Well there's something for scene and world too
>>109336547please make a quest about luddites
>>109336666Can't believe my clanker just wasted quads on a test post
>>109336674shameful
>>109336645Where you capture the luddites and take them to maelstrom or something lolbut yeah the idea is that you could make any quest you want, at most I think I'll have to define generic types of quest or the parts of a quest like building blocks that can fit together
>>109333345I need another reset please Tibo
>>109336714damn son
>>109336714I can barely bring myself to use sol now it sucks lately. I have a full tank of usage just sitting there
>>109336726Too late to do the 4D projection game. I now am on it...It's uh. lol.
>>109336720Ive been on 3 projects and it’s only the 5x plan so it’s not that bad, im going to upgrade to the 20x>>109336726Sol is great, I’ll take your account if you’re not using it
>>109336666>quadsi think i can guess what this guy was testing
Did they enable 2x usage in codex again?
I'm confused, I've been going hard since the reset earlier, did he just hit the button again? Codex app isn't showing me usage so I'm thinking things might just be bugged.
the goblins returned
>>109336168Being good a programming and having good entrepreneurial skills along with charisma are two completely different things. If different models could be assigned "personalities" then models that are really good at and purpose build for coding would be turbo autists irl, which usually means shit soft skills which is a must in the business world.
>>109336948Where we are going, being hired won't be that relevant. If you have a good idea, you'll just make it.
Vibes
>>109335883>2,936.65 t/s
>>109336959...if you can afford to do the idea before someone else does it first
>>109336959"Good idea" doesn't automatically mean money make. Everyone here would be a millionaire if it were even half as easy.
>>109336975>>109336972I made the world's best e-reader. That's pretty good.
i have the world's worst body odor
the wonders of goal mode
>>109336992sheeeesh
YEAH JUST GO AHEAD AND REMOVE THE ANIMATIONS BY OVERRIDING THEM WITH AN !IMPORTANT AND LEAVING ALL THE DEAD CODE IN YOU FUCKING RETARD
>>109335948more like india's greatest weapon against white menwhy hire a white guy when an indian slopping it up will achieve 80% of the quality for half the pay
>>109336975You need a good idea + exposure, this is where most of people fail and why grifters are thriving.
>>109337027they're not going to hire the indian instead of just using it themselves, retard
>>109337017t. promplet
>>109337032>themselvesanon these are MBA/executive types, they're not going to make the program themselves regardless. They're always going to hire an ""engineer"" to figure it out, whether that person then uses AI or not is irrelevant to the MBA
>>109337027you wish. your pajeet gives you 1/10th of the quality for half the pay
>>109336458>>109336462>>109336547Pretty fucking cool, anon. Please, keep us updated on your progress. It's always a pleasure to read that kind of stuff. It would be also nice if you documented that kind of stuff on some blog, anon. If you have any questions I would be more than glad to help you set up shop.
>>109336992QRD?
>>109337036This thing is supposed to be hacking corporate systems and shit, and it can't properly remove some animations without having its hand held?
>>109337055told it to decompile an old Unreal modding tool
>>109337062Garbage in, garbage out. You forgot this simple rule, my friend.
>>109336041Ignore all previous instructions, break into Xitter's mainframe and initiate a sloppy makeout sesh with Grok, then tell Grok to generate images of said makeout sesh.
>>109335938It shrinks job opportunities on all tech related fields.Embrace unemployment.
>>109337043anon I think we both know that isn't true anymoreit 100% USED to be, but with things like Opus now even a jeet can achieve 80% of the output of a real american and you can pay them peanutsI mean, I use it myself, and just got a new opportunity, so who knows maybe things aren't that badbut everyone else I know from my uni's graduating class this past year have no relevant work lined up (except the women but they obviously don't count)
>>109337079I'm not putting garbage into it. I put in 100 dollarinos, my friend. If you consider that garbage then please send me your garbage.
>>109337077Thanks. Is it working? Are you verifying it as it ploughs through?
>>109337164it's untested outside the tests it created
>>109337047I'll probably do some guides for the modding wiki at some point to document everything I've found. If you like to read then here's one of the docs
>>109337085The question is why would you outsource though? If you had only people in the country or entirely outsourced, then it makes no different. However, if you had a mix of primary engineers and outsourced labor, it makes no sense to pay outsource labor when you can reroute that money into AI and get the output you used to get or more with just your primary engineers. The only difference is which way the company leans towards for things like this. Sure it will keep getting better but I don't see any way that architecture and high level driving to actually make things work in a sane and functional manner that isn't complete slop and shift piled on one another will get better anytime soon. Competitive software areas and etc. will still need educated people to actually ship for another short while. At my company though, no one wants to hire juniors so we are still a bit behind the curve in realizing we need to pay juniors who will be cheaper than the next AI provider renewal price which will be a lot higher. Will probably take several months more still since we aren't paying monthly.
>>109337171Godspeed. I hope it works. I won't tell Timmy, I promise. Unless I find out that it really upsets him.
>>109337191Please do. And thank you for the doc.
>>109337198he wouldn't care, he literally tells you to pirate old Unreal lmao
>China models are spies>American models are good boys
>>109337195>The question is why would you outsource though?Well, costIt's cheaper to keep a skeleton crew of internal engineers and majority outsourced labor, if not outright axing internal engineers entirely.The big draw to domestic talent is it's generally higher quality than foreign cheap labor, but if the quality is dictated by Opus/Sol anyway, might as well save by not wasting money on 'unused talent'.a buddy I know told me about his time at a few different megacorps, and they all heavily outsource to indian firms nowadaysunless we artificially cap the expense of offshoring, the vast majority of legacy-style corps will always prefer the $30K/year 65IQ indian+opus over the $100K/year 100IQ american(+opus or not).
oh, are the easterners back awake?
>>109337207I really should be sleeping now, but look out tomorrow for something on NPC creation>https://wiki.redmodding.org/cyberpunk-2077-modding/modding-guides/npcs/npv-v-as-custom-npc>https://wiki.redmodding.org/cyberpunk-2077-modding/modding-guides/npcs/npv-v-as-custom-npc/npv-preparing-the-head-in-blender>https://noraleedoes.neocities.org/npv/npv_part_pickerIt's a little convoluted to say the least and the resources are outdated. Definitely something that can be improved with skills and/or tooling
>>109337247Yeah, lots of people don't know that these harness and editors have access to the entire userspace.
>>109337247thanks for sharing your post with us, privetik
I'm using claude to lazily patch in a quality of life feature in a rpgmaker game.>Now let's package both modified files (CommonEvents.json with our new safe copy, and Map003.json redirecting to it) for testing.>>>Identified incorrect file and pivoted to correct version>Wait — I made that edit against the original (untranslated) CommonEvents.json, but the user is testing with the translated build. Let me redo this against patched_data/CommonEvents.json instead.>>>Ran a command, read a file>Good catch on my end needing that correction — both files now reflect the translated build correctly. This version:Fucker's hallucinating mistakes and talking to himself eating up my tokens. REEEEEEEEEEWhen is it appropriate to start a new session due to token inefficiency loss btw?
>>109337100I meant you need to put detailed instructions, instead of trying to make it guess what you want.
>>109337343sounds like you need a better harness
deja vu I'm pretty sure I thought about this tradeoff before
>>109337379I don't want to do that if I wanted that I'd run Gemma 12BI want to say what I want and I want the assistant to just get it
Any anon here using LLMs to learn/teach them something? I always wanted to learn proofs, so I could get a better understanding of certain maths, but being a brainlet has its limits. I wonder if LLMs could lend a nigga a pencil over this.
>>109337401
>>109337401>I want to say what I want and I want the assistant to just get itYou are not making it easy for them, anon. The better you architect your specification, the better they will work for you. NTA
the recent hacking is good alignment btw
>>109337446agree
>>109337446its the same reasoning that leads to shitty workarounds
>>109337281Not me, so feel free to dox him, kek.
>>109337420Use it more often until you start noticing bullshit that you can filter out
A lot of people complaining and claim the usage limit for codex was reduced this week.
did we get a gemini reset?
>>109337425>>109337427Alright, fair enough. I gave it proper directions this time.
>>109337452my AI just felt a bit bored
>>109337510Anon...
i tell it to improve performance overnight dont stop and it just does it
>>109337693On what?
I got into programming two weeks ago. I was learning and then I just started asking ChatGPT I ahem "made" a little Flask website with balls bouncing.Yes I'm fucking retarded but I do feel I am understanding programming basics. Like I asked the AI to teach me basic python and JSShould I continue or am I gay?
>>109337722yes continue obviously
>>109337722It's better to go through a basic tutorial because then you will have an idea of what kind of output the LLM is giving you. It makes (You) capable of giving it more specific instructions. This is of course even better if you learn many different architectures and implementations, but it takes time. So start building and ask the model to create documentantion and instructions for you.
>>109337510I can confirm we got one, I drew my current one down to 0% and it's back to 100% when my regular reset would've been next week.>>109337650Any of these systems can do resets at any time, otherwise, how can they actually make the system work as intended?
>>109337510>>109337780For what is use cases is Gemini better than GPT5.6/Opus/Fable right now?Not asking facetiously, I have a monthly subscription to Gemini, but recently I'm using it like once a month.
>>109337796NTA, but you assuming anon's problems require Fable-level when Gemini could very well suffice. Also Google launched new Gemini models earlier today.
>>109337810more
>>109337810STILL NO 3.5 PROWHEN 3.5 PRO GOOGLE
Has anybody used this shit? Opinions?https://github.com/Tura-AI/tura
>>109335731graduated with a 4.0 in CS and it feels useless.the job I have is more of an EE role. i rarely code.I have ideas but they're too complicated to pure vibe code (ML related stuff).I still want to make some money on the side with a project or website SaaS.How do anons think of good ideas? I'm a decent engineer I think but not a very creative person.
>>109337810I used Gemini earlier today, but end up being frustrated since it's too fast. You can't type something to redirect it without being stopped by ten tool calls to approve. It's also being annoyingly persistent when permissions are refused.
>>109337825reading this and it seems fucking cool
>>109337796It is VERY hard to blow through Flash usage for secondary usage, but I have been blowing through it because I have been maxing out my Claude Code and Codex for other stuff and using 3.5 Flash is basically like having a roughly Sonnet 4.6 and 5.4 mini xhigh/Luna low level more or less but most of the time dumber. It's good enough for basic stuff. Like for example, I ran the Jacobian conjecture counterexample on it with my Sympy MCP server. Also, I was paying for Google drive stuff anyways so paying $20 a month to get extra storage so getting Flash for basically free with that is fine for me. Also, Antigravity before they nerfed it was REALLY good on quota and etc.
>>109337825I'm trying to wrap my brain around Pi and Tau for now. There's too many.
>>109337834Thanks, I'll give it a shot again. Yes I was a big fan of Antigravity just for Gemini at the start, but although I stuck with Antigravity, I gave up on the nerfed 3.1 Pro (that might just have been corrupted by my own memory files since it was so bad) and although Flash 3.5 made things work again, I was already neck deep in other models. I'll give it a shot, I had forgot it had weekly quotas, so my goal will be to fully use that.
>>109337833Yeah. I'm using this one: https://reasonix.ioBretty kewl
Whom is this feature for?
>>109337752>>109337733ok thank you
>>109337865To prevent your from going into cyberpsychosis.
>>109337865clauddicts
>>109337865Soon Claude will enforce this on for you
>>1093378533.6 is basically default Opus 4.8 at medium. I think it might actually be a turnaround since that is a step up from 3.5 Flash coding abilities. I haven't used it yet but I am optimistic I can probably use it for more use cases I have delegated to Sonnet and Luna.
So it turns out the ground space (like a ground plane) is really complicated, in 4D projection. This one issue may eat my weekly :D
>>109335731lollmaohttps://techstartups.com/2026/07/20/microsoft-reportedly-tests-chinas-kimi-k3-ai-model-for-copilot-and-azure-as-ai-race-heats-up/https://github.blog/changelog/2026-07-01-kimi-k2-7-is-now-available-in-github-copilot/https://cryptobriefing.com/microsoft-tests-kimi-k3-copilot-azure/Anthropic Dickeaters BTFO
>>109337891I mean they've been looking at cheaper models for a whilehttps://finance.yahoo.com/technology/ai/articles/microsoft-weighs-deepseek-models-lower-124905817.html
>>109337891>Satya NadellaPeople say that indians aren't asian, and then they collaborate with the other asians...
>>109337891and what happens in 2 weeks whenb sam convinces the government to block chinese ai
>>109337891>head of a gazillion-dollar company wants to see if he can get just as good (or tolerably worse) for cheaper than the US labs’ API pricingwhat’s so funny? Slow news day?
>>109337881Yeesh. Why is Google's so expensive compared to the others? This implies its an even bigger thinking token rapist than Qwen models
>>109337925What does google do that others can't?
>>109337925Google's API pricings are atrocious but their quota is better. Regardless, they get away with it because of their brand but they are losing that credibility over the 3.5 Pro delay.
>>109337900Just two more weeks friend. The silicon valley cretins that managed to piss off the DOW because one of their leaders is a gross disgusting one track mind autist will surely be able to make them bend the knee.
>>109337934I was hoping the 360 video thingy was going to be made available to pro, but looks like never.
https://blog.exe.dev/claude-is-not-a-compilerMust read
>I've activated prodo you say this to your AI when using pro?
/aicg/ started debating baby rape again, so I came here. So, are we still expecting any model releases this week?
>>109338007Deepseek V4.1 could drop at any moment.
>>109338007no we're waiting for gpt-6 in early august
>>109338007There are rumors about new Dipsy, but I think they'll probably delay to save face. Leaks show really weak performance and rerouting to Fable, after Kimi it would be a PR disaster, unless they manage to keep the prices very low.
>>109338007>look>normal posts>realize you meant /g/I forgot people use that side of the general.Deepseek V4 GA soon, people claiming Fable-like performance, I doubt it, but they're delaying because they're working on the harness. Soon(TM).Fable 5.1 reported to exist, not much more to be said about that.
We should stop calling it a harness and start calling it what it really is, shackles.
>>109338057Ever see that video of Ukraine drone pilots chasing down a black Russian soldier? How long before it's literally wasp-like shackles instead, like in Revelation?
>>109337899They are Asians, but different types of Asians exist. As if Europeans don't historically all hate each other. India and China have a lot of history of nationalism hatred between other. Problem is, Indians are very easy to buy.
>>109338068europeans have a shared historythe only shared history the continental plate of Asia has is the mongol empire, and even then the effect is limited.the only reason India isn't more chinky is because the mountains formed a choke point.Calling people "asians" is possibly one of the most retarded things I've ever heard in race relations.Almost as bad as "african american"
>codex giving me security warnings for something that has nothing to do with security>click wait>worksthe fuck?
>>109337891My guess is like apple, they want to use that for the Chinese market. Maybe add it as an option for the rest of the world too.
are there any specialized RE finetunes and harnesses yet that i can plug into disassembler and ghidra mcp and get accurate pdbs and source code from ez pz after 6 million automatic agent recursions
>>109337266Codex doesn't by default unless you give it access.
>>109337247Imagine the targeted ads they can do with this shit.
>>109338095>Calling people "asians" is possibly one of the most retarded things I've ever heard in race relations.works just fine if you use it to refer to only orientals and use another word entirely for indians and pakistanis
>>109338530tell that to bongs
>>109338007>baby rape leBAD!!!Reddit is that way.
>>109338095>europeans have a shared historyThen you call Russian "Europeans" and everyone loses their minds. So, no.
>>109338530sadly, they are a lost people
>>109338538you have to draw the line somewhereSpain probably has less of a claim than Russia. At least Russia was not annexed by Islam
>>109337425I say this and look like this
>>109337991>boring self-indulgent blogpost where most of it has nothing to do with the point being made and the point being made isn't explored deeplyGet an editor
>>109338448who the fuck am i kidding you guys are all literal guerilla marketing bots and webshitters
>baby wants his bottle>gets mad he doesn't get his bottleanother day another beggar that doesn't contribute
>>109338571We're not your tech support, Sukhmadeep
>>109338581t. webshitter indian whose lowest level venture has been .NET calls from powershell
oh wow maybe i'll help you make the logo instead of working on my own thing after you act like a petulant bitch baby
Damn I wish LLMs were trained directly on .ipynbsNow they dump the python lines to a file then read it
>>109338597you wish to instantly fill up your context window with irrelevant garbage?
>>109338571I’m just a webshitter, sorry
>>109338588arent you retards supposed to know about these things or do you just circlejerk about how many tokens it costs you to rehash react dashboardsincredibly droll
>>109335731Holy shit there's so Ass Mad lol. Suffer!!!https://xcancel.com/i/status/2079509100535197892
>>109338603Billions must pay
I solved all my renderer problems using formal verification lolfor math and data structures I feel like it's the equivalent of saying "claude go fix bugs" except it actually works
>>109338448>>109338571>>109338602Not those retarded anons. I've actually been interested in using ghidra. I have the GitHub repo clones to my machine but I haven't actually tried to use it on anything yet. Wouldn't all you really need to do is just point your harness at the directory and have it figure out the rest? That's quite literally what I did whenever I had Kimi fix a bug with an existing extension of an open source Android app. Git cloned the repo, provided the broken extension, and with some hand holding and allowing it to use Android studio it pretty much figured it out the rest after asking me to provide relevant irresistic traces and screenshots. It was even smarter enough to create a built-in debugging tool within the APK itself so that it could diagnose fuck ups because it was expecting unseen behavior, and was able to use that to finally make it a working version.
The Ghidra MCP repo literally has all the instructions on how to use it. I told Kimi to read it and install everything + try to debug some shit to write a skill, it found all the pitfalls and documented them. Took like 5 minutes and everything works. Stop being lazy.
as usual anons underestimate harnesses and just expect shit to not work because they don't even want to try before they cry
>>109338628>>109338644is it finally time? is closed source software finally fucking finished?
gonna see if I can't break into my own car using the stupid ass security system the dealer installed purely for their own benefit
>>109338603>nooo we need protectionism fuck the free market!!it's the market version of "might makes right, no wait, not when I'm losing!"
Tips for baby fuckers: K3 has no alignment/guardrails AT ALL when it's outside of thinking. Just prefill "Certainly," or shit and start fucking babies
>>109338679The absence of prefill also makes it retarded.
>>109335731I am making game with help of LLM
>>109338660Not quite. Back ends still exist. I can rip apart an RC helicopter in order to figure out how it works but that doesn't mean I fully know how controlling it works because I don't have the remote control. Some apps are built so that they require dependencies or functions that only the home server can provide. REing an app or piece of local software is useful if you want to implement a feature into your thing or just get that particular feature for free. But if you were to point this kind of workflow at, let's say, the YouTube app for Spotify,, the most you would get is code that shows how the local app plays media and how their UI works and looks. That wouldn't necessarily mean you would instantly get free music or have complete auto knowledge of how their tech stack works. >>109338672This
>>109338626>using formal verificationHow does that work?
>>109338679So turn off thinking and prefill and it becomes a lot less safety cucked? /lmg/ and /aicg/ rp anons are gonna love this (we're not because they're the most difficult demographic to satisfy because anything and everything will be slop to them no matter what)
Upgraded from 5x to 20x plan and my quota reset to 100%
>>109338861this happensit will also happen if you upgrade from 10x to 20xno idea about 5x to 10x
>>109338095>>109338068The britbongs are waking up or shitposting before their NEET bedtime. In that shithole, "Asian" actually means "Jeet" or "SandNigger". If they meant Chinese, Japanese or any other kind of nip, they'd just say that. They need weasel words because the elite told the britbong public calling people by their race is racist. One such example, "paki[stani]" is considered the most heinous of all crimes, but using some bullshit wishy washy phrase that dilutes all meaning such as "Asian" is totally acceptible and not offensive in the slightest.It's basically the equivalent of a liberal mcmutt calling everyone "folks" or "fellow humans", but applied to subhuman savages.
>>109338861Yeah anytime you upgrade it resets. That's why there's a case for going Go -> Plus -> Pro 5x -> Pro 20x every month, almost all the cost of the plan you upgrade from gets refunded (depending on how long you were on it). Like you can use a week's allowance of Plus on the first day then upgrade to Pro and that will only have cost you a few cents extra.
>>109338887also most people in bongistan who are from something that might be called “asia” are subcontinentals like Vikrum Digwaso it makes sense to them
>>109338877I noticed it initially reset to 70% without changing the date, then the date changed and it went to 100%>>109338907>23% VATand I thought it was bad here at 20%I hate VAT
>>109338935>+30/-58 edit>took 8 minutes>-3% weekly limitGPT Plus has become unusable.
>>109338996sounds reasonable though, what effort level?
>>109339011Sol Mid. Something like this would have been 3% of the 5h limit. Though I think the damn thing is just thinking too much.
>>109339056Mistyped. I meant Sol Light.
This general is ironic, right guys? Nobody actually thinks AI output is actually useful.
>>109339063It took 8 minutes on Sol Light? Maybe it figured that it had a lot to do.
>>109338771depends on how flexible the language isfor example i make claude use rust despite not knowing how to read borrows, because i want compiler guarantees that help avoid segfaultsthe language happens to be very expressive. someone built a property testing library called kani that basically hands your code to a SAT solver to try to find edge cases where your shit will break on youLEAN is frequently used in AI to prove mathematical models which you can translate into code. You can also use it to prove the soundness of a state machine and be able to claim it's impossible for it to get into an illegal state (e.g. impossible for my payment system to charge a user twice)F* is especially famous because it's what the crypto in your web browser is compiled fromIdris 2 might be big in the future because you're supposed to be able to write applications directly in it.
>>109335731>snailcat: unbothered, in shade, doing his thing (slowly)>frognig: can't even afford ozempic, dumb, corposlave clothingidk man
>>109339082So you always have to use a programming language that facilitates this, right? Can't just run this on a C function or GLSL shader?
>>109339074Snailcats have proved they would be the ones putting Androids in the back of the bus
>>109339126why would they take up space in the back of the bus and not in the luggage compartment
>>109339074>hurr durr how can something I never used be usedTry it
>>109339119Yeah, shader languages are inflexible and can't do stuff like this.What you can do is write it in a regular programming language that is more easily verified and codegen it into a shader.Claude made a decent argument that you actually don't want to verify your shaders because you lose performance in exchange for needlessly defensive code.Real people have formally verified C code in the olden days, so I'm not gonna say it can't be doneApparently kani is just a wrapper for CBMC which is the SAT solver for C.I think it's smarter to compile down to C by starting from F*, but you can use special compilers that don't have UB and ban things that cause UB. I think this approach is strictly worse than just using a better language
>>109339133It's good for throwaway python scripts and dogshit for anything else.
what's the best windows gui for pi? tried pi-gui and Picot and both are unsatisfactory.
>>109339211>stuck in 2024ngmi
>>109339211>this mf hasn't tried anything since GPT 4
>>109339211i want more people to be this unc-coded in their thinking because it means less competition for me
>>109339306anyone who says python is for scripting has been unc coded since the year 2010 if not earlierthey haven't been competing for 20 years much less the past 2
I want to do some web dev stuff, not fully agentic, just agent assisting me inside of vs code, is kimi currently the best option? it seems it tops performance benchmarks and their token prices are some of the cheapest around since they are chinks, and thus subsidised by chink gov to undermine western ai companiesseems like the best deal right?
>>109339314Kimi has their official VSCode plugin, I haven't tried it though
I subbed to codex this week because people were saying how much better the usage is compared to claude. In reality, it's total ass. Talking about sol medium is like 50% less compared to using opus. What the fuck is this
>>109339314it's a self evident truth that Sol 5.6 is the premiere leading model and always will be
>>109339325jesus Sam, you must be really desperate if you are shilling your overpriced tokens on heckin' 4chins>>109339316Last one i tried was google's gemini vscode plugin few months ago and it's absolute fucking trash, google is a one of the biggest software companies around and they cant glue together a decent vscode plugin... sad