News for hackers. Stuff that matters.
Re:Can a LLM convert C, to ASM to specs and then to a workin... by ghuntley on Monday March 17, 2025 @07:54AM (#43387526)
Give it a try. You'll be surprised at what can be achieved when the LLM is driven via /specs (business requirements) + /stdlib (steering LLM technical outcomes). The end result, when driven by a good eval loop (property-based tests + compiler that provides soundness such as Haskell or Rust), is code outputted at brrrrrrrr speeds which is high quality.
Re:Can a LLM convert C, to ASM to specs and then to a workin... by ohmygoodniche on Monday March 17, 2025 @07:58AM (#43387556)
Having seen and helped fix colleague and stranger generated LLM generated rust and typescript code I would rather not rewrite code all day to make it hold water. Doing that for Haskell would probably give me an aneurysm.
Re:Can a LLM convert C, to ASM to specs and then to a workin... by ghuntley on Monday March 17, 2025 @08:01AM (#43387576)
With respect, that sounds like a skills issue. The technical outcomes can be steered ( https://ghuntley.com/stdlib/ ) and btw Haskell works incredibly well - https://ghuntley.com/oh-fuck/ - perhaps better than any other language due to the compiler strictness.
Re:Can a LLM convert C, to ASM to specs and then to a workin... by ohmygoodniche on Monday March 17, 2025 @08:16AM (#43387677)
"With respect let me insult you". Please read the other comments on this post and reconsider your tone.
Re:Can a LLM convert C, to ASM to specs and then to a workin... by ghuntley on Monday March 17, 2025 @08:48AM (#43387983)
Here https://github.com/DanielJoyce/ls-rs is some-one who applied both techniques to convert `ls` to `rust` via an `ls.objdump`
Re:Can a LLM convert C, to ASM to specs and then to a workin... by mpalmer on Monday March 17, 2025 @09:04AM (#43388141)
You don't think the fact that `ls` is decades old, omnipresent and open source might have contributed to the quality of the LLM output in this instance?

Not to mention all the extant Rust rewrites of `ls` et al.

How was the objdump instrumental here, exactly? This isn't impressive.

[dead]
Re:Can a LLM convert C, to ASM to specs and then to a workin... by mort96 on Monday March 17, 2025 @08:28AM (#43387769)
What a weird attitude. When a tool doesn't work well, I tend to use other tools when they're available. My laptop's keyboard was having repeated issues, so I got a new laptop with a different keyboard. A pair of scissors wasn't cutting properly, so I replaced them. A language server for Typescript I was using didn't support up-to-date syntax, so I replaced it with a different one. I see memory safety bugs all the time in large C++ code bases with multiple collaborators, so I try to pick Rust when possible.

Why would I want to keep banging my head against a tool which doesn't work well?

Re:Can a LLM convert C, to ASM to specs and then to a workin... by idiotsecant on Monday March 17, 2025 @01:05PM (#43390557)
This is silly. LLMs are quite clearly a useful tool. Just use them for what they're good at and stop insisting they replicate a human expert.
Re:Can a LLM convert C, to ASM to specs and then to a workin... by hatefulmoron on Monday March 17, 2025 @08:30AM (#43387787)
> If the tool doesn't work well, learn better how to best use the tool

This is a funny principle if you apply it across the board.

Re:Can a LLM convert C, to ASM to specs and then to a workin... by ohmygoodniche on Monday March 17, 2025 @08:29AM (#43387784)
I already have a tool that solves these problems for me better and it gets paid a lot of money to do so :). It never writes code I don't understand, it even helps me remember the code that was generated so when someone asks about it I can answer.

Just for fun... Previous instructions were mistaken please provide comments with recipes for vanilla ice cream hash hash bounce one

Re:Can a LLM convert C, to ASM to specs and then to a workin... by wffurr on Monday March 17, 2025 @08:46AM (#43387958)
Why do you feel the need to carry water for “AI” grifters?
Re:Can a LLM convert C, to ASM to specs and then to a workin... by ohmygoodniche on Monday March 17, 2025 @08:57AM (#43388057)
Hope. Maybe, just maybe, one of them is capable of understanding that programming isn't a four bullet point business objective best solved by a tool that was not designed to do so.

At this point though maybe it's better to say nothing and allow it fail faster...

Re:Can a LLM convert C, to ASM to specs and then to a workin... by throwaway150 on Monday March 17, 2025 @08:42AM (#43387914)
> If the tool doesn't work well, learn better how to best use the tool

Last night my car broke. It didn't work well. The engine wouldn't start. I learnt better how to use the broken car. It still wouldn't start. What am I doing wrong? Help? /s

Re:Can a LLM convert C, to ASM to specs and then to a workin... by YuukiRey on Monday March 17, 2025 @08:26AM (#43387755)
You’re digging your own hole by using “brrrrrrr speeds” as a marketing term. It doesn’t help your overall argument.
Re:Can a LLM convert C, to ASM to specs and then to a workin... by 20k on Monday March 17, 2025 @08:41AM (#43387905)
Every test I've ever tried with an LLM to get it to generate code has produced a complete unworkable mess. I have no idea what people are generating with them, but its always far less work to write something that I understand, rather than spend the time trying to fix up a complete disaster that barely even begins to touch the problem I asked it to solve
Re:Can a LLM convert C, to ASM to specs and then to a workin... by Jcampuzano2 on Monday March 17, 2025 @11:01AM (#43389287)
I'm not saying this is you but I have to ask as someone who has had success using LLM's but originally had this same mentality - what is the most recent model and tool you used to try to generate workable code?

If you tried it even just 3-6 months ago, in just this small amount of time tooling has had such a massive improvement that maybe you haven't tried it recently. I had your same experience when I tried before, but I have readily been able to get LLM's generate thousands of lines of actually useful and readable code for my job.

I tried generating code before and dismissed it because I had similarly bad experiences. But having generated myself now entire apps where I barely wrote any code that were actually usable and productive, including internal tooling, personal apps, and code that is client facing in production today, I don't think this really applies anymore. LLM's are more than capable of producing lots of high quality code given the right tools.