Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
tbenst
on April 9, 2019
|
parent
|
context
|
favorite
| on:
Aroma: Using machine learning for code recommendat...
Checkout the work on homotopy type theory and proof assistants like Coq
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
