Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
gylterud
4 days ago
The day when LLMs generate useful code with dependent types! That would be awesome!
