top | item 44899036 (no title) gylterud | 6 months ago The day when LLMs generate useful code with dependent types! That would be awesome! discuss order hn newest No comments yet.
No comments yet.