←back to thread

207 points todsacerdoti | 1 comments | | HN request time: 0s | source
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 #
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 #
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 #
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 #
ChrisGreenHeur ◴[] No.46003919[source]
Code review exists.
replies(1): >>46003987 #
bgwalter ◴[] No.46003987[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 #
skeledrew ◴[] No.46004108{4}[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 #
auggierose ◴[] No.46004561{5}[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 #
skeledrew ◴[] No.46007927[source]
They literally just made it to do AoC challenges, and shared it for fun (and publicity).
replies(1): >>46008662 #
1. auggierose ◴[] No.46008662{3}[source]
I don't think that contradicts my comment in any way. It's not a programming language then, it is a fun language.