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
Conversation
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
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!
1
1
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
Replying to
Other cool things to look at are Smalltalk/Pharo, Self, Factor, and MPS.