Master thesis by Julius de Jeu: "Detecting Undefined Behavior Across Foreign Function Boundaries in Rust Programs"
"[..] we propose a novel mechanism for detecting memory safety violations across language boundaries. We implemented it in a tool called MiriPBT: a combination of MIRI, a tool that can enforce ownership rules at runtime [..] and Property Based Testing, which allows us to greatly increase the size of the domain we can test."
https://resolver.tudelft.nl/uuid:dffbff9e-6bbc-491a-a00e-8754ce0fdd77
#Podcast recommendation!
I'm listening to a month-old interview with Nate Soares (MIRI) about #AISafety by the London Futurists podcast.
I'm not familiar with their work, but this conversation is very interesting. Definitely worth the 50min listen.
Good insights into #AI safety topics, and I guess a useful preparation for the https://ifanyonebuildsit.com/ book launch in September? I think so.
Did the children correctly predict the arrival of Kirk, or were they previously visited by Don Quijote when he was a member of the Illuminati?
The first meeting of the Children's Imperial Senate shall come to order!