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