I love being able to put my brain cells at lean, coq, haskell. All the fun stuff... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

tossandthrow 3 months ago | parent | context | favorite | on: I’m spending months coding the old way

I love being able to put my brain cells at lean, coq, haskell. All the fun stuff. And have my money job taken care of mostly with agents.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact