@Proof_by This view of the Arm/POWER` memory model?
From https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test7.pdf
@stephenrkell it’s mentally exhausting. I’m juggling finalising a paper resubmission, starting a new collaboration, exploring a new paper with an existing collaborator, helping with a large grant application, trying to sort out a talk, co-organising a workshop, and will soon need to start my new investigator award too. If I had teaching to boot I think I’d buckle under the pressure!
I've been spending a lot of time thinking about #ChatGPT and academic assessment and why I am not so concerned about it (at the college level). It's not that ChatGPT is bad for education. It's that our education system is built upon a basis wherein we do assessment wrong.
What @hoffman writes in his blog below comes close to how I think of things (thanks for saving me a lot of time writing my thoughts down!)
http://write.guyhoffman.com/why-i-dont-care-if-students-use-gpt
@vollmerm there's not even a sensible way to make `[fragile]` the default either 😢.
And if it weren't for minted being great, I'd use Powerpoint just to avoid the horrible interface that LaTeX presents for slides.
@Mara what a tediously arrogant take from the authors. The rest of the paper is a little less aggravating but the passing jabs at Rust appear really ignorant.
@m4rk1x hello!
@Mara This feature has been so helpful with compiler hacking in Rust!
So it turns out there’s an interactive process that _ends_ Dec 23 AoE — which is much more humane.
I’m in! I can finally shitpost about Rust and Javascript! Thanks @hazel
Research Fellow in Programming Languages at the University of Kent