4 minutes read | 694 words by Ruben BerenguelSome links are affiliate links
Next week I start a new job 😮
After almost 5.5 years in Hybrid Theory (more exactly, 2000 days!) I was ready for a new challenge, which starts on August 9th. Stay tuned to find out what it is!
Also, this week I got a Mac Mini M1, and it works surprisingly well. Only issue I’ve found so far is that Stellaris doesn’t start properly from Steam, but works from the CLI and that stack tries to find an ARM based GHC and fails, can be fixed by installing a secondary Intel stack via Rosetta2 and using that to install an Intel binary. A bit convoluted but ok so far, I guess for editing it won’t look pretty.
This is a short and pretty to the point tutorial you can play with online. If you skip the longer exercises at the end, can be done in 15 minutes or so. Highly recommended, now I can see myself using Z3 for something.
Careers aren’t a linear ladder. Careers are one mechanism to check the “yes” box for questions such as: Is my family cared for? Do I have purpose? Can I do what I love? etc. Different questions for different people. A straight path rarely guarantees “yes” to all of it. Do you.
I’m moving from lead data engineer to senior data engineer. Does not compare, but in a way, does.
I had thought the presentation compiler was a thing of the past, but this shows how wrong I am (which is very wrong, worse is that I had checked the source of metals at some point for a hackathon, I have a merged PR in one of the “meta” libraries).