News for hackers. Stuff that matters.
Re:Can GPT-4 *Actually* Write Code? by Jeff_Brown on Friday March 17, 2023 @10:19AM (#35197451)
Tests and type signatures. Hopefully soon, dependently typed signatures.

There are no comments on this comment yet.