duck

This is all to say OCaml’s memory model is very cool and the authors thought a lot into how to make it performant and sound! It’s an interesting area

But from what I can find ldapr is just an alias for ldar on M-series so RCsc hasn’t been beneficial on those platforms (I kind of want to verify this with benchmarks too)

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 :(

This work will hopefully be a blogpost soon. I think the idea of an Rust allocator making use of sized deallocation hasn’t been properly explored—because it’s focused towards safe Rust users, I can forego security features that are found in modern C malloc implementations

The per-location tracking of tree borrows is necessary to be able to use references in a sane way at all without prolific, infectious use of raw pointers that eliminate the utility of the borrow checker. I’d really like to see tree borrows model see wider adoption, especially for allocator authors.

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