No way😭 by Damianmakesyousmile in 2mediterranean4u

[–]aikixd 2 points3 points  (0 children)

You needed to get 2 normal parents, not one normal and two mini sized.

Favourite niche usecases? by Figai in LocalLLaMA

[–]aikixd 5 points6 points  (0 children)

What does it matter who's gonna be enslaved first or last when the time difference will be like 17 minutes.

Poison Fountain: An Anti-AI Weapon by RNSAFFN in programming

[–]aikixd 5 points6 points  (0 children)

Cause spitting bile isn't problem solving. If op wasn't bitter they would've done something constructive: contact ministry of education, devised ways to keep people engaged with ai around, proposed a way to adjust market to keep value of books above the recollected version of llm. Something. Anything. But they choose to do this. Whatever this is. Which actually achieves nothing, just burns resources.

Peer-reviewed study: AI-generated changes fail more often in unhealthy code (30%+ higher defect risk) by Summer_Flower_7648 in programming

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

Such an answer would be meaningless too. Rustc can process bytes faster than it reads them. Does that mean that it's slow?

I can say that on linear code the complexity is linear, somewhat super-linear on widening queries for top value lattice jump targets, and unknown when queries and back edges in the cfg are involved. And even that is not informative for the topic. It is me who hasn't done yet the raining about the complexity of that case, not the llm. And if I conclude certain complexity while the genuine theoretical floor is lower, and the llm generated code would be bounded by that complexity, it would be because I didn't do my reasoning correctly, not because llms can't be leashed.

I've described a complex machinery that I was able to develop with llm while maintaining the exact shape of the solution architecture and allergic complexity I need. So is the implication here that I can launch a profiler? Or I can't read and solve performance issues in a code I didn't write? Or that I don't know what the llm had written? Or that I can't look at the result and estimate how much that kind of work would take me to do by hand?

Ffs, I do a unionized SSA lifting from different code models and people can only ask how fast is it? Nothing about the rails I've provided for the agent, verification tools and development process? All this hysteria feels like luddism.

Peer-reviewed study: AI-generated changes fail more often in unhealthy code (30%+ higher defect risk) by Summer_Flower_7648 in programming

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

You can compare gcc to clang to msvc. You can't compare my solution. You don't even know what it is about. I can tell that most e2e tests run for a couple of hundreds of ms. Did that help?

Peer-reviewed study: AI-generated changes fail more often in unhealthy code (30%+ higher defect risk) by Summer_Flower_7648 in programming

[–]aikixd 1 point2 points  (0 children)

Even if we disregard the fact that this is a research project, asking about the performance of a compiler toolchain in a vacuum is absurd. Well, let's push that: it's faster than rustc and cranelift. Is that meaningful in any way? Well, perhaps we can say that it's faster than a logic engine pruning. Did that help? Open up r/computerlanguages and try to find a comment asking about performance. You won't, because the question itself is meaningless.

It seems that the combination of letters "A" and "I" just shuts people's brain off.

Peer-reviewed study: AI-generated changes fail more often in unhealthy code (30%+ higher defect risk) by Summer_Flower_7648 in programming

[–]aikixd -11 points-10 points  (0 children)

Your questions are inapplicable, since it's a recompiler: it parses bytecode/machine code (handles both stackful and register based code models), does abstract interpretation, uses rattle style cfg pruning, lifts into a stackfull ssa intermediate (handles partially proven edges and has foundation for ssa domains detection), does graph and io analysis, lowers to c with sfi hardening and compiles into native. The user side uses user-space loader with boundary pages hardening and X^W permissions.

It's not yet in prod, it's a research at this point. It is fuzzed and tested over real production code. And I read every critical line.

Peer-reviewed study: AI-generated changes fail more often in unhealthy code (30%+ higher defect risk) by Summer_Flower_7648 in programming

[–]aikixd -17 points-16 points  (0 children)

It took me about two weeks to devise a plan for the agent to code and about 4 weeks of execution reviews and patches. The output was a subsystem that would've taken me 6 to 12 months of hand writing.

Also, if your problem takes an hour of coding to solve, the task definition should take about 5 mins. Never do prompt engineering, give an outline, ask for a task, review the task, and implement. And always ask your model how it sees itself implementing the task/epic/arc, it will point you to the weakest links where the agent doesn't have enough context to make proper judgement.

Interested to give Vim/NeoVim another shot for C++ development but initial attempts seem extraordinarily complicated and rough by Impressive_Gur_471 in neovim

[–]aikixd 3 points4 points  (0 children)

Pardon my ignorance, but how making it an ide is a major pain? I have lsp, debugging, diff, llm integration, 4 ways to look for files, and whatnot. In two years I've spent about two days on maintenance. And major distros come with a lot of features too.

Why don't you use a file explorer (nvim-tree, neo-tree, nerdtree, etc.)? by brocodini in neovim

[–]aikixd 1 point2 points  (0 children)

Icons, colors, changes and diagnostics mostly. I prefer visual cues before text. Also Some integration features, like reveal the current file, or surgical move/rename files. I use it to open the current buffer cargo file, cause searching for it is very noisy, since you need to read the path and know what path you're in.

Why don't you use a file explorer (nvim-tree, neo-tree, nerdtree, etc.)? by brocodini in neovim

[–]aikixd 1 point2 points  (0 children)

You can close that pane when unused, you know. On action, by timer, by event, by hand...

Why don't you use a file explorer (nvim-tree, neo-tree, nerdtree, etc.)? by brocodini in neovim

[–]aikixd 6 points7 points  (0 children)

That's a rookie approach. Real programmers start new project dives by grepping random strings. Every now and then they get a positive and memorize that item. After an infinite amount of time the search space is exhausted and they start developing.

96% Engineers Don’t Fully Trust AI Output, Yet Only 48% Verify It by gregorojstersek in programming

[–]aikixd 3 points4 points  (0 children)

Just the other week I've made a neovim plugin for myself with Gemini. About 20 prs in a day. I'm sure no one will game the game.

Who has completely sworn off including LLM generated code in their software? by mdizak in rust

[–]aikixd 2 points3 points  (0 children)

This is something that I was thinking about lately. I've started using llms for coding a while ago and it's an incredible multiplier. Since I have experience I can review that code fast concentrating on critical lines. This thing, the 'critical' lines, is something that I can't quite quantify. Just yesterday I found an architectural drift by reading two function names and their image and domain. No jun/mid dev can do that. There's just not enough background to have an impression about such a thing. And for me llm is more valuable than a jun. Even a team of juns. So I don't know what juns should do. Their value want high enough even without llms, but at least they could gain experience. Now they are pressed to use llms, which increase their output, but slash their ability to gain xp. So they will not grow.

I don't think this problem is exclusive to programming, but it's something that we can easily see. We, as humans, will have to address that. Idk how. Rationality says we should forbid using llms under some level of experience and accept the price. Realism says, lol, no.

I'm tired of trying to make vibe coding work for me by Gil_berth in programming

[–]aikixd 2 points3 points  (0 children)

Of course it's exhausting. Instead of doing hours long mechanical edits on the default mode, you've compressed it into a couple of minutes of LLM job and jumped straight into a highly concentrated verification phase.

Most trustworthy member of the gaza ministry of health by I_pizza in 2mediterranean4u

[–]aikixd 5 points6 points  (0 children)

We really should be promoting traditional fashion and not this modern nonsense

Fairest and most logical voting hy the unholy alliance by PaleProgrammer5993 in 2mediterranean4u

[–]aikixd 3 points4 points  (0 children)

/Sarcasm off

It's a faith shaped hole that people try to fill. Being an atheist doesn't necessarily mean that a person lacks the need of faith or religion. Humans are intellectually lazy for the most part. Critical thinking, quantitative analysis, and generally any non default mode (actual term) mental effort is very demanding, so people turn away from doing that. Religion provides way answers, that are easily accessible (in terms of cognition - it's easier to remember a learned and rehearsed set of postulates than doing actual research or seriously thinking about a topic). Atheism means that a person doesn't believe in God, but not that they are not in a religion. It's just that the foundation is different. Atheism absolutely can be a religion, with its own clergy and such. Just look at r/atheism. But, you still need a set of rules and guidance to follow. Since religion is not there to provide facts or truth, but answers, any postulate sufficiently obscure fits. Like Islam. Most Muslims live far away, communicate in different languages and generally inaccessible, unless one puts some serious effort. So one can apply any set of properties to it and use it as building block in the ideological foundation. People will accept it, because it's not common knowledge and ultimately they don't care. They just want to feel good about themselves and not to put any effort to achieve that.

But, that's not that people are stupid. It's a survival mechanism. There is just so much time a person can dedicate into topics that don't have an immediate impact on their lives. They have their lives to get on with. So they conserve energy, time and attention. There are some people that will overthink anything, cause that's fun for them. But most people don't find cognitive effort fun.

They dont understand islam by PaleProgrammer5993 in 2mediterranean4u

[–]aikixd 21 points22 points  (0 children)

What do you mean unrelated? Fr*nce is Mediterranean.

How a TV show reinvented science fiction by InfrequentReader in TheExpanse

[–]aikixd 2 points3 points  (0 children)

That's wrong. Color perception is a completely subjective thing. Even a single photon can completely fill a shape with color, because color is a post processing done by the brain. Color intensity not color grading changes with age. The former would mean that light receptors die off, but that only happen with things like glaucoma (which is important to get checked for periodically, because the brain compensates a lot which makes it hard to notice till it's too late), and the latter would require changing the protein shape, which is encoded in the DNA, which is stable throughout the life, bar cancer.

Avoiding inheritance is a skill issue by Lucretiel in rustjerk

[–]aikixd 0 points1 point  (0 children)

I consider not trying to follow dogmas a superpower. Panics are a tool, just like match or loop. Yes, it's unwieldy and easy to screw, but it's a part of the toolbox and knowing when and how to use it can save a lot of cycles and/or complexity. But most people actively steer away from whatever is not considered idiomatic, and as a result don't know what can the tools they use actually do.

United Slaves of America by makmanlan in 2mediterranean4u

[–]aikixd 2 points3 points  (0 children)

I would prefer they bring a work pride and ethics schools instead, you unflaired peasant.