News for hackers. Stuff that matters.
Re:Type-constrained code generation with language models by muglug on Tuesday May 13, 2025 @09:00PM (#43979609)
Really cool results!

That this research comes out of universities, and not large AI labs, makes me think those labs believe that larger models are still the way to go.

Re:Type-constrained code generation with language models by aibrother on Tuesday May 13, 2025 @09:42PM (#43979838)
+1 this seems like healthy development
Re:Type-constrained code generation with language models by nielstron on Wednesday May 14, 2025 @02:16AM (#43981409)
thank you!