Most active commenters
  • keepamovin(3)

←back to thread

207 points todsacerdoti | 15 comments | | HN request time: 0s | source | bottom
Show context
keepamovin ◴[] No.46003360[source]
Yes! I'm currently using copilot + antigravity to implement a language with ergonomic syntax and semantics that lowers cleanly to machine code targeting multiple platforms, with a focus on safety, determinism, auditability and fail-fast bugs. It's more work than I thought but the LLMs are very capable.

I was dreaming of a JS to machine code, but then thought, why not just start from scratch and have what I want? It's a lot of fun.

replies(2): >>46003545 #>>46003596 #
1. 64718283661 ◴[] No.46003596[source]
What's the point of making something like this if you don't get to deeply understand what your doing?
replies(5): >>46003727 #>>46004046 #>>46004193 #>>46004632 #>>46004988 #
2. My_Name ◴[] No.46003727[source]
What's the point of owning a car if you don't build it by hand yourself?

Anyway, all it will do is stop you being able to run as well as you used to be able to do when you had to go everywhere on foot.

replies(1): >>46003761 #
3. purple_turtle ◴[] No.46003761[source]
What is the point of car that on Mondays changes colour to blue and on each first Friday of the year explodes?

If neither you not anyone else can fix it, without more cost than making a proper one?

replies(1): >>46003919 #
4. ChrisGreenHeur ◴[] No.46003919{3}[source]
Code review exists.
replies(1): >>46003987 #
5. bgwalter ◴[] No.46003987{4}[source]
Proper code review takes as long as writing the damn thing in the first place and is infinitely more boring. And you still miss things that would have been obvious while writing.

In this special case, you'd have to reverse engineer the grammar from the parser, calculate first/follow sets and then see if the grammar even is what you intended it to be.

replies(1): >>46004108 #
6. johnisgood ◴[] No.46004046[source]
I have made a lot of things using LLMs and I fully understood everything. It is doable.
7. skeledrew ◴[] No.46004108{5}[source]
Author did review the (also generated) tests, which as long as they're comprehensive enough for his purposes, all pass and coverage is very high, means things work well enough. Attempting to manually edit that code is a whole other thing though.
replies(1): >>46004561 #
8. afpx ◴[] No.46004193[source]
How deep do you need to know?

"Imagination is more important than knowledge."

At least for me that fits. I have quite enough graduate-level knowledge of physics, math, and computer science to rarely be stumped by a research paper or anything an LLM spits out. That may get me scorn from those tested on those subjects. Yet, I'm still an effective ignoramus.

9. auggierose ◴[] No.46004561{6}[source]
That argument might work for certain kinds of applications (none I'd like to use, though), but for a programming language, nope.

I am using LLMs to speed up coding as well, but you have to be super vigilant, and do it in a very modular way.

replies(2): >>46005880 #>>46007927 #
10. keepamovin ◴[] No.46004632[source]
I want something I can use, and something useful. It's not just a learning exercise. I get to understand it by following along.
11. ModernMech ◴[] No.46004988[source]
If they go far enough with it they will be forced to understand it deeply. The LLM provides more leverage at the beginning because this project is a final exam for a first semester undergrad PL course, therefore there are a billion examples of “vaguely Java/Python/C imperative language with objects and functions” to train the LLM on.

Ultimately though, the LLM is going to become less useful as the language grows past its capabilities. If the language author doesn’t have a sufficient map of the language and a solid plan at that point, it will be the blind leading the blind. Which is how most lang dev goes so it should all work out.

replies(1): >>46005189 #
12. keepamovin ◴[] No.46005189[source]
Lol thank you for this. It’s more worth I work than i thought!
13. ◴[] No.46005880{7}[source]
14. skeledrew ◴[] No.46007927{7}[source]
They literally just made it to do AoC challenges, and shared it for fun (and publicity).
replies(1): >>46008662 #
15. auggierose ◴[] No.46008662{8}[source]
I don't think that contradicts my comment in any way. It's not a programming language then, it is a fun language.