Hacker News new | ask | show | jobs
by gylterud 303 days ago
The day when LLMs generate useful code with dependent types! That would be awesome!