@ghostdancer that is 100% planned and intended. I like teaching but it's time for something new.
@beni Then, congratulations!
@perloid Wait... You wrote October. I read August. This changes everything. I might even make it..
@beni I assumed you were saying you didn't have much leave immediately after joining your new employment in August. If you are able to make it that would be very cool.
@perloid I just thought I can't take a few days of just weeks after starting the new job. But that's three months in, that might work out.
@beni The university I worked at would apportion leave to new starts according to the number of days left in the "leave year" and the annual allowance. That algorithm must be locked into my brain!
@perloid I don't know yet how they'll do it at the new place but I assume it will be similar.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko