Zulip Chat Archive

Stream: general

Topic: any lean user who didn't go to or finish college?


Bulhwi Cha (Aug 20 2024 at 06:10):

Is there any Lean user who didn't go to or finish college? I dropped out of high school, passed a high school equivalency exam, entered Korea Aerospace University, and then dropped out of university last year.

Timo Carlin-Burns (Aug 21 2024 at 23:28):

I graduated from an unconventional high school, didn't think I needed a college degree, worked at a tech company for a year and a half, then decided to go to college, studied social subjects for a year and a half, decided not to continue, and now I'm about to take some math courses at a different university

Tomas Skrivan (Aug 22 2024 at 00:42):

I dropped out one stage later, out of my PhD, and hey I'm doing research anyway now :)

Brandon Harad (Aug 22 2024 at 01:04):

I've been working with Lean for a few months, and I'm still a high schooler.


Last updated: May 02 2025 at 03:31 UTC