Unsurprisingly the university was disappointed with my progress and my mental health was suffering, so at the end of my last internship I decided to drop out, again. No job offers from my host companies though (my mental health was partly to blame).
14/25
Conversation
Thankfully I managed to find a job working at a startup for a bit over two years. I learned a bunch of stuff over that time, but trying to satisfy both my career and my side interests took a toll, as did trying to mitigate the 'move fast and break things' approach at work.
15/25
1
2
The startup grew, and I got to see it in many different stages, seeing the associated pains, and also the troubling effects of investment funding, and a troubling disdain from leadership for anything that 'seemed too academic'.
16/25
1
2
After a long break in Europe I decided to look for another job. Thankfully, my connections led me to quickly finding a new job, in Rust! They were incredibly supportive of trying to apply academic research to the real world!
17/25
1
2
So now I find myself getting paid to learn exactly the stuff I wanted to learn in university - alas without much support from experts. I do my best though. It's tough, challenging, but deeply satisfying and fulfilling. I'm very thankful to be in this fortunate position.
18/25
1
2
I'm now finally starting to get a handle on my mental health, but it's a work in progress. It seems most of my problems stem being distractable and insatiably curious about everything (probably ADHD), which leads me to avoid important things, leading to anxiety and stress.
19/25
1
2
I don't know what this decade will hold. More and more climate change is on my mind, and it seems like the window to explore some of the fascinating things I'm interested in is closing. It's terrifying, but I know I can't let it overwhelm me.
20/25
1
2
My professional goals this decade are to take what I've learned in applied programming languages and combine it with my artistic and world building interests. So more voyager3.tumblr.com! But who knows, I might get distracted by something else… we'll see! 😅
21/25
2
4
I also want to try to leverage some of the things I've learn from design, industry, and the theory, and see what's possible when these things are combined in interesting ways. For more on this check out: gist.github.com/brendanzab/eba
22/25
2
1
Hazel would be interesting to watch for the parts about structured editing, and compilation with holes and more
1
1
Replying to
Yeah, very interested in Hazel, I'm keeping my eye on it! There are a bunch of other cool languages in this space at the moment!
I also find Alfa pretty inspiring:
Quote Tweet
Just tried the Alfa proof editor (cse.chalmers.se/~hallgren/Alfa/) and now I'm wondering why structure editors stayed niche. Took me 5min to get faster at this than I am in Agda w/Emacs.
I wish there was a web interface à la Hazel (hazelgrove.org), maybe I'll take a stab at it.
Show this thread
1
Nice ! Thanks for the link :)
1
Show replies