Remix.run Logo
▲ greggoB 2 hours ago

Can you offer any specifics? The ToC looks quite extensive, which to me indicates a lot of design decisions needed to be made (probably involving many people) and unclear how that process might be accelerated by AI.

Unless you're suggesting the language design should also be vibed together?

▲nvme0n1p1 2 hours ago | parent [-]

> Unless you're suggesting the language design should also be vibed together?

Sounds like a fun little project, have a bunch of AI pushers fork Zig and see if they can do a better job. I want to see results, not snarky HN comments. After all this progress, ChatGPT should be able to one-shot a better language since AI is so good now... right?

▲spankalee 2 hours ago | parent | next [-]

One-shot, no, but there are a bunch of people pretty much solo-building their personal ideal language with AI and it's going quite well. You need to know just enough about language design to be dangerous, but you don't need to be a seasoned pro.

I'm doing it myself: https://zena-lang.dev/

▲0c3ca83 18 minutes ago | parent | next [-]

It seems like such a strange thing to do, building a language that you aren't going to write by hand. It's guaranteed to perform worse at higher cost, fill up a lot more of the context window, and burn a ton more reasoning tokens.

If you're using AI, a language with a large training set is going to win.

▲Karrot_Kream 2 hours ago | parent | prev [-]

Been thinking about doing this myself (did some PL in grad school but it's been a long time), but I find myself wanting to reach for a Scheme (using macros to grow the language I want) and customize it or build something atop Janet.

Curious why you wanted a more ML / Rust / Scala inspired syntax. (Personal preference here is totally valid btw, just curious.)

▲agentultra 2 hours ago | parent | prev | next [-]

Claude can’t one-shot a C compiler.

None of these systems can. They need enormous training. They need alignment and reinforcement. They need harnesses. And most importantly they need a human that knows how to write and develop a C compiler.

The ISO specifications are not sufficient. Neither are the System V guidelines. Not even spec tests and compcert.

▲UncleOxidant 2 hours ago | parent | prev | next [-]

You're not going to one-shot it, but over the course of a couple of months of evenings you could come up with something usable/interesting if you manage the LLM well.

▲IshKebab 2 hours ago | parent | prev [-]

Nobody is one-shotting big projects. Even humans can't do that.

▲DASD an hour ago | parent [-]

Fabrice Bellard might be an exception.