News for hackers. Stuff that matters.

A comment on Type-constrained code generation with language models. Parent comment

Re:Type-constrained code generation with language models by johnmw on Wednesday May 14, 2025 @03:49AM (#43982003)
Those who agree might be interested in "Introducing TypeChat" by Anders Hejlsberg + others (2023) [1]

[1]: https://microsoft.github.io/TypeChat/blog/introducing-typech...

[ Parent | on HN ]
Re:Type-constrained code generation with language models by dcsan on Wednesday May 14, 2025 @04:28AM (#43982224)
Wish this project had more traction. Typechat with type checking could generate lots of synthetic data for model training too
[ Parent | on HN ]