I got to read through the paper on OCaml’s memory model again and as a project I was wondering if we could replace ldar with ldapr on arm64 platforms but unfortunately atomic writes are lowered compare-and-exchanges and regular stores are simply str unless you have M2

At an internship-of-sorts and access to GPUs for some of this DL work I’m working on has been delayed, which makes it difficult to make any progress. I’m staying optimistic though, because I think this is potentially novel and it’d be a shame if it couldn’t get done in my limited time here :(

Been working on the Rust allocator recently; ended up delving into the aliasing model with stacked/tree borrows. It’s difficult to write sound multithreaded code with references in the presence of raw pointers, and the lack of view types make for unergonomic code under the strict stacked borrows…

Merry Christmas!

打算学习奥斯本的《博弈论教程》，祝我好运

在学校根本就没时间玩乐 😔

I think I ultimately want to pursue cryptography and by extension, mathematics. I’m just not sure how to reconcile that with my interests in security in general. It would be nice if I had the time to seriously get into pwn like some of the people I look up to 🙂

很快就开学了，可是我没有怎么读我的数学课本，只在第四章。

明年就开始申请大学了，真的有点紧张。

Think I’ll try screaming into the void here but in simplified Chinese