Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
barkingcat
63 days ago
|
parent
|
context
|
favorite
| on:
If AI writes your code, why use Python?
get LLM to write ADA and have it use SPARK for verification.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
