News for hackers. Stuff that matters.
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.
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.