News for hackers. Stuff that matters.

A comment on Problem solving across 100,633 lines of code – Gemini 1.5 Pro Demo [video].

Re:Problem solving across 100,633 lines of code – Gemini 1.5... by pfdietz on Thursday February 15, 2024 @03:06PM (#39387940)
I want to see something where we have a big piece of code, and a big standards document it purports to implement, and the system can answer questions like "is this part of the spec implemented? Where it is implemented? What does this piece of code mean (w.r.t. the spec)? If I implemented this part of the spec, where would the changes go?"
[ Parent | on HN ]
Re:Problem solving across 100,633 lines of code – Gemini 1.5... by 4silvertooth on Friday February 16, 2024 @03:47AM (#39394682)
How about people just write the spec and AI give us the code on that, that would be mind blowing.
[ Parent | on HN ]
Re:Problem solving across 100,633 lines of code – Gemini 1.5... by pfdietz on Friday February 16, 2024 @06:16AM (#39395539)
Less immediately plausible, though.

A system for converting a natural language specification document into a formal specification would be interesting.

[ Parent | on HN ]