niftycent.com
NiftyCent
IT
Login
Mercato
Sconti

Type-constrained code generation with language models

Article URL: https://arxiv.org/abs/2504.09246

Comments URL: https://news.ycombinator.com/item?id=43978357

Points: 52

# Comments: 11

https://arxiv.org/abs/2504.09246

Creato 8h | 14 mag 2025, 00:30:06


Accedi per aggiungere un commento

Altri post in questo gruppo

Writing that changed how I think about programming languages
Writing that changed how I think about programming languages

Article URL: https://bernsteinbear.com/blog/pl-writing/

Comments URL: https:

14 mag 2025, 07:30:27 | Hacker news
Don't use Wise. They can lock your account at any time. We're down $60k
Don't use Wise. They can lock your account at any time. We're down $60k

Article URL: https://hey.paris/posts/wise/

Comments URL: https://news.ycombinator.com/ite

14 mag 2025, 07:30:26 | Hacker news
Raycast (YC W20) Is Hiring AI Engineer (Remote, UTC ± 3h)
Raycast (YC W20) Is Hiring AI Engineer (Remote, UTC ± 3h)

Article URL: https://www.raycast.com/jobs/ai-engineer

Comments URL: https://ne

14 mag 2025, 07:30:23 | Hacker news
How “The Great Gatsby” took over high school
How “The Great Gatsby” took over high school

Article URL: https://www.newyorker.com/books/page-turner/how-the-great-gatsby-took-over-high-school

14 mag 2025, 05:10:09 | Hacker news
Replicube: A puzzle game about writing code to create shapes
Replicube: A puzzle game about writing code to create shapes

Article URL: https://store.steampowered.com/app/3401490/Replicube/

Comments URL:

14 mag 2025, 05:10:08 | Hacker news
ChatGPT may be polite, but it's not cooperating with you
ChatGPT may be polite, but it's not cooperating with you

Article URL: https://www.theguardian.com/technology/ng-interactive/2025/may/13/chatgpt-a

14 mag 2025, 05:10:08 | Hacker news
Bus stops here: Shanghai lets riders design their own routes
Bus stops here: Shanghai lets riders design their own routes

Article URL: https://www.sixthtone.com/news/1017072

Comments URL: https://news.y

14 mag 2025, 05:10:07 | Hacker news
Techie
Techie