Thanks!

Thanks, will do 🫡

There’s a spectrum of how automatic things get in different languages but there’s the issue of making it an unobservable optimisation, and also making it not over parallelise. There are lots of interesting approaches in academia but nothing really in mainstream languages and nothing that definitively solves the problem. That being said, I also do not solve the problem lol, I just offer a potential direction that could.

Fun fact: you can email authors of papers and ask for a PDF. Authors don’t get paid when you buy a paper (in fact it usually costs money to publish) and they’ll generally be happy to send out their work to anyone interested.

Thanks. The type system of the language has some interesting novelty but my key research area is automatic parallelisation of code written in that language.

Currently working on my PhD thesis which is due at the end of the month. I’m cutting it quite close but if everything goes according to plan I should have it all done on time.

Source: a friend of mine personally telling me what happened the last time he was in mainland China.

Friends of mine who have moved away from China. One of them had police at their door in China for social media posts that were friendly to Uyghurs (not even anything to do with the genocide, just general friendliness as a “we’re all Chinese” kind of message). Being taken to police stations for even slightly questioning the state narrative is terrifying.