A month ago when I first developed a non-commercial project using ReasonML, I got a new experience, i... (more…)

Paper Talk at POPL Technical Appendix Coq Formalization Artifact (with VM) ... (more…)

A modern Quake engine. Contribute to cormac-obrien/richter development by creating an account on GitHub. (more…)

In the previous blog, I discussed one of the superpowers of Unsafe Rust which is dereferencing a raw pointer. In this blog, we will see another feature of unsaf... (more…)

Rust Neat - NeuroEvolution of Augmenting Topologies - TLmaK0/rustneat... (more…)