Hello, today we are going to talk about Rust. “You are speaking about it quite often, aren’t you?” Indeed, more reason to introduce it properly, right? “OK, we are listening… (more…)
Read more »
Diesel is a framework for Object Relational Mapping and Query Building. It’s goal is to get rid of alot of boilerplate code usually needed for interacting with a database. It should feel like Rust, so that the developer does not need to write SQL and inst... (more…)
Read more »
After working at Data61 with the verification team, and many conversations with
Gerwin Klein, I have a good plan on how I think I want to achieve the goal of
Trustworthy Rust.
Read more »
Over the course of my internship at the Microsoft Security Response Center (MSRC), I worked on the safe systems programming languages (SSPL) team to promote safer languages for systems programming where runtime overhead is important, as outlined in this b... (more…)
Read more »
Contribute to bytekast/serverless-webassembly development by creating an account on GitHub. (more…)
Read more »
