Just before the holiday weekend, Oracle released three new open source container utilities. These include a debugging tool, a microcontainer builder, and most interestingly, an implementation of the Open Container Initiative’s oci-runtime specification kn... (more…)

Easy to understand explanation using visual aids and practical examples... (more…)

So far, our parser has only concerned itself with input that is correct. In a world of IDEs and language servers, however, the input to our parser will be wrong more often than not. Therefore, it is important that our parser can: (more…)

Is Rust good for deep learning and artificial intelligence, just like Python? (more…)

I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi... (more…)