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

> They skip steps in writing because they can generally do them and it obscures the flow of the argument to have every thing spelled out.

They do that in lean too; that's the idea of simp.



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: