On: Ask HN: Academics who switched to industry, what's your experience been like?

[k__]

Better payment and people didn't care about proofs anymore.

It's okay to leave a few edge-cases out if it simplifies the solution drastically and doesn't lift the error rate too much.