Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
trealira
12 months ago
|
parent
|
context
|
favorite
| on:
The language brain matters more for programming th...
This is just a guess on my part, but I'd also bet that writing inductive proofs (or proofs in general) require more of the language brain than just doing math problems.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: