GraphQL started being developed internally at Facebook back in 2012, before being publicly released as open-source in 2015. GraphQL is a… (more…)
Read more »
My
previous blog post
introduced my work to improve Rust's support for
RISC-V Linux systems. Since then I fixed a couple of
interesting compiler bugs. This blog post is more technical - describing these
bugs and explaining some rustc internals along the w... (more…)
Read more »
Historically, formal verification has largely focused on specialized, verification-friendly operating systems (OSes) such as seL4, CertiKOS, Verve, and Atmosphere. These OSes are deliberately small and often lack many of the common features found in full-... (more…)
Read more »
Hybrid in-memory and disk cache in Rust. Contribute to foyer-rs/foyer development by creating an account on GitHub. (more…)
Read more »